Trace number 242433

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CSPtoSAT+minisat 0.3UNSAT 0.179971 0.202618

General information on the benchmark

Namedimacs/ssa/
ssa-2670-130_ext.xml
MD5SUMa69cb0578060e72c362a8bb6c0c5d6ab
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.179971
SatisfiableNO
(Un)Satisfiability was proved
Number of variables1359
Number of constraints2366
Maximum constraint arity5
Maximum domain size2
Number of constraints which are defined in extension2366
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.01	c This is CSPtoSAT+minisat version 0.3
0.01	c (c) 2006 roussel@cril.univ-artois.fr
0.01	
0.01	c This solver internally uses a modified version of MiniSat2 version 061112
0.01	c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.01	
0.01	c parsing...
0.04	c preparing clauses for relation R0
0.04	c preparing clauses for relation R1
0.04	c preparing clauses for relation R2
0.04	c preparing clauses for relation R3
0.04	c preparing clauses for relation R4
0.04	c preparing clauses for relation R5
0.04	c preparing clauses for relation R6
0.04	c preparing clauses for relation R7
0.04	c preparing clauses for relation R8
0.04	c preparing clauses for relation R9
0.04	c preparing clauses for relation R10
0.04	c preparing clauses for relation R11
0.04	c preparing clauses for relation R12
0.04	c preparing clauses for relation R13
0.04	c preparing clauses for relation R14
0.04	c preparing clauses for relation R15
0.04	c preparing clauses for relation R16
0.04	c preparing clauses for relation R17
0.04	c preparing clauses for relation R18
0.04	c preparing clauses for relation R19
0.04	c preparing clauses for relation R20
0.04	c preparing clauses for relation R21
0.04	c preparing clauses for relation R22
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1351 V1349 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1350 V1349 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1196 V123 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1079 V1082 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1088 V1082 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1091 V1082 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V909 V902 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V912 V902 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1328 V748 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1327 V748 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1332 V753 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1331 V753 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1326 V850 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1325 V850 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1306 V1227 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1305 V1227 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1346 V132 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1345 V132 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1348 V137 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1347 V137 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1320 V516 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1319 V516 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1340 V512 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1339 V512 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1344 V288 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1343 V288 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1342 V298 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1341 V298 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1085 V1079 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1354 V1352 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1353 V1352 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1276 V129 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1282 V1276 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1192 V1279 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1199 V1192 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1199 V1293 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1199 V1190 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1199 V1289 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1308 V1201 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1307 V1201 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1298 V819 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1297 V819 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1296 V924 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1295 V924 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1300 V922 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1299 V922 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1310 V1188 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1309 V1188 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1312 V1095 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1311 V1095 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1336 V692 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1335 V692 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1338 V600 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1337 V600 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1334 V560 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1333 V560 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1302 V1129 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1301 V1129 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1304 V1125 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1303 V1125 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1316 V1038 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1315 V1038 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1318 V856 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1317 V856 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1324 V761 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1323 V761 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1330 V784 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1329 V784 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1322 V794 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1321 V794 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1314 V1055 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1313 V1055 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1357 V1355 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1356 V1355 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V1285 V126 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V1091 V1090 V1087 V1078 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V1091 V1092 V1089 V1080 
0.04	c instanciating clauses for relation R2 (conflicts) and variables V1088 V1089 V1092 
0.04	c instanciating clauses for relation R2 (conflicts) and variables V1088 V1087 V1090 
0.04	c instanciating clauses for relation R2 (conflicts) and variables V1079 V1080 V1092 
0.04	c instanciating clauses for relation R2 (conflicts) and variables V1079 V1078 V1090 
0.04	c instanciating clauses for relation R3 (supports) and variables V914 V898 
0.04	c instanciating clauses for relation R3 (supports) and variables V915 V904 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V664 V676 V678 V679 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V287 V439 V441 V443 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V598 V468 V606 V603 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V603 V604 V117 V605 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V606 V607 V8 V608 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V470 V81 V469 V468 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V472 V89 V471 V468 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V703 V710 V218 V707 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V707 V708 V63 V709 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V220 V71 V219 V218 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V222 V101 V221 V218 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V710 V711 V33 V712 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V490 V242 V491 V492 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V492 V493 V84 V494 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V491 V633 V85 V634 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V244 V91 V245 V242 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V247 V78 V246 V242 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V545 V547 V542 V548 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V739 V1022 V1023 V1024 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V353 V223 V348 V345 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V345 V346 V94 V347 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V350 V34 V349 V348 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V223 V226 V111 V228 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V1105 V1104 V1101 V759 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V364 V365 V237 V357 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V357 V358 V65 V359 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V239 V9 V238 V237 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V241 V54 V240 V237 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V365 V488 V39 V489 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V509 V506 V253 V379 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V379 V380 V18 V381 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V255 V105 V254 V253 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V257 V76 V256 V253 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V506 V507 V90 V508 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V501 V498 V366 V495 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V495 V496 V56 V497 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V368 V13 V367 V366 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V370 V42 V369 V366 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V498 V499 V25 V500 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V1105 V1238 V1234 V1231 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V505 V374 V371 V502 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V502 V503 V35 V504 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V371 V372 V26 V373 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V376 V66 V375 V374 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V378 V19 V377 V374 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V363 V360 V248 V354 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V354 V355 V21 V356 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V250 V7 V249 V248 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V252 V60 V251 V248 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V360 V361 V114 V362 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V487 V484 V224 V481 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V481 V482 V116 V483 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V229 V27 V227 V224 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V235 V4 V230 V224 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V484 V485 V41 V486 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V744 V745 V746 V747 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V535 V261 V725 V727 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V278 V411 V421 V412 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V275 V438 V435 V442 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V280 V413 V433 V414 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V343 V208 V344 V340 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V340 V341 V118 V342 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V344 V478 V88 V479 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V210 V15 V209 V208 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V212 V12 V211 V208 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V183 V184 V185 V186 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V186 V190 V59 V192 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V205 V5 V204 V185 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V207 V62 V206 V185 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V184 V194 V3 V202 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V286 V321 V322 V187 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V187 V189 V17 V191 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V324 V92 V323 V322 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V326 V55 V325 V322 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V321 V327 V32 V328 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V452 V616 V231 V619 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V619 V620 V1 V621 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V233 V20 V232 V231 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V236 V102 V234 V231 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V616 V617 V30 V618 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V265 V401 V445 V403 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V510 V834 V514 V512 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V642 V382 V643 V644 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V164 V297 V307 V300 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V158 V420 V422 V423 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V172 V448 V450 V451 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V155 V400 V418 V402 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V182 V453 V554 V454 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V179 V444 V446 V447 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V161 V160 V295 V157 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V161 V160 V293 V157 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V161 V299 V290 V292 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V936 V935 V933 V931 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V939 V938 V937 V931 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V1168 V1170 V1172 V1174 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V1051 V695 V696 V691 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V1051 V693 V696 V691 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V1051 V695 V690 V691 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V1051 V693 V690 V691 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V582 V585 V583 V581 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V582 V586 V583 V581 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V582 V585 V584 V581 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V582 V586 V584 V581 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V339 V336 V213 V333 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V333 V334 V6 V335 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V215 V104 V214 V213 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V217 V93 V216 V213 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V336 V337 V29 V338 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V463 V466 V120 V467 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V458 V459 V28 V460 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V455 V456 V86 V457 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V462 V464 V119 V465 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V592 V609 V473 V610 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V610 V613 V106 V614 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V475 V74 V474 V473 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V477 V115 V476 V473 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V609 V611 V46 V612 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V332 V329 V198 V195 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V195 V196 V69 V197 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V199 V110 V200 V198 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V203 V11 V201 V198 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V329 V330 V79 V331 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V566 V570 V573 V561 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V576 V567 V565 V561 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V1047 V1143 V1130 V1138 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V1138 V1140 V1146 V1142 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V1134 V1141 V1132 V1130 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V1137 V1135 V1139 V1130 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V1143 V1144 V1145 V1147 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V717 V625 V628 V622 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V622 V623 V96 V624 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V630 V98 V629 V628 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V632 V67 V631 V628 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V625 V626 V108 V627 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1350 V124 V122 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1327 V840 V842 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1331 V757 V756 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1325 V854 V853 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1305 V1228 V1230 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1345 V283 V282 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1347 V151 V153 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1319 V976 V978 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1339 V523 V521 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1343 V294 V296 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1341 V303 V304 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1353 V130 V128 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1307 V1188 V1180 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1297 V82 V23 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V1295 V112 V37 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1299 V70 V103 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1309 V1189 V1095 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1311 V1097 V1096 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1335 V600 V684 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1337 V602 V718 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1333 V705 V720 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1301 V107 V1260 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1303 V1249 V1250 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1315 V890 V859 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1317 V1020 V1021 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1323 V870 V871 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1329 V785 V786 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1321 V892 V891 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1313 V1056 V1057 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V1356 V127 V125 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V740 V844 V742 V738 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V743 V768 V770 V771 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V135 V406 V408 V409 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V134 V395 V393 V397 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V149 V426 V428 V429 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V147 V416 V415 V417 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V260 V394 V1244 V396 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V145 V148 V146 V150 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V529 V531 V699 V532 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V525 V527 V543 V528 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V637 V641 V638 V736 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V639 V674 V713 V675 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V517 V526 V769 V518 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V1210 V1213 V1205 V972 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V1210 V1214 V1205 V972 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V1210 V1213 V1215 V972 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V1210 V1214 V1215 V972 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V1210 V1218 V1225 V1212 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V159 V431 V430 V432 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V301 V404 V407 V405 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V156 V424 V427 V425 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V927 V934 V926 V923 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V930 V928 V932 V923 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V572 V571 V569 V568 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V577 V575 V574 V568 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V766 V868 V857 V760 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V772 V767 V865 V760 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V864 V862 V861 V860 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V869 V867 V866 V860 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V791 V792 V793 V787 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V787 V803 V796 V801 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V805 V802 V800 V793 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V808 V806 V804 V793 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V792 V799 V807 V797 
0.06	c instanciating clauses for relation R7 (supports) and variables V1195 V122 
0.06	c instanciating clauses for relation R7 (supports) and variables V1197 V124 
0.06	c instanciating clauses for relation R7 (supports) and variables V670 V666 
0.06	c instanciating clauses for relation R7 (supports) and variables V601 V436 
0.06	c instanciating clauses for relation R7 (supports) and variables V591 V193 
0.06	c instanciating clauses for relation R7 (supports) and variables V615 V188 
0.06	c instanciating clauses for relation R7 (supports) and variables V828 V827 
0.06	c instanciating clauses for relation R7 (supports) and variables V480 V225 
0.06	c instanciating clauses for relation R7 (supports) and variables V636 V243 
0.06	c instanciating clauses for relation R7 (supports) and variables V544 V542 
0.06	c instanciating clauses for relation R7 (supports) and variables V839 V738 
0.06	c instanciating clauses for relation R7 (supports) and variables V841 V742 
0.06	c instanciating clauses for relation R7 (supports) and variables V655 V277 
0.06	c instanciating clauses for relation R7 (supports) and variables V546 V392 
0.06	c instanciating clauses for relation R7 (supports) and variables V848 V741 
0.06	c instanciating clauses for relation R7 (supports) and variables V838 V836 
0.06	c instanciating clauses for relation R7 (supports) and variables V982 V981 
0.06	c instanciating clauses for relation R7 (supports) and variables V1048 V988 
0.06	c instanciating clauses for relation R7 (supports) and variables V1040 V1006 
0.06	c instanciating clauses for relation R7 (supports) and variables V1247 V1005 
0.06	c instanciating clauses for relation R7 (supports) and variables V1004 V996 
0.06	c instanciating clauses for relation R7 (supports) and variables V893 V656 
0.06	c instanciating clauses for relation R7 (supports) and variables V823 V646 
0.06	c instanciating clauses for relation R7 (supports) and variables V1185 V1184 
0.06	c instanciating clauses for relation R7 (supports) and variables V1094 V961 
0.06	c instanciating clauses for relation R7 (supports) and variables V1251 V815 
0.06	c instanciating clauses for relation R7 (supports) and variables V1117 V1104 
0.06	c instanciating clauses for relation R7 (supports) and variables V1187 V1186 
0.06	c instanciating clauses for relation R7 (supports) and variables V1241 V1237 
0.06	c instanciating clauses for relation R7 (supports) and variables V1068 V1067 
0.06	c instanciating clauses for relation R7 (supports) and variables V1229 V1099 
0.06	c instanciating clauses for relation R7 (supports) and variables V758 V751 
0.06	c instanciating clauses for relation R7 (supports) and variables V755 V749 
0.06	c instanciating clauses for relation R7 (supports) and variables V855 V846 
0.06	c instanciating clauses for relation R7 (supports) and variables V139 V131 
0.06	c instanciating clauses for relation R7 (supports) and variables V816 V410 
0.06	c instanciating clauses for relation R7 (supports) and variables V398 V285 
0.06	c instanciating clauses for relation R7 (supports) and variables V440 V435 
0.06	c instanciating clauses for relation R7 (supports) and variables V449 V393 
0.06	c instanciating clauses for relation R7 (supports) and variables V419 V415 
0.06	c instanciating clauses for relation R7 (supports) and variables V555 V276 
0.06	c instanciating clauses for relation R7 (supports) and variables V271 V259 
0.06	c instanciating clauses for relation R7 (supports) and variables V1069 V399 
0.06	c instanciating clauses for relation R7 (supports) and variables V732 V262 
0.06	c instanciating clauses for relation R7 (supports) and variables V144 V138 
0.06	c instanciating clauses for relation R7 (supports) and variables V152 V146 
0.06	c instanciating clauses for relation R7 (supports) and variables V284 V279 
0.06	c instanciating clauses for relation R7 (supports) and variables V537 V533 
0.06	c instanciating clauses for relation R7 (supports) and variables V698 V530 
0.06	c instanciating clauses for relation R7 (supports) and variables V977 V832 
0.06	c instanciating clauses for relation R7 (supports) and variables V702 V673 
0.06	c instanciating clauses for relation R7 (supports) and variables V967 V638 
0.06	c instanciating clauses for relation R7 (supports) and variables V1075 V880 
0.06	c instanciating clauses for relation R7 (supports) and variables V1222 V1211 
0.06	c instanciating clauses for relation R7 (supports) and variables V1160 V1152 
0.06	c instanciating clauses for relation R7 (supports) and variables V1161 V1155 
0.06	c instanciating clauses for relation R7 (supports) and variables V1208 V1205 
0.06	c instanciating clauses for relation R7 (supports) and variables V826 V825 
0.06	c instanciating clauses for relation R7 (supports) and variables V980 V962 
0.06	c instanciating clauses for relation R7 (supports) and variables V735 V733 
0.06	c instanciating clauses for relation R7 (supports) and variables V731 V730 
0.06	c instanciating clauses for relation R7 (supports) and variables V1202 V385 
0.06	c instanciating clauses for relation R7 (supports) and variables V434 V430 
0.06	c instanciating clauses for relation R7 (supports) and variables V318 V177 
0.06	c instanciating clauses for relation R7 (supports) and variables V315 V313 
0.06	c instanciating clauses for relation R7 (supports) and variables V169 V162 
0.06	c instanciating clauses for relation R7 (supports) and variables V302 V171 
0.06	c instanciating clauses for relation R7 (supports) and variables V306 V175 
0.06	c instanciating clauses for relation R7 (supports) and variables V305 V174 
0.06	c instanciating clauses for relation R7 (supports) and variables V1084 V1078 
0.06	c instanciating clauses for relation R7 (supports) and variables V1086 V1080 
0.06	c instanciating clauses for relation R7 (supports) and variables V1275 V128 
0.06	c instanciating clauses for relation R7 (supports) and variables V1277 V130 
0.06	c instanciating clauses for relation R7 (supports) and variables V1281 V1275 
0.06	c instanciating clauses for relation R7 (supports) and variables V1283 V1277 
0.06	c instanciating clauses for relation R7 (supports) and variables V929 V818 
0.06	c instanciating clauses for relation R7 (supports) and variables V925 V921 
0.06	c instanciating clauses for relation R7 (supports) and variables V923 V1181 
0.06	c instanciating clauses for relation R7 (supports) and variables V1168 V1190 
0.06	c instanciating clauses for relation R7 (supports) and variables V697 V693 
0.06	c instanciating clauses for relation R7 (supports) and variables V564 V559 
0.06	c instanciating clauses for relation R7 (supports) and variables V578 V562 
0.06	c instanciating clauses for relation R7 (supports) and variables V561 V579 
0.06	c instanciating clauses for relation R7 (supports) and variables V694 V690 
0.06	c instanciating clauses for relation R7 (supports) and variables V1136 V1128 
0.07	c instanciating clauses for relation R7 (supports) and variables V1133 V1124 
0.07	c instanciating clauses for relation R7 (supports) and variables V1131 V1126 
0.07	c instanciating clauses for relation R7 (supports) and variables V863 V763 
0.07	c instanciating clauses for relation R7 (supports) and variables V858 V764 
0.07	c instanciating clauses for relation R7 (supports) and variables V773 V762 
0.07	c instanciating clauses for relation R7 (supports) and variables V1150 V790 
0.07	c instanciating clauses for relation R7 (supports) and variables V810 V789 
0.07	c instanciating clauses for relation R7 (supports) and variables V809 V788 
0.07	c instanciating clauses for relation R7 (supports) and variables V1288 V1287 
0.07	c instanciating clauses for relation R7 (supports) and variables V1284 V125 
0.07	c instanciating clauses for relation R7 (supports) and variables V1286 V127 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V900 V904 V916 
0.07	c instanciating clauses for relation R9 (conflicts) and variables V918 V905 V919 V910 
0.07	c instanciating clauses for relation R9 (conflicts) and variables V918 V905 V917 V908 
0.07	c instanciating clauses for relation R9 (conflicts) and variables V912 V905 V913 V910 
0.07	c instanciating clauses for relation R9 (conflicts) and variables V912 V905 V911 V908 
0.07	c instanciating clauses for relation R9 (conflicts) and variables V909 V917 V910 V913 
0.07	c instanciating clauses for relation R9 (conflicts) and variables V909 V917 V908 V911 
0.07	c instanciating clauses for relation R9 (conflicts) and variables V906 V917 V907 V913 
0.07	c instanciating clauses for relation R9 (conflicts) and variables V906 V917 V905 V911 
0.07	c instanciating clauses for relation R10 (conflicts) and variables V536 V744 V759 V740 V665 
0.07	c instanciating clauses for relation R10 (conflicts) and variables V273 V274 V266 V145 V136 
0.07	c instanciating clauses for relation R10 (conflicts) and variables V136 V263 V138 V140 V142 
0.07	c instanciating clauses for relation R10 (conflicts) and variables V266 V268 V270 V267 V272 
0.07	c instanciating clauses for relation R10 (conflicts) and variables V165 V642 V830 V637 V831 
0.07	c instanciating clauses for relation R10 (conflicts) and variables V830 V973 V972 V510 V974 
0.07	c instanciating clauses for relation R10 (conflicts) and variables V173 V180 V174 V175 V171 
0.07	c instanciating clauses for relation R10 (conflicts) and variables V176 V181 V316 V178 V314 
0.07	c instanciating clauses for relation R11 (conflicts) and variables V997 V999 V1001 V1002 V983 
0.07	c instanciating clauses for relation R11 (conflicts) and variables V747 V837 V749 V750 V751 
0.07	c instanciating clauses for relation R11 (conflicts) and variables V746 V1000 V993 V843 V998 
0.07	c instanciating clauses for relation R11 (conflicts) and variables V745 V847 V852 V849 V846 
0.07	c instanciating clauses for relation R11 (conflicts) and variables V644 V963 V962 V515 V965 
0.07	c instanciating clauses for relation R11 (conflicts) and variables V643 V835 V520 V833 V733 
0.07	c instanciating clauses for relation R11 (conflicts) and variables V382 V513 V390 V385 V388 
0.07	c instanciating clauses for relation R11 (conflicts) and variables V1191 V1289 V1190 V1293 V1198 
0.07	c instanciating clauses for relation R11 (conflicts) and variables V1193 V1289 V1190 V1293 V1200 
0.07	c instanciating clauses for relation R11 (conflicts) and variables V461 V462 V455 V458 V463 
0.07	c instanciating clauses for relation R11 (conflicts) and variables V820 V1062 V1060 V942 V1176 
0.07	c instanciating clauses for relation R11 (conflicts) and variables V920 V1263 V1166 V1261 V1265 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1090 V1078 V1081 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1090 V1087 V1081 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1088 V1089 V1078 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1088 V1087 V1080 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1088 V1078 V1080 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1079 V1080 V1087 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1079 V1078 V1089 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1079 V1087 V1089 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1092 V1080 V1083 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1092 V1089 V1083 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V911 V905 V901 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V917 V905 V901 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V911 V908 V901 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V917 V908 V901 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V918 V919 V911 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V918 V917 V913 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V918 V911 V913 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V906 V907 V908 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V906 V905 V910 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V906 V908 V910 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V913 V905 V903 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V917 V905 V903 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V913 V910 V903 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V917 V910 V903 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V533 V541 V539 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V535 V538 V534 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V352 V351 V348 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V981 V984 V983 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1007 V1009 V987 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1008 V1012 V987 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V984 V990 V992 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V775 V680 V752 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V775 V774 V752 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V780 V776 V754 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V780 V782 V783 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V776 V778 V779 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V653 V648 V652 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V653 V660 V657 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V648 V650 V651 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V550 V551 V549 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V553 V552 V549 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1029 V1026 V1025 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1030 V1026 V1025 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1029 V1027 V1025 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1030 V1027 V1025 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1108 V1107 V1100 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1111 V1110 V1100 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1273 V1257 V1240 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1273 V1157 V1240 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1239 V1232 V1236 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1239 V1237 V1236 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1241 V1242 V1243 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1101 V1099 V1103 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V258 V262 V261 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V258 V969 V269 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V267 V724 V726 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V170 V168 V166 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V164 V162 V163 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1011 V1010 V519 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1014 V1013 V519 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1123 V1118 V729 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1123 V1122 V729 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V883 V882 V728 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V883 V879 V728 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1215 V1205 V972 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1214 V1213 V972 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1034 V1032 V1031 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1035 V1032 V1031 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1034 V1033 V1031 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1035 V1033 V1031 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1114 V1113 V1112 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1116 V1115 V1112 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1151 V1154 V1214 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1151 V1152 V1153 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1154 V1162 V1156 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1217 V1216 V1213 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1217 V1221 V1220 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1216 V1224 V1226 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V658 V645 V384 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V658 V661 V662 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V645 V649 V647 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V878 V872 V386 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V878 V874 V386 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V311 V310 V297 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V311 V313 V317 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V310 V319 V320 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V178 V308 V309 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1194 V1201 V51 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V1180 V1181 V931 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V932 V926 V923 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V928 V926 V923 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V930 V926 V923 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V932 V934 V923 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V928 V934 V923 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V930 V934 V923 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V932 V927 V923 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V928 V927 V923 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V930 V927 V923 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V594 V595 V596 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V588 V587 V582 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V590 V589 V582 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V574 V569 V568 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V575 V569 V568 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V577 V569 V568 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V574 V571 V568 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V575 V571 V568 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V577 V571 V568 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V574 V572 V568 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V575 V572 V568 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V577 V572 V568 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V1050 V1038 V1052 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V865 V857 V760 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V767 V857 V760 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V772 V857 V760 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V865 V868 V760 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V767 V868 V760 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V772 V868 V760 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V865 V766 V760 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V767 V766 V760 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V772 V766 V760 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V866 V861 V860 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V867 V861 V860 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V869 V861 V860 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V866 V862 V860 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V867 V862 V860 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V869 V862 V860 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V866 V864 V860 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V867 V864 V860 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V869 V864 V860 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V804 V800 V793 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V806 V800 V793 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V808 V800 V793 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V804 V802 V793 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V806 V802 V793 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V808 V802 V793 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V804 V805 V793 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V806 V805 V793 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V808 V805 V793 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V945 V1178 V822 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V947 V1064 V822 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V1087 V1078 V1081 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V1089 V1080 V1083 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V908 V905 V901 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V917 V911 V901 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V910 V905 V903 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V917 V913 V903 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V534 V541 V539 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V534 V533 V539 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V540 V538 V534 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V540 V535 V534 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V665 V668 V666 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V471 V469 V468 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V89 V469 V468 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V472 V469 V468 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V471 V81 V468 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V89 V81 V468 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V472 V81 V468 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V471 V470 V468 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V89 V470 V468 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V472 V470 V468 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V437 V113 V827 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V221 V219 V218 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V101 V219 V218 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V222 V219 V218 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V221 V71 V218 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V101 V71 V218 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V222 V71 V218 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V221 V220 V218 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V101 V220 V218 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V222 V220 V218 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V246 V245 V242 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V78 V245 V242 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V247 V245 V242 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V246 V91 V242 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V78 V91 V242 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V247 V91 V242 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V246 V244 V242 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V78 V244 V242 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V247 V244 V242 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V351 V349 V348 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V352 V349 V348 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V351 V34 V348 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V352 V34 V348 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V351 V350 V348 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V352 V350 V348 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V997 V1101 V759 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V997 V1104 V759 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V997 V1105 V759 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V986 V984 V983 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V986 V981 V983 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V982 V991 V989 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V240 V238 V237 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V54 V238 V237 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V241 V238 V237 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V240 V9 V237 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V54 V9 V237 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V241 V9 V237 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V240 V239 V237 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V54 V239 V237 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V241 V239 V237 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V1012 V1009 V987 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V1008 V1009 V987 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V1012 V1007 V987 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V1008 V1007 V987 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V774 V680 V752 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V774 V1036 V1037 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V680 V1119 V681 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V781 V776 V754 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V781 V780 V754 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V256 V254 V253 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V76 V254 V253 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V257 V254 V253 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V256 V105 V253 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V76 V105 V253 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V257 V105 V253 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V256 V255 V253 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V76 V255 V253 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V257 V255 V253 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V654 V648 V652 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V654 V653 V652 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V671 V549 V672 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V552 V551 V549 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V553 V551 V549 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V552 V550 V549 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V553 V550 V549 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V369 V367 V366 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V42 V367 V366 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V370 V367 V366 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V369 V13 V366 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V42 V13 V366 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V370 V13 V366 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V369 V368 V366 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V42 V368 V366 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V370 V368 V366 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V377 V375 V374 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V19 V375 V374 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V378 V375 V374 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V377 V66 V374 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V19 V66 V374 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V378 V66 V374 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V377 V376 V374 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V19 V376 V374 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V378 V376 V374 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1027 V1026 V1025 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1030 V1029 V1025 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1110 V1107 V1100 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1111 V1107 V1100 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1110 V1108 V1100 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1111 V1108 V1100 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V251 V249 V248 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V60 V249 V248 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V252 V249 V248 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V251 V7 V248 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V60 V7 V248 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V252 V7 V248 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V251 V250 V248 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V60 V250 V248 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V252 V250 V248 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1117 V1236 V1240 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1157 V1257 V1240 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V230 V227 V224 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V4 V227 V224 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V235 V227 V224 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V230 V27 V224 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V4 V27 V224 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V235 V27 V224 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V230 V229 V224 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V4 V229 V224 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V235 V229 V224 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1157 V1158 V1159 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1257 V1258 V1259 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1237 V1232 V1236 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1232 V1233 V1235 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V750 V1003 V851 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V843 V845 V985 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V993 V994 V995 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V211 V209 V208 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V12 V209 V208 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V212 V209 V208 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V211 V15 V208 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V12 V15 V208 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V212 V15 V208 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V211 V210 V208 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V12 V210 V208 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V212 V210 V208 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V206 V204 V185 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V62 V204 V185 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V207 V204 V185 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V206 V5 V185 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V62 V5 V185 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V207 V5 V185 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V206 V205 V185 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V62 V205 V185 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V207 V205 V185 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V264 V262 V261 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V264 V258 V261 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V325 V323 V322 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V55 V323 V322 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V326 V323 V322 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V325 V92 V322 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V55 V92 V322 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V326 V92 V322 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V325 V324 V322 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V55 V324 V322 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V326 V324 V322 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V234 V232 V231 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V102 V232 V231 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V236 V232 V231 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V234 V20 V231 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V102 V20 V231 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V236 V20 V231 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V234 V233 V231 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V102 V233 V231 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V236 V233 V231 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V732 V968 V970 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V274 V281 V279 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V163 V168 V166 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V163 V170 V166 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V167 V162 V163 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V167 V164 V163 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V831 V832 V975 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1013 V1010 V519 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1014 V1010 V519 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1013 V1011 V519 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1014 V1011 V519 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1122 V1118 V729 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1122 V1148 V1149 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1118 V1120 V1121 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V879 V882 V728 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V879 V884 V881 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V882 V885 V886 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1033 V1032 V1031 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1035 V1034 V1031 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1115 V1113 V1112 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1116 V1113 V1112 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1115 V1114 V1112 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1116 V1114 V1112 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1256 V1154 V1214 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1256 V1151 V1214 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1219 V1216 V1213 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1219 V1217 V1213 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V659 V645 V384 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V659 V658 V384 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V874 V872 V386 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V874 V876 V877 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V872 V875 V873 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V515 V734 V640 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V833 V971 V730 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V520 V522 V524 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V312 V310 V297 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V312 V311 V297 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V293 V295 V157 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V160 V176 V173 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1278 V1291 V1191 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V1280 V1291 V1193 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V937 V933 V931 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V938 V933 V931 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V939 V933 V931 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V937 V935 V931 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V938 V935 V931 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V939 V935 V931 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V937 V936 V931 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V938 V936 V931 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V939 V936 V931 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V690 V696 V691 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V693 V695 V691 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V584 V583 V581 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V586 V585 V581 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V589 V587 V582 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V590 V587 V582 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V589 V588 V582 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V590 V588 V582 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V216 V214 V213 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V93 V214 V213 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V217 V214 V213 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V216 V104 V213 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V93 V104 V213 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V217 V104 V213 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V216 V215 V213 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V93 V215 V213 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V217 V215 V213 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V580 V579 V568 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V476 V474 V473 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V115 V474 V473 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V477 V474 V473 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V476 V74 V473 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V115 V74 V473 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V477 V74 V473 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V476 V475 V473 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V115 V475 V473 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V477 V475 V473 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V201 V200 V198 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V11 V200 V198 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V203 V200 V198 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V201 V110 V198 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V11 V110 V198 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V203 V110 V198 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V201 V199 V198 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V11 V199 V198 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V203 V199 V198 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V565 V573 V561 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V567 V573 V561 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V576 V573 V561 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V565 V570 V561 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V567 V570 V561 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V576 V570 V561 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V565 V566 V561 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V567 V566 V561 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V576 V566 V561 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V1139 V1132 V1130 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V1135 V1132 V1130 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V1137 V1132 V1130 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V1139 V1141 V1130 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V1135 V1141 V1130 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V1137 V1141 V1130 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V1139 V1134 V1130 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V1135 V1134 V1130 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V1137 V1134 V1130 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V859 V860 V760 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V631 V629 V628 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V67 V629 V628 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V632 V629 V628 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V631 V98 V628 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V67 V98 V628 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V632 V98 V628 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V631 V630 V628 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V67 V630 V628 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V632 V630 V628 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V1064 V1178 V822 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V947 V1178 V822 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V1064 V945 V822 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V947 V945 V822 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V1090 V1081 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V1092 V1083 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V676 V664 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V678 V664 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V679 V664 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V439 V287 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V441 V287 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V443 V287 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V468 V598 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V606 V598 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V603 V598 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V604 V603 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V117 V603 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V605 V603 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V607 V606 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V8 V606 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V608 V606 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V710 V703 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V218 V703 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V707 V703 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V708 V707 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V63 V707 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V709 V707 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V711 V710 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V33 V710 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V712 V710 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V242 V490 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V491 V490 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V492 V490 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V493 V492 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V84 V492 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V494 V492 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V633 V491 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V85 V491 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V634 V491 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V547 V545 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V542 V545 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V548 V545 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V1022 V739 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V1023 V739 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V1024 V739 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V223 V353 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V348 V353 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V345 V353 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V346 V345 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V94 V345 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V347 V345 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V226 V223 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V111 V223 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V228 V223 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V999 V997 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V1001 V997 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V1002 V997 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V983 V997 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V365 V364 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V237 V364 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V357 V364 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V358 V357 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V65 V357 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V359 V357 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V488 V365 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V39 V365 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V489 V365 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V990 V984 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V992 V984 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V775 V752 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V782 V780 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V783 V780 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V506 V509 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V253 V509 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V379 V509 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V380 V379 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V18 V379 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V381 V379 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V507 V506 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V90 V506 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V508 V506 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V778 V776 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V779 V776 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V660 V653 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V657 V653 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V650 V648 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V651 V648 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V498 V501 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V366 V501 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V495 V501 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V496 V495 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V56 V495 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V497 V495 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V499 V498 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V25 V498 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V500 V498 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1238 V1105 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1234 V1105 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1231 V1105 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V374 V505 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V371 V505 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V502 V505 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V503 V502 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V35 V502 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V504 V502 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V372 V371 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V26 V371 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V373 V371 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V360 V363 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V248 V363 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V354 V363 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V355 V354 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V21 V354 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V356 V354 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V361 V360 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V114 V360 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V362 V360 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1273 V1240 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V484 V487 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V224 V487 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V481 V487 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V482 V481 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V116 V481 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V483 V481 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V485 V484 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V41 V484 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V486 V484 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1239 V1236 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1242 V1241 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1243 V1241 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1099 V1101 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1103 V1101 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V745 V744 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V746 V744 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V747 V744 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V837 V747 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V749 V747 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V750 V747 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V751 V747 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1000 V746 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V993 V746 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V843 V746 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V998 V746 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V847 V745 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V852 V745 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V849 V745 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V846 V745 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V261 V535 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V725 V535 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V727 V535 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V411 V278 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V421 V278 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V412 V278 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V438 V275 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V435 V275 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V442 V275 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V413 V280 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V433 V280 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V414 V280 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V208 V343 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V344 V343 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V340 V343 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V341 V340 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V118 V340 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V342 V340 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V478 V344 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V88 V344 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V479 V344 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V184 V183 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V185 V183 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V186 V183 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V190 V186 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V59 V186 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V192 V186 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V194 V184 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V3 V184 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V202 V184 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V321 V286 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V322 V286 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V187 V286 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V189 V187 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V17 V187 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V191 V187 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V327 V321 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V32 V321 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V328 V321 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V969 V258 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V269 V258 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V616 V452 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V231 V452 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V619 V452 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V620 V619 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1 V619 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V621 V619 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V617 V616 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V30 V616 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V618 V616 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V401 V265 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V445 V265 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V403 V265 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V724 V267 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V726 V267 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V834 V510 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V514 V510 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V512 V510 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1123 V729 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V883 V728 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1152 V1151 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1153 V1151 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1162 V1154 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1156 V1154 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1221 V1217 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1220 V1217 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1224 V1216 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1226 V1216 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V661 V658 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V662 V658 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V649 V645 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V647 V645 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V878 V386 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V382 V642 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V643 V642 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V644 V642 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V963 V644 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V962 V644 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V515 V644 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V965 V644 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V835 V643 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V520 V643 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V833 V643 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V733 V643 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V513 V382 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V390 V382 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V385 V382 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V388 V382 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V297 V164 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V307 V164 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V300 V164 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V420 V158 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V422 V158 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V423 V158 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V448 V172 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V450 V172 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V451 V172 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V400 V155 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V418 V155 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V402 V155 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V313 V311 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V317 V311 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V453 V182 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V554 V182 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V454 V182 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V444 V179 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V446 V179 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V447 V179 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V319 V310 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V320 V310 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V160 V157 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V161 V157 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V299 V161 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V290 V161 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V292 V161 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V308 V178 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V309 V178 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1289 V1191 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1190 V1191 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1293 V1191 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1198 V1191 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1289 V1193 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1190 V1193 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1293 V1193 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1200 V1193 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1201 V1194 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V51 V1194 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1181 V1180 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V931 V1180 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1170 V1168 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1172 V1168 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1174 V1168 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V1051 V691 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V595 V594 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V596 V594 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V582 V581 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V336 V339 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V213 V339 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V333 V339 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V334 V333 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V6 V333 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V335 V333 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V337 V336 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V29 V336 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V338 V336 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V462 V461 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V455 V461 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V458 V461 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V463 V461 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V466 V463 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V120 V463 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V467 V463 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V459 V458 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V28 V458 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V460 V458 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V456 V455 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V86 V455 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V457 V455 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V464 V462 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V119 V462 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V465 V462 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V609 V592 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V473 V592 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V610 V592 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V613 V610 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V106 V610 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V614 V610 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V611 V609 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V46 V609 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V612 V609 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V329 V332 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V198 V332 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V195 V332 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V196 V195 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V69 V195 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V197 V195 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V330 V329 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V79 V329 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V331 V329 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1143 V1047 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1130 V1047 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1138 V1047 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1140 V1138 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1146 V1138 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1142 V1138 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1144 V1143 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1145 V1143 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1147 V1143 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1038 V1050 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1052 V1050 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V625 V717 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V628 V717 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V622 V717 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V623 V622 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V96 V622 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V624 V622 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V626 V625 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V108 V625 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V627 V625 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1062 V820 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1060 V820 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V942 V820 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1176 V820 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1263 V920 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1166 V920 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1261 V920 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V1265 V920 
0.12	c instanciating clauses for relation R14 (supports) and variables V915 V899 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1351 V124 V122 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1328 V840 V842 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1332 V757 V756 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1326 V854 V853 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1306 V1228 V1230 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1346 V283 V282 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1348 V151 V153 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1320 V976 V978 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1340 V523 V521 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1344 V294 V296 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1342 V303 V304 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1354 V130 V128 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1308 V1188 V1180 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1298 V82 V23 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1296 V112 V37 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1300 V70 V103 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1310 V1189 V1095 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1312 V1097 V1096 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1336 V600 V684 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1338 V602 V718 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1334 V705 V720 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1302 V107 V1260 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1304 V1249 V1250 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1316 V890 V859 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1318 V1020 V1021 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1324 V870 V871 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1330 V785 V786 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1322 V892 V891 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1314 V1056 V1057 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V1357 V127 V125 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1349 V1351 V1350 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1082 V1196 V1199 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1088 V1090 V1092 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1079 V1090 V1092 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V748 V1328 V1327 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V753 V1332 V1331 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V850 V1326 V1325 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1227 V1306 V1305 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V132 V1346 V1345 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V137 V1348 V1347 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V899 V909 V912 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V516 V1320 V1319 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V512 V1340 V1339 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V288 V1344 V1343 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V298 V1342 V1341 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1352 V1354 V1353 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1279 V1282 V1285 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1201 V1308 V1307 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V819 V1298 V1297 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V924 V1296 V1295 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V922 V1300 V1299 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1188 V1310 V1309 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1095 V1312 V1311 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V692 V1336 V1335 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V600 V1338 V1337 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V560 V1334 V1333 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1129 V1302 V1301 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1125 V1304 V1303 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1038 V1316 V1315 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V856 V1318 V1317 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V761 V1324 V1323 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V784 V1330 V1329 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V794 V1322 V1321 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1055 V1314 V1313 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V1355 V1357 V1356 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V122 V1350 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V124 V1351 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1082 V1196 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1082 V1199 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V902 V1085 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V902 V1088 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V902 V1091 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V842 V1327 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V840 V1328 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V756 V1331 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V757 V1332 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V853 V1325 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V854 V1326 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1230 V1305 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1228 V1306 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V282 V1345 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V283 V1346 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V153 V1347 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V151 V1348 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V899 V909 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V899 V912 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V978 V1319 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V976 V1320 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V521 V1339 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V523 V1340 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V296 V1343 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V294 V1344 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V304 V1341 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V303 V1342 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V128 V1353 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V130 V1354 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1279 V1282 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1279 V1285 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1180 V1307 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1188 V1308 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V23 V1297 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V82 V1298 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V37 V1295 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V112 V1296 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V103 V1299 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V70 V1300 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1095 V1309 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1189 V1310 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1096 V1311 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1097 V1312 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V684 V1335 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V600 V1336 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V718 V1337 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V602 V1338 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V720 V1333 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V705 V1334 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1260 V1301 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V107 V1302 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1250 V1303 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1249 V1304 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V859 V1315 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V890 V1316 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1021 V1317 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1020 V1318 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V871 V1323 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V870 V1324 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V786 V1329 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V785 V1330 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V891 V1321 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V892 V1322 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1057 V1313 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V1056 V1314 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V125 V1356 
0.12	c instanciating clauses for relation R17 (conflicts) and variables V127 V1357 
0.12	c instanciating clauses for relation R18 (conflicts) and variables V1358 V1355 V1352 V1349 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V124 V1350 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V122 V1351 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V912 V917 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V909 V905 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V534 V539 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V540 V534 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V744 V536 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V759 V536 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V740 V536 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V665 V536 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V668 V665 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V666 V665 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V113 V437 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V827 V437 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V844 V740 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V742 V740 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V738 V740 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V768 V743 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V770 V743 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V771 V743 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V997 V759 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V986 V983 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V840 V1327 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V842 V1328 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V991 V982 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V989 V982 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V757 V1331 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V756 V1332 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V1036 V774 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V1037 V774 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V1119 V680 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V681 V680 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V781 V754 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V854 V1325 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V853 V1326 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V654 V652 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V549 V671 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V672 V671 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V1228 V1305 
0.12	c instanciating clauses for relation R19 (conflicts) and variables V1230 V1306 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1236 V1117 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1240 V1117 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1158 V1157 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1159 V1157 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1258 V1257 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1259 V1257 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1233 V1232 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1235 V1232 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1003 V750 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V851 V750 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V845 V843 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V985 V843 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V994 V993 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V995 V993 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V283 V1345 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V282 V1346 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V406 V135 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V408 V135 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V409 V135 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V395 V134 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V393 V134 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V397 V134 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V264 V261 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V151 V1347 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V153 V1348 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V426 V149 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V428 V149 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V429 V149 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V416 V147 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V415 V147 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V417 V147 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V394 V260 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1244 V260 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V396 V260 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V968 V732 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V970 V732 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V274 V273 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V266 V273 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V145 V273 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V136 V273 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V263 V136 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V138 V136 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V140 V136 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V142 V136 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V148 V145 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V146 V145 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V150 V145 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V268 V266 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V270 V266 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V267 V266 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V272 V266 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V281 V274 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V279 V274 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V904 V898 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V904 V900 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V163 V166 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V167 V163 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V642 V165 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V830 V165 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V637 V165 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V831 V165 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V832 V831 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V975 V831 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V531 V529 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V699 V529 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V532 V529 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V527 V525 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V543 V525 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V528 V525 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V641 V637 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V638 V637 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V736 V637 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V674 V639 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V713 V639 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V675 V639 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V526 V517 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V769 V517 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V518 V517 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V976 V1319 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V978 V1320 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V973 V830 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V972 V830 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V510 V830 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V974 V830 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V523 V1339 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V521 V1340 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1148 V1122 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1149 V1122 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1120 V1118 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1121 V1118 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V884 V879 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V881 V879 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V885 V882 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V886 V882 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1210 V972 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1218 V1210 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1225 V1210 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1212 V1210 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1256 V1214 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1219 V1213 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V659 V384 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V876 V874 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V877 V874 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V875 V872 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V873 V872 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V734 V515 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V640 V515 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V971 V833 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V730 V833 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V522 V520 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V524 V520 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V294 V1343 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V296 V1344 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V431 V159 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V430 V159 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V432 V159 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V303 V1341 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V304 V1342 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V404 V301 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V407 V301 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V405 V301 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V312 V297 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V424 V156 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V427 V156 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V425 V156 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V176 V160 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V173 V160 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V180 V173 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V174 V173 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V175 V173 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V171 V173 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V181 V176 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V316 V176 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V178 V176 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V314 V176 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V130 V1353 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V128 V1354 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1291 V1278 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1191 V1278 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1192 V1291 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1291 V1280 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1193 V1280 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1188 V1307 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1180 V1308 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V82 V1297 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V23 V1298 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V112 V1295 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V37 V1296 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V70 V1299 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V103 V1300 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1189 V1309 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1095 V1310 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1097 V1311 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1096 V1312 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V600 V1335 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V684 V1336 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V602 V1337 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V718 V1338 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V579 V580 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V568 V580 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V705 V1333 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V720 V1334 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V107 V1301 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1260 V1302 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1249 V1303 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1250 V1304 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V890 V1315 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V859 V1316 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V860 V859 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V760 V859 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1020 V1317 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1021 V1318 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V870 V1323 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V871 V1324 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V785 V1329 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V786 V1330 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V792 V791 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V793 V791 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V787 V791 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V803 V787 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V796 V787 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V801 V787 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V892 V1321 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V891 V1322 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V799 V792 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V807 V792 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V797 V792 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1056 V1313 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V1057 V1314 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V127 V1356 
0.13	c instanciating clauses for relation R19 (conflicts) and variables V125 V1357 
0.13	c instanciating clauses for relation R14 (supports) and variables V539 V914 
0.13	c instanciating clauses for relation R20 (supports) and variables V667 V669 V663 
0.13	c instanciating clauses for relation R20 (supports) and variables V143 V141 V133 
0.13	c instanciating clauses for relation R20 (supports) and variables V966 V737 V383 
0.13	c instanciating clauses for relation R20 (supports) and variables V979 V964 V511 
0.13	c instanciating clauses for relation R20 (supports) and variables V1209 V1207 V1206 
0.13	c instanciating clauses for relation R20 (supports) and variables V391 V389 V387 
0.13	c instanciating clauses for relation R20 (supports) and variables V289 V291 V154 
0.13	c instanciating clauses for relation R20 (supports) and variables V16 V80 V1189 
0.13	c instanciating clauses for relation R20 (supports) and variables V686 V687 V684 
0.13	c instanciating clauses for relation R20 (supports) and variables V593 V592 V563 
0.13	c instanciating clauses for relation R20 (supports) and variables V558 V557 V556 
0.13	c instanciating clauses for relation R20 (supports) and variables V1047 V1042 V1046 
0.13	c instanciating clauses for relation R20 (supports) and variables V1253 V1252 V1127 
0.13	c instanciating clauses for relation R20 (supports) and variables V1045 V1044 V1042 
0.13	c instanciating clauses for relation R20 (supports) and variables V1016 V1017 V765 
0.13	c instanciating clauses for relation R20 (supports) and variables V784 V887 V890 
0.13	c instanciating clauses for relation R20 (supports) and variables V889 V888 V887 
0.13	c instanciating clauses for relation R20 (supports) and variables V791 V1076 V1077 
0.13	c instanciating clauses for relation R20 (supports) and variables V1175 V24 V795 
0.13	c instanciating clauses for relation R20 (supports) and variables V895 V959 V798 
0.13	c instanciating clauses for relation R20 (supports) and variables V1055 V1072 V1076 
0.13	c instanciating clauses for relation R20 (supports) and variables V1074 V1073 V1072 
0.13	c instanciating clauses for relation R21 (supports) and variables V1081 V1195 
0.13	c instanciating clauses for relation R21 (supports) and variables V1081 V1198 
0.13	c instanciating clauses for relation R21 (supports) and variables V1083 V1197 
0.14	c instanciating clauses for relation R21 (supports) and variables V1083 V1200 
0.14	c instanciating clauses for relation R21 (supports) and variables V901 V1084 
0.14	c instanciating clauses for relation R21 (supports) and variables V901 V1087 
0.14	c instanciating clauses for relation R21 (supports) and variables V901 V1090 
0.14	c instanciating clauses for relation R21 (supports) and variables V903 V1086 
0.14	c instanciating clauses for relation R21 (supports) and variables V903 V1089 
0.14	c instanciating clauses for relation R21 (supports) and variables V903 V1092 
0.14	c instanciating clauses for relation R21 (supports) and variables V539 V917 
0.14	c instanciating clauses for relation R21 (supports) and variables V536 V540 
0.14	c instanciating clauses for relation R21 (supports) and variables V536 V541 
0.14	c instanciating clauses for relation R21 (supports) and variables V664 V669 
0.14	c instanciating clauses for relation R21 (supports) and variables V664 V670 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V402 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V403 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V412 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V414 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V423 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V447 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V451 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V454 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V548 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V550 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V655 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V657 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V662 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V679 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V681 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V779 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V877 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V881 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V1008 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V1014 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V1024 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V1027 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V1033 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V1111 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V1116 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V1121 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V1153 
0.14	c instanciating clauses for relation R21 (supports) and variables V287 V1259 
0.14	c instanciating clauses for relation R21 (supports) and variables V436 V442 
0.14	c instanciating clauses for relation R21 (supports) and variables V436 V443 
0.14	c instanciating clauses for relation R21 (supports) and variables V598 V601 
0.14	c instanciating clauses for relation R21 (supports) and variables V598 V602 
0.14	c instanciating clauses for relation R21 (supports) and variables V598 V706 
0.14	c instanciating clauses for relation R21 (supports) and variables V598 V821 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V202 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V203 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V207 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V210 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V217 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V222 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V326 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V328 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V331 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V338 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V342 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V460 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V465 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V470 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V477 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V585 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V589 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V605 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V612 
0.14	c instanciating clauses for relation R21 (supports) and variables V193 V712 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V191 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V192 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V197 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V199 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V205 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V212 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V215 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V220 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V324 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V335 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V457 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V467 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V472 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V475 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V479 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V583 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V587 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V591 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V608 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V614 
0.14	c instanciating clauses for relation R21 (supports) and variables V97 V709 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V200 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V201 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V204 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V206 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V214 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V216 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V219 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V221 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V323 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V325 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V341 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V456 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V459 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V474 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V476 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V478 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V584 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V586 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V588 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V590 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V604 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V607 
0.14	c instanciating clauses for relation R21 (supports) and variables V38 V615 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V189 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V190 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V194 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V196 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V209 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V211 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V327 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V330 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V334 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V337 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V464 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V466 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V469 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V471 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V611 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V613 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V708 
0.14	c instanciating clauses for relation R21 (supports) and variables V188 V711 
0.14	c instanciating clauses for relation R21 (supports) and variables V437 V440 
0.14	c instanciating clauses for relation R21 (supports) and variables V437 V441 
0.14	c instanciating clauses for relation R21 (supports) and variables V703 V720 
0.14	c instanciating clauses for relation R21 (supports) and variables V703 V721 
0.14	c instanciating clauses for relation R21 (supports) and variables V703 V828 
0.14	c instanciating clauses for relation R21 (supports) and variables V703 V956 
0.14	c instanciating clauses for relation R21 (supports) and variables V77 V438 
0.14	c instanciating clauses for relation R21 (supports) and variables V77 V439 
0.14	c instanciating clauses for relation R21 (supports) and variables V490 V677 
0.14	c instanciating clauses for relation R21 (supports) and variables V490 V678 
0.14	c instanciating clauses for relation R21 (supports) and variables V490 V698 
0.14	c instanciating clauses for relation R21 (supports) and variables V490 V785 
0.14	c instanciating clauses for relation R21 (supports) and variables V490 V811 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V235 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V236 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V241 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V244 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V252 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V257 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V350 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V351 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V362 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V370 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V376 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V486 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V489 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V494 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V500 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V504 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V508 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V618 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V627 
0.14	c instanciating clauses for relation R21 (supports) and variables V225 V632 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V228 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V229 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V233 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V239 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V247 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V250 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V255 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V347 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V356 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V359 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V368 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V373 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V378 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V381 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V480 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V483 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V497 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V621 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V624 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V630 
0.14	c instanciating clauses for relation R21 (supports) and variables V45 V634 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V226 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V227 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V230 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V232 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V234 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V238 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V240 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V249 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V251 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V254 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V256 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V352 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V367 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V369 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V372 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V493 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V503 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V629 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V631 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V633 
0.14	c instanciating clauses for relation R21 (supports) and variables V83 V636 
0.14	c instanciating clauses for relation R21 (supports) and variables V243 V245 
0.14	c instanciating clauses for relation R21 (supports) and variables V243 V246 
0.14	c instanciating clauses for relation R21 (supports) and variables V243 V346 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V349 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V355 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V358 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V361 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V375 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V377 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V380 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V482 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V485 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V488 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V496 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V499 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V507 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V617 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V620 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V623 
0.15	c instanciating clauses for relation R21 (supports) and variables V243 V626 
0.15	c instanciating clauses for relation R21 (supports) and variables V57 V546 
0.15	c instanciating clauses for relation R21 (supports) and variables V57 V547 
0.15	c instanciating clauses for relation R21 (supports) and variables V57 V676 
0.15	c instanciating clauses for relation R21 (supports) and variables V57 V775 
0.15	c instanciating clauses for relation R21 (supports) and variables V57 V878 
0.15	c instanciating clauses for relation R21 (supports) and variables V57 V883 
0.15	c instanciating clauses for relation R21 (supports) and variables V57 V1022 
0.15	c instanciating clauses for relation R21 (supports) and variables V57 V1123 
0.15	c instanciating clauses for relation R21 (supports) and variables V545 V667 
0.15	c instanciating clauses for relation R21 (supports) and variables V545 V668 
0.15	c instanciating clauses for relation R21 (supports) and variables V75 V543 
0.15	c instanciating clauses for relation R21 (supports) and variables V75 V544 
0.15	c instanciating clauses for relation R21 (supports) and variables V75 V829 
0.15	c instanciating clauses for relation R21 (supports) and variables V75 V1073 
0.15	c instanciating clauses for relation R21 (supports) and variables V739 V839 
0.15	c instanciating clauses for relation R21 (supports) and variables V739 V840 
0.15	c instanciating clauses for relation R21 (supports) and variables V353 V701 
0.15	c instanciating clauses for relation R21 (supports) and variables V353 V702 
0.15	c instanciating clauses for relation R21 (supports) and variables V353 V814 
0.15	c instanciating clauses for relation R21 (supports) and variables V353 V889 
0.15	c instanciating clauses for relation R21 (supports) and variables V353 V1023 
0.15	c instanciating clauses for relation R21 (supports) and variables V743 V841 
0.15	c instanciating clauses for relation R21 (supports) and variables V743 V842 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V396 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V397 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V405 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V409 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V417 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V425 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V429 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V432 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V518 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V528 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V532 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V553 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V647 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V651 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V675 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V771 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V783 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V873 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V886 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V1007 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V1011 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V1030 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V1035 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V1037 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V1108 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V1114 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V1149 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V1156 
0.15	c instanciating clauses for relation R21 (supports) and variables V277 V1159 
0.15	c instanciating clauses for relation R21 (supports) and variables V50 V769 
0.15	c instanciating clauses for relation R21 (supports) and variables V50 V770 
0.15	c instanciating clauses for relation R21 (supports) and variables V50 V891 
0.15	c instanciating clauses for relation R21 (supports) and variables V50 V958 
0.15	c instanciating clauses for relation R21 (supports) and variables V392 V526 
0.15	c instanciating clauses for relation R21 (supports) and variables V392 V527 
0.15	c instanciating clauses for relation R21 (supports) and variables V392 V531 
0.15	c instanciating clauses for relation R21 (supports) and variables V392 V654 
0.15	c instanciating clauses for relation R21 (supports) and variables V392 V659 
0.15	c instanciating clauses for relation R21 (supports) and variables V392 V672 
0.15	c instanciating clauses for relation R21 (supports) and variables V392 V674 
0.15	c instanciating clauses for relation R21 (supports) and variables V392 V768 
0.15	c instanciating clauses for relation R21 (supports) and variables V392 V781 
0.15	c instanciating clauses for relation R21 (supports) and variables V741 V844 
0.15	c instanciating clauses for relation R21 (supports) and variables V741 V845 
0.15	c instanciating clauses for relation R21 (supports) and variables V741 V851 
0.15	c instanciating clauses for relation R21 (supports) and variables V663 V848 
0.15	c instanciating clauses for relation R21 (supports) and variables V663 V849 
0.15	c instanciating clauses for relation R21 (supports) and variables V663 V1002 
0.15	c instanciating clauses for relation R21 (supports) and variables V836 V985 
0.15	c instanciating clauses for relation R21 (supports) and variables V836 V986 
0.15	c instanciating clauses for relation R21 (supports) and variables V748 V837 
0.15	c instanciating clauses for relation R21 (supports) and variables V748 V838 
0.15	c instanciating clauses for relation R21 (supports) and variables V748 V847 
0.15	c instanciating clauses for relation R21 (supports) and variables V988 V989 
0.15	c instanciating clauses for relation R21 (supports) and variables V988 V990 
0.15	c instanciating clauses for relation R21 (supports) and variables V988 V1059 
0.15	c instanciating clauses for relation R21 (supports) and variables V364 V523 
0.15	c instanciating clauses for relation R21 (supports) and variables V364 V524 
0.15	c instanciating clauses for relation R21 (supports) and variables V364 V723 
0.15	c instanciating clauses for relation R21 (supports) and variables V364 V870 
0.15	c instanciating clauses for relation R21 (supports) and variables V364 V951 
0.15	c instanciating clauses for relation R21 (supports) and variables V364 V995 
0.15	c instanciating clauses for relation R21 (supports) and variables V364 V1048 
0.15	c instanciating clauses for relation R21 (supports) and variables V364 V1054 
0.15	c instanciating clauses for relation R21 (supports) and variables V987 V991 
0.15	c instanciating clauses for relation R21 (supports) and variables V987 V992 
0.15	c instanciating clauses for relation R21 (supports) and variables V987 V994 
0.15	c instanciating clauses for relation R21 (supports) and variables V1006 V1012 
0.15	c instanciating clauses for relation R21 (supports) and variables V1006 V1013 
0.15	c instanciating clauses for relation R21 (supports) and variables V100 V959 
0.15	c instanciating clauses for relation R21 (supports) and variables V100 V960 
0.15	c instanciating clauses for relation R21 (supports) and variables V100 V1040 
0.15	c instanciating clauses for relation R21 (supports) and variables V1005 V1009 
0.15	c instanciating clauses for relation R21 (supports) and variables V1005 V1010 
0.15	c instanciating clauses for relation R21 (supports) and variables V22 V1246 
0.15	c instanciating clauses for relation R21 (supports) and variables V22 V1247 
0.15	c instanciating clauses for relation R21 (supports) and variables V22 V1250 
0.15	c instanciating clauses for relation R21 (supports) and variables V22 V1268 
0.15	c instanciating clauses for relation R21 (supports) and variables V753 V1000 
0.15	c instanciating clauses for relation R21 (supports) and variables V753 V1001 
0.15	c instanciating clauses for relation R21 (supports) and variables V752 V755 
0.15	c instanciating clauses for relation R21 (supports) and variables V752 V756 
0.15	c instanciating clauses for relation R21 (supports) and variables V87 V894 
0.15	c instanciating clauses for relation R21 (supports) and variables V87 V895 
0.15	c instanciating clauses for relation R21 (supports) and variables V87 V1036 
0.15	c instanciating clauses for relation R21 (supports) and variables V87 V1148 
0.15	c instanciating clauses for relation R21 (supports) and variables V72 V1119 
0.15	c instanciating clauses for relation R21 (supports) and variables V72 V1120 
0.15	c instanciating clauses for relation R21 (supports) and variables V72 V1252 
0.15	c instanciating clauses for relation R21 (supports) and variables V72 V1254 
0.15	c instanciating clauses for relation R21 (supports) and variables V72 V1255 
0.15	c instanciating clauses for relation R21 (supports) and variables V72 V1269 
0.15	c instanciating clauses for relation R21 (supports) and variables V754 V757 
0.15	c instanciating clauses for relation R21 (supports) and variables V754 V758 
0.15	c instanciating clauses for relation R21 (supports) and variables V509 V777 
0.15	c instanciating clauses for relation R21 (supports) and variables V509 V778 
0.15	c instanciating clauses for relation R21 (supports) and variables V509 V782 
0.15	c instanciating clauses for relation R21 (supports) and variables V509 V871 
0.15	c instanciating clauses for relation R21 (supports) and variables V509 V954 
0.15	c instanciating clauses for relation R21 (supports) and variables V509 V1071 
0.15	c instanciating clauses for relation R21 (supports) and variables V509 V1075 
0.15	c instanciating clauses for relation R21 (supports) and variables V996 V998 
0.15	c instanciating clauses for relation R21 (supports) and variables V996 V999 
0.15	c instanciating clauses for relation R21 (supports) and variables V850 V1003 
0.15	c instanciating clauses for relation R21 (supports) and variables V850 V1004 
0.15	c instanciating clauses for relation R21 (supports) and variables V652 V852 
0.15	c instanciating clauses for relation R21 (supports) and variables V652 V853 
0.15	c instanciating clauses for relation R21 (supports) and variables V656 V660 
0.15	c instanciating clauses for relation R21 (supports) and variables V656 V661 
0.15	c instanciating clauses for relation R21 (supports) and variables V656 V896 
0.15	c instanciating clauses for relation R21 (supports) and variables V58 V892 
0.15	c instanciating clauses for relation R21 (supports) and variables V58 V893 
0.15	c instanciating clauses for relation R21 (supports) and variables V58 V897 
0.15	c instanciating clauses for relation R21 (supports) and variables V646 V649 
0.15	c instanciating clauses for relation R21 (supports) and variables V646 V650 
0.15	c instanciating clauses for relation R21 (supports) and variables V49 V823 
0.15	c instanciating clauses for relation R21 (supports) and variables V49 V824 
0.15	c instanciating clauses for relation R21 (supports) and variables V49 V1253 
0.15	c instanciating clauses for relation R21 (supports) and variables V49 V1267 
0.15	c instanciating clauses for relation R21 (supports) and variables V671 V854 
0.15	c instanciating clauses for relation R21 (supports) and variables V671 V855 
0.15	c instanciating clauses for relation R21 (supports) and variables V501 V551 
0.15	c instanciating clauses for relation R21 (supports) and variables V501 V552 
0.15	c instanciating clauses for relation R21 (supports) and variables V501 V635 
0.15	c instanciating clauses for relation R21 (supports) and variables V501 V813 
0.15	c instanciating clauses for relation R21 (supports) and variables V501 V826 
0.15	c instanciating clauses for relation R21 (supports) and variables V501 V888 
0.15	c instanciating clauses for relation R21 (supports) and variables V501 V955 
0.15	c instanciating clauses for relation R21 (supports) and variables V1184 V1223 
0.15	c instanciating clauses for relation R21 (supports) and variables V1184 V1224 
0.15	c instanciating clauses for relation R21 (supports) and variables V1184 V1231 
0.15	c instanciating clauses for relation R21 (supports) and variables V505 V940 
0.15	c instanciating clauses for relation R21 (supports) and variables V505 V941 
0.15	c instanciating clauses for relation R21 (supports) and variables V505 V950 
0.15	c instanciating clauses for relation R21 (supports) and variables V505 V1020 
0.15	c instanciating clauses for relation R21 (supports) and variables V505 V1183 
0.15	c instanciating clauses for relation R21 (supports) and variables V505 V1185 
0.15	c instanciating clauses for relation R21 (supports) and variables V505 V1203 
0.15	c instanciating clauses for relation R21 (supports) and variables V505 V1212 
0.15	c instanciating clauses for relation R21 (supports) and variables V505 V1220 
0.15	c instanciating clauses for relation R21 (supports) and variables V505 V1233 
0.15	c instanciating clauses for relation R21 (supports) and variables V505 V1243 
0.15	c instanciating clauses for relation R21 (supports) and variables V1025 V1234 
0.15	c instanciating clauses for relation R21 (supports) and variables V1025 V1235 
0.15	c instanciating clauses for relation R21 (supports) and variables V1025 V1242 
0.15	c instanciating clauses for relation R21 (supports) and variables V52 V1028 
0.15	c instanciating clauses for relation R21 (supports) and variables V52 V1029 
0.15	c instanciating clauses for relation R21 (supports) and variables V52 V1034 
0.15	c instanciating clauses for relation R21 (supports) and variables V52 V1096 
0.15	c instanciating clauses for relation R21 (supports) and variables V68 V816 
0.15	c instanciating clauses for relation R21 (supports) and variables V68 V817 
0.15	c instanciating clauses for relation R21 (supports) and variables V68 V1026 
0.15	c instanciating clauses for relation R21 (supports) and variables V68 V1032 
0.15	c instanciating clauses for relation R21 (supports) and variables V68 V1260 
0.15	c instanciating clauses for relation R21 (supports) and variables V1227 V1238 
0.15	c instanciating clauses for relation R21 (supports) and variables V1227 V1239 
0.15	c instanciating clauses for relation R21 (supports) and variables V1100 V1229 
0.15	c instanciating clauses for relation R21 (supports) and variables V1100 V1230 
0.15	c instanciating clauses for relation R21 (supports) and variables V961 V1109 
0.15	c instanciating clauses for relation R21 (supports) and variables V961 V1110 
0.15	c instanciating clauses for relation R21 (supports) and variables V961 V1115 
0.15	c instanciating clauses for relation R21 (supports) and variables V0 V1093 
0.15	c instanciating clauses for relation R21 (supports) and variables V0 V1094 
0.15	c instanciating clauses for relation R21 (supports) and variables V0 V1175 
0.15	c instanciating clauses for relation R21 (supports) and variables V815 V1106 
0.16	c instanciating clauses for relation R21 (supports) and variables V815 V1107 
0.16	c instanciating clauses for relation R21 (supports) and variables V815 V1113 
0.16	c instanciating clauses for relation R21 (supports) and variables V47 V1248 
0.16	c instanciating clauses for relation R21 (supports) and variables V47 V1249 
0.16	c instanciating clauses for relation R21 (supports) and variables V47 V1251 
0.16	c instanciating clauses for relation R21 (supports) and variables V47 V1270 
0.16	c instanciating clauses for relation R21 (supports) and variables V363 V952 
0.16	c instanciating clauses for relation R21 (supports) and variables V363 V953 
0.16	c instanciating clauses for relation R21 (supports) and variables V363 V1021 
0.16	c instanciating clauses for relation R21 (supports) and variables V363 V1068 
0.16	c instanciating clauses for relation R21 (supports) and variables V363 V1204 
0.16	c instanciating clauses for relation R21 (supports) and variables V363 V1207 
0.16	c instanciating clauses for relation R21 (supports) and variables V363 V1228 
0.16	c instanciating clauses for relation R21 (supports) and variables V1186 V1273 
0.16	c instanciating clauses for relation R21 (supports) and variables V1186 V1274 
0.16	c instanciating clauses for relation R21 (supports) and variables V487 V1015 
0.16	c instanciating clauses for relation R21 (supports) and variables V487 V1016 
0.16	c instanciating clauses for relation R21 (supports) and variables V487 V1019 
0.16	c instanciating clauses for relation R21 (supports) and variables V487 V1053 
0.16	c instanciating clauses for relation R21 (supports) and variables V487 V1182 
0.16	c instanciating clauses for relation R21 (supports) and variables V487 V1187 
0.16	c instanciating clauses for relation R21 (supports) and variables V487 V1256 
0.16	c instanciating clauses for relation R21 (supports) and variables V109 V1097 
0.16	c instanciating clauses for relation R21 (supports) and variables V109 V1098 
0.16	c instanciating clauses for relation R21 (supports) and variables V109 V1158 
0.16	c instanciating clauses for relation R21 (supports) and variables V109 V1160 
0.16	c instanciating clauses for relation R21 (supports) and variables V2 V427 
0.16	c instanciating clauses for relation R21 (supports) and variables V2 V428 
0.16	c instanciating clauses for relation R21 (supports) and variables V2 V1057 
0.16	c instanciating clauses for relation R21 (supports) and variables V2 V1161 
0.16	c instanciating clauses for relation R21 (supports) and variables V2 V1164 
0.16	c instanciating clauses for relation R21 (supports) and variables V2 V1258 
0.16	c instanciating clauses for relation R21 (supports) and variables V1067 V1102 
0.16	c instanciating clauses for relation R21 (supports) and variables V1067 V1103 
0.16	c instanciating clauses for relation R21 (supports) and variables V1067 V1215 
0.16	c instanciating clauses for relation R21 (supports) and variables V131 V726 
0.16	c instanciating clauses for relation R21 (supports) and variables V131 V727 
0.16	c instanciating clauses for relation R21 (supports) and variables V132 V139 
0.16	c instanciating clauses for relation R21 (supports) and variables V132 V140 
0.16	c instanciating clauses for relation R21 (supports) and variables V132 V148 
0.16	c instanciating clauses for relation R21 (supports) and variables V278 V281 
0.16	c instanciating clauses for relation R21 (supports) and variables V278 V282 
0.16	c instanciating clauses for relation R21 (supports) and variables V410 V421 
0.16	c instanciating clauses for relation R21 (supports) and variables V410 V422 
0.16	c instanciating clauses for relation R21 (supports) and variables V285 V400 
0.16	c instanciating clauses for relation R21 (supports) and variables V285 V401 
0.16	c instanciating clauses for relation R21 (supports) and variables V285 V411 
0.16	c instanciating clauses for relation R21 (supports) and variables V285 V413 
0.16	c instanciating clauses for relation R21 (supports) and variables V285 V420 
0.16	c instanciating clauses for relation R21 (supports) and variables V285 V444 
0.16	c instanciating clauses for relation R21 (supports) and variables V285 V448 
0.16	c instanciating clauses for relation R21 (supports) and variables V285 V453 
0.16	c instanciating clauses for relation R21 (supports) and variables V275 V394 
0.16	c instanciating clauses for relation R21 (supports) and variables V275 V395 
0.16	c instanciating clauses for relation R21 (supports) and variables V275 V398 
0.16	c instanciating clauses for relation R21 (supports) and variables V275 V404 
0.16	c instanciating clauses for relation R21 (supports) and variables V275 V406 
0.16	c instanciating clauses for relation R21 (supports) and variables V275 V416 
0.16	c instanciating clauses for relation R21 (supports) and variables V275 V424 
0.16	c instanciating clauses for relation R21 (supports) and variables V275 V426 
0.16	c instanciating clauses for relation R21 (supports) and variables V275 V431 
0.16	c instanciating clauses for relation R21 (supports) and variables V280 V283 
0.16	c instanciating clauses for relation R21 (supports) and variables V280 V284 
0.16	c instanciating clauses for relation R21 (supports) and variables V343 V433 
0.16	c instanciating clauses for relation R21 (supports) and variables V343 V434 
0.16	c instanciating clauses for relation R21 (supports) and variables V343 V558 
0.16	c instanciating clauses for relation R21 (supports) and variables V343 V716 
0.16	c instanciating clauses for relation R21 (supports) and variables V133 V724 
0.16	c instanciating clauses for relation R21 (supports) and variables V133 V725 
0.16	c instanciating clauses for relation R21 (supports) and variables V135 V143 
0.16	c instanciating clauses for relation R21 (supports) and variables V135 V144 
0.16	c instanciating clauses for relation R21 (supports) and variables V121 V407 
0.16	c instanciating clauses for relation R21 (supports) and variables V121 V408 
0.16	c instanciating clauses for relation R21 (supports) and variables V121 V1039 
0.16	c instanciating clauses for relation R21 (supports) and variables V121 V1041 
0.16	c instanciating clauses for relation R21 (supports) and variables V121 V1056 
0.16	c instanciating clauses for relation R21 (supports) and variables V134 V141 
0.16	c instanciating clauses for relation R21 (supports) and variables V134 V142 
0.16	c instanciating clauses for relation R21 (supports) and variables V183 V449 
0.16	c instanciating clauses for relation R21 (supports) and variables V183 V450 
0.16	c instanciating clauses for relation R21 (supports) and variables V183 V593 
0.16	c instanciating clauses for relation R21 (supports) and variables V183 V597 
0.16	c instanciating clauses for relation R21 (supports) and variables V137 V263 
0.16	c instanciating clauses for relation R21 (supports) and variables V137 V264 
0.16	c instanciating clauses for relation R21 (supports) and variables V137 V268 
0.16	c instanciating clauses for relation R21 (supports) and variables V149 V152 
0.16	c instanciating clauses for relation R21 (supports) and variables V149 V153 
0.16	c instanciating clauses for relation R21 (supports) and variables V147 V150 
0.16	c instanciating clauses for relation R21 (supports) and variables V147 V151 
0.16	c instanciating clauses for relation R21 (supports) and variables V286 V418 
0.16	c instanciating clauses for relation R21 (supports) and variables V286 V419 
0.16	c instanciating clauses for relation R21 (supports) and variables V286 V557 
0.16	c instanciating clauses for relation R21 (supports) and variables V286 V599 
0.16	c instanciating clauses for relation R21 (supports) and variables V260 V269 
0.16	c instanciating clauses for relation R21 (supports) and variables V260 V270 
0.16	c instanciating clauses for relation R21 (supports) and variables V260 V968 
0.16	c instanciating clauses for relation R21 (supports) and variables V276 V1244 
0.16	c instanciating clauses for relation R21 (supports) and variables V276 V1245 
0.16	c instanciating clauses for relation R21 (supports) and variables V452 V554 
0.16	c instanciating clauses for relation R21 (supports) and variables V452 V555 
0.16	c instanciating clauses for relation R21 (supports) and variables V452 V722 
0.16	c instanciating clauses for relation R21 (supports) and variables V452 V786 
0.16	c instanciating clauses for relation R21 (supports) and variables V452 V812 
0.16	c instanciating clauses for relation R21 (supports) and variables V259 V969 
0.16	c instanciating clauses for relation R21 (supports) and variables V259 V970 
0.16	c instanciating clauses for relation R21 (supports) and variables V265 V271 
0.16	c instanciating clauses for relation R21 (supports) and variables V265 V272 
0.16	c instanciating clauses for relation R21 (supports) and variables V399 V445 
0.16	c instanciating clauses for relation R21 (supports) and variables V399 V446 
0.16	c instanciating clauses for relation R21 (supports) and variables V99 V1069 
0.16	c instanciating clauses for relation R21 (supports) and variables V99 V1070 
0.16	c instanciating clauses for relation R21 (supports) and variables V99 V1074 
0.16	c instanciating clauses for relation R21 (supports) and variables V273 V537 
0.16	c instanciating clauses for relation R21 (supports) and variables V273 V538 
0.16	c instanciating clauses for relation R21 (supports) and variables V898 V908 
0.16	c instanciating clauses for relation R21 (supports) and variables V898 V911 
0.16	c instanciating clauses for relation R21 (supports) and variables V900 V910 
0.16	c instanciating clauses for relation R21 (supports) and variables V900 V913 
0.16	c instanciating clauses for relation R21 (supports) and variables V166 V904 
0.16	c instanciating clauses for relation R21 (supports) and variables V166 V905 
0.16	c instanciating clauses for relation R21 (supports) and variables V166 V1165 
0.16	c instanciating clauses for relation R21 (supports) and variables V165 V167 
0.16	c instanciating clauses for relation R21 (supports) and variables V165 V168 
0.16	c instanciating clauses for relation R21 (supports) and variables V529 V975 
0.16	c instanciating clauses for relation R21 (supports) and variables V529 V976 
0.16	c instanciating clauses for relation R21 (supports) and variables V530 V699 
0.16	c instanciating clauses for relation R21 (supports) and variables V530 V700 
0.16	c instanciating clauses for relation R21 (supports) and variables V525 V977 
0.16	c instanciating clauses for relation R21 (supports) and variables V525 V978 
0.16	c instanciating clauses for relation R21 (supports) and variables V639 V736 
0.16	c instanciating clauses for relation R21 (supports) and variables V639 V737 
0.16	c instanciating clauses for relation R21 (supports) and variables V673 V713 
0.16	c instanciating clauses for relation R21 (supports) and variables V673 V714 
0.16	c instanciating clauses for relation R21 (supports) and variables V517 V966 
0.16	c instanciating clauses for relation R21 (supports) and variables V517 V967 
0.16	c instanciating clauses for relation R21 (supports) and variables V516 V640 
0.16	c instanciating clauses for relation R21 (supports) and variables V516 V641 
0.16	c instanciating clauses for relation R21 (supports) and variables V516 V971 
0.16	c instanciating clauses for relation R21 (supports) and variables V516 V974 
0.16	c instanciating clauses for relation R21 (supports) and variables V516 V1202 
0.16	c instanciating clauses for relation R21 (supports) and variables V519 V521 
0.16	c instanciating clauses for relation R21 (supports) and variables V519 V522 
0.16	c instanciating clauses for relation R21 (supports) and variables V383 V513 
0.16	c instanciating clauses for relation R21 (supports) and variables V383 V514 
0.16	c instanciating clauses for relation R21 (supports) and variables V383 V731 
0.16	c instanciating clauses for relation R21 (supports) and variables V383 V963 
0.16	c instanciating clauses for relation R21 (supports) and variables V511 V834 
0.16	c instanciating clauses for relation R21 (supports) and variables V511 V835 
0.16	c instanciating clauses for relation R21 (supports) and variables V729 V979 
0.16	c instanciating clauses for relation R21 (supports) and variables V729 V980 
0.16	c instanciating clauses for relation R21 (supports) and variables V728 V964 
0.16	c instanciating clauses for relation R21 (supports) and variables V728 V965 
0.16	c instanciating clauses for relation R21 (supports) and variables V880 V884 
0.16	c instanciating clauses for relation R21 (supports) and variables V880 V885 
0.16	c instanciating clauses for relation R21 (supports) and variables V880 V1066 
0.16	c instanciating clauses for relation R21 (supports) and variables V1211 V1225 
0.16	c instanciating clauses for relation R21 (supports) and variables V1211 V1226 
0.16	c instanciating clauses for relation R21 (supports) and variables V1031 V1221 
0.16	c instanciating clauses for relation R21 (supports) and variables V1031 V1222 
0.16	c instanciating clauses for relation R21 (supports) and variables V1206 V1218 
0.16	c instanciating clauses for relation R21 (supports) and variables V1206 V1219 
0.16	c instanciating clauses for relation R21 (supports) and variables V1112 V1208 
0.16	c instanciating clauses for relation R21 (supports) and variables V1112 V1209 
0.16	c instanciating clauses for relation R21 (supports) and variables V1155 V1162 
0.16	c instanciating clauses for relation R21 (supports) and variables V1155 V1163 
0.16	c instanciating clauses for relation R21 (supports) and variables V387 V734 
0.16	c instanciating clauses for relation R21 (supports) and variables V387 V735 
0.16	c instanciating clauses for relation R21 (supports) and variables V387 V973 
0.16	c instanciating clauses for relation R21 (supports) and variables V384 V390 
0.16	c instanciating clauses for relation R21 (supports) and variables V384 V391 
0.16	c instanciating clauses for relation R21 (supports) and variables V386 V388 
0.16	c instanciating clauses for relation R21 (supports) and variables V386 V389 
0.16	c instanciating clauses for relation R21 (supports) and variables V825 V875 
0.16	c instanciating clauses for relation R21 (supports) and variables V825 V876 
0.16	c instanciating clauses for relation R21 (supports) and variables V825 V1058 
0.16	c instanciating clauses for relation R21 (supports) and variables V288 V299 
0.16	c instanciating clauses for relation R21 (supports) and variables V288 V300 
0.16	c instanciating clauses for relation R21 (supports) and variables V288 V306 
0.16	c instanciating clauses for relation R21 (supports) and variables V288 V309 
0.16	c instanciating clauses for relation R21 (supports) and variables V158 V295 
0.16	c instanciating clauses for relation R21 (supports) and variables V158 V296 
0.16	c instanciating clauses for relation R21 (supports) and variables V159 V293 
0.16	c instanciating clauses for relation R21 (supports) and variables V159 V294 
0.16	c instanciating clauses for relation R21 (supports) and variables V298 V307 
0.16	c instanciating clauses for relation R21 (supports) and variables V298 V308 
0.16	c instanciating clauses for relation R21 (supports) and variables V301 V304 
0.16	c instanciating clauses for relation R21 (supports) and variables V301 V305 
0.16	c instanciating clauses for relation R21 (supports) and variables V172 V302 
0.16	c instanciating clauses for relation R21 (supports) and variables V172 V303 
0.16	c instanciating clauses for relation R21 (supports) and variables V154 V180 
0.16	c instanciating clauses for relation R21 (supports) and variables V154 V181 
0.16	c instanciating clauses for relation R21 (supports) and variables V154 V312 
0.16	c instanciating clauses for relation R21 (supports) and variables V156 V289 
0.16	c instanciating clauses for relation R21 (supports) and variables V156 V290 
0.16	c instanciating clauses for relation R21 (supports) and variables V155 V291 
0.16	c instanciating clauses for relation R21 (supports) and variables V155 V292 
0.16	c instanciating clauses for relation R21 (supports) and variables V177 V316 
0.16	c instanciating clauses for relation R21 (supports) and variables V177 V317 
0.16	c instanciating clauses for relation R21 (supports) and variables V182 V318 
0.16	c instanciating clauses for relation R21 (supports) and variables V182 V319 
0.16	c instanciating clauses for relation R21 (supports) and variables V179 V314 
0.16	c instanciating clauses for relation R21 (supports) and variables V179 V315 
0.16	c instanciating clauses for relation R21 (supports) and variables V179 V320 
0.16	c instanciating clauses for relation R21 (supports) and variables V157 V169 
0.16	c instanciating clauses for relation R21 (supports) and variables V157 V170 
0.17	c instanciating clauses for relation R21 (supports) and variables V1278 V1281 
0.17	c instanciating clauses for relation R21 (supports) and variables V1278 V1284 
0.17	c instanciating clauses for relation R21 (supports) and variables V1280 V1283 
0.17	c instanciating clauses for relation R21 (supports) and variables V1280 V1286 
0.17	c instanciating clauses for relation R21 (supports) and variables V1194 V1293 
0.17	c instanciating clauses for relation R21 (supports) and variables V1194 V1294 
0.17	c instanciating clauses for relation R21 (supports) and variables V819 V929 
0.17	c instanciating clauses for relation R21 (supports) and variables V819 V930 
0.17	c instanciating clauses for relation R21 (supports) and variables V819 V939 
0.17	c instanciating clauses for relation R21 (supports) and variables V924 V927 
0.17	c instanciating clauses for relation R21 (supports) and variables V924 V928 
0.17	c instanciating clauses for relation R21 (supports) and variables V924 V936 
0.17	c instanciating clauses for relation R21 (supports) and variables V924 V938 
0.17	c instanciating clauses for relation R21 (supports) and variables V922 V925 
0.17	c instanciating clauses for relation R21 (supports) and variables V922 V926 
0.17	c instanciating clauses for relation R21 (supports) and variables V922 V937 
0.17	c instanciating clauses for relation R21 (supports) and variables V818 V934 
0.17	c instanciating clauses for relation R21 (supports) and variables V818 V935 
0.17	c instanciating clauses for relation R21 (supports) and variables V921 V932 
0.17	c instanciating clauses for relation R21 (supports) and variables V921 V933 
0.17	c instanciating clauses for relation R21 (supports) and variables V691 V1173 
0.17	c instanciating clauses for relation R21 (supports) and variables V691 V1174 
0.17	c instanciating clauses for relation R21 (supports) and variables V594 V1051 
0.17	c instanciating clauses for relation R21 (supports) and variables V594 V1052 
0.17	c instanciating clauses for relation R21 (supports) and variables V48 V595 
0.17	c instanciating clauses for relation R21 (supports) and variables V48 V596 
0.17	c instanciating clauses for relation R21 (supports) and variables V692 V696 
0.17	c instanciating clauses for relation R21 (supports) and variables V692 V697 
0.17	c instanciating clauses for relation R21 (supports) and variables V581 V685 
0.17	c instanciating clauses for relation R21 (supports) and variables V581 V686 
0.17	c instanciating clauses for relation R21 (supports) and variables V339 V687 
0.17	c instanciating clauses for relation R21 (supports) and variables V339 V688 
0.17	c instanciating clauses for relation R21 (supports) and variables V339 V689 
0.17	c instanciating clauses for relation R21 (supports) and variables V339 V715 
0.17	c instanciating clauses for relation R21 (supports) and variables V461 V718 
0.17	c instanciating clauses for relation R21 (supports) and variables V461 V719 
0.17	c instanciating clauses for relation R21 (supports) and variables V461 V957 
0.17	c instanciating clauses for relation R21 (supports) and variables V580 V694 
0.17	c instanciating clauses for relation R21 (supports) and variables V580 V695 
0.17	c instanciating clauses for relation R21 (supports) and variables V563 V576 
0.17	c instanciating clauses for relation R21 (supports) and variables V563 V577 
0.17	c instanciating clauses for relation R21 (supports) and variables V563 V578 
0.17	c instanciating clauses for relation R21 (supports) and variables V556 V566 
0.17	c instanciating clauses for relation R21 (supports) and variables V556 V567 
0.17	c instanciating clauses for relation R21 (supports) and variables V556 V572 
0.17	c instanciating clauses for relation R21 (supports) and variables V556 V575 
0.17	c instanciating clauses for relation R21 (supports) and variables V559 V573 
0.17	c instanciating clauses for relation R21 (supports) and variables V559 V574 
0.17	c instanciating clauses for relation R21 (supports) and variables V560 V564 
0.17	c instanciating clauses for relation R21 (supports) and variables V560 V565 
0.17	c instanciating clauses for relation R21 (supports) and variables V560 V569 
0.17	c instanciating clauses for relation R21 (supports) and variables V332 V704 
0.17	c instanciating clauses for relation R21 (supports) and variables V332 V705 
0.17	c instanciating clauses for relation R21 (supports) and variables V562 V570 
0.17	c instanciating clauses for relation R21 (supports) and variables V562 V571 
0.17	c instanciating clauses for relation R21 (supports) and variables V1046 V1171 
0.17	c instanciating clauses for relation R21 (supports) and variables V1046 V1172 
0.17	c instanciating clauses for relation R21 (supports) and variables V1128 V1141 
0.17	c instanciating clauses for relation R21 (supports) and variables V1128 V1142 
0.17	c instanciating clauses for relation R21 (supports) and variables V1129 V1136 
0.17	c instanciating clauses for relation R21 (supports) and variables V1129 V1137 
0.17	c instanciating clauses for relation R21 (supports) and variables V1129 V1145 
0.17	c instanciating clauses for relation R21 (supports) and variables V1124 V1146 
0.17	c instanciating clauses for relation R21 (supports) and variables V1124 V1147 
0.17	c instanciating clauses for relation R21 (supports) and variables V1125 V1133 
0.17	c instanciating clauses for relation R21 (supports) and variables V1125 V1134 
0.17	c instanciating clauses for relation R21 (supports) and variables V1125 V1135 
0.17	c instanciating clauses for relation R21 (supports) and variables V1126 V1139 
0.17	c instanciating clauses for relation R21 (supports) and variables V1126 V1140 
0.17	c instanciating clauses for relation R21 (supports) and variables V1127 V1131 
0.17	c instanciating clauses for relation R21 (supports) and variables V1127 V1132 
0.17	c instanciating clauses for relation R21 (supports) and variables V1127 V1144 
0.17	c instanciating clauses for relation R21 (supports) and variables V95 V682 
0.17	c instanciating clauses for relation R21 (supports) and variables V95 V683 
0.17	c instanciating clauses for relation R21 (supports) and variables V95 V1045 
0.17	c instanciating clauses for relation R21 (supports) and variables V64 V1043 
0.17	c instanciating clauses for relation R21 (supports) and variables V64 V1044 
0.17	c instanciating clauses for relation R21 (supports) and variables V1050 V1169 
0.17	c instanciating clauses for relation R21 (supports) and variables V1050 V1170 
0.17	c instanciating clauses for relation R21 (supports) and variables V765 V772 
0.17	c instanciating clauses for relation R21 (supports) and variables V765 V773 
0.17	c instanciating clauses for relation R21 (supports) and variables V765 V862 
0.17	c instanciating clauses for relation R21 (supports) and variables V717 V1017 
0.17	c instanciating clauses for relation R21 (supports) and variables V717 V1018 
0.17	c instanciating clauses for relation R21 (supports) and variables V717 V1049 
0.17	c instanciating clauses for relation R21 (supports) and variables V717 V1271 
0.17	c instanciating clauses for relation R21 (supports) and variables V717 V1272 
0.17	c instanciating clauses for relation R21 (supports) and variables V763 V766 
0.17	c instanciating clauses for relation R21 (supports) and variables V763 V767 
0.17	c instanciating clauses for relation R21 (supports) and variables V856 V863 
0.17	c instanciating clauses for relation R21 (supports) and variables V856 V864 
0.17	c instanciating clauses for relation R21 (supports) and variables V856 V867 
0.17	c instanciating clauses for relation R21 (supports) and variables V764 V865 
0.17	c instanciating clauses for relation R21 (supports) and variables V764 V866 
0.17	c instanciating clauses for relation R21 (supports) and variables V761 V857 
0.17	c instanciating clauses for relation R21 (supports) and variables V761 V858 
0.17	c instanciating clauses for relation R21 (supports) and variables V761 V861 
0.17	c instanciating clauses for relation R21 (supports) and variables V762 V868 
0.17	c instanciating clauses for relation R21 (supports) and variables V762 V869 
0.17	c instanciating clauses for relation R21 (supports) and variables V1077 V1289 
0.17	c instanciating clauses for relation R21 (supports) and variables V1077 V1290 
0.17	c instanciating clauses for relation R21 (supports) and variables V790 V801 
0.17	c instanciating clauses for relation R21 (supports) and variables V790 V802 
0.17	c instanciating clauses for relation R21 (supports) and variables V795 V807 
0.17	c instanciating clauses for relation R21 (supports) and variables V795 V808 
0.17	c instanciating clauses for relation R21 (supports) and variables V795 V1150 
0.17	c instanciating clauses for relation R21 (supports) and variables V789 V796 
0.17	c instanciating clauses for relation R21 (supports) and variables V789 V797 
0.17	c instanciating clauses for relation R21 (supports) and variables V798 V805 
0.17	c instanciating clauses for relation R21 (supports) and variables V798 V806 
0.17	c instanciating clauses for relation R21 (supports) and variables V798 V810 
0.17	c instanciating clauses for relation R21 (supports) and variables V788 V803 
0.17	c instanciating clauses for relation R21 (supports) and variables V788 V804 
0.17	c instanciating clauses for relation R21 (supports) and variables V794 V799 
0.17	c instanciating clauses for relation R21 (supports) and variables V794 V800 
0.17	c instanciating clauses for relation R21 (supports) and variables V794 V809 
0.17	c instanciating clauses for relation R21 (supports) and variables V1287 V1291 
0.17	c instanciating clauses for relation R21 (supports) and variables V1287 V1292 
0.17	c instanciating clauses for relation R21 (supports) and variables V822 V948 
0.17	c instanciating clauses for relation R21 (supports) and variables V822 V949 
0.17	c instanciating clauses for relation R21 (supports) and variables V822 V1288 
0.17	c instanciating clauses for relation R21 (supports) and variables V820 V946 
0.17	c instanciating clauses for relation R21 (supports) and variables V820 V947 
0.17	c instanciating clauses for relation R21 (supports) and variables V10 V1176 
0.17	c instanciating clauses for relation R21 (supports) and variables V10 V1177 
0.17	c instanciating clauses for relation R21 (supports) and variables V14 V942 
0.17	c instanciating clauses for relation R21 (supports) and variables V14 V943 
0.17	c instanciating clauses for relation R21 (supports) and variables V44 V1060 
0.17	c instanciating clauses for relation R21 (supports) and variables V44 V1061 
0.17	c instanciating clauses for relation R21 (supports) and variables V61 V1062 
0.17	c instanciating clauses for relation R21 (supports) and variables V61 V1063 
0.17	c instanciating clauses for relation R21 (supports) and variables V43 V1064 
0.17	c instanciating clauses for relation R21 (supports) and variables V43 V1065 
0.17	c instanciating clauses for relation R21 (supports) and variables V920 V944 
0.17	c instanciating clauses for relation R21 (supports) and variables V920 V945 
0.17	c instanciating clauses for relation R21 (supports) and variables V73 V1265 
0.17	c instanciating clauses for relation R21 (supports) and variables V73 V1266 
0.17	c instanciating clauses for relation R21 (supports) and variables V31 V1261 
0.17	c instanciating clauses for relation R21 (supports) and variables V31 V1262 
0.17	c instanciating clauses for relation R21 (supports) and variables V53 V1166 
0.17	c instanciating clauses for relation R21 (supports) and variables V53 V1167 
0.17	c instanciating clauses for relation R21 (supports) and variables V40 V1263 
0.17	c instanciating clauses for relation R21 (supports) and variables V40 V1264 
0.17	c instanciating clauses for relation R21 (supports) and variables V36 V1178 
0.17	c instanciating clauses for relation R21 (supports) and variables V36 V1179 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V123 V122 V124 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1199 V1198 V1200 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1196 V1195 V1197 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1082 V1081 V1083 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1091 V1090 V1092 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1088 V1087 V1089 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1085 V1084 V1086 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V902 V901 V903 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V912 V911 V913 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V909 V908 V910 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V899 V898 V900 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1079 V1078 V1080 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V129 V128 V130 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1276 V1275 V1277 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1285 V1284 V1286 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1282 V1281 V1283 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1279 V1278 V1280 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V1192 V1191 V1193 
0.17	c instanciating clauses for relation R22 (conflicts) and variables V126 V125 V127 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V902 V1085 V1088 V1091 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V918 V905 V908 V910 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V912 V905 V908 V910 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V909 V917 V911 V913 
0.17	c instanciating clauses for relation R18 (conflicts) and variables V906 V917 V911 V913 
0.17	c ...done
0.17	c #SATvar=4524 #SATclauses=13377 #CSPpredicates=0
0.19	c SAT problem is solved
0.19	restarts              : 2
0.19	conflicts             : 105            (636 /sec)
0.19	decisions             : 345            (0.87 % random) (2091 /sec)
0.19	propagations          : 43388          (262999 /sec)
0.19	conflict literals     : 1331           (8.14 % deleted)
0.19	Memory used           : 7.82 MB
0.19	CPU time              : 0.164974 s
0.19	
0.19	s UNSATISFIABLE

