Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2 | SAT (TO) | 881 | 2400.05 | 2400.2 |
| 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-4394722-1568339810.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.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.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.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 c intension -> extension : same as previous 0.20/0.24 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.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 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.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.42 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.46 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.53 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.57 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.50/0.60 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.64 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.59/0.68 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.71 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.75 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.68/0.78 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.82 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.86 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.79/0.89 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension -> extension : same as previous 0.89/0.93 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 133tuples 0.89/0.94 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 131tuples 0.89/0.95 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 129tuples 0.89/0.95 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 127tuples 0.89/0.96 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 125tuples 0.89/0.96 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 123tuples 0.89/0.97 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 121tuples 0.89/0.97 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 119tuples 0.89/0.98 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 117tuples 0.89/0.98 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 115tuples 0.89/0.98 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 113tuples 0.89/0.99 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 111tuples 0.89/0.99 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 109tuples 0.89/1.00 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 107tuples 0.89/1.00 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 105tuples 0.89/1.00 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 103tuples 0.99/1.01 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 101tuples 0.99/1.01 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 99tuples 0.99/1.01 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 97tuples 0.99/1.02 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 95tuples 0.99/1.02 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 93tuples 0.99/1.02 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 91tuples 0.99/1.03 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 89tuples 0.99/1.03 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 87tuples 0.99/1.03 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 85tuples 0.99/1.03 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 83tuples 0.99/1.04 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 81tuples 0.99/1.04 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 79tuples 0.99/1.04 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 77tuples 0.99/1.04 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 75tuples 0.99/1.05 c intension eq(mul(c[30],c[30]),s[30]) -> extension (support ? 1) - 73tuples 0.99/1.05 c intension eq(mul(c[31],c[31]),s[31]) -> extension (support ? 1) - 71tuples 0.99/1.05 c intension eq(mul(c[32],c[32]),s[32]) -> extension (support ? 1) - 69tuples 0.99/1.05 c intension eq(mul(c[33],c[33]),s[33]) -> extension (support ? 1) - 67tuples 0.99/1.05 c intension eq(mul(c[34],c[34]),s[34]) -> extension (support ? 1) - 65tuples 0.99/1.05 c intension eq(mul(c[35],c[35]),s[35]) -> extension (support ? 1) - 63tuples 0.99/1.06 c intension eq(mul(c[36],c[36]),s[36]) -> extension (support ? 1) - 61tuples 0.99/1.06 c intension eq(mul(c[37],c[37]),s[37]) -> extension (support ? 1) - 59tuples 0.99/1.06 c intension eq(mul(c[38],c[38]),s[38]) -> extension (support ? 1) - 57tuples 0.99/1.06 c intension eq(mul(c[39],c[39]),s[39]) -> extension (support ? 1) - 55tuples 0.99/1.06 c intension eq(mul(c[40],c[40]),s[40]) -> extension (support ? 1) - 53tuples 0.99/1.06 c intension eq(mul(c[41],c[41]),s[41]) -> extension (support ? 1) - 51tuples 0.99/1.06 c intension eq(mul(c[42],c[42]),s[42]) -> extension (support ? 1) - 49tuples 0.99/1.06 c intension eq(mul(c[43],c[43]),s[43]) -> extension (support ? 1) - 47tuples 0.99/1.06 c intension eq(mul(c[44],c[44]),s[44]) -> extension (support ? 1) - 45tuples 0.99/1.07 c intension eq(mul(c[45],c[45]),s[45]) -> extension (support ? 1) - 43tuples 0.99/1.07 c intension eq(mul(c[46],c[46]),s[46]) -> extension (support ? 1) - 41tuples 0.99/1.07 c intension eq(mul(c[47],c[47]),s[47]) -> extension (support ? 1) - 39tuples 0.99/1.07 c intension eq(mul(c[48],c[48]),s[48]) -> extension (support ? 1) - 37tuples 0.99/1.07 c intension eq(mul(c[49],c[49]),s[49]) -> extension (support ? 1) - 35tuples 0.99/1.07 c intension eq(mul(c[50],c[50]),s[50]) -> extension (support ? 1) - 33tuples 0.99/1.07 c intension eq(mul(c[51],c[51]),s[51]) -> extension (support ? 1) - 31tuples 0.99/1.07 c intension eq(mul(c[52],c[52]),s[52]) -> extension (support ? 1) - 29tuples 0.99/1.07 c intension eq(mul(c[53],c[53]),s[53]) -> extension (support ? 1) - 27tuples 0.99/1.07 c intension eq(mul(c[54],c[54]),s[54]) -> extension (support ? 1) - 25tuples 0.99/1.07 c intension eq(mul(c[55],c[55]),s[55]) -> extension (support ? 1) - 23tuples 0.99/1.07 c intension eq(mul(c[56],c[56]),s[56]) -> extension (support ? 1) - 21tuples 0.99/1.07 c intension eq(mul(c[57],c[57]),s[57]) -> extension (support ? 1) - 19tuples 0.99/1.07 c intension eq(mul(c[58],c[58]),s[58]) -> extension (support ? 1) - 17tuples 0.99/1.07 c intension eq(mul(c[59],c[59]),s[59]) -> extension (support ? 1) - 15tuples 0.99/1.07 c intension eq(mul(c[60],c[60]),s[60]) -> extension (support ? 1) - 13tuples 0.99/1.07 c intension eq(mul(c[61],c[61]),s[61]) -> extension (support ? 1) - 11tuples 0.99/1.07 c intension eq(mul(c[62],c[62]),s[62]) -> extension (support ? 1) - 9tuples 0.99/1.07 c intension eq(mul(c[63],c[63]),s[63]) -> extension (support ? 1) - 7tuples 0.99/1.07 c intension eq(mul(c[64],c[64]),s[64]) -> extension (support ? 1) - 5tuples 0.99/1.08 c intension eq(mul(c[65],c[65]),s[65]) -> extension (support ? 1) - 3tuples 1.19/1.24 c enable optimization 1.19/1.24 c ========================================[ Problem Statistics ]=========================================== 1.19/1.24 c | 1.19/1.24 c | Parse time : 1.05 s 1.19/1.24 c | 1.19/1.24 c | Variables: 4555 1.19/1.24 c | Domain Sizes: 2..133 1.19/1.24 c | 1.19/1.24 c | Constraints: 2344 1.19/1.24 c | Arity: 2..67 -- Binary: 67 -- Ternary: 2212 1.19/1.24 c | 1.19/1.24 c | Types: 1.19/1.24 c | Extension: 2277 (nb tuples: 3..133) -- (shared: 2210) 1.19/1.24 c | Sum: 67 1.19/1.24 c | 1.19/1.24 c | Objective: Minimize Sum 1.19/1.24 1.19/1.24 c ========================================================================================================= 1.19/1.24 o 34641 1.19/1.24 c 1 calls to solver(id=0): best=34641 lower=0 upper=34640 1.58/1.70 o 34101 2.19/2.26 o 28213 2.19/2.26 c 3 calls to solver(id=0): best=28213 lower=0 upper=28212 2.59/2.68 o 26693 3.10/3.11 o 26485 3.10/3.11 c 5 calls to solver(id=0): best=26485 lower=0 upper=26484 3.49/3.54 o 26113 3.88/3.97 o 25717 3.88/3.98 c 7 calls to solver(id=0): best=25717 lower=0 upper=25716 4.38/4.43 o 17505 5.18/5.20 o 6697 5.18/5.20 c 9 calls to solver(id=0): best=6697 lower=0 upper=6696 5.58/5.64 o 6521 5.99/6.07 o 6233 5.99/6.08 c 11 calls to solver(id=0): best=6233 lower=0 upper=6232 6.48/6.56 o 5913 7.18/7.27 o 5289 7.18/7.28 c 13 calls to solver(id=0): best=5289 lower=0 upper=5288 7.99/8.01 o 1793 8.58/8.67 o 1525 8.58/8.67 c 15 calls to solver(id=0): best=1525 lower=0 upper=1524 9.38/9.47 o 1421 21.88/21.98 o 1393 21.88/21.98 c 17 calls to solver(id=0): best=1393 lower=0 upper=1392 28.37/28.47 o 1313 30.17/30.23 o 1185 30.17/30.23 c 19 calls to solver(id=0): best=1185 lower=0 upper=1184 31.77/31.84 o 1169 32.57/32.64 o 1093 32.57/32.65 c 21 calls to solver(id=0): best=1093 lower=0 upper=1092 33.37/33.45 o 1073 34.27/34.32 o 1057 34.27/34.32 c 23 calls to solver(id=0): best=1057 lower=0 upper=1056 71.15/71.29 o 985 264.64/264.78 o 881 264.64/264.79 c 25 calls to solver(id=0): best=881 lower=0 upper=880 2400.03/2400.20 2400.03/2400.20 c *** INTERRUPTED *** 2400.03/2400.20 c call to solver : 25 2400.03/2400.20 c 2400.03/2400.20 c restarts : 239 2400.03/2400.20 c conflicts : 372877 (155 /sec) 2400.03/2400.20 c decisions : 2562353 (1068 /sec) 2400.03/2400.20 c propagations : 1824793183 (760340 /sec) 2400.03/2400.20 c root propagations : 11254 2400.03/2400.20 c filter calls : 1706374808 (710999 /sec) 2400.03/2400.20 c useless filter calls : 624417841 (36 %) 2400.03/2400.20 c Memory used : 135.43 MB 2400.03/2400.20 c Best bound time (wc) : 264.786 s 2400.03/2400.20 c CPU time : 2399.97 s 2400.03/2400.20 c real time : 2400.2 s 2400.03/2400.20 2400.03/2400.20 c nb Solutions = 25 2400.03/2400.20 s SATISFIABLE 2400.03/2400.20 c Best value found: 881 2400.03/2400.20 2400.03/2400.20 2400.03/2400.20 v <instantiation type='solution' cost='881'> 2400.03/2400.20 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.03/2400.20 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.03/2400.20 v </instantiation> 2400.03/2400.20
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 (8460 MiB free)
memory of node 1: 16384 MiB (15736 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394722-1568339810/watcher-4394722-1568339810 -o /tmp/evaluation-result-4394722-1568339810/solver-4394722-1568339810 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568323911-7049 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394722-1568339810.xml
running on 4 cores: 1,3,5,7
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=10807, runsolver pid=10804
Current StackSize limit: 8192 KiB
[startup+0.100672 s]*
/proc/loadavg: 2.02 2.07 2.07 3/200 10808
/proc/meminfo: memFree=24772064/32770624 swapFree=67018624/67108860
[pid=10807] ppid=10804 vsize=33748 memory=9988 CPUtime=0.1 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 2696 0 0 0 10 0 0 0 20 0 1 0 410253652 34557952 2497 33554432000 4194304 6210612 140721291824224 140721291819624 5283215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 8437 2497 826 493 0 1742 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33748 KiB
Current children cumulated memory: 9988 KiB
[startup+0.209851 s]*
/proc/loadavg: 2.02 2.07 2.07 3/200 10808
/proc/meminfo: memFree=24765260/32770624 swapFree=67018624/67108860
[pid=10807] ppid=10804 vsize=40932 memory=17308 CPUtime=0.2 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 4488 0 0 0 20 0 0 0 20 0 1 0 410253652 41914368 4327 33554432000 4194304 6210612 140721291824224 140721291819400 140572693500908 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 10233 4327 826 493 0 3538 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40932 KiB
Current children cumulated memory: 17308 KiB
[startup+0.309739 s]*
/proc/loadavg: 2.02 2.07 2.07 3/200 10808
/proc/meminfo: memFree=24758936/32770624 swapFree=67018624/67108860
[pid=10807] ppid=10804 vsize=47544 memory=23788 CPUtime=0.3 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 6133 0 0 0 30 0 0 0 20 0 1 0 410253652 48685056 5947 33554432000 4194304 6210612 140721291824224 140721291819400 140572693088160 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 11886 5947 826 493 0 5191 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47544 KiB
Current children cumulated memory: 23788 KiB
[startup+0.700334 s]
/proc/loadavg: 2.02 2.07 2.07 3/199 10808
/proc/meminfo: memFree=24745204/32770624 swapFree=67018624/67108860
[pid=10807] ppid=10804 vsize=72744 memory=48988 CPUtime=0.68 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 12433 0 0 0 67 1 0 0 20 0 1 0 410253652 74489856 12247 33554432000 4194304 6210612 140721291824224 140721291819400 140572693088160 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 18186 12247 826 493 0 11491 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 72744 KiB
Current children cumulated memory: 48988 KiB
[startup+1.50031 s]
/proc/loadavg: 2.02 2.07 2.07 3/199 10808
/proc/meminfo: memFree=24716188/32770624 swapFree=67018624/67108860
[pid=10807] ppid=10804 vsize=122464 memory=99032 CPUtime=1.48 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 25310 0 0 0 145 3 0 0 20 0 1 0 410253652 125403136 24758 33554432000 4194304 6210612 140721291824224 140721291821624 5389248 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 30616 24758 896 493 0 23921 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 122464 KiB
Current children cumulated memory: 99032 KiB
[startup+3.10973 s]
/proc/loadavg: 2.02 2.07 2.07 3/199 10808
/proc/meminfo: memFree=24681016/32770624 swapFree=67018624/67108860
[pid=10807] ppid=10804 vsize=125040 memory=101752 CPUtime=3.1 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 38891 0 0 0 306 4 0 0 20 0 1 0 410253652 128040960 25438 33554432000 4194304 6210612 140721291824224 140721291821544 5391921 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 31260 25438 896 493 0 24565 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 125040 KiB
Current children cumulated memory: 101752 KiB
[startup+6.3003 s]
/proc/loadavg: 1.93 2.06 2.06 3/199 10808
/proc/meminfo: memFree=24669132/32770624 swapFree=67018624/67108860
[pid=10807] ppid=10804 vsize=136072 memory=112744 CPUtime=6.28 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 57169 0 0 0 624 4 0 0 20 0 1 0 410253652 139337728 28186 33554432000 4194304 6210612 140721291824224 140721291812104 5396596 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34018 28186 896 493 0 27323 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 136072 KiB
Current children cumulated memory: 112744 KiB
[startup+12.7003 s]
/proc/loadavg: 1.94 2.06 2.06 3/199 10808
/proc/meminfo: memFree=24669008/32770624 swapFree=67018624/67108860
[pid=10807] ppid=10804 vsize=136072 memory=112752 CPUtime=12.69 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 80475 0 0 0 1263 6 0 0 20 0 1 0 410253652 139337728 28188 33554432000 4194304 6210612 140721291824224 140721291822360 5409301 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34018 28188 896 493 0 27323 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 136072 KiB
Current children cumulated memory: 112752 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.05 2.06 3/199 10808
/proc/meminfo: memFree=24667944/32770624 swapFree=67018624/67108860
[pid=10807] ppid=10804 vsize=136480 memory=113164 CPUtime=25.47 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 93613 0 0 0 2541 6 0 0 20 0 1 0 410253652 139755520 28291 33554432000 4194304 6210612 140721291824224 140721291812104 5034918 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34120 28291 896 493 0 27425 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 136480 KiB
Current children cumulated memory: 113164 KiB
[startup+51.1096 s]
/proc/loadavg: 1.97 2.05 2.06 3/199 10810
/proc/meminfo: memFree=24667136/32770624 swapFree=67018624/67108860
[pid=10807] ppid=10804 vsize=137840 memory=114428 CPUtime=51.07 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 102329 0 0 0 5100 7 0 0 20 0 1 0 410253652 141148160 28607 33554432000 4194304 6210612 140721291824224 140721291812104 5038631 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34460 28607 896 493 0 27765 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 137840 KiB
Current children cumulated memory: 114428 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.04 2.05 3/199 10814
/proc/meminfo: memFree=24666380/32770624 swapFree=67018624/67108860
[pid=10807] ppid=10804 vsize=138392 memory=115136 CPUtime=102.25 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 105594 0 0 0 10218 7 0 0 20 0 1 0 410253652 141713408 28784 33554432000 4194304 6210612 140721291824224 140721291822360 5249674 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34598 28784 896 493 0 27903 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 138392 KiB
Current children cumulated memory: 115136 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 10819
/proc/meminfo: memFree=24666060/32770624 swapFree=67018628/67108860
[pid=10807] ppid=10804 vsize=138392 memory=115136 CPUtime=162.25 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 105921 0 0 0 16218 7 0 0 20 0 1 0 410253652 141713408 28784 33554432000 4194304 6210612 140721291824224 140721291822360 5192915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34598 28784 896 493 0 27903 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 138392 KiB
Current children cumulated memory: 115136 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 10823
/proc/meminfo: memFree=24666596/32770624 swapFree=67018628/67108860
[pid=10807] ppid=10804 vsize=138392 memory=115136 CPUtime=222.24 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 106243 0 0 0 22217 7 0 0 20 0 1 0 410253652 141713408 28784 33554432000 4194304 6210612 140721291824224 140721291822360 5038420 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34598 28784 896 493 0 27903 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 138392 KiB
Current children cumulated memory: 115136 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 10836
/proc/meminfo: memFree=24666072/32770624 swapFree=67018636/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=282.24 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 106815 0 0 0 28217 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 10862
/proc/meminfo: memFree=24664968/32770624 swapFree=67018668/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=342.24 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 107164 0 0 0 34217 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5038448 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10866
/proc/meminfo: memFree=24665724/32770624 swapFree=67018668/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=402.24 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 107523 0 0 0 40217 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5038821 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10872
/proc/meminfo: memFree=24664988/32770624 swapFree=67018668/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=462.23 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 107878 0 0 0 46216 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5149332 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
################
# More data... #
################
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 1602.17 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+1662.3 s]
/proc/loadavg: 2.11 2.13 2.09 3/199 11043
/proc/meminfo: memFree=24662464/32770624 swapFree=67018692/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=1662.17 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 114898 0 0 0 166210 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 1662.17 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+1722.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/199 11049
/proc/meminfo: memFree=24662504/32770624 swapFree=67018692/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=1722.17 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 115243 0 0 0 172210 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5249899 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.09 2.07 3/199 11054
/proc/meminfo: memFree=24662776/32770624 swapFree=67018692/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=1782.16 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 115590 0 0 0 178209 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5037457 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+1842.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/199 11058
/proc/meminfo: memFree=24662200/32770624 swapFree=67018692/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=1842.16 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 115937 0 0 0 184209 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5149790 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 11064
/proc/meminfo: memFree=24662324/32770624 swapFree=67018692/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=1902.16 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 116285 0 0 0 190209 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5148492 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 11069
/proc/meminfo: memFree=24662224/32770624 swapFree=67018696/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=1962.16 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 116633 0 0 0 196209 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5396236 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 11073
/proc/meminfo: memFree=24661980/32770624 swapFree=67018696/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=2022.15 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 116981 0 0 0 202208 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/201 11088
/proc/meminfo: memFree=24662276/32770624 swapFree=67018712/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=2082.15 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 117329 0 0 0 208208 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5249907 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 11092
/proc/meminfo: memFree=24662136/32770624 swapFree=67018712/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=2142.15 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 117676 0 0 0 214208 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5249905 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 11096
/proc/meminfo: memFree=24661976/32770624 swapFree=67018712/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=2202.14 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 118027 0 0 0 220207 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5249890 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 2202.14 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 11102
/proc/meminfo: memFree=24662360/32770624 swapFree=67018712/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=2262.14 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 118372 0 0 0 226207 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5148316 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 11106
/proc/meminfo: memFree=24661284/32770624 swapFree=67018712/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=2322.14 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 118717 0 0 0 232207 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5150690 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11110
/proc/meminfo: memFree=24661836/32770624 swapFree=67018712/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=2382.14 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 119061 0 0 0 238207 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5397075 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11112
/proc/meminfo: memFree=24661960/32770624 swapFree=67018712/67108860
[pid=10807] ppid=10804 vsize=138672 memory=115432 CPUtime=2400.03 cores=1,3,5,7
/proc/10807/stat : 10807 (cosoco) R 10804 10807 7017 0 -1 4202496 119062 0 0 0 239996 7 0 0 20 0 1 0 410253652 142000128 28858 33554432000 4194304 6210612 140721291824224 140721291812104 5249664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 15495168 140721291830283 140721291830385 140721291830385 140721291833294 0
/proc/10807/statm: 34668 28858 896 493 0 27973 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 138672 KiB
Current children cumulated memory: 115432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 10807 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.97 s, system=0.078996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.05
CPU user time (s): 2399.97
CPU system time (s): 0.078996
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 138672
Max. memory (cumulated for all children) (KiB): 115432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.078996
maximum resident set size= 115504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119117
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= 622
# summary of solver processes directly reported to runsolver:
# pid: 10807
# total CPU time (s): 2400.05
# total CPU user time (s): 2399.97
# total CPU system time (s): 0.078996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.86005 second user time and 16.2767 second system time
The end
Begin job on node150 at 2019-09-13 03:56:11 IDJOB=4394722 IDBENCH=127021 IDSOLVER=2830 FILE ID=node150/4394722-1568339810 RUNJOBID= node150-1568323911-7049 PBS_JOBID= 21701149 Free space on /tmp= 55028 MiB SOLVER NAME= cosoco 2 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-4394722-1568339810/watcher-4394722-1568339810 -o /tmp/evaluation-result-4394722-1568339810/solver-4394722-1568339810 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568323911-7049 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394722-1568339810.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8abeb688e9afa7c6cb128f8ab9c8d8c8 RANDOM SEED=1704463191 node150.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.79 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.79 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.79 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.79 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: 24778428 kB MemAvailable: 31832140 kB Buffers: 164696 kB Cached: 7029540 kB SwapCached: 11476 kB Active: 1164920 kB Inactive: 6081376 kB Active(anon): 18116 kB Inactive(anon): 56140 kB Active(file): 1146804 kB Inactive(file): 6025236 kB Unevictable: 109524 kB Mlocked: 109524 kB SwapTotal: 67108860 kB SwapFree: 67018624 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 152212 kB Mapped: 38560 kB Shmem: 13968 kB Slab: 340548 kB SReclaimable: 310132 kB SUnreclaim: 30416 kB KernelStack: 3632 kB PageTables: 5496 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 534004 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 55024 MiB End job on node150 at 2019-09-13 04:36:11