Trace number 4396807

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
cosoco 2.0? (TO) 2519.92 2520.01

General information on the benchmark

NameSocialGolfers/SocialGolfers-cp-s1/
SocialGolfers-6-5-5-cp.xml
MD5SUM7ef6c2ff7df08c4e9d344e8b869548bc
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark117.039
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints4357
Number of domains1
Minimum domain size6
Maximum domain size6
Distribution of domain sizes[{"size":6,"count":150}]
Minimum variable degree118
Maximum variable degree119
Distribution of variable degrees[{"degree":118,"count":120},{"degree":119,"count":30}]
Minimum constraint arity4
Maximum constraint arity150
Distribution of constraint arities[{"arity":4,"count":4350},{"arity":30,"count":6},{"arity":150,"count":1}]
Number of extensional constraints0
Number of intensional constraints4350
Distribution of constraint types[{"type":"intension","count":4350},{"type":"lex","count":1},{"type":"cardinality","count":5},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.10	c
0.00/0.10	c This is cosoco 2.00 --  
0.00/0.10	c
0.00/0.10	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396807-1568580475.xml 
0.00/0.10	c intension  or(ne(x[0][0],x[0][1]),ne(x[1][0],x[1][1])) -> extension (support ? 0) - 36tuples
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.09/0.16	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.22	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.20/0.28	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.34	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.30/0.40	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.40/0.46	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.52	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.50/0.58	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.64	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.59/0.69	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.68/0.75	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.81	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.79/0.87	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.93	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.89/0.99	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
0.99/1.05	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.11	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.09/1.17	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.23	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.18/1.29	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.28/1.35	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.41	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.38/1.47	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.52	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.53	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.49/1.58	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.59/1.64	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.70	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.69/1.76	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.82	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.79/1.88	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/1.94	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.89/2.00	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
1.99/2.06	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.12	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.09/2.18	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.24	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.18/2.29	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.28/2.35	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.41	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.39/2.47	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.53	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.49/2.59	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.59/2.65	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.71	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.69/2.77	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intension -> extension : same as previous
2.79/2.83	c intensc Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.79/2.87	c
2.79/2.87	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.79/2.87	c
2.79/2.87	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.79/2.87	c
2.79/2.87	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.79/2.87	c
2.79/2.87	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.79/2.87	c
2.79/2.89	c root propagations     : 96          
2.79/2.89	c restarts enabled, print stats at every restarts
2.79/2.89	c
2.79/2.89	c
2.79/2.89	ion -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c intension -> extension : same as previous
2.79/2.89	c ========================================[ Problem Statistics ]===========================================
2.79/2.89	c |                                                                                                       
2.79/2.89	c |  Parse time        :         2.84 s 
2.79/2.89	c |
2.79/2.89	c |               Variables: 150
2.79/2.89	c |            Domain Sizes: 6..6
2.79/2.89	c |
2.79/2.89	c |             Constraints: 4443
2.79/2.89	c |                   Arity: 1..60  -- Unary: 30
2.79/2.89	c | 
2.79/2.89	c |                   Types: 
2.79/2.89	c |                          Exactly K: 30
2.79/2.89	c |                          Extension: 4350  (nb tuples: 36..36) -- (shared: 4349)
2.79/2.89	c |                          Lex: 33
2.79/2.89	c |                          Unary: 30
2.79/2.89	c |                          
2.79/2.89	c =========================================================================================================
2.79/2.89	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
2.88/2.98	c 101            294            251899         5135           30             0              75   93   79   
2.99/3.09	c 211            798            489690         10367          30             0              13   125   108 
3.18/3.22	c 332            1327           775223         17133          30             0              71   117   97  
3.28/3.34	c 465            1834           1044625        24265          30             0              91   111   98  
3.38/3.47	c 611            2401           1322238        31015          30             0              85   121   105 
3.58/3.64	c 771            3084           1848889        43309          30             0              24   125   111 
3.78/3.84	c 947            3890           2364589        53718          30             0              51   130   101 
3.88/3.99	c 1140           4560           2712903        60872          30             0              69   117   80  
4.09/4.19	c 1352           5388           3083081        68998          30             0              34   107   94  
4.38/4.45	c 1585           6436           3919097        88674          30             0              36   134   121 
4.68/4.74	c 1841           7619           4752557        106166         30             0              42   131   115 
4.88/4.95	c 2122           8508           5205218        115555         30             0              44   78   71   
5.18/5.26	c 2431           9770           6175684        137292         30             0              17   128   118 
5.48/5.50	c 2770           10755          6652137        149751         30             0              66   95   87   
5.78/5.83	c 3142           11993          7372075        164156         30             0              47   72   65   
6.09/6.17	c 3551           13326          8113381        179406         30             0              52   70   60   
6.38/6.48	c 4000           14678          8757410        192202         30             0              32   60   58   
6.78/6.81	c 4493           16077          9455851        206975         30             0              22   61   54   
7.09/7.17	c 5035           17587          10224824       222890         30             0              3   62   56    
7.78/7.81	c 5631           20258          12229161       270201         30             0              18   134   121 
8.29/8.31	c 6286           22186          13318679       292825         30             0              17   61   53   
8.79/8.80	c 7006           24242          14355163       315313         30             0              9   56   50    
9.48/9.52	c 7798           27180          16817136       375917         30             0              16   131   106 
9.99/10.03	c 8669           29584          17961824       399994         30             0              31   61   56   
10.58/10.67	c 9627           32424          19569351       432727         30             0              15   61   54   
11.28/11.36	c 10680          35632          21243643       467508         30             0              17   58   52   
12.09/12.13	c 11838          39076          23094727       507210         30             0              35   57   50   
12.88/12.91	c 13111          42648          25036074       546523         30             0              17   55   49   
13.78/13.80	c 14511          46753          27152952       589834         30             0              17   56   49   
14.98/15.02	c 16051          52244          31456304       690823         30             0              42   135   108 
16.37/16.40	c 17745          58292          36107026       800843         30             0              17   133   108 
17.87/18.00	c 19608          64910          42317373       952291         30             0              24   132   126 
19.57/19.61	c 21657          72015          48290455       1098796        30             0              37   135   109 
21.27/21.34	c 23910          80531          54990505       1255037        30             0              29   128   106 
23.47/23.53	c 26388          90852          63921064       1476363        30             0              33   132   121 
25.67/25.72	c 29113          101560         73120059       1694074        30             0              35   132   124 
27.57/27.62	c 32110          112331         78277493       1811082        30             0              50   88   74   
29.98/30.04	c 35406          125306         88024787       2033916        30             0              27   114   91  
32.37/32.44	c 39031          139426         99080186       2280868        30             0              38   118   98  
36.08/36.15	c 43018          160063         114988902      2670698        30             0              65   114   98  
38.57/38.61	c 47403          174732         123393711      2920048        30             0              68   121   108 
40.77/40.87	c 52226          189692         131172499      3146145        30             0              18   125   107 
43.37/43.48	c 57531          208152         140328419      3392983        30             0              26   126   109 
45.97/46.02	c 63366          224975         149131459      3655557        30             0              42   121   110 
49.66/49.76	c 69784          247552         168065353      4101197        32             0              1   128   113  
54.26/54.35	c 76843          275881         190044987      4608377        32             0              58   126   105 
59.56/59.65	c 84607          314122         213878138      5139090        32             0              84   126   106 
65.07/65.19	c 93147          353984         239100458      5709287        32             0              78   132   111 
70.26/70.31	c 102541         385501         262329845      6249003        32             0              40   125   101 
75.46/75.58	c 112874         421773         281321835      6734945        32             0              81   127   111 
80.76/80.88	c 124240         457066         300160789      7256105        32             0              71   121   111 
86.86/86.98	c 136742         496648         321990086      7869659        32             0              76   126   108 
93.56/93.68	c 150494         541946         345498437      8523542        32             0              30   125   108 
103.06/103.18	c 165621         600963         393496481      9657106        32             0              37   129   116 
113.85/113.94	c 182260         662484         440075681      10676531       32             0              49   112   90  
125.55/125.61	c 200562         733626         499509920      11997499       32             0              86   116   108 
137.85/137.92	c 220694         812876         553701006      13337982       32             0              85   118   107 
147.85/147.99	c 242839         881558         589776343      14344310       32             0              49   134   112 
159.96/160.04	c 267198         959396         631834110      15641742       32             0              42   129   109 
178.55/178.66	c 293992         1081366        722919874      17669176       32             0              40   128   108 
192.65/192.72	c 323465         1199848        771891708      18683959       32             0              66   102   98  
210.55/210.60	c 355885         1308794        831623723      19950711       32             0              48   78   64   
232.55/232.67	c 391547         1444468        946796939      22710288       32             0              56   133   120 
256.85/256.96	c 430775         1592585        1075069224     25819068       32             0              72   133   121 
284.35/284.44	c 473925         1762321        1219294104     29295160       32             0              73   132   119 
308.85/308.94	c 521390         1919129        1326967792     31880167       32             0              66   135   104 
332.25/332.34	c 573601         2074163        1410216252     34147675       32             0              37   124   108 
358.05/358.17	c 631033         2247918        1500112541     36602546       32             0              63   126   102 
388.34/388.43	c 694208         2449309        1608908732     39466875       32             0              43   125   105 
420.74/420.86	c 763700         2661583        1723732297     42778363       32             0              80   128   104 
464.74/464.82	c 840141         2951634        1895683116     46924010       32             0              81   122   98  
509.74/509.89	c 924226         3290987        2048150372     50120029       32             0              31   98   87   
564.95/565.07	c 1016719        3551889        2209518585     52825193       32             0              41   50   49   
603.34/603.48	c 1118461        3834024        2325659636     54676348       32             0              25   33   31   
650.05/650.16	c 1230377        4201077        2469373157     56895800       32             0              19   28   27   
734.34/734.49	c 1353484        4677124        2746137143     62747622       32             0              22   98   82   
870.33/870.43	c 1488901        5408514        3135337653     70567946       32             0              23   136   50  
969.53/969.61	c 1637859        6018579        3596666900     81178655       32             0              33   135   111 
1074.43/1074.55	c 1801712        6690100        4114749263     92950224       32             0              64   135   117 
1239.52/1239.64	c 1981950        7768301        4748832826     106114876      32             0              70   107   87  
1371.32/1371.42	c 2180211        8623813        5375807379     119920376      32             0              66   134   112 
1562.92/1563.01	c 2398298        9881021        6123643540     134105512      32             0              71   130   87  
1787.81/1787.97	c 2638193        11311648       7005033843     150221807      32             0              73   105   88  
1897.21/1897.31	c 2902077        12080743       7388714821     159532154      32             0              51   114   97  
2143.70/2143.82	c 3192349        13768325       8323093787     176820569      32             0              65   100   86  
2286.80/2286.90	c 3511648        14748825       8841299619     189502098      32             0              48   135   99  
2446.91/2447.08	c 3862876        15839331       9429200897     203843448      32             0              72   136   100 
2519.90/2520.01	
2519.90/2520.01	c *** INTERRUPTED ***
2519.90/2520.01	c restarts              : 87          
2519.90/2520.01	c conflicts             : 4005235      (1589 /sec)
2519.90/2520.01	c decisions             : 16333310     (6482 /sec)
2519.90/2520.01	c propagations          : 210720801   (83624 /sec)
2519.90/2520.01	c root propagations     : 96          
2519.90/2520.01	c filter calls          : 9711083794     (3853831 /sec)
2519.90/2520.01	c useless filter calls  : 9554157352     (98 %)
2519.90/2520.01	c Memory used           : 80.36 MB
2519.90/2520.01	c CPU time              : 2519.85 s
2519.90/2520.01	c real time             : 2520 s
2519.90/2520.01	
2519.90/2520.01	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10008 MiB free)
  memory of node 1: 16384 MiB (15148 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396807-1568580475/watcher-4396807-1568580475 -o /tmp/evaluation-result-4396807-1568580475/solver-4396807-1568580475 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568572746-32296 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396807-1568580475.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1183, runsolver pid=1180

[startup+0.100176 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 1184
/proc/meminfo: memFree=25760000/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=28092 memory=4216 CPUtime=0.09 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 1254 0 0 0 9 0 0 0 20 0 1 0 434286226 28766208 1054 33554432000 4194304 6211092 140735076690768 140735076688040 140276748644352 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 7023 1054 823 493 0 328 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28092 KiB
Current children cumulated memory: 4216 KiB

[startup+0.209591 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 1184
/proc/meminfo: memFree=25758612/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=29940 memory=6064 CPUtime=0.2 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 1741 0 0 0 20 0 0 0 20 0 1 0 434286226 30658560 1516 33554432000 4194304 6211092 140735076690768 140735076688040 140276752190682 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 7485 1516 825 493 0 790 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 29940 KiB
Current children cumulated memory: 6064 KiB

[startup+0.309166 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 1184
/proc/meminfo: memFree=25756752/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=31788 memory=7912 CPUtime=0.3 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 2185 0 0 0 30 0 0 0 20 0 1 0 434286226 32550912 1978 33554432000 4194304 6211092 140735076690768 140735076688040 140276748705326 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 7947 1978 825 493 0 1252 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31788 KiB
Current children cumulated memory: 7912 KiB

[startup+0.700246 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1184
/proc/meminfo: memFree=25752944/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=38652 memory=14776 CPUtime=0.68 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 3905 0 0 0 68 0 0 0 20 0 1 0 434286226 39579648 3694 33554432000 4194304 6211092 140735076690768 140735076685944 5441662 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 9663 3694 825 493 0 2968 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38652 KiB
Current children cumulated memory: 14776 KiB

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1184
/proc/meminfo: memFree=25744388/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=52908 memory=29032 CPUtime=1.49 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 7484 0 0 0 147 2 0 0 20 0 1 0 434286226 54177792 7258 33554432000 4194304 6211092 140735076690768 140735076685944 140276748703757 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 13227 7258 825 493 0 6532 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 52908 KiB
Current children cumulated memory: 29032 KiB

[startup+3.10967 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1184
/proc/meminfo: memFree=25707428/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=81752 memory=58280 CPUtime=3.09 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 21285 0 0 0 306 3 0 0 20 0 1 0 434286226 83714048 14570 33554432000 4194304 6211092 140735076690768 140735076685944 5033770 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20438 14570 879 493 0 13743 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 81752 KiB
Current children cumulated memory: 58280 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1185
/proc/meminfo: memFree=25705900/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82016 memory=58672 CPUtime=6.28 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 32410 0 0 0 624 4 0 0 20 0 1 0 434286226 83984384 14668 33554432000 4194304 6211092 140735076690768 140735076688728 5027225 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20504 14668 879 493 0 13809 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 82016 KiB
Current children cumulated memory: 58672 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1185
/proc/meminfo: memFree=25705544/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82016 memory=58720 CPUtime=12.68 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 43487 0 0 0 1263 5 0 0 20 0 1 0 434286226 83984384 14680 33554432000 4194304 6211092 140735076690768 140735076688728 5027225 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20504 14680 879 493 0 13809 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 82016 KiB
Current children cumulated memory: 58720 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1185
/proc/meminfo: memFree=25705700/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82148 memory=58788 CPUtime=25.47 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 56668 0 0 0 2542 5 0 0 20 0 1 0 434286226 84119552 14697 33554432000 4194304 6211092 140735076690768 140735076688728 5033987 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20537 14697 879 493 0 13842 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 82148 KiB
Current children cumulated memory: 58788 KiB

[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1187
/proc/meminfo: memFree=25705856/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82148 memory=58828 CPUtime=51.07 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 57182 0 0 0 5101 6 0 0 20 0 1 0 434286226 84119552 14707 33554432000 4194304 6211092 140735076690768 140735076688728 5033942 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20537 14707 879 493 0 13842 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 82148 KiB
Current children cumulated memory: 58828 KiB

[startup+102.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/199 1191
/proc/meminfo: memFree=25706028/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58876 CPUtime=102.26 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 57684 0 0 0 10220 6 0 0 20 0 1 0 434286226 84254720 14719 33554432000 4194304 6211092 140735076690768 140735076688728 5033502 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14719 879 493 0 13875 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58876 KiB

[startup+162.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/199 1195
/proc/meminfo: memFree=25705316/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58892 CPUtime=162.25 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 58186 0 0 0 16219 6 0 0 20 0 1 0 434286226 84254720 14723 33554432000 4194304 6211092 140735076690768 140735076688728 5033498 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14723 879 493 0 13875 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58892 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 1206
/proc/meminfo: memFree=25705080/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58900 CPUtime=222.25 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 58688 0 0 0 22219 6 0 0 20 0 1 0 434286226 84254720 14725 33554432000 4194304 6211092 140735076690768 140735076688728 5033942 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14725 879 493 0 13875 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58900 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 1212
/proc/meminfo: memFree=25704196/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58904 CPUtime=282.25 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 59192 0 0 0 28219 6 0 0 20 0 1 0 434286226 84254720 14726 33554432000 4194304 6211092 140735076690768 140735076688728 5033942 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14726 879 493 0 13875 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58904 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 1216
/proc/meminfo: memFree=25703988/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58908 CPUtime=342.25 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 59698 0 0 0 34219 6 0 0 20 0 1 0 434286226 84254720 14727 33554432000 4194304 6211092 140735076690768 140735076688728 5027136 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14727 879 493 0 13875 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58908 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 1220
/proc/meminfo: memFree=25704560/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58912 CPUtime=402.24 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 60203 0 0 0 40218 6 0 0 20 0 1 0 434286226 84254720 14728 33554432000 4194304 6211092 140735076690768 140735076688728 5033672 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14728 879 493 0 13875 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58912 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 1226
/proc/meminfo: memFree=25704548/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58912 CPUtime=462.24 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 60708 0 0 0 46218 6 0 0 20 0 1 0 434286226 84254720 14728 33554432000 4194304 6211092 140735076690768 140735076688728 5396750 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14728 879 493 0 13875 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58912 KiB


################
# More data... #
################

/proc/1183/statm: 20570 14731 879 493 0 13875 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58924 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1427
/proc/meminfo: memFree=22502520/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58924 CPUtime=1782.21 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 71713 0 0 0 178215 6 0 0 20 0 1 0 434286226 84254720 14731 33554432000 4194304 6211092 140735076690768 140735076688728 5033424 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14731 879 493 0 13875 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58924 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1431
/proc/meminfo: memFree=22502424/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58924 CPUtime=1842.21 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 72221 0 0 0 184215 6 0 0 20 0 1 0 434286226 84254720 14731 33554432000 4194304 6211092 140735076690768 140735076688728 5033516 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14731 879 493 0 13875 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58924 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1437
/proc/meminfo: memFree=22502092/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58924 CPUtime=1902.21 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 72729 0 0 0 190215 6 0 0 20 0 1 0 434286226 84254720 14731 33554432000 4194304 6211092 140735076690768 140735076688728 5033487 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14731 879 493 0 13875 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58924 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1441
/proc/meminfo: memFree=22502344/32770624 swapFree=66941236/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58924 CPUtime=1962.21 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 73224 0 0 0 196215 6 0 0 20 0 1 0 434286226 84254720 14731 33554432000 4194304 6211092 140735076690768 140735076688728 5033550 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14731 879 493 0 13875 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58924 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1452
/proc/meminfo: memFree=22502180/32770624 swapFree=66941240/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58924 CPUtime=2022.21 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 73719 0 0 0 202215 6 0 0 20 0 1 0 434286226 84254720 14731 33554432000 4194304 6211092 140735076690768 140735076688728 5396750 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14731 879 493 0 13875 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58924 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1458
/proc/meminfo: memFree=22502808/32770624 swapFree=66941240/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58924 CPUtime=2082.21 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 74214 0 0 0 208215 6 0 0 20 0 1 0 434286226 84254720 14731 33554432000 4194304 6211092 140735076690768 140735076688728 5008971 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14731 879 493 0 13875 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58924 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1463
/proc/meminfo: memFree=22502088/32770624 swapFree=66941240/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58924 CPUtime=2142.2 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 74709 0 0 0 214214 6 0 0 20 0 1 0 434286226 84254720 14731 33554432000 4194304 6211092 140735076690768 140735076688728 5136287 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14731 879 493 0 13875 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58924 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1467
/proc/meminfo: memFree=22502504/32770624 swapFree=66941240/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58924 CPUtime=2202.2 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 75223 0 0 0 220214 6 0 0 20 0 1 0 434286226 84254720 14731 33554432000 4194304 6211092 140735076690768 140735076688728 5092025 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14731 879 493 0 13875 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58924 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1476
/proc/meminfo: memFree=22501972/32770624 swapFree=66941240/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58928 CPUtime=2262.2 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 75718 0 0 0 226214 6 0 0 20 0 1 0 434286226 84254720 14732 33554432000 4194304 6211092 140735076690768 140735076688728 5008971 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14732 879 493 0 13875 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58928 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1481
/proc/meminfo: memFree=22502944/32770624 swapFree=66941240/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58928 CPUtime=2322.2 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 76227 0 0 0 232214 6 0 0 20 0 1 0 434286226 84254720 14732 33554432000 4194304 6211092 140735076690768 140735076688728 5027225 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14732 879 493 0 13875 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58928 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1485
/proc/meminfo: memFree=22502348/32770624 swapFree=66941240/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58928 CPUtime=2382.2 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 76722 0 0 0 238214 6 0 0 20 0 1 0 434286226 84254720 14732 33554432000 4194304 6211092 140735076690768 140735076688728 5027225 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14732 879 493 0 13875 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58928 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1491
/proc/meminfo: memFree=22501404/32770624 swapFree=66941240/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58928 CPUtime=2442.2 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 77217 0 0 0 244214 6 0 0 20 0 1 0 434286226 84254720 14732 33554432000 4194304 6211092 140735076690768 140735076688728 5033688 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14732 879 493 0 13875 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58928 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1496
/proc/meminfo: memFree=22501388/32770624 swapFree=66941240/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58928 CPUtime=2502.2 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 77730 0 0 0 250214 6 0 0 20 0 1 0 434286226 84254720 14732 33554432000 4194304 6211092 140735076690768 140735076688728 5033770 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14732 879 493 0 13875 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58928 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 1499
/proc/meminfo: memFree=22501184/32770624 swapFree=66941240/67108860
[pid=1183] ppid=1180 vsize=82280 memory=58928 CPUtime=2519.9 cores=0,2,4,6
/proc/1183/stat : 1183 (cosoco) R 1180 1183 32265 0 -1 4202496 78225 0 0 0 251984 6 0 0 20 0 1 0 434286226 84254720 14732 33554432000 4194304 6211092 140735076690768 140735076688728 5033847 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39796736 140735076693003 140735076693105 140735076693105 140735076696014 0
/proc/1183/statm: 20570 14732 879 493 0 13875 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58928 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.01 s]
# the end of solver process 1183 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.85 s, system=0.067998 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.92
CPU user time (s): 2519.85
CPU system time (s): 0.067998
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 82280
Max. memory (cumulated for all children) (KiB): 58928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.85
system time used= 0.067998
maximum resident set size= 58996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78275
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= 41
involuntary context switches= 1031


# summary of solver processes directly reported to runsolver:
#   pid: 1183
#   total CPU time (s): 2519.92
#   total CPU user time (s): 2519.85
#   total CPU system time (s): 0.067998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.30719 second user time and 17.234 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-15 22:47:18
IDJOB=4396807
IDBENCH=126656
IDSOLVER=2848
FILE ID=node149/4396807-1568580475
RUNJOBID= node149-1568572746-32296
PBS_JOBID= 21703308
Free space on /tmp= 61420 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/SocialGolfers/SocialGolfers-cp-s1/SocialGolfers-6-5-5-cp.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396807-1568580475/watcher-4396807-1568580475 -o /tmp/evaluation-result-4396807-1568580475/solver-4396807-1568580475 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568572746-32296 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396807-1568580475.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7ef6c2ff7df08c4e9d344e8b869548bc
RANDOM SEED=1142553565

node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25760992 kB
MemAvailable:   31840384 kB
Buffers:          210264 kB
Cached:          6170416 kB
SwapCached:        61260 kB
Active:          2508636 kB
Inactive:        3936804 kB
Active(anon):      32492 kB
Inactive(anon):    80916 kB
Active(file):    2476144 kB
Inactive(file):  3855888 kB
Unevictable:      111216 kB
Mlocked:          111216 kB
SwapTotal:      67108860 kB
SwapFree:       66941236 kB
Dirty:              2848 kB
Writeback:             0 kB
AnonPages:        145192 kB
Mapped:            48696 kB
Shmem:             39836 kB
Slab:             155828 kB
SReclaimable:     126388 kB
SUnreclaim:        29440 kB
KernelStack:        3760 kB
PageTables:         5264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     538604 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61412 MiB
End job on node149 at 2019-09-15 23:29:18