Trace number 4408067

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2520.01 2519.9

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-4408067-1569795634.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.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.41/0.46	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.52	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.51/0.58	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.60/0.64	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.70	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.69/0.76	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.82	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.78/0.88	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/0.94	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
0.88/1.00	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.00/1.06	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.12	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.10/1.18	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.19/1.24	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.30	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.29/1.36	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.42	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.39/1.48	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.49/1.54	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.60	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.59/1.66	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.72	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.69/1.78	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	c intension -> extension : same as previous
1.79/1.84	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.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.14	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.20	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.18/2.26	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.32	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.28/2.38	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.39/2.44	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.50	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.49/2.56	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.62	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.59/2.68	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.69/2.74	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.80	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intension -> extension : same as previous
2.79/2.86	c intensc Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.89/2.91	c
2.89/2.91	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.89/2.91	c
2.89/2.91	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.89/2.91	c
2.89/2.91	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.89/2.91	c
2.89/2.91	c Create Cardinality(vars,values,occurs) constraint using 30 Exactly/AtMost.. constraint 
2.89/2.91	c
2.89/2.92	c root propagations     : 96          
2.89/2.92	c restarts enabled, print stats at every restarts
2.89/2.92	c
2.89/2.92	c
2.89/2.92	ion -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c intension -> extension : same as previous
2.89/2.92	c ========================================[ Problem Statistics ]===========================================
2.89/2.92	c |                                                                                                       
2.89/2.92	c |  Parse time        :         2.89 s 
2.89/2.92	c |
2.89/2.92	c |               Variables: 150
2.89/2.92	c |            Domain Sizes: 6..6
2.89/2.92	c |
2.89/2.92	c |             Constraints: 4443
2.89/2.92	c |                   Arity: 1..60  -- Unary: 30
2.89/2.92	c | 
2.89/2.92	c |                   Types: 
2.89/2.92	c |                          Exactly K: 30
2.89/2.92	c |                          Extension: 4350  (nb tuples: 36..36) -- (shared: 4349)
2.89/2.92	c |                          Lex: 33
2.89/2.92	c |                          Unary: 30
2.89/2.92	c |                          
2.89/2.92	c =========================================================================================================
2.89/2.92	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
3.00/3.01	c 101            294            251899         5135           30             0              75   93   79   
3.09/3.12	c 211            798            489690         10367          30             0              13   125   108 
3.18/3.25	c 332            1327           775223         17133          30             0              71   117   97  
3.28/3.38	c 465            1834           1044625        24265          30             0              91   111   98  
3.48/3.50	c 611            2401           1322238        31015          30             0              85   121   105 
3.58/3.67	c 771            3084           1848889        43309          30             0              24   125   111 
3.78/3.87	c 947            3890           2364589        53718          30             0              51   130   101 
3.99/4.04	c 1140           4560           2712903        60872          30             0              69   117   80  
4.19/4.23	c 1352           5388           3083081        68998          30             0              34   107   94  
4.39/4.49	c 1585           6436           3919097        88674          30             0              36   134   121 
4.69/4.77	c 1841           7619           4752557        106166         30             0              42   131   115 
4.89/4.99	c 2122           8508           5205218        115555         30             0              44   78   71   
5.18/5.29	c 2431           9770           6175684        137292         30             0              17   128   118 
5.48/5.50	c 2770           10755          6652137        149751         30             0              66   95   87   
5.78/5.80	c 3142           11993          7372075        164156         30             0              47   72   65   
5.99/6.10	c 3551           13326          8113381        179406         30             0              52   70   60   
6.28/6.38	c 4000           14678          8757410        192202         30             0              32   60   58   
6.58/6.68	c 4493           16077          9455851        206975         30             0              22   61   54   
6.88/7.00	c 5035           17587          10224824       222890         30             0              3   62   56    
7.48/7.59	c 5631           20258          12229161       270201         30             0              18   134   121 
7.99/8.04	c 6286           22186          13318679       292825         30             0              17   61   53   
8.38/8.48	c 7006           24242          14355163       315313         30             0              9   56   50    
9.09/9.18	c 7798           27180          16817136       375917         30             0              16   131   106 
9.58/9.69	c 8669           29584          17961824       399994         30             0              31   61   56   
10.28/10.34	c 9627           32424          19569351       432727         30             0              15   61   54   
10.99/11.03	c 10680          35632          21243643       467508         30             0              17   58   52   
11.78/11.80	c 11838          39076          23094727       507210         30             0              35   57   50   
12.48/12.59	c 13111          42648          25036074       546523         30             0              17   55   49   
13.38/13.48	c 14511          46753          27152952       589834         30             0              17   56   49   
14.57/14.69	c 16051          52244          31456304       690823         30             0              42   135   108 
15.87/15.96	c 17745          58292          36107026       800843         30             0              17   133   108 
17.27/17.38	c 19608          64910          42317373       952291         30             0              24   132   126 
18.77/18.86	c 21657          72015          48290455       1098796        30             0              37   135   109 
20.47/20.59	c 23910          80531          54990505       1255037        30             0              29   128   106 
22.67/22.76	c 26388          90852          63921064       1476363        30             0              33   132   121 
24.87/24.95	c 29113          101560         73120059       1694074        30             0              35   132   124 
26.47/26.56	c 32110          112331         78277493       1811082        30             0              50   88   74   
28.67/28.72	c 35406          125306         88024787       2033916        30             0              27   114   91  
31.07/31.11	c 39031          139426         99080186       2280868        30             0              38   118   98  
34.66/34.78	c 43018          160063         114988902      2670698        30             0              65   114   98  
37.07/37.17	c 47403          174732         123393711      2920048        30             0              68   121   108 
39.36/39.41	c 52226          189692         131172499      3146145        30             0              18   125   107 
41.86/42.00	c 57531          208152         140328419      3392983        30             0              26   126   109 
44.46/44.52	c 63366          224975         149131459      3655557        30             0              42   121   110 
48.16/48.23	c 69784          247552         168065353      4101197        32             0              1   128   113  
52.66/52.80	c 76843          275881         190044987      4608377        32             0              58   126   105 
57.97/58.05	c 84607          314122         213878138      5139090        32             0              84   126   106 
63.46/63.56	c 93147          353984         239100458      5709287        32             0              78   132   111 
68.56/68.63	c 102541         385501         262329845      6249003        32             0              40   125   101 
73.76/73.87	c 112874         421773         281321835      6734945        32             0              81   127   111 
79.07/79.13	c 124240         457066         300160789      7256105        32             0              71   121   111 
85.07/85.19	c 136742         496648         321990086      7869659        32             0              76   126   108 
91.76/91.85	c 150494         541946         345498437      8523542        32             0              30   125   108 
101.26/101.35	c 165621         600963         393496481      9657106        32             0              37   129   116 
112.07/112.12	c 182260         662484         440075681      10676531       32             0              49   112   90  
123.76/123.80	c 200562         733626         499509920      11997499       32             0              86   116   108 
136.07/136.13	c 220694         812876         553701006      13337982       32             0              85   118   107 
146.17/146.20	c 242839         881558         589776343      14344310       32             0              49   134   112 
158.17/158.25	c 267198         959396         631834110      15641742       32             0              42   129   109 
176.77/176.87	c 293992         1081366        722919874      17669176       32             0              40   128   108 
190.87/190.93	c 323465         1199848        771891708      18683959       32             0              66   102   98  
208.77/208.84	c 355885         1308794        831623723      19950711       32             0              48   78   64   
230.87/230.93	c 391547         1444468        946796939      22710288       32             0              56   133   120 
255.17/255.23	c 430775         1592585        1075069224     25819068       32             0              72   133   121 
282.67/282.75	c 473925         1762321        1219294104     29295160       32             0              73   132   119 
307.17/307.26	c 521390         1919129        1326967792     31880167       32             0              66   135   104 
330.58/330.67	c 573601         2074163        1410216252     34147675       32             0              37   124   108 
356.48/356.50	c 631033         2247918        1500112541     36602546       32             0              63   126   102 
386.68/386.78	c 694208         2449309        1608908732     39466875       32             0              43   125   105 
419.18/419.23	c 763700         2661583        1723732297     42778363       32             0              80   128   104 
463.18/463.24	c 840141         2951634        1895683116     46924010       32             0              81   122   98  
508.29/508.35	c 924226         3290987        2048150372     50120029       32             0              31   98   87   
563.59/563.60	c 1016719        3551889        2209518585     52825193       32             0              41   50   49   
601.89/601.97	c 1118461        3834024        2325659636     54676348       32             0              25   33   31   
648.49/648.57	c 1230377        4201077        2469373157     56895800       32             0              19   28   27   
732.90/732.99	c 1353484        4677124        2746137143     62747622       32             0              22   98   82   
869.01/869.09	c 1488901        5408514        3135337653     70567946       32             0              23   136   50  
968.21/968.29	c 1637859        6018579        3596666900     81178655       32             0              33   135   111 
1073.22/1073.22	c 1801712        6690100        4114749263     92950224       32             0              64   135   117 
1238.43/1238.40	c 1981950        7768301        4748832826     106114876      32             0              70   107   87  
1370.14/1370.16	c 2180211        8623813        5375807379     119920376      32             0              66   134   112 
1561.85/1561.88	c 2398298        9881021        6123643540     134105512      32             0              71   130   87  
1787.16/1787.15	c 2638193        11311648       7005033843     150221807      32             0              73   105   88  
1896.57/1896.52	c 2902077        12080743       7388714821     159532154      32             0              51   114   97  
2143.28/2143.25	c 3192349        13768325       8323093787     176820569      32             0              65   100   86  
2286.49/2286.40	c 3511648        14748825       8841299619     189502098      32             0              48   135   99  
2446.70/2446.66	c 3862876        15839331       9429200897     203843448      32             0              72   136   100 
2520.00/2519.90	
2520.00/2519.90	c *** INTERRUPTED ***
2520.00/2519.90	c restarts              : 87          
2520.00/2519.90	c conflicts             : 4005811      (1590 /sec)
2520.00/2519.90	c decisions             : 16335305     (6482 /sec)
2520.00/2519.90	c propagations          : 210745509   (83631 /sec)
2520.00/2519.90	c root propagations     : 96          
2520.00/2519.90	c filter calls          : 9712098210     (3854078 /sec)
2520.00/2519.90	c useless filter calls  : 9555155900     (98 %)
2520.00/2519.90	c Memory used           : 80.36 MB
2520.00/2519.90	c CPU time              : 2519.95 s
2520.00/2519.90	c real time             : 2519.9 s
2520.00/2519.90	
2520.00/2519.90	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 (14778 MiB free)
  memory of node 1: 16384 MiB (14770 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408067-1569795634/watcher-4408067-1569795634 -o /tmp/evaluation-result-4408067-1569795634/solver-4408067-1569795634 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569787350-17999 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408067-1569795634.xml 

running on 4 cores: 1,3,5,7

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
solver pid=19897, runsolver pid=19894
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 2.16 2.05 2.06 3/201 19898
/proc/meminfo: memFree=30259372/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=28224 memory=4480 CPUtime=0.1 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 1286 0 0 0 10 0 0 0 20 0 1 0 555830258 28901376 1120 33554432000 4194304 6211132 140728528482704 140728528479240 139806713408485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 7056 1120 825 493 0 361 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28224 KiB
Current children cumulated memory: 4480 KiB

[startup+0.210146 s]*
/proc/loadavg: 2.16 2.05 2.06 3/201 19898
/proc/meminfo: memFree=30252344/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=30072 memory=6328 CPUtime=0.21 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 1773 0 0 0 21 0 0 0 20 0 1 0 555830258 30793728 1582 33554432000 4194304 6211132 140728528482704 140728528477448 139806713408485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 7518 1582 825 493 0 823 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30072 KiB
Current children cumulated memory: 6328 KiB

[startup+0.310615 s]*
/proc/loadavg: 2.16 2.05 2.06 3/201 19898
/proc/meminfo: memFree=30250484/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=31920 memory=8176 CPUtime=0.31 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 2212 0 0 0 31 0 0 0 20 0 1 0 555830258 32686080 2044 33554432000 4194304 6211132 140728528482704 140728528477448 139806713408485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 7980 2044 825 493 0 1285 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31920 KiB
Current children cumulated memory: 8176 KiB

[startup+0.700336 s]
/proc/loadavg: 2.16 2.05 2.06 3/201 19898
/proc/meminfo: memFree=30252484/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=38652 memory=14776 CPUtime=0.69 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 3892 0 0 0 69 0 0 0 20 0 1 0 555830258 39579648 3694 33554432000 4194304 6211132 140728528482704 140728528477448 139806713404222 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 9663 3694 825 493 0 2968 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38652 KiB
Current children cumulated memory: 14776 KiB

[startup+1.50031 s]
/proc/loadavg: 2.16 2.05 2.06 3/201 19898
/proc/meminfo: memFree=30241720/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=52644 memory=28768 CPUtime=1.49 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 7420 0 0 0 148 1 0 0 20 0 1 0 555830258 53907456 7192 33554432000 4194304 6211132 140728528482704 140728528477880 139806713418615 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 13161 7192 825 493 0 6466 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 52644 KiB
Current children cumulated memory: 28768 KiB

[startup+3.1104 s]
/proc/loadavg: 2.16 2.05 2.06 3/201 19898
/proc/meminfo: memFree=30206012/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=81752 memory=58368 CPUtime=3.09 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 21197 0 0 0 307 2 0 0 20 0 1 0 555830258 83714048 14592 33554432000 4194304 6211132 140728528482704 140728528477752 5033770 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20438 14592 879 493 0 13743 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 81752 KiB
Current children cumulated memory: 58368 KiB

[startup+6.30043 s]
/proc/loadavg: 2.39 2.10 2.07 3/201 19898
/proc/meminfo: memFree=30210352/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82016 memory=58652 CPUtime=6.28 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 32329 0 0 0 625 3 0 0 20 0 1 0 555830258 83984384 14663 33554432000 4194304 6211132 140728528482704 140728528480664 5033688 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20504 14663 879 493 0 13809 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 82016 KiB
Current children cumulated memory: 58652 KiB

[startup+12.7002 s]
/proc/loadavg: 2.60 2.14 2.09 3/202 19906
/proc/meminfo: memFree=30783224/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82016 memory=58704 CPUtime=12.68 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 40484 0 0 0 1265 3 0 0 20 0 1 0 555830258 83984384 14676 33554432000 4194304 6211132 140728528482704 140728528480664 5033502 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20504 14676 879 493 0 13809 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 82016 KiB
Current children cumulated memory: 58704 KiB

[startup+25.5003 s]
/proc/loadavg: 2.47 2.14 2.09 3/201 19911
/proc/meminfo: memFree=31413512/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82148 memory=58776 CPUtime=25.47 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 53713 0 0 0 2543 4 0 0 20 0 1 0 555830258 84119552 14694 33554432000 4194304 6211132 140728528482704 140728528480664 5392110 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20537 14694 879 493 0 13842 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 82148 KiB
Current children cumulated memory: 58776 KiB

[startup+51.1095 s]
/proc/loadavg: 2.24 2.11 2.08 3/201 19912
/proc/meminfo: memFree=31413256/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82148 memory=58836 CPUtime=51.07 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 54210 0 0 0 5103 4 0 0 20 0 1 0 555830258 84119552 14709 33554432000 4194304 6211132 140728528482704 140728528480664 5033987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20537 14709 879 493 0 13842 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 82148 KiB
Current children cumulated memory: 58836 KiB

[startup+102.3 s]
/proc/loadavg: 2.10 2.09 2.07 3/200 19916
/proc/meminfo: memFree=31413804/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58860 CPUtime=102.26 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 54699 0 0 0 10222 4 0 0 20 0 1 0 555830258 84254720 14715 33554432000 4194304 6211132 140728528482704 140728528480664 5033828 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14715 879 493 0 13875 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58860 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/200 19922
/proc/meminfo: memFree=31413888/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58876 CPUtime=162.27 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 55188 0 0 0 16223 4 0 0 20 0 1 0 555830258 84254720 14719 33554432000 4194304 6211132 140728528482704 140728528480664 5027225 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14719 879 493 0 13875 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58876 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/200 19926
/proc/meminfo: memFree=31413600/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58884 CPUtime=222.27 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 55677 0 0 0 22223 4 0 0 20 0 1 0 555830258 84254720 14721 33554432000 4194304 6211132 140728528482704 140728528480664 5136275 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14721 879 493 0 13875 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58884 KiB

[startup+282.3 s]
/proc/loadavg: 2.05 2.07 2.06 3/200 19930
/proc/meminfo: memFree=31413556/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58884 CPUtime=282.27 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 55678 0 0 0 28223 4 0 0 20 0 1 0 555830258 84254720 14721 33554432000 4194304 6211132 140728528482704 140728528480664 5033474 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14721 879 493 0 13875 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58884 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/199 19937
/proc/meminfo: memFree=31414008/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58892 CPUtime=342.28 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 56171 0 0 0 34224 4 0 0 20 0 1 0 555830258 84254720 14723 33554432000 4194304 6211132 140728528482704 140728528480664 5389440 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14723 879 493 0 13875 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58892 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 19941
/proc/meminfo: memFree=31413340/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58892 CPUtime=402.28 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 56171 0 0 0 40224 4 0 0 20 0 1 0 555830258 84254720 14723 33554432000 4194304 6211132 140728528482704 140728528480664 5392115 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14723 879 493 0 13875 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58892 KiB

[startup+462.3 s]
/proc/loadavg: 2.08 2.07 2.05 3/199 19945
/proc/meminfo: memFree=31413388/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58896 CPUtime=462.28 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 56663 0 0 0 46224 4 0 0 20 0 1 0 555830258 84254720 14724 33554432000 4194304 6211132 140728528482704 140728528480664 5033847 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14724 879 493 0 13875 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58896 KiB


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

/proc/19897/statm: 20570 14727 879 493 0 13875 0
Current children cumulated CPU time: 1782.36 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58908 KiB

[startup+1842.3 s]
/proc/loadavg: 2.54 2.42 2.22 2/202 20265
/proc/meminfo: memFree=30408416/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58908 CPUtime=1842.37 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 62541 0 0 0 184232 5 0 0 20 0 1 0 555830258 84254720 14727 33554432000 4194304 6211132 140728528482704 140728528480664 5397407 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14727 879 493 0 13875 0
Current children cumulated CPU time: 1842.37 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58908 KiB

[startup+1902.3 s]
/proc/loadavg: 4.06 2.96 2.43 3/202 20273
/proc/meminfo: memFree=31167368/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58908 CPUtime=1902.37 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 62564 0 0 0 190232 5 0 0 20 0 1 0 555830258 84254720 14727 33554432000 4194304 6211132 140728528482704 140728528480664 5027136 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14727 879 493 0 13875 0
Current children cumulated CPU time: 1902.37 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58908 KiB

[startup+1962.3 s]
/proc/loadavg: 2.76 2.78 2.40 3/202 20279
/proc/meminfo: memFree=31160376/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58908 CPUtime=1962.37 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 63042 0 0 0 196232 5 0 0 20 0 1 0 555830258 84254720 14727 33554432000 4194304 6211132 140728528482704 140728528480664 5033488 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14727 879 493 0 13875 0
Current children cumulated CPU time: 1962.37 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58908 KiB

[startup+2022.3 s]
/proc/loadavg: 2.28 2.64 2.38 3/201 20283
/proc/meminfo: memFree=31160116/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58908 CPUtime=2022.38 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 63042 0 0 0 202233 5 0 0 20 0 1 0 555830258 84254720 14727 33554432000 4194304 6211132 140728528482704 140728528480664 5027225 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14727 879 493 0 13875 0
Current children cumulated CPU time: 2022.38 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58908 KiB

[startup+2082.3 s]
/proc/loadavg: 2.10 2.52 2.35 3/201 20287
/proc/meminfo: memFree=31158228/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58908 CPUtime=2082.38 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 63520 0 0 0 208233 5 0 0 20 0 1 0 555830258 84254720 14727 33554432000 4194304 6211132 140728528482704 140728528480664 5033619 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14727 879 493 0 13875 0
Current children cumulated CPU time: 2082.38 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58908 KiB

[startup+2142.3 s]
/proc/loadavg: 2.04 2.43 2.33 3/200 20294
/proc/meminfo: memFree=31154988/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58908 CPUtime=2142.38 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 63520 0 0 0 214233 5 0 0 20 0 1 0 555830258 84254720 14727 33554432000 4194304 6211132 140728528482704 140728528480664 5033498 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14727 879 493 0 13875 0
Current children cumulated CPU time: 2142.38 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58908 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.35 2.31 3/199 20298
/proc/meminfo: memFree=31155560/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58908 CPUtime=2202.38 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 64016 0 0 0 220233 5 0 0 20 0 1 0 555830258 84254720 14727 33554432000 4194304 6211132 140728528482704 140728528480664 5033977 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14727 879 493 0 13875 0
Current children cumulated CPU time: 2202.38 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58908 KiB

[startup+2262.3 s]
/proc/loadavg: 2.14 2.32 2.30 3/199 20302
/proc/meminfo: memFree=31154396/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58908 CPUtime=2262.39 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 64017 0 0 0 226234 5 0 0 20 0 1 0 555830258 84254720 14727 33554432000 4194304 6211132 140728528482704 140728528480664 5033488 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14727 879 493 0 13875 0
Current children cumulated CPU time: 2262.39 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58908 KiB

[startup+2322.3 s]
/proc/loadavg: 2.05 2.26 2.28 3/198 20309
/proc/meminfo: memFree=31155660/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58912 CPUtime=2322.39 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 64513 0 0 0 232234 5 0 0 20 0 1 0 555830258 84254720 14728 33554432000 4194304 6211132 140728528482704 140728528480664 5033502 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14728 879 493 0 13875 0
Current children cumulated CPU time: 2322.39 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58912 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.21 2.27 3/199 20314
/proc/meminfo: memFree=31154992/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58912 CPUtime=2382.39 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 64992 0 0 0 238234 5 0 0 20 0 1 0 555830258 84254720 14728 33554432000 4194304 6211132 140728528482704 140728528480664 5033847 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14728 879 493 0 13875 0
Current children cumulated CPU time: 2382.39 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58912 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.17 2.25 3/199 20325
/proc/meminfo: memFree=31154212/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58912 CPUtime=2442.39 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 64992 0 0 0 244234 5 0 0 20 0 1 0 555830258 84254720 14728 33554432000 4194304 6211132 140728528482704 140728528480664 5033688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14728 879 493 0 13875 0
Current children cumulated CPU time: 2442.39 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58912 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.14 2.23 3/199 20356
/proc/meminfo: memFree=31152748/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58912 CPUtime=2502.4 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 65490 0 0 0 250235 5 0 0 20 0 1 0 555830258 84254720 14728 33554432000 4194304 6211132 140728528482704 140728528480664 5033942 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14728 879 493 0 13875 0
Current children cumulated CPU time: 2502.4 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.14 2.23 3/199 20356
/proc/meminfo: memFree=31152408/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58912 CPUtime=2520 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 65490 0 0 0 251995 5 0 0 20 0 1 0 555830258 84254720 14728 33554432000 4194304 6211132 140728528482704 140728528480664 5389440 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14728 879 493 0 13875 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58912 KiB

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

[startup+2519.9 s]
# the end of solver process 19897 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.95 s, system=0.051002 s

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

[startup+2519.9 s]
/proc/loadavg: 2.00 2.14 2.23 3/199 20356
/proc/meminfo: memFree=31152408/32770624 swapFree=66975648/67108860
[pid=19897] ppid=19894 vsize=82280 memory=58912 CPUtime=2520 cores=1,3,5,7
/proc/19897/stat : 19897 (cosoco) R 19894 19897 17967 0 -1 4202496 65490 0 0 0 251995 5 0 0 20 0 1 0 555830258 84254720 14728 33554432000 4194304 6211132 140728528482704 140728528480664 5389440 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9916416 140728528491531 140728528491633 140728528491633 140728528494542 0
/proc/19897/statm: 20570 14728 879 493 0 13875 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 58912 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.01
CPU user time (s): 2519.95
CPU system time (s): 0.051002
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 82280
Max. memory (cumulated for all children) (KiB): 58912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.051002
maximum resident set size= 58980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65536
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= 40
involuntary context switches= 732


# summary of solver processes directly reported to runsolver:
#   pid: 19897
#   total CPU time (s): 2520.01
#   total CPU user time (s): 2519.95
#   total CPU system time (s): 0.051002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.17318 second user time and 17.7123 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-30 00:19:52
IDJOB=4408067
IDBENCH=126656
IDSOLVER=2874
FILE ID=node125/4408067-1569795634
RUNJOBID= node125-1569787350-17999
PBS_JOBID= 21705828
Free space on /tmp= 61460 MiB

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

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

MD5SUM BENCH= 7ef6c2ff7df08c4e9d344e8b869548bc
RANDOM SEED=635550199

node125.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.29
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.29
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.29
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.29
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:        30257988 kB
MemAvailable:   31782516 kB
Buffers:          194916 kB
Cached:          1658100 kB
SwapCached:        29880 kB
Active:           419516 kB
Inactive:        1496928 kB
Active(anon):      46124 kB
Inactive(anon):    97804 kB
Active(file):     373392 kB
Inactive(file):  1399124 kB
Unevictable:      107476 kB
Mlocked:          107476 kB
SwapTotal:      67108860 kB
SwapFree:       66975648 kB
Dirty:            906588 kB
Writeback:         76868 kB
AnonPages:        142348 kB
Mapped:            29620 kB
Shmem:             72028 kB
Slab:             192440 kB
SReclaimable:     135696 kB
SUnreclaim:        56744 kB
KernelStack:        3488 kB
PageTables:         5676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     597616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62024 MiB
End job on node125 at 2019-09-30 01:01:52