Trace number 240365

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.3SAT 0.240962 0.258011

General information on the benchmark

Nameqcp-qwh/QWH-15/
qwh-15-106-8_ext.xml
MD5SUM1b89eabc69bba3fa7cd6f3fae366869b
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.143977
SatisfiableYES
(Un)Satisfiability was proved
Number of variables225
Number of constraints3150
Maximum constraint arity2
Maximum domain size15
Number of constraints which are defined in extension3150
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.03	c This is CSPtoSAT+minisat version 0.3
0.03	c (c) 2006 roussel@cril.univ-artois.fr
0.03	
0.03	c This solver internally uses a modified version of MiniSat2 version 061112
0.03	c MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
0.03	
0.03	c parsing...
0.03	c preparing clauses for relation R0
0.03	c preparing clauses for relation R1
0.03	c preparing clauses for relation R2
0.03	c preparing clauses for relation R3
0.03	c preparing clauses for relation R4
0.03	c preparing clauses for relation R5
0.03	c preparing clauses for relation R6
0.03	c preparing clauses for relation R7
0.03	c preparing clauses for relation R8
0.03	c preparing clauses for relation R9
0.03	c preparing clauses for relation R10
0.03	c preparing clauses for relation R11
0.03	c preparing clauses for relation R12
0.03	c preparing clauses for relation R13
0.03	c preparing clauses for relation R14
0.03	c preparing clauses for relation R15
0.03	c preparing clauses for relation R16
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V1 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V2 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V3 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V4 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V5 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V6 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V7 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V8 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V9 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V10 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V11 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V12 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V13 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V14 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V15 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V30 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V45 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V60 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V75 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V90 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V105 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V120 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V135 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V150 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V165 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V0 V180 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V195 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V0 V210 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V1 V2 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V3 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V1 V4 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V5 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V1 V6 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V1 V7 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V8 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V9 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V1 V10 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V1 V11 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V1 V12 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V13 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V14 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V16 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V1 V31 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V46 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V61 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V1 V76 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V1 V91 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V106 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V1 V121 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V136 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V1 V151 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V1 V166 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V1 V181 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V1 V196 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V1 V211 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V3 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V2 V4 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V5 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V2 V6 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V2 V7 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V8 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V9 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V2 V10 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V2 V11 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V2 V12 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V13 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V14 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V17 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V2 V32 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V2 V47 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V2 V62 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V2 V77 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V92 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V107 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V122 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V137 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V152 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V2 V167 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V2 V182 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V2 V197 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V2 V212 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V3 V4 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V3 V5 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V3 V6 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V3 V7 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V3 V8 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V3 V9 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V3 V10 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V3 V11 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V3 V12 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V3 V13 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V3 V14 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V3 V18 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V3 V33 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V3 V48 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V3 V63 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V3 V78 
0.03	c instanciating clauses for relation R12 (conflicts) and variables V3 V93 
0.03	c instanciating clauses for relation R10 (conflicts) and variables V3 V108 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V3 V123 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V3 V138 
0.03	c instanciating clauses for relation R13 (conflicts) and variables V3 V153 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V3 V168 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V3 V183 
0.03	c instanciating clauses for relation R2 (conflicts) and variables V3 V198 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V3 V213 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V4 V5 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V4 V6 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V4 V7 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V4 V8 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V4 V9 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V4 V10 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V4 V11 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V4 V12 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V4 V13 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V4 V14 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V4 V19 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V4 V34 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V4 V49 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V4 V64 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V4 V79 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V4 V94 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V4 V109 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V4 V124 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V4 V139 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V4 V154 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V4 V169 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V4 V184 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V4 V199 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V4 V214 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V5 V6 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V5 V7 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V5 V8 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V5 V9 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V5 V10 
0.03	c instanciating clauses for relation R8 (conflicts) and variables V5 V11 
0.03	c instanciating clauses for relation R9 (conflicts) and variables V5 V12 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V5 V13 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V5 V14 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V5 V20 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V5 V35 
0.03	c instanciating clauses for relation R14 (conflicts) and variables V5 V50 
0.03	c instanciating clauses for relation R0 (conflicts) and variables V5 V65 
0.03	c instanciating clauses for relation R13 (conflicts) and variables V5 V80 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V5 V95 
0.03	c instanciating clauses for relation R7 (conflicts) and variables V5 V110 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V5 V125 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V5 V140 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V5 V155 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V5 V170 
0.03	c instanciating clauses for relation R4 (conflicts) and variables V5 V185 
0.03	c instanciating clauses for relation R11 (conflicts) and variables V5 V200 
0.03	c instanciating clauses for relation R3 (conflicts) and variables V5 V215 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V6 V7 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V6 V8 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V6 V9 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V6 V10 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V6 V11 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V6 V12 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V6 V13 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V6 V14 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V6 V21 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V6 V36 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V6 V51 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V6 V66 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V6 V81 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V6 V96 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V6 V111 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V6 V126 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V6 V141 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V6 V156 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V6 V171 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V6 V186 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V6 V201 
0.03	c instanciating clauses for relation R5 (conflicts) and variables V6 V216 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V7 V8 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V7 V9 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V7 V10 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V7 V11 
0.03	c instanciating clauses for relation R1 (conflicts) and variables V7 V12 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V7 V13 
0.03	c instanciating clauses for relation R6 (conflicts) and variables V7 V14 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V7 V22 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V7 V37 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V7 V52 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V7 V67 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V7 V82 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V7 V97 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V7 V112 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V7 V127 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V7 V142 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V7 V157 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V7 V172 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V7 V187 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V7 V202 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V7 V217 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V8 V9 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V8 V10 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V8 V11 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V8 V12 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V8 V13 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V8 V14 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V8 V23 
0.04	c instanciating clauses for relation R2 (conflicts) and variables V8 V38 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V8 V53 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V8 V68 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V8 V83 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V8 V98 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V8 V113 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V8 V128 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V8 V143 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V8 V158 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V8 V173 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V8 V188 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V8 V203 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V8 V218 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V9 V10 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V9 V11 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V9 V12 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V9 V13 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V9 V14 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V9 V24 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V9 V39 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V9 V54 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V9 V69 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V9 V84 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V9 V99 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V9 V114 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V9 V129 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V9 V144 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V9 V159 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V9 V174 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V9 V189 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V9 V204 
0.04	c instanciating clauses for relation R13 (conflicts) and variables V9 V219 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V10 V11 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V10 V12 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V10 V13 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V10 V14 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V10 V25 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V10 V40 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V10 V55 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V10 V70 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V10 V85 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V10 V100 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V10 V115 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V10 V130 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V10 V145 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V10 V160 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V10 V175 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V10 V190 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V10 V205 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V10 V220 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V11 V12 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V11 V13 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V11 V14 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V11 V26 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V11 V41 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V11 V56 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V11 V71 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V11 V86 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V11 V101 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V11 V116 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V11 V131 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V11 V146 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V11 V161 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V11 V176 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V11 V191 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V11 V206 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V11 V221 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V12 V13 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V12 V14 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V12 V27 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V12 V42 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V12 V57 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V12 V72 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V12 V87 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V12 V102 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V12 V117 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V12 V132 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V12 V147 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V12 V162 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V12 V177 
0.04	c instanciating clauses for relation R1 (conflicts) and variables V12 V192 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V12 V207 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V12 V222 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V13 V14 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V13 V28 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V13 V43 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V13 V58 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V13 V73 
0.04	c instanciating clauses for relation R12 (conflicts) and variables V13 V88 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V13 V103 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V13 V118 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V13 V133 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V13 V148 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V13 V163 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V13 V178 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V13 V193 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V13 V208 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V13 V223 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V14 V29 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V14 V44 
0.04	c instanciating clauses for relation R2 (conflicts) and variables V14 V59 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V14 V74 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V14 V89 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V14 V104 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V14 V119 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V14 V134 
0.04	c instanciating clauses for relation R12 (conflicts) and variables V14 V149 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V14 V164 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V14 V179 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V14 V194 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V14 V209 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V14 V224 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V15 V30 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V15 V45 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V15 V60 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V15 V75 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V15 V90 
0.04	c instanciating clauses for relation R15 (conflicts) and variables V15 V105 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V15 V120 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V15 V135 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V15 V150 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V15 V165 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V15 V180 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V15 V195 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V15 V210 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V15 V16 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V15 V17 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V15 V18 
0.04	c instanciating clauses for relation R12 (conflicts) and variables V15 V19 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V15 V20 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V15 V21 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V15 V22 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V15 V23 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V15 V24 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V15 V25 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V15 V26 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V15 V27 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V15 V28 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V15 V29 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V16 V17 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V16 V18 
0.04	c instanciating clauses for relation R12 (conflicts) and variables V16 V19 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V16 V20 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V16 V21 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V16 V22 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V16 V23 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V16 V24 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V16 V25 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V16 V26 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V16 V27 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V16 V28 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V16 V29 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V16 V31 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V16 V46 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V16 V61 
0.04	c instanciating clauses for relation R10 (conflicts) and variables V16 V76 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V16 V91 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V16 V106 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V16 V121 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V16 V136 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V16 V151 
0.04	c instanciating clauses for relation R2 (conflicts) and variables V16 V166 
0.04	c instanciating clauses for relation R8 (conflicts) and variables V16 V181 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V16 V196 
0.04	c instanciating clauses for relation R7 (conflicts) and variables V16 V211 
0.04	c instanciating clauses for relation R9 (conflicts) and variables V17 V18 
0.04	c instanciating clauses for relation R12 (conflicts) and variables V17 V19 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V17 V20 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V17 V21 
0.04	c instanciating clauses for relation R14 (conflicts) and variables V17 V22 
0.04	c instanciating clauses for relation R6 (conflicts) and variables V17 V23 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V17 V24 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V17 V25 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V17 V26 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V17 V27 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V17 V28 
0.04	c instanciating clauses for relation R0 (conflicts) and variables V17 V29 
0.04	c instanciating clauses for relation R11 (conflicts) and variables V17 V32 
0.04	c instanciating clauses for relation R16 (conflicts) and variables V17 V47 
0.04	c instanciating clauses for relation R4 (conflicts) and variables V17 V62 
0.04	c instanciating clauses for relation R5 (conflicts) and variables V17 V77 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V17 V92 
0.04	c instanciating clauses for relation R3 (conflicts) and variables V17 V107 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V17 V122 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V17 V137 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V17 V152 
0.05	c instanciating clauses for relation R6 (conflicts) and variables V17 V167 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V17 V182 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V17 V197 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V17 V212 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V19 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V18 V20 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V21 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V22 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V23 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V24 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V25 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V18 V26 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V18 V27 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V18 V28 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V29 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V18 V33 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V48 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V63 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V78 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V93 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V108 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V18 V123 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V18 V138 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V153 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V18 V168 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V18 V183 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V18 V198 
0.05	c instanciating clauses for relation R9 (conflicts) and variables V18 V213 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V19 V20 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V19 V21 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V19 V22 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V19 V23 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V19 V24 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V19 V25 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V19 V26 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V19 V27 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V19 V28 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V19 V29 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V19 V34 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V19 V49 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V19 V64 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V19 V79 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V19 V94 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V19 V109 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V19 V124 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V19 V139 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V19 V154 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V19 V169 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V19 V184 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V19 V199 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V19 V214 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V20 V21 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V20 V22 
0.05	c instanciating clauses for relation R6 (conflicts) and variables V20 V23 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V20 V24 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V20 V25 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V20 V26 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V20 V27 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V20 V28 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V20 V29 
0.05	c instanciating clauses for relation R6 (conflicts) and variables V20 V35 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V20 V50 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V20 V65 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V20 V80 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V20 V95 
0.05	c instanciating clauses for relation R7 (conflicts) and variables V20 V110 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V20 V125 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V20 V140 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V20 V155 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V20 V170 
0.05	c instanciating clauses for relation R4 (conflicts) and variables V20 V185 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V20 V200 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V20 V215 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V21 V22 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V21 V23 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V21 V24 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V21 V25 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V21 V26 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V21 V27 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V21 V28 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V21 V29 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V21 V36 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V21 V51 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V21 V66 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V21 V81 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V21 V96 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V21 V111 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V21 V126 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V21 V141 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V21 V156 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V21 V171 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V21 V186 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V21 V201 
0.05	c instanciating clauses for relation R11 (conflicts) and variables V21 V216 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V22 V23 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V22 V24 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V22 V25 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V22 V26 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V22 V27 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V22 V28 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V22 V29 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V22 V37 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V22 V52 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V22 V67 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V22 V82 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V22 V97 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V22 V112 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V22 V127 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V22 V142 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V22 V157 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V22 V172 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V22 V187 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V22 V202 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V22 V217 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V23 V24 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V23 V25 
0.05	c instanciating clauses for relation R6 (conflicts) and variables V23 V26 
0.05	c instanciating clauses for relation R6 (conflicts) and variables V23 V27 
0.05	c instanciating clauses for relation R6 (conflicts) and variables V23 V28 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V23 V29 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V23 V38 
0.05	c instanciating clauses for relation R6 (conflicts) and variables V23 V53 
0.05	c instanciating clauses for relation R6 (conflicts) and variables V23 V68 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V23 V83 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V23 V98 
0.05	c instanciating clauses for relation R6 (conflicts) and variables V23 V113 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V23 V128 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V23 V143 
0.05	c instanciating clauses for relation R6 (conflicts) and variables V23 V158 
0.05	c instanciating clauses for relation R6 (conflicts) and variables V23 V173 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V23 V188 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V23 V203 
0.05	c instanciating clauses for relation R6 (conflicts) and variables V23 V218 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V24 V25 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V24 V26 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V24 V27 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V24 V28 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V24 V29 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V24 V39 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V24 V54 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V24 V69 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V24 V84 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V24 V99 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V24 V114 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V24 V129 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V24 V144 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V24 V159 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V24 V174 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V24 V189 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V24 V204 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V24 V219 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V25 V26 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V25 V27 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V25 V28 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V25 V29 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V25 V40 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V25 V55 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V25 V70 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V25 V85 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V25 V100 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V25 V115 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V25 V130 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V25 V145 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V25 V160 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V25 V175 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V25 V190 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V25 V205 
0.05	c instanciating clauses for relation R1 (conflicts) and variables V25 V220 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V26 V27 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V26 V28 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V26 V29 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V26 V41 
0.05	c instanciating clauses for relation R5 (conflicts) and variables V26 V56 
0.05	c instanciating clauses for relation R15 (conflicts) and variables V26 V71 
0.05	c instanciating clauses for relation R7 (conflicts) and variables V26 V86 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V26 V101 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V26 V116 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V26 V131 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V26 V146 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V26 V161 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V26 V176 
0.05	c instanciating clauses for relation R14 (conflicts) and variables V26 V191 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V26 V206 
0.05	c instanciating clauses for relation R12 (conflicts) and variables V26 V221 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V27 V28 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V27 V29 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V27 V42 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V27 V57 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V27 V72 
0.05	c instanciating clauses for relation R6 (conflicts) and variables V27 V87 
0.05	c instanciating clauses for relation R2 (conflicts) and variables V27 V102 
0.05	c instanciating clauses for relation R13 (conflicts) and variables V27 V117 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V27 V132 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V27 V147 
0.05	c instanciating clauses for relation R10 (conflicts) and variables V27 V162 
0.05	c instanciating clauses for relation R16 (conflicts) and variables V27 V177 
0.05	c instanciating clauses for relation R7 (conflicts) and variables V27 V192 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V27 V207 
0.05	c instanciating clauses for relation R3 (conflicts) and variables V27 V222 
0.05	c instanciating clauses for relation R0 (conflicts) and variables V28 V29 
0.06	c instanciating clauses for relation R15 (conflicts) and variables V28 V43 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V28 V58 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V28 V73 
0.06	c instanciating clauses for relation R12 (conflicts) and variables V28 V88 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V28 V103 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V28 V118 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V28 V133 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V28 V148 
0.06	c instanciating clauses for relation R14 (conflicts) and variables V28 V163 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V28 V178 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V28 V193 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V28 V208 
0.06	c instanciating clauses for relation R4 (conflicts) and variables V28 V223 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V29 V44 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V29 V59 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V29 V74 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V29 V89 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V29 V104 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V29 V119 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V29 V134 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V29 V149 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V29 V164 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V29 V179 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V29 V194 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V29 V209 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V29 V224 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V30 V45 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V30 V60 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V30 V75 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V30 V90 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V30 V105 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V30 V120 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V30 V135 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V30 V150 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V30 V165 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V30 V180 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V30 V195 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V30 V210 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V30 V31 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V30 V32 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V30 V33 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V30 V34 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V30 V35 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V30 V36 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V30 V37 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V30 V38 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V30 V39 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V30 V40 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V30 V41 
0.06	c instanciating clauses for relation R5 (conflicts) and variables V30 V42 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V30 V43 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V30 V44 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V31 V46 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V31 V61 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V31 V76 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V31 V91 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V31 V106 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V31 V121 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V31 V136 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V31 V151 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V31 V166 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V31 V181 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V31 V196 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V31 V211 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V31 V32 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V31 V33 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V31 V34 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V31 V35 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V31 V36 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V31 V37 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V31 V38 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V31 V39 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V31 V40 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V31 V41 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V31 V42 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V31 V43 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V31 V44 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V32 V33 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V32 V34 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V32 V35 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V32 V36 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V32 V37 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V32 V38 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V32 V39 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V32 V40 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V32 V41 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V32 V42 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V32 V43 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V32 V44 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V32 V47 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V32 V62 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V32 V77 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V32 V92 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V32 V107 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V32 V122 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V32 V137 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V32 V152 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V32 V167 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V32 V182 
0.06	c instanciating clauses for relation R11 (conflicts) and variables V32 V197 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V32 V212 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V33 V34 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V33 V35 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V33 V36 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V33 V37 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V33 V38 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V33 V39 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V33 V40 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V33 V41 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V33 V42 
0.06	c instanciating clauses for relation R15 (conflicts) and variables V33 V43 
0.06	c instanciating clauses for relation R8 (conflicts) and variables V33 V44 
0.06	c instanciating clauses for relation R8 (conflicts) and variables V33 V48 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V33 V63 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V33 V78 
0.06	c instanciating clauses for relation R12 (conflicts) and variables V33 V93 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V33 V108 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V33 V123 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V33 V138 
0.06	c instanciating clauses for relation R13 (conflicts) and variables V33 V153 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V33 V168 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V33 V183 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V33 V198 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V33 V213 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V34 V35 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V34 V36 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V34 V37 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V34 V38 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V34 V39 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V34 V40 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V34 V41 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V34 V42 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V34 V43 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V34 V44 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V34 V49 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V34 V64 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V34 V79 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V34 V94 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V34 V109 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V34 V124 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V34 V139 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V34 V154 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V34 V169 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V34 V184 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V34 V199 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V34 V214 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V35 V36 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V35 V37 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V35 V38 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V35 V39 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V35 V40 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V35 V41 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V35 V42 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V35 V43 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V35 V44 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V35 V50 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V35 V65 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V35 V80 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V35 V95 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V35 V110 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V35 V125 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V35 V140 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V35 V155 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V35 V170 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V35 V185 
0.06	c instanciating clauses for relation R1 (conflicts) and variables V35 V200 
0.06	c instanciating clauses for relation R6 (conflicts) and variables V35 V215 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V36 V37 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V36 V38 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V36 V39 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V36 V40 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V36 V41 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V36 V42 
0.06	c instanciating clauses for relation R15 (conflicts) and variables V36 V43 
0.06	c instanciating clauses for relation R8 (conflicts) and variables V36 V44 
0.06	c instanciating clauses for relation R12 (conflicts) and variables V36 V51 
0.06	c instanciating clauses for relation R10 (conflicts) and variables V36 V66 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V36 V81 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V36 V96 
0.06	c instanciating clauses for relation R9 (conflicts) and variables V36 V111 
0.06	c instanciating clauses for relation R13 (conflicts) and variables V36 V126 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V36 V141 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V36 V156 
0.06	c instanciating clauses for relation R0 (conflicts) and variables V36 V171 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V36 V186 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V36 V201 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V36 V216 
0.06	c instanciating clauses for relation R2 (conflicts) and variables V37 V38 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V37 V39 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V37 V40 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V37 V41 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V37 V42 
0.06	c instanciating clauses for relation R15 (conflicts) and variables V37 V43 
0.06	c instanciating clauses for relation R8 (conflicts) and variables V37 V44 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V37 V52 
0.06	c instanciating clauses for relation R16 (conflicts) and variables V37 V67 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V37 V82 
0.06	c instanciating clauses for relation R7 (conflicts) and variables V37 V97 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V37 V112 
0.06	c instanciating clauses for relation R8 (conflicts) and variables V37 V127 
0.06	c instanciating clauses for relation R9 (conflicts) and variables V37 V142 
0.06	c instanciating clauses for relation R4 (conflicts) and variables V37 V157 
0.06	c instanciating clauses for relation R3 (conflicts) and variables V37 V172 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V37 V187 
0.07	c instanciating clauses for relation R0 (conflicts) and variables V37 V202 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V37 V217 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V38 V39 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V38 V40 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V38 V41 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V38 V42 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V38 V43 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V38 V44 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V38 V53 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V38 V68 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V38 V83 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V38 V98 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V38 V113 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V38 V128 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V38 V143 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V38 V158 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V38 V173 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V38 V188 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V38 V203 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V38 V218 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V39 V40 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V39 V41 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V39 V42 
0.07	c instanciating clauses for relation R15 (conflicts) and variables V39 V43 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V39 V44 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V39 V54 
0.07	c instanciating clauses for relation R7 (conflicts) and variables V39 V69 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V39 V84 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V39 V99 
0.07	c instanciating clauses for relation R0 (conflicts) and variables V39 V114 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V39 V129 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V39 V144 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V39 V159 
0.07	c instanciating clauses for relation R10 (conflicts) and variables V39 V174 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V39 V189 
0.07	c instanciating clauses for relation R9 (conflicts) and variables V39 V204 
0.07	c instanciating clauses for relation R13 (conflicts) and variables V39 V219 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V40 V41 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V40 V42 
0.07	c instanciating clauses for relation R15 (conflicts) and variables V40 V43 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V40 V44 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V40 V55 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V40 V70 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V40 V85 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V40 V100 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V40 V115 
0.07	c instanciating clauses for relation R0 (conflicts) and variables V40 V130 
0.07	c instanciating clauses for relation R14 (conflicts) and variables V40 V145 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V40 V160 
0.07	c instanciating clauses for relation R13 (conflicts) and variables V40 V175 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V40 V190 
0.07	c instanciating clauses for relation R10 (conflicts) and variables V40 V205 
0.07	c instanciating clauses for relation R15 (conflicts) and variables V40 V220 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V41 V42 
0.07	c instanciating clauses for relation R15 (conflicts) and variables V41 V43 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V41 V44 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V41 V56 
0.07	c instanciating clauses for relation R15 (conflicts) and variables V41 V71 
0.07	c instanciating clauses for relation R7 (conflicts) and variables V41 V86 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V41 V101 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V41 V116 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V41 V131 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V41 V146 
0.07	c instanciating clauses for relation R0 (conflicts) and variables V41 V161 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V41 V176 
0.07	c instanciating clauses for relation R14 (conflicts) and variables V41 V191 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V41 V206 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V41 V221 
0.07	c instanciating clauses for relation R15 (conflicts) and variables V42 V43 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V42 V44 
0.07	c instanciating clauses for relation R0 (conflicts) and variables V42 V57 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V42 V72 
0.07	c instanciating clauses for relation R6 (conflicts) and variables V42 V87 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V42 V102 
0.07	c instanciating clauses for relation R13 (conflicts) and variables V42 V117 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V42 V132 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V42 V147 
0.07	c instanciating clauses for relation R10 (conflicts) and variables V42 V162 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V42 V177 
0.07	c instanciating clauses for relation R7 (conflicts) and variables V42 V192 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V42 V207 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V42 V222 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V43 V44 
0.07	c instanciating clauses for relation R15 (conflicts) and variables V43 V58 
0.07	c instanciating clauses for relation R15 (conflicts) and variables V43 V73 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V43 V88 
0.07	c instanciating clauses for relation R15 (conflicts) and variables V43 V103 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V43 V118 
0.07	c instanciating clauses for relation R15 (conflicts) and variables V43 V133 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V43 V148 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V43 V163 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V43 V178 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V43 V193 
0.07	c instanciating clauses for relation R15 (conflicts) and variables V43 V208 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V43 V223 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V44 V59 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V44 V74 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V44 V89 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V44 V104 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V44 V119 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V44 V134 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V44 V149 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V44 V164 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V44 V179 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V44 V194 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V44 V209 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V44 V224 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V45 V60 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V45 V75 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V45 V90 
0.07	c instanciating clauses for relation R15 (conflicts) and variables V45 V105 
0.07	c instanciating clauses for relation R9 (conflicts) and variables V45 V120 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V45 V135 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V45 V150 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V45 V165 
0.07	c instanciating clauses for relation R10 (conflicts) and variables V45 V180 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V45 V195 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V45 V210 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V45 V46 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V45 V47 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V45 V48 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V45 V49 
0.07	c instanciating clauses for relation R14 (conflicts) and variables V45 V50 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V45 V51 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V45 V52 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V45 V53 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V45 V54 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V45 V55 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V45 V56 
0.07	c instanciating clauses for relation R0 (conflicts) and variables V45 V57 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V45 V58 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V45 V59 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V46 V61 
0.07	c instanciating clauses for relation R10 (conflicts) and variables V46 V76 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V46 V91 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V46 V106 
0.07	c instanciating clauses for relation R11 (conflicts) and variables V46 V121 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V46 V136 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V46 V151 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V46 V166 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V46 V181 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V46 V196 
0.07	c instanciating clauses for relation R7 (conflicts) and variables V46 V211 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V46 V47 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V46 V48 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V46 V49 
0.07	c instanciating clauses for relation R14 (conflicts) and variables V46 V50 
0.07	c instanciating clauses for relation R12 (conflicts) and variables V46 V51 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V46 V52 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V46 V53 
0.07	c instanciating clauses for relation R4 (conflicts) and variables V46 V54 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V46 V55 
0.07	c instanciating clauses for relation R5 (conflicts) and variables V46 V56 
0.07	c instanciating clauses for relation R0 (conflicts) and variables V46 V57 
0.07	c instanciating clauses for relation R3 (conflicts) and variables V46 V58 
0.07	c instanciating clauses for relation R2 (conflicts) and variables V46 V59 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V47 V62 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V47 V77 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V47 V92 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V47 V107 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V47 V122 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V47 V137 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V47 V152 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V47 V167 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V47 V182 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V47 V197 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V47 V212 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V47 V48 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V47 V49 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V47 V50 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V47 V51 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V47 V52 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V47 V53 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V47 V54 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V47 V55 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V47 V56 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V47 V57 
0.07	c instanciating clauses for relation R16 (conflicts) and variables V47 V58 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V47 V59 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V48 V49 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V48 V50 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V48 V51 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V48 V52 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V48 V53 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V48 V54 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V48 V55 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V48 V56 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V48 V57 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V48 V58 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V48 V59 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V48 V63 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V48 V78 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V48 V93 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V48 V108 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V48 V123 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V48 V138 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V48 V153 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V48 V168 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V48 V183 
0.07	c instanciating clauses for relation R1 (conflicts) and variables V48 V198 
0.07	c instanciating clauses for relation R8 (conflicts) and variables V48 V213 
0.07	c instanciating clauses for relation R14 (conflicts) and variables V49 V50 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V49 V51 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V49 V52 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V49 V53 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V49 V54 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V49 V55 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V49 V56 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V49 V57 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V49 V58 
0.08	c instanciating clauses for relation R2 (conflicts) and variables V49 V59 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V49 V64 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V49 V79 
0.08	c instanciating clauses for relation R13 (conflicts) and variables V49 V94 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V49 V109 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V49 V124 
0.08	c instanciating clauses for relation R11 (conflicts) and variables V49 V139 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V49 V154 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V49 V169 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V49 V184 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V49 V199 
0.08	c instanciating clauses for relation R16 (conflicts) and variables V49 V214 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V50 V51 
0.08	c instanciating clauses for relation R14 (conflicts) and variables V50 V52 
0.08	c instanciating clauses for relation R14 (conflicts) and variables V50 V53 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V50 V54 
0.08	c instanciating clauses for relation R14 (conflicts) and variables V50 V55 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V50 V56 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V50 V57 
0.08	c instanciating clauses for relation R14 (conflicts) and variables V50 V58 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V50 V59 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V50 V65 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V50 V80 
0.08	c instanciating clauses for relation R14 (conflicts) and variables V50 V95 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V50 V110 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V50 V125 
0.08	c instanciating clauses for relation R14 (conflicts) and variables V50 V140 
0.08	c instanciating clauses for relation R14 (conflicts) and variables V50 V155 
0.08	c instanciating clauses for relation R14 (conflicts) and variables V50 V170 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V50 V185 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V50 V200 
0.08	c instanciating clauses for relation R14 (conflicts) and variables V50 V215 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V51 V52 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V51 V53 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V51 V54 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V51 V55 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V51 V56 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V51 V57 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V51 V58 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V51 V59 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V51 V66 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V51 V81 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V51 V96 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V51 V111 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V51 V126 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V51 V141 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V51 V156 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V51 V171 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V51 V186 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V51 V201 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V51 V216 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V52 V53 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V52 V54 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V52 V55 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V52 V56 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V52 V57 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V52 V58 
0.08	c instanciating clauses for relation R2 (conflicts) and variables V52 V59 
0.08	c instanciating clauses for relation R16 (conflicts) and variables V52 V67 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V52 V82 
0.08	c instanciating clauses for relation R7 (conflicts) and variables V52 V97 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V52 V112 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V52 V127 
0.08	c instanciating clauses for relation R9 (conflicts) and variables V52 V142 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V52 V157 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V52 V172 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V52 V187 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V52 V202 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V52 V217 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V53 V54 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V53 V55 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V53 V56 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V53 V57 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V53 V58 
0.08	c instanciating clauses for relation R2 (conflicts) and variables V53 V59 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V53 V68 
0.08	c instanciating clauses for relation R11 (conflicts) and variables V53 V83 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V53 V98 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V53 V113 
0.08	c instanciating clauses for relation R14 (conflicts) and variables V53 V128 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V53 V143 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V53 V158 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V53 V173 
0.08	c instanciating clauses for relation R9 (conflicts) and variables V53 V188 
0.08	c instanciating clauses for relation R7 (conflicts) and variables V53 V203 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V53 V218 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V54 V55 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V54 V56 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V54 V57 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V54 V58 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V54 V59 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V54 V69 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V54 V84 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V54 V99 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V54 V114 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V54 V129 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V54 V144 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V54 V159 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V54 V174 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V54 V189 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V54 V204 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V54 V219 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V55 V56 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V55 V57 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V55 V58 
0.08	c instanciating clauses for relation R2 (conflicts) and variables V55 V59 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V55 V70 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V55 V85 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V55 V100 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V55 V115 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V55 V130 
0.08	c instanciating clauses for relation R14 (conflicts) and variables V55 V145 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V55 V160 
0.08	c instanciating clauses for relation R13 (conflicts) and variables V55 V175 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V55 V190 
0.08	c instanciating clauses for relation R10 (conflicts) and variables V55 V205 
0.08	c instanciating clauses for relation R15 (conflicts) and variables V55 V220 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V56 V57 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V56 V58 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V56 V59 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V56 V71 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V56 V86 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V56 V101 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V56 V116 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V56 V131 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V56 V146 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V56 V161 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V56 V176 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V56 V191 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V56 V206 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V56 V221 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V57 V58 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V57 V59 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V57 V72 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V57 V87 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V57 V102 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V57 V117 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V57 V132 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V57 V147 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V57 V162 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V57 V177 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V57 V192 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V57 V207 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V57 V222 
0.08	c instanciating clauses for relation R2 (conflicts) and variables V58 V59 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V58 V73 
0.08	c instanciating clauses for relation R12 (conflicts) and variables V58 V88 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V58 V103 
0.08	c instanciating clauses for relation R11 (conflicts) and variables V58 V118 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V58 V133 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V58 V148 
0.08	c instanciating clauses for relation R14 (conflicts) and variables V58 V163 
0.08	c instanciating clauses for relation R5 (conflicts) and variables V58 V178 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V58 V193 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V58 V208 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V58 V223 
0.08	c instanciating clauses for relation R2 (conflicts) and variables V59 V74 
0.08	c instanciating clauses for relation R2 (conflicts) and variables V59 V89 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V59 V104 
0.08	c instanciating clauses for relation R2 (conflicts) and variables V59 V119 
0.08	c instanciating clauses for relation R2 (conflicts) and variables V59 V134 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V59 V149 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V59 V164 
0.08	c instanciating clauses for relation R2 (conflicts) and variables V59 V179 
0.08	c instanciating clauses for relation R2 (conflicts) and variables V59 V194 
0.08	c instanciating clauses for relation R2 (conflicts) and variables V59 V209 
0.08	c instanciating clauses for relation R1 (conflicts) and variables V59 V224 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V60 V75 
0.08	c instanciating clauses for relation R8 (conflicts) and variables V60 V90 
0.08	c instanciating clauses for relation R15 (conflicts) and variables V60 V105 
0.08	c instanciating clauses for relation R9 (conflicts) and variables V60 V120 
0.08	c instanciating clauses for relation R16 (conflicts) and variables V60 V135 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V60 V150 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V60 V165 
0.08	c instanciating clauses for relation R10 (conflicts) and variables V60 V180 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V60 V195 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V60 V210 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V60 V61 
0.08	c instanciating clauses for relation R4 (conflicts) and variables V60 V62 
0.08	c instanciating clauses for relation R6 (conflicts) and variables V60 V63 
0.08	c instanciating clauses for relation R3 (conflicts) and variables V60 V64 
0.08	c instanciating clauses for relation R0 (conflicts) and variables V60 V65 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V60 V66 
0.09	c instanciating clauses for relation R16 (conflicts) and variables V60 V67 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V60 V68 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V60 V69 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V60 V70 
0.09	c instanciating clauses for relation R15 (conflicts) and variables V60 V71 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V60 V72 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V60 V73 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V60 V74 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V61 V76 
0.09	c instanciating clauses for relation R4 (conflicts) and variables V61 V91 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V61 V106 
0.09	c instanciating clauses for relation R11 (conflicts) and variables V61 V121 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V61 V136 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V61 V151 
0.09	c instanciating clauses for relation R2 (conflicts) and variables V61 V166 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V61 V181 
0.09	c instanciating clauses for relation R5 (conflicts) and variables V61 V196 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V61 V211 
0.09	c instanciating clauses for relation R4 (conflicts) and variables V61 V62 
0.09	c instanciating clauses for relation R6 (conflicts) and variables V61 V63 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V61 V64 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V61 V65 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V61 V66 
0.09	c instanciating clauses for relation R16 (conflicts) and variables V61 V67 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V61 V68 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V61 V69 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V61 V70 
0.09	c instanciating clauses for relation R15 (conflicts) and variables V61 V71 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V61 V72 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V61 V73 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V61 V74 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V62 V77 
0.09	c instanciating clauses for relation R4 (conflicts) and variables V62 V92 
0.09	c instanciating clauses for relation R4 (conflicts) and variables V62 V107 
0.09	c instanciating clauses for relation R4 (conflicts) and variables V62 V122 
0.09	c instanciating clauses for relation R4 (conflicts) and variables V62 V137 
0.09	c instanciating clauses for relation R4 (conflicts) and variables V62 V152 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V62 V167 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V62 V182 
0.09	c instanciating clauses for relation R4 (conflicts) and variables V62 V197 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V62 V212 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V62 V63 
0.09	c instanciating clauses for relation R4 (conflicts) and variables V62 V64 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V62 V65 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V62 V66 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V62 V67 
0.09	c instanciating clauses for relation R4 (conflicts) and variables V62 V68 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V62 V69 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V62 V70 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V62 V71 
0.09	c instanciating clauses for relation R4 (conflicts) and variables V62 V72 
0.09	c instanciating clauses for relation R4 (conflicts) and variables V62 V73 
0.09	c instanciating clauses for relation R4 (conflicts) and variables V62 V74 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V63 V78 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V63 V93 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V63 V108 
0.09	c instanciating clauses for relation R6 (conflicts) and variables V63 V123 
0.09	c instanciating clauses for relation R6 (conflicts) and variables V63 V138 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V63 V153 
0.09	c instanciating clauses for relation R6 (conflicts) and variables V63 V168 
0.09	c instanciating clauses for relation R6 (conflicts) and variables V63 V183 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V63 V198 
0.09	c instanciating clauses for relation R6 (conflicts) and variables V63 V213 
0.09	c instanciating clauses for relation R6 (conflicts) and variables V63 V64 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V63 V65 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V63 V66 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V63 V67 
0.09	c instanciating clauses for relation R6 (conflicts) and variables V63 V68 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V63 V69 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V63 V70 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V63 V71 
0.09	c instanciating clauses for relation R6 (conflicts) and variables V63 V72 
0.09	c instanciating clauses for relation R6 (conflicts) and variables V63 V73 
0.09	c instanciating clauses for relation R6 (conflicts) and variables V63 V74 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V64 V65 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V64 V66 
0.09	c instanciating clauses for relation R16 (conflicts) and variables V64 V67 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V64 V68 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V64 V69 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V64 V70 
0.09	c instanciating clauses for relation R15 (conflicts) and variables V64 V71 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V64 V72 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V64 V73 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V64 V74 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V64 V79 
0.09	c instanciating clauses for relation R13 (conflicts) and variables V64 V94 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V64 V109 
0.09	c instanciating clauses for relation R6 (conflicts) and variables V64 V124 
0.09	c instanciating clauses for relation R11 (conflicts) and variables V64 V139 
0.09	c instanciating clauses for relation R5 (conflicts) and variables V64 V154 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V64 V169 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V64 V184 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V64 V199 
0.09	c instanciating clauses for relation R16 (conflicts) and variables V64 V214 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V65 V66 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V65 V67 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V65 V68 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V65 V69 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V65 V70 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V65 V71 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V65 V72 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V65 V73 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V65 V74 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V65 V80 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V65 V95 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V65 V110 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V65 V125 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V65 V140 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V65 V155 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V65 V170 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V65 V185 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V65 V200 
0.09	c instanciating clauses for relation R0 (conflicts) and variables V65 V215 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V66 V67 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V66 V68 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V66 V69 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V66 V70 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V66 V71 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V66 V72 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V66 V73 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V66 V74 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V66 V81 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V66 V96 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V66 V111 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V66 V126 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V66 V141 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V66 V156 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V66 V171 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V66 V186 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V66 V201 
0.09	c instanciating clauses for relation R10 (conflicts) and variables V66 V216 
0.09	c instanciating clauses for relation R16 (conflicts) and variables V67 V68 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V67 V69 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V67 V70 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V67 V71 
0.09	c instanciating clauses for relation R16 (conflicts) and variables V67 V72 
0.09	c instanciating clauses for relation R16 (conflicts) and variables V67 V73 
0.09	c instanciating clauses for relation R16 (conflicts) and variables V67 V74 
0.09	c instanciating clauses for relation R16 (conflicts) and variables V67 V82 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V67 V97 
0.09	c instanciating clauses for relation R16 (conflicts) and variables V67 V112 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V67 V127 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V67 V142 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V67 V157 
0.09	c instanciating clauses for relation R16 (conflicts) and variables V67 V172 
0.09	c instanciating clauses for relation R16 (conflicts) and variables V67 V187 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V67 V202 
0.09	c instanciating clauses for relation R16 (conflicts) and variables V67 V217 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V68 V69 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V68 V70 
0.09	c instanciating clauses for relation R15 (conflicts) and variables V68 V71 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V68 V72 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V68 V73 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V68 V74 
0.09	c instanciating clauses for relation R11 (conflicts) and variables V68 V83 
0.09	c instanciating clauses for relation R5 (conflicts) and variables V68 V98 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V68 V113 
0.09	c instanciating clauses for relation R14 (conflicts) and variables V68 V128 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V68 V143 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V68 V158 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V68 V173 
0.09	c instanciating clauses for relation R9 (conflicts) and variables V68 V188 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V68 V203 
0.09	c instanciating clauses for relation R3 (conflicts) and variables V68 V218 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V69 V70 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V69 V71 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V69 V72 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V69 V73 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V69 V74 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V69 V84 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V69 V99 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V69 V114 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V69 V129 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V69 V144 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V69 V159 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V69 V174 
0.09	c instanciating clauses for relation R7 (conflicts) and variables V69 V189 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V69 V204 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V69 V219 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V70 V71 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V70 V72 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V70 V73 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V70 V74 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V70 V85 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V70 V100 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V70 V115 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V70 V130 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V70 V145 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V70 V160 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V70 V175 
0.09	c instanciating clauses for relation R8 (conflicts) and variables V70 V190 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V70 V205 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V70 V220 
0.09	c instanciating clauses for relation R15 (conflicts) and variables V71 V72 
0.09	c instanciating clauses for relation R15 (conflicts) and variables V71 V73 
0.09	c instanciating clauses for relation R15 (conflicts) and variables V71 V74 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V71 V86 
0.09	c instanciating clauses for relation R15 (conflicts) and variables V71 V101 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V71 V116 
0.09	c instanciating clauses for relation R15 (conflicts) and variables V71 V131 
0.09	c instanciating clauses for relation R15 (conflicts) and variables V71 V146 
0.09	c instanciating clauses for relation R1 (conflicts) and variables V71 V161 
0.10	c instanciating clauses for relation R15 (conflicts) and variables V71 V176 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V71 V191 
0.10	c instanciating clauses for relation R15 (conflicts) and variables V71 V206 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V71 V221 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V72 V73 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V72 V74 
0.10	c instanciating clauses for relation R6 (conflicts) and variables V72 V87 
0.10	c instanciating clauses for relation R2 (conflicts) and variables V72 V102 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V72 V117 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V72 V132 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V72 V147 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V72 V162 
0.10	c instanciating clauses for relation R16 (conflicts) and variables V72 V177 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V72 V192 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V72 V207 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V72 V222 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V73 V74 
0.10	c instanciating clauses for relation R12 (conflicts) and variables V73 V88 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V73 V103 
0.10	c instanciating clauses for relation R11 (conflicts) and variables V73 V118 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V73 V133 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V73 V148 
0.10	c instanciating clauses for relation R14 (conflicts) and variables V73 V163 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V73 V178 
0.10	c instanciating clauses for relation R6 (conflicts) and variables V73 V193 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V73 V208 
0.10	c instanciating clauses for relation R4 (conflicts) and variables V73 V223 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V74 V89 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V74 V104 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V74 V119 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V74 V134 
0.10	c instanciating clauses for relation R12 (conflicts) and variables V74 V149 
0.10	c instanciating clauses for relation R15 (conflicts) and variables V74 V164 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V74 V179 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V74 V194 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V74 V209 
0.10	c instanciating clauses for relation R11 (conflicts) and variables V74 V224 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V75 V90 
0.10	c instanciating clauses for relation R15 (conflicts) and variables V75 V105 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V75 V120 
0.10	c instanciating clauses for relation R16 (conflicts) and variables V75 V135 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V75 V150 
0.10	c instanciating clauses for relation R4 (conflicts) and variables V75 V165 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V75 V180 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V75 V195 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V75 V210 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V75 V76 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V75 V77 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V75 V78 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V75 V79 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V75 V80 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V75 V81 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V75 V82 
0.10	c instanciating clauses for relation R11 (conflicts) and variables V75 V83 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V75 V84 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V75 V85 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V75 V86 
0.10	c instanciating clauses for relation R6 (conflicts) and variables V75 V87 
0.10	c instanciating clauses for relation R12 (conflicts) and variables V75 V88 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V75 V89 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V76 V91 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V76 V106 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V76 V121 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V76 V136 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V76 V151 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V76 V166 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V76 V181 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V76 V196 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V76 V211 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V76 V77 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V76 V78 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V76 V79 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V76 V80 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V76 V81 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V76 V82 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V76 V83 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V76 V84 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V76 V85 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V76 V86 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V76 V87 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V76 V88 
0.10	c instanciating clauses for relation R10 (conflicts) and variables V76 V89 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V77 V92 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V77 V107 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V77 V122 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V77 V137 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V77 V152 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V77 V167 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V77 V182 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V77 V197 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V77 V212 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V77 V78 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V77 V79 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V77 V80 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V77 V81 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V77 V82 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V77 V83 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V77 V84 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V77 V85 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V77 V86 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V77 V87 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V77 V88 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V77 V89 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V78 V93 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V78 V108 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V78 V123 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V78 V138 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V78 V153 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V78 V168 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V78 V183 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V78 V198 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V78 V213 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V78 V79 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V78 V80 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V78 V81 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V78 V82 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V78 V83 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V78 V84 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V78 V85 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V78 V86 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V78 V87 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V78 V88 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V78 V89 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V79 V94 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V79 V109 
0.10	c instanciating clauses for relation R6 (conflicts) and variables V79 V124 
0.10	c instanciating clauses for relation R11 (conflicts) and variables V79 V139 
0.10	c instanciating clauses for relation R5 (conflicts) and variables V79 V154 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V79 V169 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V79 V184 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V79 V199 
0.10	c instanciating clauses for relation R16 (conflicts) and variables V79 V214 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V79 V80 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V79 V81 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V79 V82 
0.10	c instanciating clauses for relation R11 (conflicts) and variables V79 V83 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V79 V84 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V79 V85 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V79 V86 
0.10	c instanciating clauses for relation R6 (conflicts) and variables V79 V87 
0.10	c instanciating clauses for relation R12 (conflicts) and variables V79 V88 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V79 V89 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V80 V81 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V80 V82 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V80 V83 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V80 V84 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V80 V85 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V80 V86 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V80 V87 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V80 V88 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V80 V89 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V80 V95 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V80 V110 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V80 V125 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V80 V140 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V80 V155 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V80 V170 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V80 V185 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V80 V200 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V80 V215 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V81 V82 
0.10	c instanciating clauses for relation R11 (conflicts) and variables V81 V83 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V81 V84 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V81 V85 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V81 V86 
0.10	c instanciating clauses for relation R6 (conflicts) and variables V81 V87 
0.10	c instanciating clauses for relation R12 (conflicts) and variables V81 V88 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V81 V89 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V81 V96 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V81 V111 
0.10	c instanciating clauses for relation R13 (conflicts) and variables V81 V126 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V81 V141 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V81 V156 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V81 V171 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V81 V186 
0.10	c instanciating clauses for relation R16 (conflicts) and variables V81 V201 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V81 V216 
0.10	c instanciating clauses for relation R11 (conflicts) and variables V82 V83 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V82 V84 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V82 V85 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V82 V86 
0.10	c instanciating clauses for relation R6 (conflicts) and variables V82 V87 
0.10	c instanciating clauses for relation R12 (conflicts) and variables V82 V88 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V82 V89 
0.10	c instanciating clauses for relation R7 (conflicts) and variables V82 V97 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V82 V112 
0.10	c instanciating clauses for relation R8 (conflicts) and variables V82 V127 
0.10	c instanciating clauses for relation R9 (conflicts) and variables V82 V142 
0.10	c instanciating clauses for relation R4 (conflicts) and variables V82 V157 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V82 V172 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V82 V187 
0.10	c instanciating clauses for relation R0 (conflicts) and variables V82 V202 
0.10	c instanciating clauses for relation R3 (conflicts) and variables V82 V217 
0.10	c instanciating clauses for relation R11 (conflicts) and variables V83 V84 
0.10	c instanciating clauses for relation R11 (conflicts) and variables V83 V85 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V83 V86 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V83 V87 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V83 V88 
0.10	c instanciating clauses for relation R11 (conflicts) and variables V83 V89 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V83 V98 
0.10	c instanciating clauses for relation R11 (conflicts) and variables V83 V113 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V83 V128 
0.10	c instanciating clauses for relation R1 (conflicts) and variables V83 V143 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V83 V158 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V83 V173 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V83 V188 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V83 V203 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V83 V218 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V84 V85 
0.11	c instanciating clauses for relation R7 (conflicts) and variables V84 V86 
0.11	c instanciating clauses for relation R6 (conflicts) and variables V84 V87 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V84 V88 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V84 V89 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V84 V99 
0.11	c instanciating clauses for relation R0 (conflicts) and variables V84 V114 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V84 V129 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V84 V144 
0.11	c instanciating clauses for relation R8 (conflicts) and variables V84 V159 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V84 V174 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V84 V189 
0.11	c instanciating clauses for relation R9 (conflicts) and variables V84 V204 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V84 V219 
0.11	c instanciating clauses for relation R7 (conflicts) and variables V85 V86 
0.11	c instanciating clauses for relation R6 (conflicts) and variables V85 V87 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V85 V88 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V85 V89 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V85 V100 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V85 V115 
0.11	c instanciating clauses for relation R0 (conflicts) and variables V85 V130 
0.11	c instanciating clauses for relation R14 (conflicts) and variables V85 V145 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V85 V160 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V85 V175 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V85 V190 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V85 V205 
0.11	c instanciating clauses for relation R15 (conflicts) and variables V85 V220 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V86 V87 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V86 V88 
0.11	c instanciating clauses for relation R7 (conflicts) and variables V86 V89 
0.11	c instanciating clauses for relation R7 (conflicts) and variables V86 V101 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V86 V116 
0.11	c instanciating clauses for relation R7 (conflicts) and variables V86 V131 
0.11	c instanciating clauses for relation R7 (conflicts) and variables V86 V146 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V86 V161 
0.11	c instanciating clauses for relation R7 (conflicts) and variables V86 V176 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V86 V191 
0.11	c instanciating clauses for relation R7 (conflicts) and variables V86 V206 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V86 V221 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V87 V88 
0.11	c instanciating clauses for relation R6 (conflicts) and variables V87 V89 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V87 V102 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V87 V117 
0.11	c instanciating clauses for relation R6 (conflicts) and variables V87 V132 
0.11	c instanciating clauses for relation R6 (conflicts) and variables V87 V147 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V87 V162 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V87 V177 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V87 V192 
0.11	c instanciating clauses for relation R6 (conflicts) and variables V87 V207 
0.11	c instanciating clauses for relation R6 (conflicts) and variables V87 V222 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V88 V89 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V88 V103 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V88 V118 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V88 V133 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V88 V148 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V88 V163 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V88 V178 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V88 V193 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V88 V208 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V88 V223 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V89 V104 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V89 V119 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V89 V134 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V89 V149 
0.11	c instanciating clauses for relation R15 (conflicts) and variables V89 V164 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V89 V179 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V89 V194 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V89 V209 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V89 V224 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V90 V105 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V90 V120 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V90 V135 
0.11	c instanciating clauses for relation R8 (conflicts) and variables V90 V150 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V90 V165 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V90 V180 
0.11	c instanciating clauses for relation R8 (conflicts) and variables V90 V195 
0.11	c instanciating clauses for relation R8 (conflicts) and variables V90 V210 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V90 V91 
0.11	c instanciating clauses for relation R8 (conflicts) and variables V90 V92 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V90 V93 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V90 V94 
0.11	c instanciating clauses for relation R8 (conflicts) and variables V90 V95 
0.11	c instanciating clauses for relation R8 (conflicts) and variables V90 V96 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V90 V97 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V90 V98 
0.11	c instanciating clauses for relation R8 (conflicts) and variables V90 V99 
0.11	c instanciating clauses for relation R8 (conflicts) and variables V90 V100 
0.11	c instanciating clauses for relation R8 (conflicts) and variables V90 V101 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V90 V102 
0.11	c instanciating clauses for relation R8 (conflicts) and variables V90 V103 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V90 V104 
0.11	c instanciating clauses for relation R4 (conflicts) and variables V91 V106 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V91 V121 
0.11	c instanciating clauses for relation R4 (conflicts) and variables V91 V136 
0.11	c instanciating clauses for relation R4 (conflicts) and variables V91 V151 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V91 V166 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V91 V181 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V91 V196 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V91 V211 
0.11	c instanciating clauses for relation R4 (conflicts) and variables V91 V92 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V91 V93 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V91 V94 
0.11	c instanciating clauses for relation R4 (conflicts) and variables V91 V95 
0.11	c instanciating clauses for relation R4 (conflicts) and variables V91 V96 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V91 V97 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V91 V98 
0.11	c instanciating clauses for relation R4 (conflicts) and variables V91 V99 
0.11	c instanciating clauses for relation R4 (conflicts) and variables V91 V100 
0.11	c instanciating clauses for relation R4 (conflicts) and variables V91 V101 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V91 V102 
0.11	c instanciating clauses for relation R4 (conflicts) and variables V91 V103 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V91 V104 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V92 V107 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V92 V122 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V92 V137 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V92 V152 
0.11	c instanciating clauses for relation R6 (conflicts) and variables V92 V167 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V92 V182 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V92 V197 
0.11	c instanciating clauses for relation R9 (conflicts) and variables V92 V212 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V92 V93 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V92 V94 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V92 V95 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V92 V96 
0.11	c instanciating clauses for relation R7 (conflicts) and variables V92 V97 
0.11	c instanciating clauses for relation R5 (conflicts) and variables V92 V98 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V92 V99 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V92 V100 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V92 V101 
0.11	c instanciating clauses for relation R2 (conflicts) and variables V92 V102 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V92 V103 
0.11	c instanciating clauses for relation R10 (conflicts) and variables V92 V104 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V93 V108 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V93 V123 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V93 V138 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V93 V153 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V93 V168 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V93 V183 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V93 V198 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V93 V213 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V93 V94 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V93 V95 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V93 V96 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V93 V97 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V93 V98 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V93 V99 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V93 V100 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V93 V101 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V93 V102 
0.11	c instanciating clauses for relation R12 (conflicts) and variables V93 V103 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V93 V104 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V94 V109 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V94 V124 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V94 V139 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V94 V154 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V94 V169 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V94 V184 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V94 V199 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V94 V214 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V94 V95 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V94 V96 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V94 V97 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V94 V98 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V94 V99 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V94 V100 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V94 V101 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V94 V102 
0.11	c instanciating clauses for relation R13 (conflicts) and variables V94 V103 
0.11	c instanciating clauses for relation R1 (conflicts) and variables V94 V104 
0.11	c instanciating clauses for relation R7 (conflicts) and variables V95 V110 
0.11	c instanciating clauses for relation R5 (conflicts) and variables V95 V125 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V95 V140 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V95 V155 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V95 V170 
0.11	c instanciating clauses for relation R4 (conflicts) and variables V95 V185 
0.11	c instanciating clauses for relation R11 (conflicts) and variables V95 V200 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V95 V215 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V95 V96 
0.11	c instanciating clauses for relation R7 (conflicts) and variables V95 V97 
0.11	c instanciating clauses for relation R5 (conflicts) and variables V95 V98 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V95 V99 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V95 V100 
0.11	c instanciating clauses for relation R3 (conflicts) and variables V95 V101 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V95 V102 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V95 V103 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V95 V104 
0.12	c instanciating clauses for relation R7 (conflicts) and variables V96 V97 
0.12	c instanciating clauses for relation R5 (conflicts) and variables V96 V98 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V96 V99 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V96 V100 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V96 V101 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V96 V102 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V96 V103 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V96 V104 
0.12	c instanciating clauses for relation R9 (conflicts) and variables V96 V111 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V96 V126 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V96 V141 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V96 V156 
0.12	c instanciating clauses for relation R0 (conflicts) and variables V96 V171 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V96 V186 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V96 V201 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V96 V216 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V97 V98 
0.12	c instanciating clauses for relation R7 (conflicts) and variables V97 V99 
0.12	c instanciating clauses for relation R7 (conflicts) and variables V97 V100 
0.12	c instanciating clauses for relation R7 (conflicts) and variables V97 V101 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V97 V102 
0.12	c instanciating clauses for relation R7 (conflicts) and variables V97 V103 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V97 V104 
0.12	c instanciating clauses for relation R7 (conflicts) and variables V97 V112 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V97 V127 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V97 V142 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V97 V157 
0.12	c instanciating clauses for relation R7 (conflicts) and variables V97 V172 
0.12	c instanciating clauses for relation R7 (conflicts) and variables V97 V187 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V97 V202 
0.12	c instanciating clauses for relation R7 (conflicts) and variables V97 V217 
0.12	c instanciating clauses for relation R5 (conflicts) and variables V98 V99 
0.12	c instanciating clauses for relation R5 (conflicts) and variables V98 V100 
0.12	c instanciating clauses for relation R5 (conflicts) and variables V98 V101 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V98 V102 
0.12	c instanciating clauses for relation R5 (conflicts) and variables V98 V103 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V98 V104 
0.12	c instanciating clauses for relation R5 (conflicts) and variables V98 V113 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V98 V128 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V98 V143 
0.12	c instanciating clauses for relation R5 (conflicts) and variables V98 V158 
0.12	c instanciating clauses for relation R5 (conflicts) and variables V98 V173 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V98 V188 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V98 V203 
0.12	c instanciating clauses for relation R5 (conflicts) and variables V98 V218 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V99 V100 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V99 V101 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V99 V102 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V99 V103 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V99 V104 
0.12	c instanciating clauses for relation R0 (conflicts) and variables V99 V114 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V99 V129 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V99 V144 
0.12	c instanciating clauses for relation R8 (conflicts) and variables V99 V159 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V99 V174 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V99 V189 
0.12	c instanciating clauses for relation R9 (conflicts) and variables V99 V204 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V99 V219 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V100 V101 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V100 V102 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V100 V103 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V100 V104 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V100 V115 
0.12	c instanciating clauses for relation R0 (conflicts) and variables V100 V130 
0.12	c instanciating clauses for relation R14 (conflicts) and variables V100 V145 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V100 V160 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V100 V175 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V100 V190 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V100 V205 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V100 V220 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V101 V102 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V101 V103 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V101 V104 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V101 V116 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V101 V131 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V101 V146 
0.12	c instanciating clauses for relation R0 (conflicts) and variables V101 V161 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V101 V176 
0.12	c instanciating clauses for relation R14 (conflicts) and variables V101 V191 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V101 V206 
0.12	c instanciating clauses for relation R12 (conflicts) and variables V101 V221 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V102 V103 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V102 V104 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V102 V117 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V102 V132 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V102 V147 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V102 V162 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V102 V177 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V102 V192 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V102 V207 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V102 V222 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V103 V104 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V103 V118 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V103 V133 
0.12	c instanciating clauses for relation R0 (conflicts) and variables V103 V148 
0.12	c instanciating clauses for relation R14 (conflicts) and variables V103 V163 
0.12	c instanciating clauses for relation R5 (conflicts) and variables V103 V178 
0.12	c instanciating clauses for relation R6 (conflicts) and variables V103 V193 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V103 V208 
0.12	c instanciating clauses for relation R4 (conflicts) and variables V103 V223 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V104 V119 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V104 V134 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V104 V149 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V104 V164 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V104 V179 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V104 V194 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V104 V209 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V104 V224 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V105 V120 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V105 V135 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V105 V150 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V105 V165 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V105 V180 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V105 V195 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V105 V210 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V105 V106 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V105 V107 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V105 V108 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V105 V109 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V105 V110 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V105 V111 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V105 V112 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V105 V113 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V105 V114 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V105 V115 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V105 V116 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V105 V117 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V105 V118 
0.12	c instanciating clauses for relation R15 (conflicts) and variables V105 V119 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V106 V121 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V106 V136 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V106 V151 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V106 V166 
0.12	c instanciating clauses for relation R8 (conflicts) and variables V106 V181 
0.12	c instanciating clauses for relation R5 (conflicts) and variables V106 V196 
0.12	c instanciating clauses for relation R7 (conflicts) and variables V106 V211 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V106 V107 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V106 V108 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V106 V109 
0.12	c instanciating clauses for relation R7 (conflicts) and variables V106 V110 
0.12	c instanciating clauses for relation R9 (conflicts) and variables V106 V111 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V106 V112 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V106 V113 
0.12	c instanciating clauses for relation R0 (conflicts) and variables V106 V114 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V106 V115 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V106 V116 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V106 V117 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V106 V118 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V106 V119 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V107 V122 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V107 V137 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V107 V152 
0.12	c instanciating clauses for relation R6 (conflicts) and variables V107 V167 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V107 V182 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V107 V197 
0.12	c instanciating clauses for relation R9 (conflicts) and variables V107 V212 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V107 V108 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V107 V109 
0.12	c instanciating clauses for relation R7 (conflicts) and variables V107 V110 
0.12	c instanciating clauses for relation R9 (conflicts) and variables V107 V111 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V107 V112 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V107 V113 
0.12	c instanciating clauses for relation R0 (conflicts) and variables V107 V114 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V107 V115 
0.12	c instanciating clauses for relation R2 (conflicts) and variables V107 V116 
0.12	c instanciating clauses for relation R13 (conflicts) and variables V107 V117 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V107 V118 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V107 V119 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V108 V123 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V108 V138 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V108 V153 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V108 V168 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V108 V183 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V108 V198 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V108 V213 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V108 V109 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V108 V110 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V108 V111 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V108 V112 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V108 V113 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V108 V114 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V108 V115 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V108 V116 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V108 V117 
0.12	c instanciating clauses for relation R1 (conflicts) and variables V108 V118 
0.12	c instanciating clauses for relation R10 (conflicts) and variables V108 V119 
0.12	c instanciating clauses for relation R6 (conflicts) and variables V109 V124 
0.12	c instanciating clauses for relation R11 (conflicts) and variables V109 V139 
0.12	c instanciating clauses for relation R5 (conflicts) and variables V109 V154 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V109 V169 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V109 V184 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V109 V199 
0.12	c instanciating clauses for relation R16 (conflicts) and variables V109 V214 
0.12	c instanciating clauses for relation R7 (conflicts) and variables V109 V110 
0.12	c instanciating clauses for relation R9 (conflicts) and variables V109 V111 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V109 V112 
0.12	c instanciating clauses for relation R3 (conflicts) and variables V109 V113 
0.13	c instanciating clauses for relation R0 (conflicts) and variables V109 V114 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V109 V115 
0.13	c instanciating clauses for relation R2 (conflicts) and variables V109 V116 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V109 V117 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V109 V118 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V109 V119 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V110 V125 
0.13	c instanciating clauses for relation R7 (conflicts) and variables V110 V140 
0.13	c instanciating clauses for relation R7 (conflicts) and variables V110 V155 
0.13	c instanciating clauses for relation R7 (conflicts) and variables V110 V170 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V110 V185 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V110 V200 
0.13	c instanciating clauses for relation R7 (conflicts) and variables V110 V215 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V110 V111 
0.13	c instanciating clauses for relation R7 (conflicts) and variables V110 V112 
0.13	c instanciating clauses for relation R7 (conflicts) and variables V110 V113 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V110 V114 
0.13	c instanciating clauses for relation R7 (conflicts) and variables V110 V115 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V110 V116 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V110 V117 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V110 V118 
0.13	c instanciating clauses for relation R7 (conflicts) and variables V110 V119 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V111 V126 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V111 V141 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V111 V156 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V111 V171 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V111 V186 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V111 V201 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V111 V216 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V111 V112 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V111 V113 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V111 V114 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V111 V115 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V111 V116 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V111 V117 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V111 V118 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V111 V119 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V112 V113 
0.13	c instanciating clauses for relation R0 (conflicts) and variables V112 V114 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V112 V115 
0.13	c instanciating clauses for relation R2 (conflicts) and variables V112 V116 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V112 V117 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V112 V118 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V112 V119 
0.13	c instanciating clauses for relation R8 (conflicts) and variables V112 V127 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V112 V142 
0.13	c instanciating clauses for relation R4 (conflicts) and variables V112 V157 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V112 V172 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V112 V187 
0.13	c instanciating clauses for relation R0 (conflicts) and variables V112 V202 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V112 V217 
0.13	c instanciating clauses for relation R0 (conflicts) and variables V113 V114 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V113 V115 
0.13	c instanciating clauses for relation R2 (conflicts) and variables V113 V116 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V113 V117 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V113 V118 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V113 V119 
0.13	c instanciating clauses for relation R14 (conflicts) and variables V113 V128 
0.13	c instanciating clauses for relation R8 (conflicts) and variables V113 V143 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V113 V158 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V113 V173 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V113 V188 
0.13	c instanciating clauses for relation R7 (conflicts) and variables V113 V203 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V113 V218 
0.13	c instanciating clauses for relation R0 (conflicts) and variables V114 V115 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V114 V116 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V114 V117 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V114 V118 
0.13	c instanciating clauses for relation R0 (conflicts) and variables V114 V119 
0.13	c instanciating clauses for relation R0 (conflicts) and variables V114 V129 
0.13	c instanciating clauses for relation R0 (conflicts) and variables V114 V144 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V114 V159 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V114 V174 
0.13	c instanciating clauses for relation R0 (conflicts) and variables V114 V189 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V114 V204 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V114 V219 
0.13	c instanciating clauses for relation R2 (conflicts) and variables V115 V116 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V115 V117 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V115 V118 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V115 V119 
0.13	c instanciating clauses for relation R0 (conflicts) and variables V115 V130 
0.13	c instanciating clauses for relation R14 (conflicts) and variables V115 V145 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V115 V160 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V115 V175 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V115 V190 
0.13	c instanciating clauses for relation R10 (conflicts) and variables V115 V205 
0.13	c instanciating clauses for relation R15 (conflicts) and variables V115 V220 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V116 V117 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V116 V118 
0.13	c instanciating clauses for relation R2 (conflicts) and variables V116 V119 
0.13	c instanciating clauses for relation R2 (conflicts) and variables V116 V131 
0.13	c instanciating clauses for relation R2 (conflicts) and variables V116 V146 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V116 V161 
0.13	c instanciating clauses for relation R2 (conflicts) and variables V116 V176 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V116 V191 
0.13	c instanciating clauses for relation R2 (conflicts) and variables V116 V206 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V116 V221 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V117 V118 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V117 V119 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V117 V132 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V117 V147 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V117 V162 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V117 V177 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V117 V192 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V117 V207 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V117 V222 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V118 V119 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V118 V133 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V118 V148 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V118 V163 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V118 V178 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V118 V193 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V118 V208 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V118 V223 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V119 V134 
0.13	c instanciating clauses for relation R12 (conflicts) and variables V119 V149 
0.13	c instanciating clauses for relation R15 (conflicts) and variables V119 V164 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V119 V179 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V119 V194 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V119 V209 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V119 V224 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V120 V135 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V120 V150 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V120 V165 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V120 V180 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V120 V195 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V120 V210 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V120 V121 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V120 V122 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V120 V123 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V120 V124 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V120 V125 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V120 V126 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V120 V127 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V120 V128 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V120 V129 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V120 V130 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V120 V131 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V120 V132 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V120 V133 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V120 V134 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V121 V136 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V121 V151 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V121 V166 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V121 V181 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V121 V196 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V121 V211 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V121 V122 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V121 V123 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V121 V124 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V121 V125 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V121 V126 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V121 V127 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V121 V128 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V121 V129 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V121 V130 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V121 V131 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V121 V132 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V121 V133 
0.13	c instanciating clauses for relation R11 (conflicts) and variables V121 V134 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V122 V137 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V122 V152 
0.13	c instanciating clauses for relation R6 (conflicts) and variables V122 V167 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V122 V182 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V122 V197 
0.13	c instanciating clauses for relation R9 (conflicts) and variables V122 V212 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V122 V123 
0.13	c instanciating clauses for relation R6 (conflicts) and variables V122 V124 
0.13	c instanciating clauses for relation R5 (conflicts) and variables V122 V125 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V122 V126 
0.13	c instanciating clauses for relation R8 (conflicts) and variables V122 V127 
0.13	c instanciating clauses for relation R14 (conflicts) and variables V122 V128 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V122 V129 
0.13	c instanciating clauses for relation R0 (conflicts) and variables V122 V130 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V122 V131 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V122 V132 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V122 V133 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V122 V134 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V123 V138 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V123 V153 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V123 V168 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V123 V183 
0.13	c instanciating clauses for relation R2 (conflicts) and variables V123 V198 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V123 V213 
0.13	c instanciating clauses for relation R6 (conflicts) and variables V123 V124 
0.13	c instanciating clauses for relation R5 (conflicts) and variables V123 V125 
0.13	c instanciating clauses for relation R13 (conflicts) and variables V123 V126 
0.13	c instanciating clauses for relation R8 (conflicts) and variables V123 V127 
0.13	c instanciating clauses for relation R14 (conflicts) and variables V123 V128 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V123 V129 
0.13	c instanciating clauses for relation R0 (conflicts) and variables V123 V130 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V123 V131 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V123 V132 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V123 V133 
0.13	c instanciating clauses for relation R3 (conflicts) and variables V123 V134 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V124 V139 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V124 V154 
0.13	c instanciating clauses for relation R6 (conflicts) and variables V124 V169 
0.13	c instanciating clauses for relation R6 (conflicts) and variables V124 V184 
0.13	c instanciating clauses for relation R6 (conflicts) and variables V124 V199 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V124 V214 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V124 V125 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V124 V126 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V124 V127 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V124 V128 
0.13	c instanciating clauses for relation R6 (conflicts) and variables V124 V129 
0.13	c instanciating clauses for relation R1 (conflicts) and variables V124 V130 
0.13	c instanciating clauses for relation R6 (conflicts) and variables V124 V131 
0.13	c instanciating clauses for relation R6 (conflicts) and variables V124 V132 
0.13	c instanciating clauses for relation R6 (conflicts) and variables V124 V133 
0.13	c instanciating clauses for relation R6 (conflicts) and variables V124 V134 
0.13	c instanciating clauses for relation R5 (conflicts) and variables V125 V140 
0.14	c instanciating clauses for relation R5 (conflicts) and variables V125 V155 
0.14	c instanciating clauses for relation R5 (conflicts) and variables V125 V170 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V125 V185 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V125 V200 
0.14	c instanciating clauses for relation R5 (conflicts) and variables V125 V215 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V125 V126 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V125 V127 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V125 V128 
0.14	c instanciating clauses for relation R5 (conflicts) and variables V125 V129 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V125 V130 
0.14	c instanciating clauses for relation R5 (conflicts) and variables V125 V131 
0.14	c instanciating clauses for relation R5 (conflicts) and variables V125 V132 
0.14	c instanciating clauses for relation R5 (conflicts) and variables V125 V133 
0.14	c instanciating clauses for relation R5 (conflicts) and variables V125 V134 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V126 V141 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V126 V156 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V126 V171 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V126 V186 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V126 V201 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V126 V216 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V126 V127 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V126 V128 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V126 V129 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V126 V130 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V126 V131 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V126 V132 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V126 V133 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V126 V134 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V127 V142 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V127 V157 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V127 V172 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V127 V187 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V127 V202 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V127 V217 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V127 V128 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V127 V129 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V127 V130 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V127 V131 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V127 V132 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V127 V133 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V127 V134 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V128 V129 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V128 V130 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V128 V131 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V128 V132 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V128 V133 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V128 V134 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V128 V143 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V128 V158 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V128 V173 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V128 V188 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V128 V203 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V128 V218 
0.14	c instanciating clauses for relation R0 (conflicts) and variables V129 V130 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V129 V131 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V129 V132 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V129 V133 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V129 V134 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V129 V144 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V129 V159 
0.14	c instanciating clauses for relation R10 (conflicts) and variables V129 V174 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V129 V189 
0.14	c instanciating clauses for relation R9 (conflicts) and variables V129 V204 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V129 V219 
0.14	c instanciating clauses for relation R0 (conflicts) and variables V130 V131 
0.14	c instanciating clauses for relation R0 (conflicts) and variables V130 V132 
0.14	c instanciating clauses for relation R0 (conflicts) and variables V130 V133 
0.14	c instanciating clauses for relation R0 (conflicts) and variables V130 V134 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V130 V145 
0.14	c instanciating clauses for relation R0 (conflicts) and variables V130 V160 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V130 V175 
0.14	c instanciating clauses for relation R0 (conflicts) and variables V130 V190 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V130 V205 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V130 V220 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V131 V132 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V131 V133 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V131 V134 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V131 V146 
0.14	c instanciating clauses for relation R0 (conflicts) and variables V131 V161 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V131 V176 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V131 V191 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V131 V206 
0.14	c instanciating clauses for relation R12 (conflicts) and variables V131 V221 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V132 V133 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V132 V134 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V132 V147 
0.14	c instanciating clauses for relation R10 (conflicts) and variables V132 V162 
0.14	c instanciating clauses for relation R16 (conflicts) and variables V132 V177 
0.14	c instanciating clauses for relation R7 (conflicts) and variables V132 V192 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V132 V207 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V132 V222 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V133 V134 
0.14	c instanciating clauses for relation R0 (conflicts) and variables V133 V148 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V133 V163 
0.14	c instanciating clauses for relation R5 (conflicts) and variables V133 V178 
0.14	c instanciating clauses for relation R6 (conflicts) and variables V133 V193 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V133 V208 
0.14	c instanciating clauses for relation R4 (conflicts) and variables V133 V223 
0.14	c instanciating clauses for relation R12 (conflicts) and variables V134 V149 
0.14	c instanciating clauses for relation R15 (conflicts) and variables V134 V164 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V134 V179 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V134 V194 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V134 V209 
0.14	c instanciating clauses for relation R11 (conflicts) and variables V134 V224 
0.14	c instanciating clauses for relation R16 (conflicts) and variables V135 V150 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V135 V165 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V135 V180 
0.14	c instanciating clauses for relation R16 (conflicts) and variables V135 V195 
0.14	c instanciating clauses for relation R16 (conflicts) and variables V135 V210 
0.14	c instanciating clauses for relation R16 (conflicts) and variables V135 V136 
0.14	c instanciating clauses for relation R16 (conflicts) and variables V135 V137 
0.14	c instanciating clauses for relation R16 (conflicts) and variables V135 V138 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V135 V139 
0.14	c instanciating clauses for relation R16 (conflicts) and variables V135 V140 
0.14	c instanciating clauses for relation R16 (conflicts) and variables V135 V141 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V135 V142 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V135 V143 
0.14	c instanciating clauses for relation R16 (conflicts) and variables V135 V144 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V135 V145 
0.14	c instanciating clauses for relation R16 (conflicts) and variables V135 V146 
0.14	c instanciating clauses for relation R16 (conflicts) and variables V135 V147 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V135 V148 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V135 V149 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V136 V151 
0.14	c instanciating clauses for relation R2 (conflicts) and variables V136 V166 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V136 V181 
0.14	c instanciating clauses for relation R5 (conflicts) and variables V136 V196 
0.14	c instanciating clauses for relation R7 (conflicts) and variables V136 V211 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V136 V137 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V136 V138 
0.14	c instanciating clauses for relation R11 (conflicts) and variables V136 V139 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V136 V140 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V136 V141 
0.14	c instanciating clauses for relation R9 (conflicts) and variables V136 V142 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V136 V143 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V136 V144 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V136 V145 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V136 V146 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V136 V147 
0.14	c instanciating clauses for relation R0 (conflicts) and variables V136 V148 
0.14	c instanciating clauses for relation R12 (conflicts) and variables V136 V149 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V137 V152 
0.14	c instanciating clauses for relation R6 (conflicts) and variables V137 V167 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V137 V182 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V137 V197 
0.14	c instanciating clauses for relation R9 (conflicts) and variables V137 V212 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V137 V138 
0.14	c instanciating clauses for relation R11 (conflicts) and variables V137 V139 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V137 V140 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V137 V141 
0.14	c instanciating clauses for relation R9 (conflicts) and variables V137 V142 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V137 V143 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V137 V144 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V137 V145 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V137 V146 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V137 V147 
0.14	c instanciating clauses for relation R0 (conflicts) and variables V137 V148 
0.14	c instanciating clauses for relation R12 (conflicts) and variables V137 V149 
0.14	c instanciating clauses for relation R13 (conflicts) and variables V138 V153 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V138 V168 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V138 V183 
0.14	c instanciating clauses for relation R2 (conflicts) and variables V138 V198 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V138 V213 
0.14	c instanciating clauses for relation R11 (conflicts) and variables V138 V139 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V138 V140 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V138 V141 
0.14	c instanciating clauses for relation R9 (conflicts) and variables V138 V142 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V138 V143 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V138 V144 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V138 V145 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V138 V146 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V138 V147 
0.14	c instanciating clauses for relation R0 (conflicts) and variables V138 V148 
0.14	c instanciating clauses for relation R12 (conflicts) and variables V138 V149 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V139 V154 
0.14	c instanciating clauses for relation R11 (conflicts) and variables V139 V169 
0.14	c instanciating clauses for relation R11 (conflicts) and variables V139 V184 
0.14	c instanciating clauses for relation R11 (conflicts) and variables V139 V199 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V139 V214 
0.14	c instanciating clauses for relation R11 (conflicts) and variables V139 V140 
0.14	c instanciating clauses for relation R11 (conflicts) and variables V139 V141 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V139 V142 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V139 V143 
0.14	c instanciating clauses for relation R11 (conflicts) and variables V139 V144 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V139 V145 
0.14	c instanciating clauses for relation R11 (conflicts) and variables V139 V146 
0.14	c instanciating clauses for relation R11 (conflicts) and variables V139 V147 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V139 V148 
0.14	c instanciating clauses for relation R1 (conflicts) and variables V139 V149 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V140 V155 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V140 V170 
0.14	c instanciating clauses for relation R4 (conflicts) and variables V140 V185 
0.14	c instanciating clauses for relation R11 (conflicts) and variables V140 V200 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V140 V215 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V140 V141 
0.14	c instanciating clauses for relation R9 (conflicts) and variables V140 V142 
0.14	c instanciating clauses for relation R8 (conflicts) and variables V140 V143 
0.14	c instanciating clauses for relation R3 (conflicts) and variables V140 V144 
0.14	c instanciating clauses for relation R14 (conflicts) and variables V140 V145 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V140 V146 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V140 V147 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V140 V148 
0.15	c instanciating clauses for relation R12 (conflicts) and variables V140 V149 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V141 V156 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V141 V171 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V141 V186 
0.15	c instanciating clauses for relation R16 (conflicts) and variables V141 V201 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V141 V216 
0.15	c instanciating clauses for relation R9 (conflicts) and variables V141 V142 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V141 V143 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V141 V144 
0.15	c instanciating clauses for relation R14 (conflicts) and variables V141 V145 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V141 V146 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V141 V147 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V141 V148 
0.15	c instanciating clauses for relation R12 (conflicts) and variables V141 V149 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V142 V157 
0.15	c instanciating clauses for relation R9 (conflicts) and variables V142 V172 
0.15	c instanciating clauses for relation R9 (conflicts) and variables V142 V187 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V142 V202 
0.15	c instanciating clauses for relation R9 (conflicts) and variables V142 V217 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V142 V143 
0.15	c instanciating clauses for relation R9 (conflicts) and variables V142 V144 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V142 V145 
0.15	c instanciating clauses for relation R9 (conflicts) and variables V142 V146 
0.15	c instanciating clauses for relation R9 (conflicts) and variables V142 V147 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V142 V148 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V142 V149 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V143 V158 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V143 V173 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V143 V188 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V143 V203 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V143 V218 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V143 V144 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V143 V145 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V143 V146 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V143 V147 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V143 V148 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V143 V149 
0.15	c instanciating clauses for relation R14 (conflicts) and variables V144 V145 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V144 V146 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V144 V147 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V144 V148 
0.15	c instanciating clauses for relation R12 (conflicts) and variables V144 V149 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V144 V159 
0.15	c instanciating clauses for relation R10 (conflicts) and variables V144 V174 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V144 V189 
0.15	c instanciating clauses for relation R9 (conflicts) and variables V144 V204 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V144 V219 
0.15	c instanciating clauses for relation R14 (conflicts) and variables V145 V146 
0.15	c instanciating clauses for relation R14 (conflicts) and variables V145 V147 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V145 V148 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V145 V149 
0.15	c instanciating clauses for relation R14 (conflicts) and variables V145 V160 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V145 V175 
0.15	c instanciating clauses for relation R14 (conflicts) and variables V145 V190 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V145 V205 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V145 V220 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V146 V147 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V146 V148 
0.15	c instanciating clauses for relation R12 (conflicts) and variables V146 V149 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V146 V161 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V146 V176 
0.15	c instanciating clauses for relation R14 (conflicts) and variables V146 V191 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V146 V206 
0.15	c instanciating clauses for relation R12 (conflicts) and variables V146 V221 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V147 V148 
0.15	c instanciating clauses for relation R12 (conflicts) and variables V147 V149 
0.15	c instanciating clauses for relation R10 (conflicts) and variables V147 V162 
0.15	c instanciating clauses for relation R16 (conflicts) and variables V147 V177 
0.15	c instanciating clauses for relation R7 (conflicts) and variables V147 V192 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V147 V207 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V147 V222 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V148 V149 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V148 V163 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V148 V178 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V148 V193 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V148 V208 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V148 V223 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V149 V164 
0.15	c instanciating clauses for relation R12 (conflicts) and variables V149 V179 
0.15	c instanciating clauses for relation R12 (conflicts) and variables V149 V194 
0.15	c instanciating clauses for relation R12 (conflicts) and variables V149 V209 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V149 V224 
0.15	c instanciating clauses for relation R4 (conflicts) and variables V150 V165 
0.15	c instanciating clauses for relation R10 (conflicts) and variables V150 V180 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V150 V195 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V150 V210 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V150 V151 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V150 V152 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V150 V153 
0.15	c instanciating clauses for relation R5 (conflicts) and variables V150 V154 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V150 V155 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V150 V156 
0.15	c instanciating clauses for relation R4 (conflicts) and variables V150 V157 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V150 V158 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V150 V159 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V150 V160 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V150 V161 
0.15	c instanciating clauses for relation R10 (conflicts) and variables V150 V162 
0.15	c instanciating clauses for relation R14 (conflicts) and variables V150 V163 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V150 V164 
0.15	c instanciating clauses for relation R2 (conflicts) and variables V151 V166 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V151 V181 
0.15	c instanciating clauses for relation R5 (conflicts) and variables V151 V196 
0.15	c instanciating clauses for relation R7 (conflicts) and variables V151 V211 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V151 V152 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V151 V153 
0.15	c instanciating clauses for relation R5 (conflicts) and variables V151 V154 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V151 V155 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V151 V156 
0.15	c instanciating clauses for relation R4 (conflicts) and variables V151 V157 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V151 V158 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V151 V159 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V151 V160 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V151 V161 
0.15	c instanciating clauses for relation R10 (conflicts) and variables V151 V162 
0.15	c instanciating clauses for relation R14 (conflicts) and variables V151 V163 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V151 V164 
0.15	c instanciating clauses for relation R6 (conflicts) and variables V152 V167 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V152 V182 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V152 V197 
0.15	c instanciating clauses for relation R9 (conflicts) and variables V152 V212 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V152 V153 
0.15	c instanciating clauses for relation R5 (conflicts) and variables V152 V154 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V152 V155 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V152 V156 
0.15	c instanciating clauses for relation R4 (conflicts) and variables V152 V157 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V152 V158 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V152 V159 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V152 V160 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V152 V161 
0.15	c instanciating clauses for relation R10 (conflicts) and variables V152 V162 
0.15	c instanciating clauses for relation R14 (conflicts) and variables V152 V163 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V152 V164 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V153 V168 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V153 V183 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V153 V198 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V153 V213 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V153 V154 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V153 V155 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V153 V156 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V153 V157 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V153 V158 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V153 V159 
0.15	c instanciating clauses for relation R13 (conflicts) and variables V153 V160 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V153 V161 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V153 V162 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V153 V163 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V153 V164 
0.15	c instanciating clauses for relation R5 (conflicts) and variables V154 V169 
0.15	c instanciating clauses for relation R5 (conflicts) and variables V154 V184 
0.15	c instanciating clauses for relation R5 (conflicts) and variables V154 V199 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V154 V214 
0.15	c instanciating clauses for relation R5 (conflicts) and variables V154 V155 
0.15	c instanciating clauses for relation R5 (conflicts) and variables V154 V156 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V154 V157 
0.15	c instanciating clauses for relation R5 (conflicts) and variables V154 V158 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V154 V159 
0.15	c instanciating clauses for relation R5 (conflicts) and variables V154 V160 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V154 V161 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V154 V162 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V154 V163 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V154 V164 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V155 V170 
0.15	c instanciating clauses for relation R4 (conflicts) and variables V155 V185 
0.15	c instanciating clauses for relation R11 (conflicts) and variables V155 V200 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V155 V215 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V155 V156 
0.15	c instanciating clauses for relation R4 (conflicts) and variables V155 V157 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V155 V158 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V155 V159 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V155 V160 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V155 V161 
0.15	c instanciating clauses for relation R10 (conflicts) and variables V155 V162 
0.15	c instanciating clauses for relation R14 (conflicts) and variables V155 V163 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V155 V164 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V156 V171 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V156 V186 
0.15	c instanciating clauses for relation R16 (conflicts) and variables V156 V201 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V156 V216 
0.15	c instanciating clauses for relation R4 (conflicts) and variables V156 V157 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V156 V158 
0.15	c instanciating clauses for relation R8 (conflicts) and variables V156 V159 
0.15	c instanciating clauses for relation R3 (conflicts) and variables V156 V160 
0.15	c instanciating clauses for relation R0 (conflicts) and variables V156 V161 
0.15	c instanciating clauses for relation R10 (conflicts) and variables V156 V162 
0.15	c instanciating clauses for relation R14 (conflicts) and variables V156 V163 
0.15	c instanciating clauses for relation R15 (conflicts) and variables V156 V164 
0.15	c instanciating clauses for relation R4 (conflicts) and variables V157 V172 
0.15	c instanciating clauses for relation R4 (conflicts) and variables V157 V187 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V157 V202 
0.15	c instanciating clauses for relation R4 (conflicts) and variables V157 V217 
0.15	c instanciating clauses for relation R4 (conflicts) and variables V157 V158 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V157 V159 
0.15	c instanciating clauses for relation R4 (conflicts) and variables V157 V160 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V157 V161 
0.15	c instanciating clauses for relation R1 (conflicts) and variables V157 V162 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V157 V163 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V157 V164 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V158 V173 
0.16	c instanciating clauses for relation R9 (conflicts) and variables V158 V188 
0.16	c instanciating clauses for relation R7 (conflicts) and variables V158 V203 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V158 V218 
0.16	c instanciating clauses for relation R8 (conflicts) and variables V158 V159 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V158 V160 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V158 V161 
0.16	c instanciating clauses for relation R10 (conflicts) and variables V158 V162 
0.16	c instanciating clauses for relation R14 (conflicts) and variables V158 V163 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V158 V164 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V159 V174 
0.16	c instanciating clauses for relation R8 (conflicts) and variables V159 V189 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V159 V204 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V159 V219 
0.16	c instanciating clauses for relation R8 (conflicts) and variables V159 V160 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V159 V161 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V159 V162 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V159 V163 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V159 V164 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V160 V161 
0.16	c instanciating clauses for relation R10 (conflicts) and variables V160 V162 
0.16	c instanciating clauses for relation R14 (conflicts) and variables V160 V163 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V160 V164 
0.16	c instanciating clauses for relation R13 (conflicts) and variables V160 V175 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V160 V190 
0.16	c instanciating clauses for relation R10 (conflicts) and variables V160 V205 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V160 V220 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V161 V162 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V161 V163 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V161 V164 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V161 V176 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V161 V191 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V161 V206 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V161 V221 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V162 V163 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V162 V164 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V162 V177 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V162 V192 
0.16	c instanciating clauses for relation R10 (conflicts) and variables V162 V207 
0.16	c instanciating clauses for relation R10 (conflicts) and variables V162 V222 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V163 V164 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V163 V178 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V163 V193 
0.16	c instanciating clauses for relation R14 (conflicts) and variables V163 V208 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V163 V223 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V164 V179 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V164 V194 
0.16	c instanciating clauses for relation R15 (conflicts) and variables V164 V209 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V164 V224 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V165 V180 
0.16	c instanciating clauses for relation R4 (conflicts) and variables V165 V195 
0.16	c instanciating clauses for relation R4 (conflicts) and variables V165 V210 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V165 V166 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V165 V167 
0.16	c instanciating clauses for relation R4 (conflicts) and variables V165 V168 
0.16	c instanciating clauses for relation R4 (conflicts) and variables V165 V169 
0.16	c instanciating clauses for relation R4 (conflicts) and variables V165 V170 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V165 V171 
0.16	c instanciating clauses for relation R4 (conflicts) and variables V165 V172 
0.16	c instanciating clauses for relation R4 (conflicts) and variables V165 V173 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V165 V174 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V165 V175 
0.16	c instanciating clauses for relation R4 (conflicts) and variables V165 V176 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V165 V177 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V165 V178 
0.16	c instanciating clauses for relation R4 (conflicts) and variables V165 V179 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V166 V181 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V166 V196 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V166 V211 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V166 V167 
0.16	c instanciating clauses for relation R2 (conflicts) and variables V166 V168 
0.16	c instanciating clauses for relation R2 (conflicts) and variables V166 V169 
0.16	c instanciating clauses for relation R2 (conflicts) and variables V166 V170 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V166 V171 
0.16	c instanciating clauses for relation R2 (conflicts) and variables V166 V172 
0.16	c instanciating clauses for relation R2 (conflicts) and variables V166 V173 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V166 V174 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V166 V175 
0.16	c instanciating clauses for relation R2 (conflicts) and variables V166 V176 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V166 V177 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V166 V178 
0.16	c instanciating clauses for relation R2 (conflicts) and variables V166 V179 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V167 V182 
0.16	c instanciating clauses for relation R6 (conflicts) and variables V167 V197 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V167 V212 
0.16	c instanciating clauses for relation R6 (conflicts) and variables V167 V168 
0.16	c instanciating clauses for relation R6 (conflicts) and variables V167 V169 
0.16	c instanciating clauses for relation R6 (conflicts) and variables V167 V170 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V167 V171 
0.16	c instanciating clauses for relation R6 (conflicts) and variables V167 V172 
0.16	c instanciating clauses for relation R6 (conflicts) and variables V167 V173 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V167 V174 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V167 V175 
0.16	c instanciating clauses for relation R6 (conflicts) and variables V167 V176 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V167 V177 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V167 V178 
0.16	c instanciating clauses for relation R6 (conflicts) and variables V167 V179 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V168 V183 
0.16	c instanciating clauses for relation R2 (conflicts) and variables V168 V198 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V168 V213 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V168 V169 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V168 V170 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V168 V171 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V168 V172 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V168 V173 
0.16	c instanciating clauses for relation R10 (conflicts) and variables V168 V174 
0.16	c instanciating clauses for relation R13 (conflicts) and variables V168 V175 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V168 V176 
0.16	c instanciating clauses for relation R16 (conflicts) and variables V168 V177 
0.16	c instanciating clauses for relation R5 (conflicts) and variables V168 V178 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V168 V179 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V169 V184 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V169 V199 
0.16	c instanciating clauses for relation R16 (conflicts) and variables V169 V214 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V169 V170 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V169 V171 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V169 V172 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V169 V173 
0.16	c instanciating clauses for relation R10 (conflicts) and variables V169 V174 
0.16	c instanciating clauses for relation R13 (conflicts) and variables V169 V175 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V169 V176 
0.16	c instanciating clauses for relation R16 (conflicts) and variables V169 V177 
0.16	c instanciating clauses for relation R5 (conflicts) and variables V169 V178 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V169 V179 
0.16	c instanciating clauses for relation R4 (conflicts) and variables V170 V185 
0.16	c instanciating clauses for relation R11 (conflicts) and variables V170 V200 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V170 V215 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V170 V171 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V170 V172 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V170 V173 
0.16	c instanciating clauses for relation R10 (conflicts) and variables V170 V174 
0.16	c instanciating clauses for relation R13 (conflicts) and variables V170 V175 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V170 V176 
0.16	c instanciating clauses for relation R16 (conflicts) and variables V170 V177 
0.16	c instanciating clauses for relation R5 (conflicts) and variables V170 V178 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V170 V179 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V171 V186 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V171 V201 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V171 V216 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V171 V172 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V171 V173 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V171 V174 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V171 V175 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V171 V176 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V171 V177 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V171 V178 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V171 V179 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V172 V187 
0.16	c instanciating clauses for relation R0 (conflicts) and variables V172 V202 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V172 V217 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V172 V173 
0.16	c instanciating clauses for relation R10 (conflicts) and variables V172 V174 
0.16	c instanciating clauses for relation R13 (conflicts) and variables V172 V175 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V172 V176 
0.16	c instanciating clauses for relation R16 (conflicts) and variables V172 V177 
0.16	c instanciating clauses for relation R5 (conflicts) and variables V172 V178 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V172 V179 
0.16	c instanciating clauses for relation R9 (conflicts) and variables V173 V188 
0.16	c instanciating clauses for relation R7 (conflicts) and variables V173 V203 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V173 V218 
0.16	c instanciating clauses for relation R10 (conflicts) and variables V173 V174 
0.16	c instanciating clauses for relation R13 (conflicts) and variables V173 V175 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V173 V176 
0.16	c instanciating clauses for relation R16 (conflicts) and variables V173 V177 
0.16	c instanciating clauses for relation R5 (conflicts) and variables V173 V178 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V173 V179 
0.16	c instanciating clauses for relation R10 (conflicts) and variables V174 V189 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V174 V204 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V174 V219 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V174 V175 
0.16	c instanciating clauses for relation R10 (conflicts) and variables V174 V176 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V174 V177 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V174 V178 
0.16	c instanciating clauses for relation R10 (conflicts) and variables V174 V179 
0.16	c instanciating clauses for relation R13 (conflicts) and variables V175 V190 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V175 V205 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V175 V220 
0.16	c instanciating clauses for relation R13 (conflicts) and variables V175 V176 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V175 V177 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V175 V178 
0.16	c instanciating clauses for relation R13 (conflicts) and variables V175 V179 
0.16	c instanciating clauses for relation R16 (conflicts) and variables V176 V177 
0.16	c instanciating clauses for relation R5 (conflicts) and variables V176 V178 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V176 V179 
0.16	c instanciating clauses for relation R14 (conflicts) and variables V176 V191 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V176 V206 
0.16	c instanciating clauses for relation R12 (conflicts) and variables V176 V221 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V177 V178 
0.16	c instanciating clauses for relation R16 (conflicts) and variables V177 V179 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V177 V192 
0.16	c instanciating clauses for relation R16 (conflicts) and variables V177 V207 
0.16	c instanciating clauses for relation R16 (conflicts) and variables V177 V222 
0.16	c instanciating clauses for relation R5 (conflicts) and variables V178 V179 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V178 V193 
0.16	c instanciating clauses for relation R5 (conflicts) and variables V178 V208 
0.16	c instanciating clauses for relation R1 (conflicts) and variables V178 V223 
0.16	c instanciating clauses for relation R3 (conflicts) and variables V179 V194 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V179 V209 
0.17	c instanciating clauses for relation R11 (conflicts) and variables V179 V224 
0.17	c instanciating clauses for relation R10 (conflicts) and variables V180 V195 
0.17	c instanciating clauses for relation R10 (conflicts) and variables V180 V210 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V180 V181 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V180 V182 
0.17	c instanciating clauses for relation R10 (conflicts) and variables V180 V183 
0.17	c instanciating clauses for relation R10 (conflicts) and variables V180 V184 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V180 V185 
0.17	c instanciating clauses for relation R10 (conflicts) and variables V180 V186 
0.17	c instanciating clauses for relation R10 (conflicts) and variables V180 V187 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V180 V188 
0.17	c instanciating clauses for relation R10 (conflicts) and variables V180 V189 
0.17	c instanciating clauses for relation R10 (conflicts) and variables V180 V190 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V180 V191 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V180 V192 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V180 V193 
0.17	c instanciating clauses for relation R10 (conflicts) and variables V180 V194 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V181 V196 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V181 V211 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V181 V182 
0.17	c instanciating clauses for relation R8 (conflicts) and variables V181 V183 
0.17	c instanciating clauses for relation R8 (conflicts) and variables V181 V184 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V181 V185 
0.17	c instanciating clauses for relation R8 (conflicts) and variables V181 V186 
0.17	c instanciating clauses for relation R8 (conflicts) and variables V181 V187 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V181 V188 
0.17	c instanciating clauses for relation R8 (conflicts) and variables V181 V189 
0.17	c instanciating clauses for relation R8 (conflicts) and variables V181 V190 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V181 V191 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V181 V192 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V181 V193 
0.17	c instanciating clauses for relation R8 (conflicts) and variables V181 V194 
0.17	c instanciating clauses for relation R13 (conflicts) and variables V182 V197 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V182 V212 
0.17	c instanciating clauses for relation R13 (conflicts) and variables V182 V183 
0.17	c instanciating clauses for relation R13 (conflicts) and variables V182 V184 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V182 V185 
0.17	c instanciating clauses for relation R13 (conflicts) and variables V182 V186 
0.17	c instanciating clauses for relation R13 (conflicts) and variables V182 V187 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V182 V188 
0.17	c instanciating clauses for relation R13 (conflicts) and variables V182 V189 
0.17	c instanciating clauses for relation R13 (conflicts) and variables V182 V190 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V182 V191 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V182 V192 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V182 V193 
0.17	c instanciating clauses for relation R13 (conflicts) and variables V182 V194 
0.17	c instanciating clauses for relation R2 (conflicts) and variables V183 V198 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V183 V213 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V183 V184 
0.17	c instanciating clauses for relation R4 (conflicts) and variables V183 V185 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V183 V186 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V183 V187 
0.17	c instanciating clauses for relation R9 (conflicts) and variables V183 V188 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V183 V189 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V183 V190 
0.17	c instanciating clauses for relation R14 (conflicts) and variables V183 V191 
0.17	c instanciating clauses for relation R7 (conflicts) and variables V183 V192 
0.17	c instanciating clauses for relation R6 (conflicts) and variables V183 V193 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V183 V194 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V184 V199 
0.17	c instanciating clauses for relation R16 (conflicts) and variables V184 V214 
0.17	c instanciating clauses for relation R4 (conflicts) and variables V184 V185 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V184 V186 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V184 V187 
0.17	c instanciating clauses for relation R9 (conflicts) and variables V184 V188 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V184 V189 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V184 V190 
0.17	c instanciating clauses for relation R14 (conflicts) and variables V184 V191 
0.17	c instanciating clauses for relation R7 (conflicts) and variables V184 V192 
0.17	c instanciating clauses for relation R6 (conflicts) and variables V184 V193 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V184 V194 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V185 V200 
0.17	c instanciating clauses for relation R4 (conflicts) and variables V185 V215 
0.17	c instanciating clauses for relation R4 (conflicts) and variables V185 V186 
0.17	c instanciating clauses for relation R4 (conflicts) and variables V185 V187 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V185 V188 
0.17	c instanciating clauses for relation R4 (conflicts) and variables V185 V189 
0.17	c instanciating clauses for relation R4 (conflicts) and variables V185 V190 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V185 V191 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V185 V192 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V185 V193 
0.17	c instanciating clauses for relation R4 (conflicts) and variables V185 V194 
0.17	c instanciating clauses for relation R16 (conflicts) and variables V186 V201 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V186 V216 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V186 V187 
0.17	c instanciating clauses for relation R9 (conflicts) and variables V186 V188 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V186 V189 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V186 V190 
0.17	c instanciating clauses for relation R14 (conflicts) and variables V186 V191 
0.17	c instanciating clauses for relation R7 (conflicts) and variables V186 V192 
0.17	c instanciating clauses for relation R6 (conflicts) and variables V186 V193 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V186 V194 
0.17	c instanciating clauses for relation R0 (conflicts) and variables V187 V202 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V187 V217 
0.17	c instanciating clauses for relation R9 (conflicts) and variables V187 V188 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V187 V189 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V187 V190 
0.17	c instanciating clauses for relation R14 (conflicts) and variables V187 V191 
0.17	c instanciating clauses for relation R7 (conflicts) and variables V187 V192 
0.17	c instanciating clauses for relation R6 (conflicts) and variables V187 V193 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V187 V194 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V188 V203 
0.17	c instanciating clauses for relation R9 (conflicts) and variables V188 V218 
0.17	c instanciating clauses for relation R9 (conflicts) and variables V188 V189 
0.17	c instanciating clauses for relation R9 (conflicts) and variables V188 V190 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V188 V191 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V188 V192 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V188 V193 
0.17	c instanciating clauses for relation R9 (conflicts) and variables V188 V194 
0.17	c instanciating clauses for relation R9 (conflicts) and variables V189 V204 
0.17	c instanciating clauses for relation R13 (conflicts) and variables V189 V219 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V189 V190 
0.17	c instanciating clauses for relation R14 (conflicts) and variables V189 V191 
0.17	c instanciating clauses for relation R7 (conflicts) and variables V189 V192 
0.17	c instanciating clauses for relation R6 (conflicts) and variables V189 V193 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V189 V194 
0.17	c instanciating clauses for relation R10 (conflicts) and variables V190 V205 
0.17	c instanciating clauses for relation R15 (conflicts) and variables V190 V220 
0.17	c instanciating clauses for relation R14 (conflicts) and variables V190 V191 
0.17	c instanciating clauses for relation R7 (conflicts) and variables V190 V192 
0.17	c instanciating clauses for relation R6 (conflicts) and variables V190 V193 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V190 V194 
0.17	c instanciating clauses for relation R14 (conflicts) and variables V191 V206 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V191 V221 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V191 V192 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V191 V193 
0.17	c instanciating clauses for relation R14 (conflicts) and variables V191 V194 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V192 V193 
0.17	c instanciating clauses for relation R7 (conflicts) and variables V192 V194 
0.17	c instanciating clauses for relation R7 (conflicts) and variables V192 V207 
0.17	c instanciating clauses for relation R7 (conflicts) and variables V192 V222 
0.17	c instanciating clauses for relation R6 (conflicts) and variables V193 V194 
0.17	c instanciating clauses for relation R6 (conflicts) and variables V193 V208 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V193 V223 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V194 V209 
0.17	c instanciating clauses for relation R11 (conflicts) and variables V194 V224 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V195 V210 
0.17	c instanciating clauses for relation R5 (conflicts) and variables V195 V196 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V195 V197 
0.17	c instanciating clauses for relation R2 (conflicts) and variables V195 V198 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V195 V199 
0.17	c instanciating clauses for relation R11 (conflicts) and variables V195 V200 
0.17	c instanciating clauses for relation R16 (conflicts) and variables V195 V201 
0.17	c instanciating clauses for relation R0 (conflicts) and variables V195 V202 
0.17	c instanciating clauses for relation R7 (conflicts) and variables V195 V203 
0.17	c instanciating clauses for relation R9 (conflicts) and variables V195 V204 
0.17	c instanciating clauses for relation R10 (conflicts) and variables V195 V205 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V195 V206 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V195 V207 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V195 V208 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V195 V209 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V196 V211 
0.17	c instanciating clauses for relation R5 (conflicts) and variables V196 V197 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V196 V198 
0.17	c instanciating clauses for relation R5 (conflicts) and variables V196 V199 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V196 V200 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V196 V201 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V196 V202 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V196 V203 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V196 V204 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V196 V205 
0.17	c instanciating clauses for relation R5 (conflicts) and variables V196 V206 
0.17	c instanciating clauses for relation R5 (conflicts) and variables V196 V207 
0.17	c instanciating clauses for relation R5 (conflicts) and variables V196 V208 
0.17	c instanciating clauses for relation R5 (conflicts) and variables V196 V209 
0.17	c instanciating clauses for relation R9 (conflicts) and variables V197 V212 
0.17	c instanciating clauses for relation R2 (conflicts) and variables V197 V198 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V197 V199 
0.17	c instanciating clauses for relation R11 (conflicts) and variables V197 V200 
0.17	c instanciating clauses for relation R16 (conflicts) and variables V197 V201 
0.17	c instanciating clauses for relation R0 (conflicts) and variables V197 V202 
0.17	c instanciating clauses for relation R7 (conflicts) and variables V197 V203 
0.17	c instanciating clauses for relation R9 (conflicts) and variables V197 V204 
0.17	c instanciating clauses for relation R10 (conflicts) and variables V197 V205 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V197 V206 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V197 V207 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V197 V208 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V197 V209 
0.17	c instanciating clauses for relation R2 (conflicts) and variables V198 V213 
0.17	c instanciating clauses for relation R2 (conflicts) and variables V198 V199 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V198 V200 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V198 V201 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V198 V202 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V198 V203 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V198 V204 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V198 V205 
0.17	c instanciating clauses for relation R2 (conflicts) and variables V198 V206 
0.17	c instanciating clauses for relation R2 (conflicts) and variables V198 V207 
0.17	c instanciating clauses for relation R2 (conflicts) and variables V198 V208 
0.17	c instanciating clauses for relation R2 (conflicts) and variables V198 V209 
0.17	c instanciating clauses for relation R16 (conflicts) and variables V199 V214 
0.17	c instanciating clauses for relation R11 (conflicts) and variables V199 V200 
0.17	c instanciating clauses for relation R16 (conflicts) and variables V199 V201 
0.17	c instanciating clauses for relation R0 (conflicts) and variables V199 V202 
0.17	c instanciating clauses for relation R7 (conflicts) and variables V199 V203 
0.17	c instanciating clauses for relation R9 (conflicts) and variables V199 V204 
0.17	c instanciating clauses for relation R10 (conflicts) and variables V199 V205 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V199 V206 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V199 V207 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V199 V208 
0.17	c instanciating clauses for relation R3 (conflicts) and variables V199 V209 
0.17	c instanciating clauses for relation R11 (conflicts) and variables V200 V215 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V200 V201 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V200 V202 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V200 V203 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V200 V204 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V200 V205 
0.17	c instanciating clauses for relation R11 (conflicts) and variables V200 V206 
0.17	c instanciating clauses for relation R11 (conflicts) and variables V200 V207 
0.17	c instanciating clauses for relation R11 (conflicts) and variables V200 V208 
0.17	c instanciating clauses for relation R11 (conflicts) and variables V200 V209 
0.17	c instanciating clauses for relation R16 (conflicts) and variables V201 V216 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V201 V202 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V201 V203 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V201 V204 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V201 V205 
0.17	c instanciating clauses for relation R16 (conflicts) and variables V201 V206 
0.17	c instanciating clauses for relation R16 (conflicts) and variables V201 V207 
0.17	c instanciating clauses for relation R16 (conflicts) and variables V201 V208 
0.17	c instanciating clauses for relation R16 (conflicts) and variables V201 V209 
0.17	c instanciating clauses for relation R0 (conflicts) and variables V202 V217 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V202 V203 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V202 V204 
0.17	c instanciating clauses for relation R1 (conflicts) and variables V202 V205 
0.18	c instanciating clauses for relation R0 (conflicts) and variables V202 V206 
0.18	c instanciating clauses for relation R0 (conflicts) and variables V202 V207 
0.18	c instanciating clauses for relation R0 (conflicts) and variables V202 V208 
0.18	c instanciating clauses for relation R0 (conflicts) and variables V202 V209 
0.18	c instanciating clauses for relation R7 (conflicts) and variables V203 V218 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V203 V204 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V203 V205 
0.18	c instanciating clauses for relation R7 (conflicts) and variables V203 V206 
0.18	c instanciating clauses for relation R7 (conflicts) and variables V203 V207 
0.18	c instanciating clauses for relation R7 (conflicts) and variables V203 V208 
0.18	c instanciating clauses for relation R7 (conflicts) and variables V203 V209 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V204 V219 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V204 V205 
0.18	c instanciating clauses for relation R9 (conflicts) and variables V204 V206 
0.18	c instanciating clauses for relation R9 (conflicts) and variables V204 V207 
0.18	c instanciating clauses for relation R9 (conflicts) and variables V204 V208 
0.18	c instanciating clauses for relation R9 (conflicts) and variables V204 V209 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V205 V220 
0.18	c instanciating clauses for relation R10 (conflicts) and variables V205 V206 
0.18	c instanciating clauses for relation R10 (conflicts) and variables V205 V207 
0.18	c instanciating clauses for relation R10 (conflicts) and variables V205 V208 
0.18	c instanciating clauses for relation R10 (conflicts) and variables V205 V209 
0.18	c instanciating clauses for relation R12 (conflicts) and variables V206 V221 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V206 V207 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V206 V208 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V206 V209 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V207 V222 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V207 V208 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V207 V209 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V208 V209 
0.18	c instanciating clauses for relation R4 (conflicts) and variables V208 V223 
0.18	c instanciating clauses for relation R11 (conflicts) and variables V209 V224 
0.18	c instanciating clauses for relation R7 (conflicts) and variables V210 V211 
0.18	c instanciating clauses for relation R9 (conflicts) and variables V210 V212 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V210 V213 
0.18	c instanciating clauses for relation R16 (conflicts) and variables V210 V214 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V210 V215 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V210 V216 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V210 V217 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V210 V218 
0.18	c instanciating clauses for relation R13 (conflicts) and variables V210 V219 
0.18	c instanciating clauses for relation R15 (conflicts) and variables V210 V220 
0.18	c instanciating clauses for relation R12 (conflicts) and variables V210 V221 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V210 V222 
0.18	c instanciating clauses for relation R4 (conflicts) and variables V210 V223 
0.18	c instanciating clauses for relation R11 (conflicts) and variables V210 V224 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V211 V212 
0.18	c instanciating clauses for relation R7 (conflicts) and variables V211 V213 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V211 V214 
0.18	c instanciating clauses for relation R7 (conflicts) and variables V211 V215 
0.18	c instanciating clauses for relation R7 (conflicts) and variables V211 V216 
0.18	c instanciating clauses for relation R7 (conflicts) and variables V211 V217 
0.18	c instanciating clauses for relation R7 (conflicts) and variables V211 V218 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V211 V219 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V211 V220 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V211 V221 
0.18	c instanciating clauses for relation R7 (conflicts) and variables V211 V222 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V211 V223 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V211 V224 
0.18	c instanciating clauses for relation R9 (conflicts) and variables V212 V213 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V212 V214 
0.18	c instanciating clauses for relation R9 (conflicts) and variables V212 V215 
0.18	c instanciating clauses for relation R9 (conflicts) and variables V212 V216 
0.18	c instanciating clauses for relation R9 (conflicts) and variables V212 V217 
0.18	c instanciating clauses for relation R9 (conflicts) and variables V212 V218 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V212 V219 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V212 V220 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V212 V221 
0.18	c instanciating clauses for relation R9 (conflicts) and variables V212 V222 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V212 V223 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V212 V224 
0.18	c instanciating clauses for relation R16 (conflicts) and variables V213 V214 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V213 V215 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V213 V216 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V213 V217 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V213 V218 
0.18	c instanciating clauses for relation R13 (conflicts) and variables V213 V219 
0.18	c instanciating clauses for relation R15 (conflicts) and variables V213 V220 
0.18	c instanciating clauses for relation R12 (conflicts) and variables V213 V221 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V213 V222 
0.18	c instanciating clauses for relation R4 (conflicts) and variables V213 V223 
0.18	c instanciating clauses for relation R11 (conflicts) and variables V213 V224 
0.18	c instanciating clauses for relation R16 (conflicts) and variables V214 V215 
0.18	c instanciating clauses for relation R16 (conflicts) and variables V214 V216 
0.18	c instanciating clauses for relation R16 (conflicts) and variables V214 V217 
0.18	c instanciating clauses for relation R16 (conflicts) and variables V214 V218 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V214 V219 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V214 V220 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V214 V221 
0.18	c instanciating clauses for relation R16 (conflicts) and variables V214 V222 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V214 V223 
0.18	c instanciating clauses for relation R1 (conflicts) and variables V214 V224 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V215 V216 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V215 V217 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V215 V218 
0.18	c instanciating clauses for relation R13 (conflicts) and variables V215 V219 
0.18	c instanciating clauses for relation R15 (conflicts) and variables V215 V220 
0.18	c instanciating clauses for relation R12 (conflicts) and variables V215 V221 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V215 V222 
0.18	c instanciating clauses for relation R4 (conflicts) and variables V215 V223 
0.18	c instanciating clauses for relation R11 (conflicts) and variables V215 V224 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V216 V217 
0.18	c instanciating clauses for relation R3 (conflicts) and variables V216 V218 
0.18	c instanciating clauses for relation R13 (conflicts) and variables V216 V219 
0.18	c instanciating clauses for relation R15 (conflicts) and variables V216 V220 
0.18	c instanciating clauses for relation R12 (conflicts) and variables V216 V221 
0.25	c instanciating clauses for relation R3 (conflicts) and variables V216 V222 
0.25	c instanciating clauses for relation R4 (conflicts) and variables V216 V223 
0.25	c instanciating clauses for relation R11 (conflicts) and variables V216 V224 
0.25	c instanciating clauses for relation R3 (conflicts) and variables V217 V218 
0.25	c instanciating clauses for relation R13 (conflicts) and variables V217 V219 
0.25	c instanciating clauses for relation R15 (conflicts) and variables V217 V220 
0.25	c instanciating clauses for relation R12 (conflicts) and variables V217 V221 
0.25	c instanciating clauses for relation R3 (conflicts) and variables V217 V222 
0.25	c instanciating clauses for relation R4 (conflicts) and variables V217 V223 
0.25	c instanciating clauses for relation R11 (conflicts) and variables V217 V224 
0.25	c instanciating clauses for relation R13 (conflicts) and variables V218 V219 
0.25	c instanciating clauses for relation R15 (conflicts) and variables V218 V220 
0.25	c instanciating clauses for relation R12 (conflicts) and variables V218 V221 
0.25	c instanciating clauses for relation R3 (conflicts) and variables V218 V222 
0.25	c instanciating clauses for relation R4 (conflicts) and variables V218 V223 
0.25	c instanciating clauses for relation R11 (conflicts) and variables V218 V224 
0.25	c instanciating clauses for relation R1 (conflicts) and variables V219 V220 
0.25	c instanciating clauses for relation R1 (conflicts) and variables V219 V221 
0.25	c instanciating clauses for relation R13 (conflicts) and variables V219 V222 
0.25	c instanciating clauses for relation R1 (conflicts) and variables V219 V223 
0.25	c instanciating clauses for relation R1 (conflicts) and variables V219 V224 
0.25	c instanciating clauses for relation R1 (conflicts) and variables V220 V221 
0.25	c instanciating clauses for relation R15 (conflicts) and variables V220 V222 
0.25	c instanciating clauses for relation R1 (conflicts) and variables V220 V223 
0.25	c instanciating clauses for relation R1 (conflicts) and variables V220 V224 
0.25	c instanciating clauses for relation R12 (conflicts) and variables V221 V222 
0.25	c instanciating clauses for relation R1 (conflicts) and variables V221 V223 
0.25	c instanciating clauses for relation R1 (conflicts) and variables V221 V224 
0.25	c instanciating clauses for relation R4 (conflicts) and variables V222 V223 
0.25	c instanciating clauses for relation R11 (conflicts) and variables V222 V224 
0.25	c instanciating clauses for relation R1 (conflicts) and variables V223 V224 
0.25	c ...done
0.25	c #SATvar=4679 #SATclauses=12080 #CSPpredicates=0
0.25	Verified 5245 original clauses.
0.25	c SAT problem is solved
0.25	restarts              : 4
0.25	conflicts             : 682            (3059 /sec)
0.25	decisions             : 804            (1.62 % random) (3606 /sec)
0.25	propagations          : 290848         (1304450 /sec)
0.25	conflict literals     : 7307           (19.87 % deleted)
0.25	Memory used           : 7.64 MB
0.25	CPU time              : 0.222966 s
0.25	c all predicates checked
0.25	
0.25	s SATISFIABLE
0.25	v 8 9 4 7 3 6 10 13 2 1 5 14 11 0 12 5 2 7 11 9 0 1 12 13 10 6 3 14 4 8 10 8 1 5 0 13 3 2 4 12 11 6 9 7 14 2 7 6 14 5 12 9 1 0 3 13 10 8 11 4 4 12 3 13 11 8 0 6 9 5 14 7 1 2 10 12 0 10 8 4 2 14 7 1 6 3 5 13 9 11 14 3 8 9 2 7 12 5 10 13 1 11 4 6 0 7 6 14 0 12 5 11 10 3 8 9 4 2 1 13 11 1 9 6 13 10 2 14 12 4 8 0 7 5 3 6 13 0 3 1 4 5 11 14 7 12 2 10 8 9 1 11 5 2 10 9 13 3 6 14 4 8 0 12 7 3 4 13 12 14 11 8 9 7 0 2 1 6 10 5 0 14 2 1 8 3 7 4 11 9 10 12 5 13 6 9 10 12 4 7 1 6 8 5 11 0 13 3 14 2 13 5 11 10 6 14 4 0 8 2 7 9 12 3 1 
0.25

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node17/watcher-240365-1168701508 -o ROOT/results/node17/solver-240365-1168701508 -C 1800 -M 900 /tmp/evaluation/240365-1168701508/CSPtoSAT+minisat /tmp/evaluation/240365-1168701508/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: 3.30 2.02 0.87 5/89 27031
/proc/meminfo: memFree=1603768/2055920 swapFree=4192812/4192956
[pid=27030] ppid=27028 vsize=18540 CPUtime=0
/proc/27030/stat : 27030 (runsolver) R 27028 27030 26809 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 218545886 18984960 279 18446744073709551615 4194304 4267372 548682069072 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/27030/statm: 4635 279 244 17 0 2626 0

