Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | SAT (TO) | 881 | 2400.1 | 2400.5 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-067.xml |
| MD5SUM | 8abeb688e9afa7c6cb128f8ab9c8d8c8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 881 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4555 |
| Number of constraints | 2343 |
| Number of domains | 133 |
| Minimum domain size | 2 |
| Maximum domain size | 133 |
| Distribution of domain sizes | [{"size":2,"count":2279},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 66 |
| Distribution of variable degrees | [{"degree":0,"count":2145},{"degree":2,"count":2343},{"degree":66,"count":67}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 67 |
| Distribution of constraint arities | [{"arity":2,"count":67},{"arity":3,"count":2212},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 2277 |
| Distribution of constraint types | [{"type":"intension","count":2277},{"type":"sum","count":66}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.06 c 0.00/0.06 c This is cosoco 2.00 -- 0.00/0.06 c 0.00/0.06 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397603-1568579824.xml 0.00/0.06 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.10/0.21 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.25 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.20/0.28 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 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.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.62 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.60/0.69 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.73 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.80 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.84 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.79/0.88 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.91 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension -> extension : same as previous 0.89/0.96 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 133tuples 0.89/0.96 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 131tuples 0.89/0.97 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 129tuples 0.89/0.97 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 127tuples 0.89/0.98 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 125tuples 0.89/0.98 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 123tuples 0.89/0.99 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 121tuples 0.89/0.99 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 119tuples 0.89/1.00 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 117tuples 0.89/1.00 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 115tuples 0.99/1.01 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 113tuples 0.99/1.01 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 111tuples 0.99/1.02 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 109tuples 0.99/1.02 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 107tuples 0.99/1.02 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 105tuples 0.99/1.03 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 103tuples 0.99/1.03 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 101tuples 0.99/1.03 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 99tuples 0.99/1.04 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 97tuples 0.99/1.04 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 95tuples 0.99/1.04 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 93tuples 0.99/1.05 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 91tuples 0.99/1.05 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 89tuples 0.99/1.05 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 87tuples 0.99/1.06 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 85tuples 0.99/1.06 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 83tuples 0.99/1.06 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 81tuples 0.99/1.06 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 79tuples 0.99/1.07 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 77tuples 0.99/1.07 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 75tuples 0.99/1.07 c intension eq(mul(c[30],c[30]),s[30]) -> extension (support ? 1) - 73tuples 0.99/1.07 c intension eq(mul(c[31],c[31]),s[31]) -> extension (support ? 1) - 71tuples 0.99/1.07 c intension eq(mul(c[32],c[32]),s[32]) -> extension (support ? 1) - 69tuples 0.99/1.07 c intension eq(mul(c[33],c[33]),s[33]) -> extension (support ? 1) - 67tuples 0.99/1.08 c intension eq(mul(c[34],c[34]),s[34]) -> extension (support ? 1) - 65tuples 0.99/1.08 c intension eq(mul(c[35],c[35]),s[35]) -> extension (support ? 1) - 63tuples 0.99/1.08 c intension eq(mul(c[36],c[36]),s[36]) -> extension (support ? 1) - 61tuples 0.99/1.08 c intension eq(mul(c[37],c[37]),s[37]) -> extension (support ? 1) - 59tuples 0.99/1.08 c intension eq(mul(c[38],c[38]),s[38]) -> extension (support ? 1) - 57tuples 0.99/1.08 c intension eq(mul(c[39],c[39]),s[39]) -> extension (support ? 1) - 55tuples 0.99/1.08 c intension eq(mul(c[40],c[40]),s[40]) -> extension (support ? 1) - 53tuples 0.99/1.09 c intension eq(mul(c[41],c[41]),s[41]) -> extension (support ? 1) - 51tuples 0.99/1.09 c intension eq(mul(c[42],c[42]),s[42]) -> extension (support ? 1) - 49tuples 0.99/1.09 c intension eq(mul(c[43],c[43]),s[43]) -> extension (support ? 1) - 47tuples 0.99/1.09 c intension eq(mul(c[44],c[44]),s[44]) -> extension (support ? 1) - 45tuples 0.99/1.09 c intension eq(mul(c[45],c[45]),s[45]) -> extension (support ? 1) - 43tuples 0.99/1.09 c intension eq(mul(c[46],c[46]),s[46]) -> extension (support ? 1) - 41tuples 0.99/1.09 c intension eq(mul(c[47],c[47]),s[47]) -> extension (support ? 1) - 39tuples 0.99/1.09 c intension eq(mul(c[48],c[48]),s[48]) -> extension (support ? 1) - 37tuples 0.99/1.09 c intension eq(mul(c[49],c[49]),s[49]) -> extension (support ? 1) - 35tuples 0.99/1.09 c intension eq(mul(c[50],c[50]),s[50]) -> extension (support ? 1) - 33tuples 0.99/1.09 c intension eq(mul(c[51],c[51]),s[51]) -> extension (support ? 1) - 31tuples 0.99/1.09 c intension eq(mul(c[52],c[52]),s[52]) -> extension (support ? 1) - 29tuples 0.99/1.10 c intension eq(mul(c[53],c[53]),s[53]) -> extension (support ? 1) - 27tuples 0.99/1.10 c intension eq(mul(c[54],c[54]),s[54]) -> extension (support ? 1) - 25tuples 0.99/1.10 c intension eq(mul(c[55],c[55]),s[55]) -> extension (support ? 1) - 23tuples 0.99/1.10 c intension eq(mul(c[56],c[56]),s[56]) -> extension (support ? 1) - 21tuples 0.99/1.10 c intension eq(mul(c[57],c[57]),s[57]) -> extension (support ? 1) - 19tuples 0.99/1.10 c intension eq(mul(c[58],c[58]),s[58]) -> extension (support ? 1) - 17tuples 0.99/1.10 c intension eq(mul(c[59],c[59]),s[59]) -> extension (support ? 1) - 15tuples 0.99/1.10 c intension eq(mul(c[60],c[60]),s[60]) -> extension (support ? 1) - 13tuples 0.99/1.10 c intension eq(mul(c[61],c[61]),s[61]) -> extension (support ? 1) - 11tuples 0.99/1.10 c intension eq(mul(c[62],c[62]),s[62]) -> extension (support ? 1) - 9tuples 0.99/1.10 c intension eq(mul(c[63],c[63]),s[63]) -> extension (support ? 1) - 7tuples 0.99/1.10 c intension eq(mul(c[64],c[64]),s[64]) -> extension (support ? 1) - 5tuples 0.99/1.10 c intension eq(mul(c[65],c[65]),s[65]) -> extension (support ? 1) - 3tuples 1.19/1.27 c enable optimization 1.19/1.27 c ========================================[ Problem Statistics ]=========================================== 1.19/1.27 c | 1.19/1.27 c | Parse time : 1.08 s 1.19/1.27 c | 1.19/1.27 c | Variables: 4555 1.19/1.27 c | Domain Sizes: 2..133 1.19/1.27 c | 1.19/1.27 c | Constraints: 2344 1.19/1.27 c | Arity: 2..67 -- Binary: 67 -- Ternary: 2212 1.19/1.27 c | 1.19/1.27 c | Types: 1.19/1.27 c | Extension: 2277 (nb tuples: 3..133) -- (shared: 2210) 1.19/1.27 c | Sum: 67 1.19/1.27 c | 1.19/1.27 c | Objective: Minimize Sum 1.19/1.27 1.19/1.27 c ========================================================================================================= 1.19/1.27 o 34641 1.19/1.27 c 1 calls to solver(id=0): best=34641 lower=0 upper=34640 1.69/1.72 o 34101 2.18/2.29 o 28213 2.18/2.29 c 3 calls to solver(id=0): best=28213 lower=0 upper=28212 2.68/2.71 o 26693 3.09/3.14 o 26485 3.09/3.14 c 5 calls to solver(id=0): best=26485 lower=0 upper=26484 3.48/3.57 o 26113 4.00/4.02 o 25717 4.00/4.02 c 7 calls to solver(id=0): best=25717 lower=0 upper=25716 4.39/4.47 o 17505 5.19/5.27 o 6697 5.19/5.27 c 9 calls to solver(id=0): best=6697 lower=0 upper=6696 5.69/5.73 o 6521 6.10/6.19 o 6233 6.10/6.19 c 11 calls to solver(id=0): best=6233 lower=0 upper=6232 6.69/6.70 o 5913 7.39/7.45 o 5289 7.39/7.45 c 13 calls to solver(id=0): best=5289 lower=0 upper=5288 8.19/8.22 o 1793 8.89/8.91 o 1525 8.89/8.91 c 15 calls to solver(id=0): best=1525 lower=0 upper=1524 9.69/9.76 o 1421 23.48/23.57 o 1393 23.48/23.58 c 17 calls to solver(id=0): best=1393 lower=0 upper=1392 31.18/31.21 o 1313 33.48/33.54 o 1185 33.48/33.54 c 19 calls to solver(id=0): best=1185 lower=0 upper=1184 35.68/35.70 o 1169 36.78/36.85 o 1093 36.78/36.86 c 21 calls to solver(id=0): best=1093 lower=0 upper=1092 37.99/38.02 o 1073 39.18/39.27 o 1057 39.18/39.27 c 23 calls to solver(id=0): best=1057 lower=0 upper=1056 96.16/96.24 o 985 293.01/293.16 o 881 293.01/293.17 c 25 calls to solver(id=0): best=881 lower=0 upper=880 2400.09/2400.50 2400.09/2400.50 c *** INTERRUPTED *** 2400.09/2400.50 c call to solver : 25 2400.09/2400.50 c 2400.09/2400.50 c restarts : 239 2400.09/2400.50 c conflicts : 368806 (154 /sec) 2400.09/2400.50 c decisions : 2524674 (1052 /sec) 2400.09/2400.50 c propagations : 1788469119 (745201 /sec) 2400.09/2400.50 c root propagations : 11254 2400.09/2400.50 c filter calls : 1678292823 (699294 /sec) 2400.09/2400.50 c useless filter calls : 616843960 (36 %) 2400.09/2400.50 c Memory used : 135.43 MB 2400.09/2400.50 c Best bound time (wc) : 293.166 s 2400.09/2400.50 c CPU time : 2399.98 s 2400.09/2400.50 c real time : 2400.5 s 2400.09/2400.50 2400.09/2400.50 c nb Solutions = 25 2400.09/2400.50 s SATISFIABLE 2400.09/2400.50 c Best value found: 881 2400.09/2400.50 2400.09/2400.50 2400.09/2400.50 v <instantiation type='solution' cost='881'> 2400.09/2400.50 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[4] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[5] c[60] c[61] c[62] c[63] c[64] c[65] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[4] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[5] s[60] s[61] s[62] s[63] s[64] s[65] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][3] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][4] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][5] y[0][60] y[0][61] y[0][62] y[0][63] y[0][64] y[0][65] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][3] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][4] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][5] y[10][60] y[10][61] y[10][62] y[10][63] y[10][64] y[10][65] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][3] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][4] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][5] y[11][60] y[11][61] y[11][62] y[11][63] y[11][64] y[11][65] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][3] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][4] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][5] y[12][60] y[12][61] y[12][62] y[12][63] y[12][64] y[12][65] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][3] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][4] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][5] y[13][60] y[13][61] y[13][62] y[13][63] y[13][64] y[13][65] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][3] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][4] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][5] y[14][60] y[14][61] y[14][62] y[14][63] y[14][64] y[14][65] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][3] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][4] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][5] y[15][60] y[15][61] y[15][62] y[15][63] y[15][64] y[15][65] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][3] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][4] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][5] y[16][60] y[16][61] y[16][62] y[16][63] y[16][64] y[16][65] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][3] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][4] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][5] y[17][60] y[17][61] y[17][62] y[17][63] y[17][64] y[17][65] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][3] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][4] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][5] y[18][60] y[18][61] y[18][62] y[18][63] y[18][64] y[18][65] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][3] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][4] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][5] y[19][60] y[19][61] y[19][62] y[19][63] y[19][64] y[19][65] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][3] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][4] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][5] y[1][60] y[1][61] y[1][62] y[1][63] y[1][64] y[1][65] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][3] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][4] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][5] y[20][60] y[20][61] y[20][62] y[20][63] y[20][64] y[20][65] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][3] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][4] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][5] y[21][60] y[21][61] y[21][62] y[21][63] y[21][64] y[21][65] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][3] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][4] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][5] y[22][60] y[22][61] y[22][62] y[22][63] y[22][64] y[22][65] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][3] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][4] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][5] y[23][60] y[23][61] y[23][62] y[23][63] y[23][64] y[23][65] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][3] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][4] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][5] y[24][60] y[24][61] y[24][62] y[24][63] y[24][64] y[24][65] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][3] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][4] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][5] y[25][60] y[25][61] y[25][62] y[25][63] y[25][64] y[25][65] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][3] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][4] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][5] y[26][60] y[26][61] y[26][62] y[26][63] y[26][64] y[26][65] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][3] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][4] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][5] y[27][60] y[27][61] y[27][62] y[27][63] y[27][64] y[27][65] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][3] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][4] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][5] y[28][60] y[28][61] y[28][62] y[28][63] y[28][64] y[28][65] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][3] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][4] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[29][5] y[29][60] y[29][61] y[29][62] y[29][63] y[29][64] y[29][65] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][3] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][4] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][5] y[2][60] y[2][61] y[2][62] y[2][63] y[2][64] y[2][65] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][3] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][4] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[30][59] y[30][5] y[30][60] y[30][61] y[30][62] y[30][63] y[30][64] y[30][65] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][3] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][4] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[31][58] y[31][59] y[31][5] y[31][60] y[31][61] y[31][62] y[31][63] y[31][64] y[31][65] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][3] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][4] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[32][57] y[32][58] y[32][59] y[32][5] y[32][60] y[32][61] y[32][62] y[32][63] y[32][64] y[32][65] y[32][6] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][3] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][4] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][56] y[33][57] y[33][58] y[33][59] y[33][5] y[33][60] y[33][61] y[33][62] y[33][63] y[33][64] y[33][65] y[33][6] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][3] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][4] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][56] y[34][57] y[34][58] y[34][59] y[34][5] y[34][60] y[34][61] y[34][62] y[34][63] y[34][64] y[34][65] y[34][6] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][3] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][4] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][56] y[35][57] y[35][58] y[35][59] y[35][5] y[35][60] y[35][61] y[35][62] y[35][63] y[35][64] y[35][65] y[35][6] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][3] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][4] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][56] y[36][57] y[36][58] y[36][59] y[36][5] y[36][60] y[36][61] y[36][62] y[36][63] y[36][64] y[36][65] y[36][6] y[36][7] y[36][8] y[36][9] y[37][0] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][1] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][2] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][3] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][4] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][56] y[37][57] y[37][58] y[37][59] y[37][5] y[37][60] y[37][61] y[37][62] y[37][63] y[37][64] y[37][65] y[37][6] y[37][7] y[37][8] y[37][9] y[38][0] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][1] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][2] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][3] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][4] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][56] y[38][57] y[38][58] y[38][59] y[38][5] y[38][60] y[38][61] y[38][62] y[38][63] y[38][64] y[38][65] y[38][6] y[38][7] y[38][8] y[38][9] y[39][0] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][1] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][2] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][3] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][4] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[39][56] y[39][57] y[39][58] y[39][59] y[39][5] y[39][60] y[39][61] y[39][62] y[39][63] y[39][64] y[39][65] y[39][6] y[39][7] y[39][8] y[39][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][3] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][4] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][5] y[3][60] y[3][61] y[3][62] y[3][63] y[3][64] y[3][65] y[3][6] y[3][7] y[3][8] y[3][9] y[40][0] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][1] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][2] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][3] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][4] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[40][55] y[40][56] y[40][57] y[40][58] y[40][59] y[40][5] y[40][60] y[40][61] y[40][62] y[40][63] y[40][64] y[40][65] y[40][6] y[40][7] y[40][8] y[40][9] y[41][0] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][1] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][2] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][3] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][4] y[41][50] y[41][51] y[41][52] y[41][53] y[41][54] y[41][55] y[41][56] y[41][57] y[41][58] y[41][59] y[41][5] y[41][60] y[41][61] y[41][62] y[41][63] y[41][64] y[41][65] y[41][6] y[41][7] y[41][8] y[41][9] y[42][0] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][1] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][2] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][3] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][4] y[42][50] y[42][51] y[42][52] y[42][53] y[42][54] y[42][55] y[42][56] y[42][57] y[42][58] y[42][59] y[42][5] y[42][60] y[42][61] y[42][62] y[42][63] y[42][64] y[42][65] y[42][6] y[42][7] y[42][8] y[42][9] y[43][0] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][1] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][2] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][3] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][4] y[43][50] y[43][51] y[43][52] y[43][53] y[43][54] y[43][55] y[43][56] y[43][57] y[43][58] y[43][59] y[43][5] y[43][60] y[43][61] y[43][62] y[43][63] y[43][64] y[43][65] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][1] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][2] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][3] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][4] y[44][50] y[44][51] y[44][52] y[44][53] y[44][54] y[44][55] y[44][56] y[44][57] y[44][58] y[44][59] y[44][5] y[44][60] y[44][61] y[44][62] y[44][63] y[44][64] y[44][65] y[44][6] y[44][7] y[44][8] y[44][9] y[45][0] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][1] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][2] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][3] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][4] y[45][50] y[45][51] y[45][52] y[45][53] y[45][54] y[45][55] y[45][56] y[45][57] y[45][58] y[45][59] y[45][5] y[45][60] y[45][61] y[45][62] y[45][63] y[45][64] y[45][65] y[45][6] y[45][7] y[45][8] y[45][9] y[46][0] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][1] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][2] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][3] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][4] y[46][50] y[46][51] y[46][52] y[46][53] y[46][54] y[46][55] y[46][56] y[46][57] y[46][58] y[46][59] y[46][5] y[46][60] y[46][61] y[46][62] y[46][63] y[46][64] y[46][65] y[46][6] y[46][7] y[46][8] y[46][9] y[47][0] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][1] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][2] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][3] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][4] y[47][50] y[47][51] y[47][52] y[47][53] y[47][54] y[47][55] y[47][56] y[47][57] y[47][58] y[47][59] y[47][5] y[47][60] y[47][61] y[47][62] y[47][63] y[47][64] y[47][65] y[47][6] y[47][7] y[47][8] y[47][9] y[48][0] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][1] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][2] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][3] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][4] y[48][50] y[48][51] y[48][52] y[48][53] y[48][54] y[48][55] y[48][56] y[48][57] y[48][58] y[48][59] y[48][5] y[48][60] y[48][61] y[48][62] y[48][63] y[48][64] y[48][65] y[48][6] y[48][7] y[48][8] y[48][9] y[49][0] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][1] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][2] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][3] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][4] y[49][50] y[49][51] y[49][52] y[49][53] y[49][54] y[49][55] y[49][56] y[49][57] y[49][58] y[49][59] y[49][5] y[49][60] y[49][61] y[49][62] y[49][63] y[49][64] y[49][65] y[49][6] y[49][7] y[49][8] y[49][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][3] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][4] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][5] y[4][60] y[4][61] y[4][62] y[4][63] y[4][64] y[4][65] y[4][6] y[4][7] y[4][8] y[4][9] y[50][0] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][1] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][2] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][3] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][4] y[50][50] y[50][51] y[50][52] y[50][53] y[50][54] y[50][55] y[50][56] y[50][57] y[50][58] y[50][59] y[50][5] y[50][60] y[50][61] y[50][62] y[50][63] y[50][64] y[50][65] y[50][6] y[50][7] y[50][8] y[50][9] y[51][0] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][1] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][2] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][3] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][4] y[51][50] y[51][51] y[51][52] y[51][53] y[51][54] y[51][55] y[51][56] y[51][57] y[51][58] y[51][59] y[51][5] y[51][60] y[51][61] y[51][62] y[51][63] y[51][64] y[51][65] y[51][6] y[51][7] y[51][8] y[51][9] y[52][0] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][1] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][2] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][3] y[52][40] y[52][41] y[52][42] y[52][43] y[52][44] y[52][45] y[52][46] y[52][47] y[52][48] y[52][49] y[52][4] y[52][50] y[52][51] y[52][52] y[52][53] y[52][54] y[52][55] y[52][56] y[52][57] y[52][58] y[52][59] y[52][5] y[52][60] y[52][61] y[52][62] y[52][63] y[52][64] y[52][65] y[52][6] y[52][7] y[52][8] y[52][9] y[53][0] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][1] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][2] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][3] y[53][40] y[53][41] y[53][42] y[53][43] y[53][44] y[53][45] y[53][46] y[53][47] y[53][48] y[53][49] y[53][4] y[53][50] y[53][51] y[53][52] y[53][53] y[53][54] y[53][55] y[53][56] y[53][57] y[53][58] y[53][59] y[53][5] y[53][60] y[53][61] y[53][62] y[53][63] y[53][64] y[53][65] y[53][6] y[53][7] y[53][8] y[53][9] y[54][0] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][1] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][2] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][3] y[54][40] y[54][41] y[54][42] y[54][43] y[54][44] y[54][45] y[54][46] y[54][47] y[54][48] y[54][49] y[54][4] y[54][50] y[54][51] y[54][52] y[54][53] y[54][54] y[54][55] y[54][56] y[54][57] y[54][58] y[54][59] y[54][5] y[54][60] y[54][61] y[54][62] y[54][63] y[54][64] y[54][65] y[54][6] y[54][7] y[54][8] y[54][9] y[55][0] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][1] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][2] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[55][3] y[55][40] y[55][41] y[55][42] y[55][43] y[55][44] y[55][45] y[55][46] y[55][47] y[55][48] y[55][49] y[55][4] y[55][50] y[55][51] y[55][52] y[55][53] y[55][54] y[55][55] y[55][56] y[55][57] y[55][58] y[55][59] y[55][5] y[55][60] y[55][61] y[55][62] y[55][63] y[55][64] y[55][65] y[55][6] y[55][7] y[55][8] y[55][9] y[56][0] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][1] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][2] y[56][30] y[56][31] y[56][32] y[56][33] y[56][34] y[56][35] y[56][36] y[56][37] y[56][38] y[56][39] y[56][3] y[56][40] y[56][41] y[56][42] y[56][43] y[56][44] y[56][45] y[56][46] y[56][47] y[56][48] y[56][49] y[56][4] y[56][50] y[56][51] y[56][52] y[56][53] y[56][54] y[56][55] y[56][56] y[56][57] y[56][58] y[56][59] y[56][5] y[56][60] y[56][61] y[56][62] y[56][63] y[56][64] y[56][65] y[56][6] y[56][7] y[56][8] y[56][9] y[57][0] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][1] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][2] y[57][30] y[57][31] y[57][32] y[57][33] y[57][34] y[57][35] y[57][36] y[57][37] y[57][38] y[57][39] y[57][3] y[57][40] y[57][41] y[57][42] y[57][43] y[57][44] y[57][45] y[57][46] y[57][47] y[57][48] y[57][49] y[57][4] y[57][50] y[57][51] y[57][52] y[57][53] y[57][54] y[57][55] y[57][56] y[57][57] y[57][58] y[57][59] y[57][5] y[57][60] y[57][61] y[57][62] y[57][63] y[57][64] y[57][65] y[57][6] y[57][7] y[57][8] y[57][9] y[58][0] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][1] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][2] y[58][30] y[58][31] y[58][32] y[58][33] y[58][34] y[58][35] y[58][36] y[58][37] y[58][38] y[58][39] y[58][3] y[58][40] y[58][41] y[58][42] y[58][43] y[58][44] y[58][45] y[58][46] y[58][47] y[58][48] y[58][49] y[58][4] y[58][50] y[58][51] y[58][52] y[58][53] y[58][54] y[58][55] y[58][56] y[58][57] y[58][58] y[58][59] y[58][5] y[58][60] y[58][61] y[58][62] y[58][63] y[58][64] y[58][65] y[58][6] y[58][7] y[58][8] y[58][9] y[59][0] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][1] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[59][2] y[59][30] y[59][31] y[59][32] y[59][33] y[59][34] y[59][35] y[59][36] y[59][37] y[59][38] y[59][39] y[59][3] y[59][40] y[59][41] y[59][42] y[59][43] y[59][44] y[59][45] y[59][46] y[59][47] y[59][48] y[59][49] y[59][4] y[59][50] y[59][51] y[59][52] y[59][53] y[59][54] y[59][55] y[59][56] y[59][57] y[59][58] y[59][59] y[59][5] y[59][60] y[59][61] y[59][62] y[59][63] y[59][64] y[59][65] y[59][6] y[59][7] y[59][8] y[59][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][3] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][4] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][5] y[5][60] y[5][61] y[5][62] y[5][63] y[5][64] y[5][65] y[5][6] y[5][7] y[5][8] y[5][9] y[60][0] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][1] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[60][29] y[60][2] y[60][30] y[60][31] y[60][32] y[60][33] y[60][34] y[60][35] y[60][36] y[60][37] y[60][38] y[60][39] y[60][3] y[60][40] y[60][41] y[60][42] y[60][43] y[60][44] y[60][45] y[60][46] y[60][47] y[60][48] y[60][49] y[60][4] y[60][50] y[60][51] y[60][52] y[60][53] y[60][54] y[60][55] y[60][56] y[60][57] y[60][58] y[60][59] y[60][5] y[60][60] y[60][61] y[60][62] y[60][63] y[60][64] y[60][65] y[60][6] y[60][7] y[60][8] y[60][9] y[61][0] y[61][10] y[61][11] y[61][12] y[61][13] y[61][14] y[61][15] y[61][16] y[61][17] y[61][18] y[61][19] y[61][1] y[61][20] y[61][21] y[61][22] y[61][23] y[61][24] y[61][25] y[61][26] y[61][27] y[61][28] y[61][29] y[61][2] y[61][30] y[61][31] y[61][32] y[61][33] y[61][34] y[61][35] y[61][36] y[61][37] y[61][38] y[61][39] y[61][3] y[61][40] y[61][41] y[61][42] y[61][43] y[61][44] y[61][45] y[61][46] y[61][47] y[61][48] y[61][49] y[61][4] y[61][50] y[61][51] y[61][52] y[61][53] y[61][54] y[61][55] y[61][56] y[61][57] y[61][58] y[61][59] y[61][5] y[61][60] y[61][61] y[61][62] y[61][63] y[61][64] y[61][65] y[61][6] y[61][7] y[61][8] y[61][9] y[62][0] y[62][10] y[62][11] y[62][12] y[62][13] y[62][14] y[62][15] y[62][16] y[62][17] y[62][18] y[62][19] y[62][1] y[62][20] y[62][21] y[62][22] y[62][23] y[62][24] y[62][25] y[62][26] y[62][27] y[62][28] y[62][29] y[62][2] y[62][30] y[62][31] y[62][32] y[62][33] y[62][34] y[62][35] y[62][36] y[62][37] y[62][38] y[62][39] y[62][3] y[62][40] y[62][41] y[62][42] y[62][43] y[62][44] y[62][45] y[62][46] y[62][47] y[62][48] y[62][49] y[62][4] y[62][50] y[62][51] y[62][52] y[62][53] y[62][54] y[62][55] y[62][56] y[62][57] y[62][58] y[62][59] y[62][5] y[62][60] y[62][61] y[62][62] y[62][63] y[62][64] y[62][65] y[62][6] y[62][7] y[62][8] y[62][9] y[63][0] y[63][10] y[63][11] y[63][12] y[63][13] y[63][14] y[63][15] y[63][16] y[63][17] y[63][18] y[63][19] y[63][1] y[63][20] y[63][21] y[63][22] y[63][23] y[63][24] y[63][25] y[63][26] y[63][27] y[63][28] y[63][29] y[63][2] y[63][30] y[63][31] y[63][32] y[63][33] y[63][34] y[63][35] y[63][36] y[63][37] y[63][38] y[63][39] y[63][3] y[63][40] y[63][41] y[63][42] y[63][43] y[63][44] y[63][45] y[63][46] y[63][47] y[63][48] y[63][49] y[63][4] y[63][50] y[63][51] y[63][52] y[63][53] y[63][54] y[63][55] y[63][56] y[63][57] y[63][58] y[63][59] y[63][5] y[63][60] y[63][61] y[63][62] y[63][63] y[63][64] y[63][65] y[63][6] y[63][7] y[63][8] y[63][9] y[64][0] y[64][10] y[64][11] y[64][12] y[64][13] y[64][14] y[64][15] y[64][16] y[64][17] y[64][18] y[64][19] y[64][1] y[64][20] y[64][21] y[64][22] y[64][23] y[64][24] y[64][25] y[64][26] y[64][27] y[64][28] y[64][29] y[64][2] y[64][30] y[64][31] y[64][32] y[64][33] y[64][34] y[64][35] y[64][36] y[64][37] y[64][38] y[64][39] y[64][3] y[64][40] y[64][41] y[64][42] y[64][43] y[64][44] y[64][45] y[64][46] y[64][47] y[64][48] y[64][49] y[64][4] y[64][50] y[64][51] y[64][52] y[64][53] y[64][54] y[64][55] y[64][56] y[64][57] y[64][58] y[64][59] y[64][5] y[64][60] y[64][61] y[64][62] y[64][63] y[64][64] y[64][65] y[64][6] y[64][7] y[64][8] y[64][9] y[65][0] y[65][10] y[65][11] y[65][12] y[65][13] y[65][14] y[65][15] y[65][16] y[65][17] y[65][18] y[65][19] y[65][1] y[65][20] y[65][21] y[65][22] y[65][23] y[65][24] y[65][25] y[65][26] y[65][27] y[65][28] y[65][29] y[65][2] y[65][30] y[65][31] y[65][32] y[65][33] y[65][34] y[65][35] y[65][36] y[65][37] y[65][38] y[65][39] y[65][3] y[65][40] y[65][41] y[65][42] y[65][43] y[65][44] y[65][45] y[65][46] y[65][47] y[65][48] y[65][49] y[65][4] y[65][50] y[65][51] y[65][52] y[65][53] y[65][54] y[65][55] y[65][56] y[65][57] y[65][58] y[65][59] y[65][5] y[65][60] y[65][61] y[65][62] y[65][63] y[65][64] y[65][65] y[65][6] y[65][7] y[65][8] y[65][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][3] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][4] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][5] y[6][60] y[6][61] y[6][62] y[6][63] y[6][64] y[6][65] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][3] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][4] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][5] y[7][60] y[7][61] y[7][62] y[7][63] y[7][64] y[7][65] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][3] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][4] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][5] y[8][60] y[8][61] y[8][62] y[8][63] y[8][64] y[8][65] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][3] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][4] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][5] y[9][60] y[9][61] y[9][62] y[9][63] y[9][64] y[9][65] y[9][6] y[9][7] y[9][8] y[9][9] </list> 2400.09/2400.50 v <values>2 4 3 -4 -1 -4 -3 0 -5 2 1 3 -8 5 -2 1 2 3 2 -1 -2 -3 4 0 -7 0 7 -6 7 2 1 4 -7 -7 0 -7 -2 -3 2 3 2 1 0 -1 0 2 -1 0 -1 -8 -1 6 5 2 -3 1 -2 -1 2 -1 0 1 2 5 6 5 4 16 9 16 1 16 9 0 25 4 1 9 64 25 4 1 4 9 4 1 4 9 16 0 49 0 49 36 49 4 1 16 49 49 0 49 4 9 4 9 4 1 0 1 0 4 1 0 1 64 1 36 25 4 9 1 4 1 4 1 0 1 4 25 36 25 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 * * * * -1 * * * * * * -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 * * * * * -1 * * * * * * 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 * * * * * * 1 * * * * * * -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 * * * * * * * -1 * * * * * * 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 * * * * * * * * 1 * * * * * * -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 * * * * * * * * * -1 * * * * * * -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 * * * * * * * * * * -1 * * * * * * 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 * 1 * * * * * * * * * * 1 * * * * * * -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 * * -1 * * * * * * * * * * -1 * * * * * * 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 * * * 1 * * * * * * * * * * 1 * * * * * * 1 1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 * -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 * * * * -1 * * * * * * * * * * 1 * * * * * * 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 * * * * * -1 * * * * * * * * * * 1 * * * * * * -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 * * 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * -1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 * * * 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 * * * * -1 -1 1 -1 1 -1 1 -1 -1 1 -1 * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * 1 1 -1 -1 1 -1 -1 -1 1 -1 * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * 1 1 1 -1 -1 1 -1 1 -1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * 1 -1 1 -1 1 1 1 -1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * -1 -1 1 1 -1 -1 -1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * -1 -1 -1 1 1 1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * -1 1 -1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * 1 1 1 1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * 1 -1 -1 * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * -1 1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * 1 * * * 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 * * * * * -1 -1 1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 * * * * * * -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 * -1 * * * * * * -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 * * -1 * * * * * * -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 1 * * * -1 * * * * * * -1 -1 -1 -1 </values> 2400.09/2400.50 v </instantiation> 2400.09/2400.50
OK 881
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 (13935 MiB free)
memory of node 1: 16384 MiB (15582 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397603-1568579824/watcher-4397603-1568579824 -o /tmp/evaluation-result-4397603-1568579824/solver-4397603-1568579824 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568572893-29519 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397603-1568579824.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=30675, runsolver pid=30672
Current StackSize limit: 8192 KiB
[startup+0.100195 s]*
/proc/loadavg: 2.00 1.99 2.03 3/197 30676
/proc/meminfo: memFree=30221652/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=33844 memory=10220 CPUtime=0.1 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 2736 0 0 0 10 0 0 0 20 0 1 0 434250836 34656256 2555 33554432000 4194304 6211092 140721283019344 140721283015880 5283503 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 8461 2555 826 493 0 1766 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33844 KiB
Current children cumulated memory: 10220 KiB
[startup+0.209462 s]*
/proc/loadavg: 2.00 1.99 2.03 3/197 30676
/proc/meminfo: memFree=30214584/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=40984 memory=17080 CPUtime=0.2 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 4488 0 0 0 20 0 0 0 20 0 1 0 434250836 41967616 4270 33554432000 4194304 6211092 140721283019344 140721283015880 5283496 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 10246 4270 826 493 0 3551 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40984 KiB
Current children cumulated memory: 17080 KiB
[startup+0.309521 s]*
/proc/loadavg: 2.00 1.99 2.03 3/197 30676
/proc/meminfo: memFree=30207872/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=47316 memory=23556 CPUtime=0.3 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 6088 0 0 0 30 0 0 0 20 0 1 0 434250836 48451584 5889 33554432000 4194304 6211092 140721283019344 140721283015880 5283503 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 11829 5889 826 493 0 5134 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47316 KiB
Current children cumulated memory: 23556 KiB
[startup+0.700371 s]
/proc/loadavg: 2.00 1.99 2.03 3/197 30676
/proc/meminfo: memFree=30194600/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=71748 memory=48024 CPUtime=0.69 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 12180 0 0 0 68 1 0 0 20 0 1 0 434250836 73469952 12006 33554432000 4194304 6211092 140721283019344 140721283014520 5283503 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 17937 12006 826 493 0 11242 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71748 KiB
Current children cumulated memory: 48024 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 1.99 2.03 3/197 30676
/proc/meminfo: memFree=30164840/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=122464 memory=99040 CPUtime=1.49 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 25314 0 0 0 146 3 0 0 20 0 1 0 434250836 125403136 24760 33554432000 4194304 6211092 140721283019344 140721283007224 5396756 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 30616 24760 899 493 0 23921 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 122464 KiB
Current children cumulated memory: 99040 KiB
[startup+3.10952 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 30678
/proc/meminfo: memFree=30129172/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=124112 memory=100760 CPUtime=3.09 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 38593 0 0 0 306 3 0 0 20 0 1 0 434250836 127090688 25190 33554432000 4194304 6211092 140721283019344 140721283007224 5409461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 31028 25190 899 493 0 24333 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 124112 KiB
Current children cumulated memory: 100760 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 30678
/proc/meminfo: memFree=30117956/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=136072 memory=112740 CPUtime=6.29 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 57176 0 0 0 624 5 0 0 20 0 1 0 434250836 139337728 28185 33554432000 4194304 6211092 140721283019344 140721283007224 5035283 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34018 28185 899 493 0 27323 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 136072 KiB
Current children cumulated memory: 112740 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 1.99 2.03 3/197 30678
/proc/meminfo: memFree=30117560/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=136072 memory=112764 CPUtime=12.69 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 72055 0 0 0 1263 6 0 0 20 0 1 0 434250836 139337728 28191 33554432000 4194304 6211092 140721283019344 140721283017480 5250450 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34018 28191 899 493 0 27323 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 136072 KiB
Current children cumulated memory: 112764 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 2.03 3/197 30678
/proc/meminfo: memFree=30117312/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=136480 memory=113176 CPUtime=25.48 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 97229 0 0 0 2541 7 0 0 20 0 1 0 434250836 139755520 28294 33554432000 4194304 6211092 140721283019344 140721283007224 5250289 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34120 28294 899 493 0 27425 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 136480 KiB
Current children cumulated memory: 113176 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 1.99 2.03 3/197 30680
/proc/meminfo: memFree=30114696/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=137840 memory=114440 CPUtime=51.08 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 108979 0 0 0 5101 7 0 0 20 0 1 0 434250836 141148160 28610 33554432000 4194304 6211092 140721283019344 140721283007224 5035312 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34460 28610 899 493 0 27765 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 137840 KiB
Current children cumulated memory: 114440 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/198 30692
/proc/meminfo: memFree=30112628/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138392 memory=115100 CPUtime=102.26 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 123902 0 0 0 10217 9 0 0 20 0 1 0 434250836 141713408 28775 33554432000 4194304 6211092 140721283019344 140721283017480 5250453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34598 28775 899 493 0 27903 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 138392 KiB
Current children cumulated memory: 115100 KiB
[startup+162.3 s]
/proc/loadavg: 2.45 2.13 2.07 3/198 30696
/proc/meminfo: memFree=30112036/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138392 memory=115152 CPUtime=162.21 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 128814 0 0 0 16212 9 0 0 20 0 1 0 434250836 141713408 28788 33554432000 4194304 6211092 140721283019344 140721283017480 5250272 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34598 28788 899 493 0 27903 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 138392 KiB
Current children cumulated memory: 115152 KiB
[startup+222.3 s]
/proc/loadavg: 2.72 2.26 2.12 3/198 30763
/proc/meminfo: memFree=30145524/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138392 memory=115152 CPUtime=222.21 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 129178 0 0 0 22211 10 0 0 20 0 1 0 434250836 141713408 28788 33554432000 4194304 6211092 140721283019344 140721283017480 5149120 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34598 28788 899 493 0 27903 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 138392 KiB
Current children cumulated memory: 115152 KiB
[startup+282.3 s]
/proc/loadavg: 2.27 2.21 2.12 3/198 30769
/proc/meminfo: memFree=30145480/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138392 memory=115152 CPUtime=282.2 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 129545 0 0 0 28210 10 0 0 20 0 1 0 434250836 141713408 28788 33554432000 4194304 6211092 140721283019344 140721283017480 5039650 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34598 28788 899 493 0 27903 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 138392 KiB
Current children cumulated memory: 115152 KiB
[startup+342.3 s]
/proc/loadavg: 2.10 2.17 2.11 3/198 30834
/proc/meminfo: memFree=30147736/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=342.19 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 130136 0 0 0 34209 10 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5250241 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.14 2.10 3/197 30838
/proc/meminfo: memFree=30148064/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=402.18 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 130528 0 0 0 40208 10 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5035283 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 402.18 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.12 2.10 3/198 30845
/proc/meminfo: memFree=30147252/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=462.17 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 130925 0 0 0 46207 10 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5149461 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 462.17 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
################
# More data... #
################
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 1662 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 30984
/proc/meminfo: memFree=30146920/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=1721.99 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 139115 0 0 0 172188 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5039193 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 1721.99 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 30988
/proc/meminfo: memFree=30146584/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=1781.98 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 139501 0 0 0 178187 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5149136 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 1781.98 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 30992
/proc/meminfo: memFree=30146100/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=1841.97 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 139886 0 0 0 184186 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5148855 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 1841.97 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 31005
/proc/meminfo: memFree=30145984/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=1901.96 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 140271 0 0 0 190185 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5207504 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 1901.96 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/197 31009
/proc/meminfo: memFree=30146420/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=1961.95 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 140658 0 0 0 196184 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5148679 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 1961.95 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/197 31013
/proc/meminfo: memFree=30146264/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=2021.95 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 141045 0 0 0 202184 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5148684 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 2021.95 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 31019
/proc/meminfo: memFree=30146544/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=2081.94 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 141431 0 0 0 208183 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5039038 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 2081.94 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 31023
/proc/meminfo: memFree=30146340/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=2141.93 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 141818 0 0 0 214182 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5035216 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 2141.93 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 31027
/proc/meminfo: memFree=30145860/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=2201.92 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 142204 0 0 0 220181 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5250298 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 2201.92 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 31033
/proc/meminfo: memFree=30146016/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=2261.91 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 142592 0 0 0 226180 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5149277 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 2261.91 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 31037
/proc/meminfo: memFree=30146484/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=2321.9 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 142977 0 0 0 232179 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5397226 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 2321.9 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 31041
/proc/meminfo: memFree=30146348/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=2381.89 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 143361 0 0 0 238178 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5149595 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 2381.89 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 31044
/proc/meminfo: memFree=30146084/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=2400.09 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 143744 0 0 0 239998 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5150972 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.5 s]
# the end of solver process 30675 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.99 s, system=0.115982 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.5 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 31044
/proc/meminfo: memFree=30146084/32770624 swapFree=66932316/67108860
[pid=30675] ppid=30672 vsize=138672 memory=115448 CPUtime=2400.09 cores=0,2,4,6
/proc/30675/stat : 30675 (cosoco) R 30672 30675 29488 0 -1 4202496 143744 0 0 0 239998 11 0 0 20 0 1 0 434250836 142000128 28862 33554432000 4194304 6211092 140721283019344 140721283007224 5150972 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 27815936 140721283023883 140721283023985 140721283023985 140721283026894 0
/proc/30675/statm: 34668 28862 899 493 0 27973 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115448 KiB
Child status: 1
Real time (s): 2400.5
CPU time (s): 2400.1
CPU user time (s): 2399.99
CPU system time (s): 0.115982
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 138672
Max. memory (cumulated for all children) (KiB): 115448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.99
system time used= 0.115982
maximum resident set size= 115516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143798
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= 67
involuntary context switches= 2297
# summary of solver processes directly reported to runsolver:
# pid: 30675
# total CPU time (s): 2400.1
# total CPU user time (s): 2399.99
# total CPU system time (s): 0.115982
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.16739 second user time and 16.5048 second system time
The end
Begin job on node139 at 2019-09-15 22:38:54 IDJOB=4397603 IDBENCH=127021 IDSOLVER=2849 FILE ID=node139/4397603-1568579824 RUNJOBID= node139-1568572893-29519 PBS_JOBID= 21703316 Free space on /tmp= 59556 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-067.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397603-1568579824/watcher-4397603-1568579824 -o /tmp/evaluation-result-4397603-1568579824/solver-4397603-1568579824 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568572893-29519 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397603-1568579824.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8abeb688e9afa7c6cb128f8ab9c8d8c8 RANDOM SEED=1142553565 node139.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.57 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.57 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.57 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.57 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: 30227268 kB MemAvailable: 31782668 kB Buffers: 154576 kB Cached: 1688224 kB SwapCached: 74324 kB Active: 635112 kB Inactive: 1322124 kB Active(anon): 39848 kB Inactive(anon): 123660 kB Active(file): 595264 kB Inactive(file): 1198464 kB Unevictable: 107092 kB Mlocked: 107092 kB SwapTotal: 67108860 kB SwapFree: 66932316 kB Dirty: 2532 kB Writeback: 0 kB AnonPages: 150248 kB Mapped: 48692 kB Shmem: 40516 kB Slab: 183364 kB SReclaimable: 155016 kB SUnreclaim: 28348 kB KernelStack: 3520 kB PageTables: 5808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 560920 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 102400 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59552 MiB End job on node139 at 2019-09-15 23:18:54