Verifier Data (download as text)

No possible verification on an UNSAT instance

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node29/watcher-242433-1168093397 -o ROOT/results/node29/solver-242433-1168093397 -C 1800 -M 900 /tmp/evaluation/242433-1168093397/CSPtoSAT+minisat /tmp/evaluation/242433-1168093397/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.01 0.53 0.88 2/82 21211
/proc/meminfo: memFree=1640736/2055920 swapFree=4192812/4192956
[pid=21210] ppid=21208 vsize=6696 CPUtime=0
/proc/21210/stat : 21210 (CSPtoSAT+minisa) R 21208 21210 21043 0 -1 4194304 427 0 0 0 0 0 0 0 18 0 1 0 157734265 6856704 406 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 4098936 0 0 4096 0 0 0 0 17 1 0 0
/proc/21210/statm: 1674 406 366 52 0 30 0

[startup+0.102793 s]
/proc/loadavg: 0.01 0.53 0.88 2/82 21211
/proc/meminfo: memFree=1640736/2055920 swapFree=4192812/4192956
[pid=21210] ppid=21208 vsize=7612 CPUtime=0.08
/proc/21210/stat : 21210 (CSPtoSAT+minisa) R 21208 21210 21043 0 -1 4194304 1009 0 0 0 8 0 0 0 18 0 1 0 157734265 7794688 977 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21210/statm: 1903 977 704 52 0 271 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7612