[startup+0.109429 s]
/proc/loadavg: 3.30 2.02 0.87 5/89 27031
/proc/meminfo: memFree=1603768/2055920 swapFree=4192812/4192956
[pid=27030] ppid=27028 vsize=7852 CPUtime=0.08
/proc/27030/stat : 27030 (CSPtoSAT+minisa) R 27028 27030 26809 0 -1 4194304 1052 0 0 0 8 0 0 0 18 0 1 0 218545886 8040448 1020 18446744073709551615 134512640 134728504 4294956704 18446744073709551615 3302592 0 0 4096 0 0 0 0 17 1 0 0
/proc/27030/statm: 1963 1020 703 52 0 331 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7852

Child status: 0
Real time (s): 0.258011
CPU time (s): 0.240962
CPU user time (s): 0.223965
CPU system time (s): 0.016997
CPU usage (%): 93.3921
Max. virtual memory (cumulated for all children) (KiB): 7852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.223965
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1115
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= 241
involuntary context switches= 9

runsolver used 0.003999 s user time and 0.013997 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan 13 15:18:29 UTC 2007


IDJOB= 240365
IDBENCH= 7123
IDSOLVER= 87
FILE ID= node17/240365-1168701508

PBS_JOBID= 3546985

Free space on /tmp= 66561 MiB

SOLVER NAME= CSPtoSAT+minisat 0.3
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-15/qwh-15-106-8_ext.xml
COMMAND LINE= /tmp/evaluation/240365-1168701508/CSPtoSAT+minisat /tmp/evaluation/240365-1168701508/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-240365-1168701508 -o ROOT/results/node17/solver-240365-1168701508 -C 1800 -M 900  /tmp/evaluation/240365-1168701508/CSPtoSAT+minisat /tmp/evaluation/240365-1168701508/unknown.xml

META MD5SUM SOLVER= 0ab327eaa5be249b47b2f4b19927f0b0
MD5SUM BENCH=  1b89eabc69bba3fa7cd6f3fae366869b

RANDOM SEED= 576011261

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.236
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.236
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:       1604240 kB
Buffers:          9960 kB
Cached:         109312 kB
SwapCached:          0 kB
Active:         313276 kB
Inactive:        80744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1604240 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2468 kB
Writeback:           0 kB
Mapped:         294960 kB
Slab:            41844 kB
Committed_AS:  6722804 kB
PageTables:       2688 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= 66561 MiB



End job on node17 on Sat Jan 13 15:18:33 UTC 2007