Trace number 4389527

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? (TO) 2519.85 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-4389527-1568331580.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.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.10/0.16	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.22	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.21/0.28	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.34	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/0.40	c intension -> extension : same as previous
0.31/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.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.92	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
0.89/0.98	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.04	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.00/1.10	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.10/1.16	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.21	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.19/1.27	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.33	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.28/1.39	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.39/1.44	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.50	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.49/1.56	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.62	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.59/1.67	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.73	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.69/1.79	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.79/1.85	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.90	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
1.89/1.96	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.02	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.00/2.08	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.14	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.10/2.19	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.19/2.25	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.31	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.36	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.29/2.37	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.42	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.39/2.48	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	c intension -> extension : same as previous
2.49/2.54	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.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 intensc Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.79/2.81	c
2.79/2.81	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.79/2.81	c
2.79/2.81	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.79/2.81	c
2.79/2.81	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.79/2.81	c
2.79/2.81	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.79/2.81	c
2.79/2.83	c root propagations     : 96          
2.79/2.83	c restarts enabled, print stats at every restarts
2.79/2.83	c
2.79/2.83	c
2.79/2.83	ion -> 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 ========================================[ Problem Statistics ]===========================================
2.79/2.83	c |                                                                                                       
2.79/2.83	c |  Parse time        :         2.79 s 
2.79/2.83	c |
2.79/2.83	c |               Variables: 150
2.79/2.83	c |            Domain Sizes: 6..6
2.79/2.83	c |
2.79/2.83	c |             Constraints: 4443
2.79/2.83	c |                   Arity: 1..60  -- Unary: 30
2.79/2.83	c | 
2.79/2.83	c |                   Types: 
2.79/2.83	c |                          Exactly K: 30
2.79/2.83	c |                          Extension: 4350  (nb tuples: 36..36) -- (shared: 4349)
2.79/2.83	c |                          Lex: 33
2.79/2.83	c |                          Unary: 30
2.79/2.83	c |                          
2.79/2.83	c =========================================================================================================
2.79/2.83	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
2.89/2.91	c 101            294            251899         5135           30             0              75   93   79   
3.00/3.03	c 211            798            489690         10367          30             0              13   125   108 
3.10/3.16	c 332            1327           775223         17133          30             0              71   117   97  
3.19/3.28	c 465            1834           1044625        24265          30             0              91   111   98  
3.39/3.41	c 611            2401           1322238        31015          30             0              85   121   105 
3.49/3.58	c 771            3084           1848889        43309          30             0              24   125   111 
3.69/3.78	c 947            3890           2364589        53718          30             0              51   130   101 
3.89/3.94	c 1140           4560           2712903        60872          30             0              69   117   80  
4.10/4.14	c 1352           5388           3083081        68998          30             0              34   107   94  
4.39/4.41	c 1585           6436           3919097        88674          30             0              36   134   121 
4.69/4.70	c 1841           7619           4752557        106166         30             0              42   131   115 
4.89/4.92	c 2122           8508           5205218        115555         30             0              44   78   71   
5.19/5.23	c 2431           9770           6175684        137292         30             0              17   128   118 
5.39/5.47	c 2770           10755          6652137        149751         30             0              66   95   87   
5.79/5.80	c 3142           11993          7372075        164156         30             0              47   72   65   
6.10/6.14	c 3551           13326          8113381        179406         30             0              52   70   60   
6.39/6.46	c 4000           14678          8757410        192202         30             0              32   60   58   
6.69/6.79	c 4493           16077          9455851        206975         30             0              22   61   54   
7.10/7.15	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.28/8.31	c 6286           22186          13318679       292825         30             0              17   61   53   
8.78/8.80	c 7006           24242          14355163       315313         30             0              9   56   50    
9.48/9.58	c 7798           27180          16817136       375917         30             0              16   131   106 
10.09/10.15	c 8669           29584          17961824       399994         30             0              31   61   56   
10.78/10.87	c 9627           32424          19569351       432727         30             0              15   61   54   
11.58/11.66	c 10680          35632          21243643       467508         30             0              17   58   52   
12.48/12.51	c 11838          39076          23094727       507210         30             0              35   57   50   
13.39/13.40	c 13111          42648          25036074       546523         30             0              17   55   49   
14.39/14.40	c 14511          46753          27152952       589834         30             0              17   56   49   
15.68/15.78	c 16051          52244          31456304       690823         30             0              42   135   108 
17.28/17.32	c 17745          58292          36107026       800843         30             0              17   133   108 
19.09/19.14	c 19608          64910          42317373       952291         30             0              24   132   126 
20.99/21.02	c 21657          72015          48290455       1098796        30             0              37   135   109 
23.19/23.23	c 23910          80531          54990505       1255037        30             0              29   128   106 
25.89/25.99	c 26388          90852          63921064       1476363        30             0              33   132   121 
28.69/28.79	c 29113          101560         73120059       1694074        30             0              35   132   124 
31.18/31.27	c 32110          112331         78277493       1811082        30             0              50   88   74   
34.58/34.63	c 35406          125306         88024787       2033916        30             0              27   114   91  
38.28/38.32	c 39031          139426         99080186       2280868        30             0              38   118   98  
43.88/43.93	c 43018          160063         114988902      2670698        30             0              65   114   98  
47.49/47.56	c 47403          174732         123393711      2920048        30             0              68   121   108 
50.99/51.10	c 52226          189692         131172499      3146145        30             0              18   125   107 
55.18/55.29	c 57531          208152         140328419      3392983        30             0              26   126   109 
59.18/59.22	c 63366          224975         149131459      3655557        30             0              42   121   110 
64.87/64.99	c 69784          247552         168065353      4101197        32             0              1   128   113  
71.37/71.49	c 76843          275881         190044987      4608377        32             0              58   126   105 
78.36/78.49	c 84607          314122         213878138      5139090        32             0              84   126   106 
85.15/85.23	c 93147          353984         239100458      5709287        32             0              78   132   111 
90.35/90.42	c 102541         385501         262329845      6249003        32             0              40   125   101 
95.65/95.73	c 112874         421773         281321835      6734945        32             0              81   127   111 
100.96/101.08	c 124240         457066         300160789      7256105        32             0              71   121   111 
107.15/107.24	c 136742         496648         321990086      7869659        32             0              76   126   108 
113.85/114.00	c 150494         541946         345498437      8523542        32             0              30   125   108 
123.65/123.79	c 165621         600963         393496481      9657106        32             0              37   129   116 
134.64/134.78	c 182260         662484         440075681      10676531       32             0              49   112   90  
146.64/146.78	c 200562         733626         499509920      11997499       32             0              86   116   108 
159.24/159.37	c 220694         812876         553701006      13337982       32             0              85   118   107 
169.54/169.60	c 242839         881558         589776343      14344310       32             0              49   134   112 
181.74/181.84	c 267198         959396         631834110      15641742       32             0              42   129   109 
200.84/200.95	c 293992         1081366        722919874      17669176       32             0              40   128   108 
215.13/215.26	c 323465         1199848        771891708      18683959       32             0              66   102   98  
233.33/233.45	c 355885         1308794        831623723      19950711       32             0              48   78   64   
256.04/256.17	c 391547         1444468        946796939      22710288       32             0              56   133   120 
281.12/281.25	c 430775         1592585        1075069224     25819068       32             0              72   133   121 
309.42/309.55	c 473925         1762321        1219294104     29295160       32             0              73   132   119 
334.52/334.62	c 521390         1919129        1326967792     31880167       32             0              66   135   104 
358.31/358.41	c 573601         2074163        1410216252     34147675       32             0              37   124   108 
384.51/384.63	c 631033         2247918        1500112541     36602546       32             0              63   126   102 
415.21/415.36	c 694208         2449309        1608908732     39466875       32             0              43   125   105 
448.10/448.28	c 763700         2661583        1723732297     42778363       32             0              80   128   104 
492.91/493.04	c 840141         2951634        1895683116     46924010       32             0              81   122   98  
538.40/538.59	c 924226         3290987        2048150372     50120029       32             0              31   98   87   
594.29/594.41	c 1016719        3551889        2209518585     52825193       32             0              41   50   49   
632.90/633.10	c 1118461        3834024        2325659636     54676348       32             0              25   33   31   
680.00/680.16	c 1230377        4201077        2469373157     56895800       32             0              19   28   27   
765.29/765.49	c 1353484        4677124        2746137143     62747622       32             0              22   98   82   
902.78/902.98	c 1488901        5408514        3135337653     70567946       32             0              23   136   50  
1004.09/1004.24	c 1637859        6018579        3596666900     81178655       32             0              33   135   111 
1111.29/1111.45	c 1801712        6690100        4114749263     92950224       32             0              64   135   117 
1278.78/1279.00	c 1981950        7768301        4748832826     106114876      32             0              70   107   87  
1413.17/1413.31	c 2180211        8623813        5375807379     119920376      32             0              66   134   112 
1607.47/1607.69	c 2398298        9881021        6123643540     134105512      32             0              71   130   87  
1835.66/1835.82	c 2638193        11311648       7005033843     150221807      32             0              73   105   88  
1946.05/1946.24	c 2902077        12080743       7388714821     159532154      32             0              51   114   97  
2196.04/2196.28	c 3192349        13768325       8323093787     176820569      32             0              65   100   86  
2340.74/2340.96	c 3511648        14748825       8841299619     189502098      32             0              48   135   99  
2502.73/2502.92	c 3862876        15839331       9429200897     203843448      32             0              72   136   100 
2519.84/2520.01	
2519.84/2520.01	c *** INTERRUPTED ***
2519.84/2520.01	c restarts              : 87          
2519.84/2520.01	c conflicts             : 3897758      (1547 /sec)
2519.84/2520.01	c decisions             : 15956227     (6332 /sec)
2519.84/2520.01	c propagations          : 205316370   (81482 /sec)
2519.84/2520.01	c root propagations     : 96          
2519.84/2520.01	c filter calls          : 9489542844     (3766043 /sec)
2519.84/2520.01	c useless filter calls  : 9336474647     (98 %)
2519.84/2520.01	c Memory used           : 80.36 MB
2519.84/2520.01	c CPU time              : 2519.76 s
2519.84/2520.01	c real time             : 2520.01 s
2519.84/2520.01	
2519.84/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 (14045 MiB free)
  memory of node 1: 16384 MiB (13708 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389527-1568331580/watcher-4389527-1568331580 -o /tmp/evaluation-result-4389527-1568331580/solver-4389527-1568331580 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3495 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389527-1568331580.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=3871, runsolver pid=3868

[startup+0.100107 s]*
/proc/loadavg: 2.00 2.01 1.95 7/212 3872
/proc/meminfo: memFree=28401044/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=28092 memory=4220 CPUtime=0.1 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 1270 0 0 0 10 0 0 0 20 0 1 0 409426852 28766208 1055 33554432000 4194304 6210612 140722788371856 140722788368392 139977732651114 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 7023 1055 822 493 0 328 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28092 KiB
Current children cumulated memory: 4220 KiB

[startup+0.210002 s]*
/proc/loadavg: 2.08 2.03 1.96 6/212 3872
/proc/meminfo: memFree=28377688/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=30072 memory=6332 CPUtime=0.21 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 1771 0 0 0 21 0 0 0 20 0 1 0 409426852 30793728 1583 33554432000 4194304 6210612 140722788371856 140722788368392 139977732660197 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 7518 1583 824 493 0 823 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30072 KiB
Current children cumulated memory: 6332 KiB

[startup+0.309471 s]*
/proc/loadavg: 2.08 2.03 1.96 3/195 3878
/proc/meminfo: memFree=28466372/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=31788 memory=7916 CPUtime=0.31 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 2204 0 0 0 31 0 0 0 20 0 1 0 409426852 32550912 1979 33554432000 4194304 6210612 140722788371856 140722788368392 5441180 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 7947 1979 824 493 0 1252 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31788 KiB
Current children cumulated memory: 7916 KiB

[startup+0.700238 s]
/proc/loadavg: 2.08 2.03 1.96 3/199 3904
/proc/meminfo: memFree=28461884/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=38652 memory=14780 CPUtime=0.68 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 3910 0 0 0 68 0 0 0 20 0 1 0 409426852 39579648 3695 33554432000 4194304 6210612 140722788371856 140722788368392 139977732660197 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 9663 3695 824 493 0 2968 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38652 KiB
Current children cumulated memory: 14780 KiB

[startup+1.50024 s]
/proc/loadavg: 2.08 2.03 1.96 3/199 3904
/proc/meminfo: memFree=28447996/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=53436 memory=29564 CPUtime=1.49 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 7586 0 0 0 147 2 0 0 20 0 1 0 409426852 54718464 7391 33554432000 4194304 6210612 140722788371856 140722788367032 139977732660197 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 13359 7391 824 493 0 6664 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53436 KiB
Current children cumulated memory: 29564 KiB

[startup+3.10948 s]
/proc/loadavg: 2.08 2.03 1.96 3/199 3904
/proc/meminfo: memFree=28388904/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=81884 memory=58324 CPUtime=3.1 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 21422 0 0 0 307 3 0 0 20 0 1 0 409426852 83849216 14581 33554432000 4194304 6210612 140722788371856 140722788367032 5396596 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20471 14581 875 493 0 13776 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 81884 KiB
Current children cumulated memory: 58324 KiB

[startup+6.30026 s]
/proc/loadavg: 2.08 2.03 1.96 3/199 3904
/proc/meminfo: memFree=28356608/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82016 memory=58636 CPUtime=6.29 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 32527 0 0 0 625 4 0 0 20 0 1 0 409426852 83984384 14659 33554432000 4194304 6210612 140722788371856 140722788369816 5026818 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20504 14659 875 493 0 13809 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 82016 KiB
Current children cumulated memory: 58636 KiB

[startup+12.7002 s]
/proc/loadavg: 2.07 2.03 1.96 3/199 3905
/proc/meminfo: memFree=28292796/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82016 memory=58688 CPUtime=12.68 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 43596 0 0 0 1264 4 0 0 20 0 1 0 409426852 83984384 14672 33554432000 4194304 6210612 140722788371856 140722788369816 5391921 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20504 14672 875 493 0 13809 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 82016 KiB
Current children cumulated memory: 58688 KiB

[startup+25.5002 s]
/proc/loadavg: 2.06 2.03 1.96 3/199 3905
/proc/meminfo: memFree=28224432/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82148 memory=58752 CPUtime=25.49 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 65752 0 0 0 2543 6 0 0 20 0 1 0 409426852 84119552 14688 33554432000 4194304 6210612 140722788371856 140722788369816 5396596 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20537 14688 875 493 0 13842 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 82148 KiB
Current children cumulated memory: 58752 KiB

[startup+51.1094 s]
/proc/loadavg: 2.04 2.03 1.96 3/199 3907
/proc/meminfo: memFree=28221880/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82148 memory=58760 CPUtime=51.1 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 76815 0 0 0 5103 7 0 0 20 0 1 0 409426852 84119552 14690 33554432000 4194304 6210612 140722788371856 140722788369816 5396596 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20537 14690 875 493 0 13842 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 82148 KiB
Current children cumulated memory: 58760 KiB

[startup+102.3 s]
/proc/loadavg: 2.20 2.07 1.98 3/201 3920
/proc/meminfo: memFree=28218832/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58840 CPUtime=102.25 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 84277 0 0 0 10218 7 0 0 20 0 1 0 409426852 84254720 14710 33554432000 4194304 6210612 140722788371856 140722788369816 5033716 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14710 875 493 0 13875 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58840 KiB

[startup+162.3 s]
/proc/loadavg: 2.13 2.07 1.98 3/202 3926
/proc/meminfo: memFree=28219332/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58860 CPUtime=162.24 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 84687 0 0 0 16217 7 0 0 20 0 1 0 409426852 84254720 14715 33554432000 4194304 6210612 140722788371856 140722788369816 5033528 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14715 875 493 0 13875 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58860 KiB

[startup+222.3 s]
/proc/loadavg: 2.15 2.09 1.99 3/201 3930
/proc/meminfo: memFree=28219844/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58868 CPUtime=222.23 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 85096 0 0 0 22216 7 0 0 20 0 1 0 409426852 84254720 14717 33554432000 4194304 6210612 140722788371856 140722788369816 5026768 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14717 875 493 0 13875 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58868 KiB

[startup+282.3 s]
/proc/loadavg: 2.05 2.07 1.99 3/201 3934
/proc/meminfo: memFree=28220080/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58872 CPUtime=282.22 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 85507 0 0 0 28215 7 0 0 20 0 1 0 409426852 84254720 14718 33554432000 4194304 6210612 140722788371856 140722788369816 5391918 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14718 875 493 0 13875 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58872 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.06 1.99 3/202 3940
/proc/meminfo: memFree=28219996/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58872 CPUtime=342.22 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 85919 0 0 0 34215 7 0 0 20 0 1 0 409426852 84254720 14718 33554432000 4194304 6210612 140722788371856 140722788369816 5033600 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14718 875 493 0 13875 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58872 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.05 1.99 3/199 3944
/proc/meminfo: memFree=28219268/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58880 CPUtime=402.21 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 86331 0 0 0 40214 7 0 0 20 0 1 0 409426852 84254720 14720 33554432000 4194304 6210612 140722788371856 140722788369816 5026857 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14720 875 493 0 13875 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58880 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 1.99 3/199 3948
/proc/meminfo: memFree=28218536/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58880 CPUtime=462.2 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 86743 0 0 0 46213 7 0 0 20 0 1 0 409426852 84254720 14720 33554432000 4194304 6210612 140722788371856 140722788369816 5033128 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14720 875 493 0 13875 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58880 KiB


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

/proc/3871/statm: 20570 14723 875 493 0 13875 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58892 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 4096
/proc/meminfo: memFree=28217636/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58892 CPUtime=1782.16 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 95309 0 0 0 178208 8 0 0 20 0 1 0 409426852 84254720 14723 33554432000 4194304 6210612 140722788371856 140722788369816 5033288 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14723 875 493 0 13875 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58892 KiB

[startup+1842.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/199 4102
/proc/meminfo: memFree=28217964/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58892 CPUtime=1842.16 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 95724 0 0 0 184208 8 0 0 20 0 1 0 409426852 84254720 14723 33554432000 4194304 6210612 140722788371856 140722788369816 5033106 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14723 875 493 0 13875 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58892 KiB

[startup+1902.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/199 4113
/proc/meminfo: memFree=28216688/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58892 CPUtime=1902.15 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 96075 0 0 0 190207 8 0 0 20 0 1 0 409426852 84254720 14723 33554432000 4194304 6210612 140722788371856 140722788369816 5033600 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14723 875 493 0 13875 0
Current children cumulated CPU time: 1902.15 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58892 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 4117
/proc/meminfo: memFree=28216852/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58892 CPUtime=1962.15 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 96490 0 0 0 196207 8 0 0 20 0 1 0 409426852 84254720 14723 33554432000 4194304 6210612 140722788371856 140722788369816 5391918 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14723 875 493 0 13875 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58892 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 4123
/proc/meminfo: memFree=28216792/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58892 CPUtime=2022.15 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 96884 0 0 0 202207 8 0 0 20 0 1 0 409426852 84254720 14723 33554432000 4194304 6210612 140722788371856 140722788369816 5026784 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14723 875 493 0 13875 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58892 KiB

[startup+2082.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/199 4127
/proc/meminfo: memFree=28217040/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58892 CPUtime=2082.15 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 97278 0 0 0 208207 8 0 0 20 0 1 0 409426852 84254720 14723 33554432000 4194304 6210612 140722788371856 140722788369816 5033134 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14723 875 493 0 13875 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58892 KiB

[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 4131
/proc/meminfo: memFree=28216608/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58892 CPUtime=2142.15 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 97669 0 0 0 214207 8 0 0 20 0 1 0 409426852 84254720 14723 33554432000 4194304 6210612 140722788371856 140722788369816 5026857 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14723 875 493 0 13875 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58892 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 4137
/proc/meminfo: memFree=28216356/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58892 CPUtime=2202.14 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 98084 0 0 0 220206 8 0 0 20 0 1 0 409426852 84254720 14723 33554432000 4194304 6210612 140722788371856 140722788369816 5397215 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14723 875 493 0 13875 0
Current children cumulated CPU time: 2202.14 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58892 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 4141
/proc/meminfo: memFree=28216288/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58892 CPUtime=2262.14 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 98444 0 0 0 226206 8 0 0 20 0 1 0 409426852 84254720 14723 33554432000 4194304 6210612 140722788371856 140722788369816 5135938 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14723 875 493 0 13875 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58892 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 4145
/proc/meminfo: memFree=28215908/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58896 CPUtime=2322.14 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 98791 0 0 0 232206 8 0 0 20 0 1 0 409426852 84254720 14724 33554432000 4194304 6210612 140722788371856 140722788369816 5033427 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14724 875 493 0 13875 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58896 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4151
/proc/meminfo: memFree=28215640/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58896 CPUtime=2382.14 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 99207 0 0 0 238206 8 0 0 20 0 1 0 409426852 84254720 14724 33554432000 4194304 6210612 140722788371856 140722788369816 5033134 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14724 875 493 0 13875 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58896 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 4155
/proc/meminfo: memFree=28216728/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58896 CPUtime=2442.13 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 99596 0 0 0 244205 8 0 0 20 0 1 0 409426852 84254720 14724 33554432000 4194304 6210612 140722788371856 140722788369816 5091350 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14724 875 493 0 13875 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58896 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 4167
/proc/meminfo: memFree=28216020/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58896 CPUtime=2502.13 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 99982 0 0 0 250205 8 0 0 20 0 1 0 409426852 84254720 14724 33554432000 4194304 6210612 140722788371856 140722788369816 5026812 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14724 875 493 0 13875 0
Current children cumulated CPU time: 2502.13 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58896 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 4169
/proc/meminfo: memFree=28216144/32770624 swapFree=66998520/67108860
[pid=3871] ppid=3868 vsize=82280 memory=58896 CPUtime=2519.84 cores=0,2,4,6
/proc/3871/stat : 3871 (cosoco) R 3868 3871 3464 0 -1 4202496 100400 0 0 0 251976 8 0 0 20 0 1 0 409426852 84254720 14724 33554432000 4194304 6210612 140722788371856 140722788369816 5033251 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40087552 140722788377611 140722788377713 140722788377713 140722788380622 0
/proc/3871/statm: 20570 14724 875 493 0 13875 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58896 KiB

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

[startup+2520.01 s]
# the end of solver process 3871 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.76 s, system=0.086995 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.85
CPU user time (s): 2519.76
CPU system time (s): 0.086995
CPU usage (%): 99.9937
Max. virtual memory (cumulated for all children) (KiB): 82280
Max. memory (cumulated for all children) (KiB): 58896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.76
system time used= 0.086995
maximum resident set size= 58968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100452
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= 3162


# summary of solver processes directly reported to runsolver:
#   pid: 3871
#   total CPU time (s): 2519.85
#   total CPU user time (s): 2519.76
#   total CPU system time (s): 0.086995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6509 second user time and 14.8697 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-13 01:39:00
IDJOB=4389527
IDBENCH=126656
IDSOLVER=2829
FILE ID=node127/4389527-1568331580
RUNJOBID= node127-1568329019-3495
PBS_JOBID= 21701156
Free space on /tmp= 58820 MiB

SOLVER NAME= cosoco 2
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-4389527-1568331580/watcher-4389527-1568331580 -o /tmp/evaluation-result-4389527-1568331580/solver-4389527-1568331580 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3495 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389527-1568331580.xml

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

MD5SUM BENCH= 7ef6c2ff7df08c4e9d344e8b869548bc
RANDOM SEED=519380035

node127.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.55
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.55
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.55
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.55
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:        28422388 kB
MemAvailable:   31818656 kB
Buffers:          122328 kB
Cached:          3533076 kB
SwapCached:         6780 kB
Active:          2040784 kB
Inactive:        1676872 kB
Active(anon):      55064 kB
Inactive(anon):    48756 kB
Active(file):    1985720 kB
Inactive(file):  1628116 kB
Unevictable:      109044 kB
Mlocked:          109044 kB
SwapTotal:      67108860 kB
SwapFree:       66998520 kB
Dirty:              2832 kB
Writeback:             0 kB
AnonPages:        143860 kB
Mapped:            54056 kB
Shmem:             32692 kB
Slab:             226368 kB
SReclaimable:     196532 kB
SUnreclaim:        29836 kB
KernelStack:        3488 kB
PageTables:         5460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1454812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 58816 MiB
End job on node127 at 2019-09-13 02:21:00