Child status: 0
Real time (s): 0.202618
CPU time (s): 0.179971
CPU user time (s): 0.165974
CPU system time (s): 0.013997
CPU usage (%): 88.8228
Max. virtual memory (cumulated for all children) (KiB): 7612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.165974
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1170
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 965

runsolver used 0.010998 s user time and 0.028995 s system time

The end

Launcher Data (download as text)

Begin job on node29 on Sat Jan  6 14:23:20 UTC 2007


IDJOB= 242433
IDBENCH= 7391
FILE ID= node29/242433-1168093397

PBS_JOBID= 3476676

Free space on /tmp= 66548 MiB

BENCH NAME= HOME/pub/bench/CPAI06/dimacs/ssa/ssa-2670-130_ext.xml
COMMAND LINE= /tmp/evaluation/242433-1168093397/CSPtoSAT+minisat /tmp/evaluation/242433-1168093397/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node29/watcher-242433-1168093397 -o ROOT/results/node29/solver-242433-1168093397 -C 1800 -M 900  /tmp/evaluation/242433-1168093397/CSPtoSAT+minisat /tmp/evaluation/242433-1168093397/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  a69cb0578060e72c362a8bb6c0c5d6ab

RANDOM SEED= 107793466

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1641608 kB
Buffers:         45412 kB
Cached:         233660 kB
SwapCached:          0 kB
Active:         129468 kB
Inactive:       208216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1641608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1860 kB
Writeback:           0 kB
Mapped:          77616 kB
Slab:            61584 kB
Committed_AS:  3046548 kB
PageTables:       2220 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66546 MiB



End job on node29 on Sat Jan  6 14:23:24 UTC 2007