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) | 595 | 2400.09 | 2400.6 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-062.xml |
| MD5SUM | 008177aac4f491992dc0e91994ba9658 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 595 |
| Best CPU time to get the best result obtained on this benchmark | 2400.08 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3905 |
| Number of constraints | 2013 |
| Number of domains | 123 |
| Minimum domain size | 2 |
| Maximum domain size | 123 |
| Distribution of domain sizes | [{"size":2,"count":1954},{"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":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"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}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 61 |
| Distribution of variable degrees | [{"degree":0,"count":1830},{"degree":2,"count":2013},{"degree":61,"count":62}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 62 |
| Distribution of constraint arities | [{"arity":2,"count":62},{"arity":3,"count":1892},{"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":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"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}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 1952 |
| Distribution of constraint types | [{"type":"intension","count":1952},{"type":"sum","count":61}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.05 c 0.00/0.05 c This is cosoco 2.00 -- 0.00/0.05 c 0.00/0.05 c command line: cosoco -lc -model -restarts -stick HOME/instance-4394720-1568339594.xml 0.00/0.05 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.37 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.44 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.41/0.51 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.54 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.50/0.58 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.61 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.65 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.60/0.68 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.72 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.75 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension -> extension : same as previous 0.69/0.78 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 123tuples 0.69/0.78 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 121tuples 0.69/0.79 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 119tuples 0.69/0.79 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 117tuples 0.79/0.80 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 115tuples 0.79/0.80 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 113tuples 0.79/0.81 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 111tuples 0.79/0.81 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 109tuples 0.79/0.82 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 107tuples 0.79/0.82 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 105tuples 0.79/0.82 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 103tuples 0.79/0.83 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 101tuples 0.79/0.83 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 99tuples 0.79/0.83 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 97tuples 0.79/0.84 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 95tuples 0.79/0.84 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 93tuples 0.79/0.84 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 91tuples 0.79/0.84 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 89tuples 0.79/0.85 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 87tuples 0.79/0.85 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 85tuples 0.79/0.85 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 83tuples 0.79/0.86 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 81tuples 0.79/0.86 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 79tuples 0.79/0.86 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 77tuples 0.79/0.86 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 75tuples 0.79/0.86 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 73tuples 0.79/0.87 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 71tuples 0.79/0.87 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 69tuples 0.79/0.87 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 67tuples 0.79/0.87 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 65tuples 0.79/0.87 c intension eq(mul(c[30],c[30]),s[30]) -> extension (support ? 1) - 63tuples 0.79/0.87 c intension eq(mul(c[31],c[31]),s[31]) -> extension (support ? 1) - 61tuples 0.79/0.88 c intension eq(mul(c[32],c[32]),s[32]) -> extension (support ? 1) - 59tuples 0.79/0.88 c intension eq(mul(c[33],c[33]),s[33]) -> extension (support ? 1) - 57tuples 0.79/0.88 c intension eq(mul(c[34],c[34]),s[34]) -> extension (support ? 1) - 55tuples 0.79/0.88 c intension eq(mul(c[35],c[35]),s[35]) -> extension (support ? 1) - 53tuples 0.79/0.88 c intension eq(mul(c[36],c[36]),s[36]) -> extension (support ? 1) - 51tuples 0.79/0.88 c intension eq(mul(c[37],c[37]),s[37]) -> extension (support ? 1) - 49tuples 0.79/0.88 c intension eq(mul(c[38],c[38]),s[38]) -> extension (support ? 1) - 47tuples 0.79/0.88 c intension eq(mul(c[39],c[39]),s[39]) -> extension (support ? 1) - 45tuples 0.79/0.88 c intension eq(mul(c[40],c[40]),s[40]) -> extension (support ? 1) - 43tuples 0.79/0.89 c intension eq(mul(c[41],c[41]),s[41]) -> extension (support ? 1) - 41tuples 0.79/0.89 c intension eq(mul(c[42],c[42]),s[42]) -> extension (support ? 1) - 39tuples 0.79/0.89 c intension eq(mul(c[43],c[43]),s[43]) -> extension (support ? 1) - 37tuples 0.79/0.89 c intension eq(mul(c[44],c[44]),s[44]) -> extension (support ? 1) - 35tuples 0.79/0.89 c intension eq(mul(c[45],c[45]),s[45]) -> extension (support ? 1) - 33tuples 0.79/0.89 c intension eq(mul(c[46],c[46]),s[46]) -> extension (support ? 1) - 31tuples 0.79/0.89 c intension eq(mul(c[47],c[47]),s[47]) -> extension (support ? 1) - 29tuples 0.79/0.89 c intension eq(mul(c[48],c[48]),s[48]) -> extension (support ? 1) - 27tuples 0.79/0.89 c intension eq(mul(c[49],c[49]),s[49]) -> extension (support ? 1) - 25tuples 0.79/0.89 c intension eq(mul(c[50],c[50]),s[50]) -> extension (support ? 1) - 23tuples 0.79/0.89 c intension eq(mul(c[51],c[51]),s[51]) -> extension (support ? 1) - 21tuples 0.79/0.89 c intension eq(mul(c[52],c[52]),s[52]) -> extension (support ? 1) - 19tuples 0.79/0.89 c intension eq(mul(c[53],c[53]),s[53]) -> extension (support ? 1) - 17tuples 0.79/0.89 c intension eq(mul(c[54],c[54]),s[54]) -> extension (support ? 1) - 15tuples 0.79/0.89 c intension eq(mul(c[55],c[55]),s[55]) -> extension (support ? 1) - 13tuples 0.79/0.89 c intension eq(mul(c[56],c[56]),s[56]) -> extension (support ? 1) - 11tuples 0.79/0.89 c intension eq(mul(c[57],c[57]),s[57]) -> extension (support ? 1) - 9tuples 0.79/0.89 c intension eq(mul(c[58],c[58]),s[58]) -> extension (support ? 1) - 7tuples 0.79/0.89 c intension eq(mul(c[59],c[59]),s[59]) -> extension (support ? 1) - 5tuples 0.79/0.89 c intension eq(mul(c[60],c[60]),s[60]) -> extension (support ? 1) - 3tuples 1.00/1.02 c enable optimization 1.00/1.02 c ========================================[ Problem Statistics ]=========================================== 1.00/1.02 c | 1.00/1.02 c | Parse time : 0.88 s 1.00/1.02 c | 1.00/1.02 c | Variables: 3905 1.00/1.02 c | Domain Sizes: 2..123 1.00/1.02 c | 1.00/1.02 c | Constraints: 2014 1.00/1.02 c | Arity: 2..62 -- Binary: 62 -- Ternary: 1892 1.00/1.02 c | 1.00/1.02 c | Types: 1.00/1.02 c | Extension: 1952 (nb tuples: 3..123) -- (shared: 1890) 1.00/1.02 c | Sum: 62 1.00/1.02 c | 1.00/1.02 c | Objective: Minimize Sum 1.00/1.02 1.00/1.02 c ========================================================================================================= 1.00/1.02 o 8995 1.00/1.02 c 1 calls to solver(id=0): best=8995 lower=0 upper=8994 1.29/1.32 o 8075 1.59/1.64 o 8059 1.59/1.65 c 3 calls to solver(id=0): best=8059 lower=0 upper=8058 2.00/2.05 o 7611 2.29/2.38 o 5771 2.29/2.38 c 5 calls to solver(id=0): best=5771 lower=0 upper=5770 2.59/2.69 o 3659 2.89/2.99 o 2435 2.89/2.99 c 7 calls to solver(id=0): best=2435 lower=0 upper=2434 3.29/3.37 o 2179 3.59/3.68 o 2083 3.59/3.68 c 9 calls to solver(id=0): best=2083 lower=0 upper=2082 3.89/3.99 o 1907 4.29/4.30 o 1891 4.29/4.30 c 11 calls to solver(id=0): best=1891 lower=0 upper=1890 4.49/4.59 o 1443 4.89/4.90 o 1363 4.89/4.90 c 13 calls to solver(id=0): best=1363 lower=0 upper=1362 5.19/5.24 o 1331 5.49/5.54 o 1067 5.49/5.54 c 15 calls to solver(id=0): best=1067 lower=0 upper=1066 5.89/5.97 o 1035 7.59/7.69 o 1003 7.68/7.70 c 17 calls to solver(id=0): best=1003 lower=0 upper=1002 8.78/8.89 o 931 32.28/32.35 o 915 32.28/32.35 c 19 calls to solver(id=0): best=915 lower=0 upper=914 39.38/39.49 o 907 62.57/62.64 o 739 62.57/62.64 c 21 calls to solver(id=0): best=739 lower=0 upper=738 79.47/79.52 o 707 509.64/509.83 o 667 509.64/509.84 c 23 calls to solver(id=0): best=667 lower=0 upper=666 1347.27/1347.69 o 651 1349.97/1350.30 o 643 1349.97/1350.30 c 25 calls to solver(id=0): best=643 lower=0 upper=642 1829.28/1829.76 o 627 2321.39/2321.94 o 595 2321.39/2321.94 c 27 calls to solver(id=0): best=595 lower=0 upper=594 2400.07/2400.60 2400.07/2400.60 c *** INTERRUPTED *** 2400.07/2400.60 c call to solver : 27 2400.07/2400.60 c 2400.07/2400.60 c restarts : 468 2400.07/2400.60 c conflicts : 739941 (308 /sec) 2400.07/2400.60 c decisions : 19721307 (8217 /sec) 2400.07/2400.60 c propagations : 1097799382 (457413 /sec) 2400.07/2400.60 c root propagations : 9639 2400.07/2400.60 c filter calls : 880657867 (366938 /sec) 2400.07/2400.60 c useless filter calls : 352514069 (40 %) 2400.07/2400.60 c Memory used : 106.52 MB 2400.07/2400.60 c Best bound time (wc) : 2321.94 s 2400.07/2400.60 c CPU time : 2400.02 s 2400.07/2400.60 c real time : 2400.6 s 2400.07/2400.60 2400.07/2400.60 c nb Solutions = 27 2400.07/2400.60 s SATISFIABLE 2400.07/2400.60 c Best value found: 595 2400.07/2400.60 2400.07/2400.60 2400.07/2400.60 v <instantiation type='solution' cost='595'> 2400.07/2400.60 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[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[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[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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][6] y[60][7] y[60][8] y[60][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][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][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][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][6] y[9][7] y[9][8] y[9][9] </list> 2400.07/2400.60 v <values>5 -3 0 -3 -4 3 0 3 2 1 0 2 3 2 -5 -2 3 -4 3 -2 -1 0 -5 -1 6 -1 -4 3 -2 7 0 -1 -4 -2 -1 6 5 0 -1 -2 -1 2 -3 2 1 5 2 1 2 1 -2 -3 0 -1 0 4 1 1 0 -7 8 25 9 0 9 16 9 0 9 4 1 0 4 9 4 25 4 9 16 9 4 1 0 25 1 36 1 16 9 4 49 0 1 16 4 1 36 25 0 1 4 1 4 9 4 1 25 4 1 4 1 4 9 0 1 0 16 1 1 0 49 64 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 * * * * * * * * * -1 * -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 * * * * * * * * * * -1 * -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 * -1 * * * * * * * * * * -1 * -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 * * -1 * * * * * * * * * * -1 * 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 * * * -1 * * * * * * * * * * 1 * -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 * * * * 1 * * * * * * * * * * -1 * 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 * * * * * -1 * * * * * * * * * * 1 * -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 * * * * * * 1 * * * * * * * * * * -1 * 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 * * * * * * * -1 * * * * * * * * * * 1 * 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 * * * * * * * * 1 * * * * * * * * * * 1 * 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 * 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 * * * * * * * * * 1 * * * * * * * * * * 1 * 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 * 1 * 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 * * 1 * 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * -1 1 1 -1 1 -1 -1 -1 1 1 1 1 * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * -1 -1 -1 -1 1 1 -1 1 -1 1 -1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * 1 1 -1 -1 -1 1 1 -1 -1 -1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * -1 1 -1 1 1 -1 -1 -1 1 * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * -1 1 1 1 -1 1 -1 1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 -1 1 -1 1 1 1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 * * * 1 * -1 1 -1 1 1 -1 * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * 1 1 1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * -1 -1 1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * 1 -1 -1 * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * 1 1 * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * -1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 * * * * -1 * -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 * * * * * -1 * -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 * * * * * * -1 * 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 * * * * * * * 1 * 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -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.07/2400.60 v </instantiation> 2400.07/2400.60
OK 595
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 (12852 MiB free)
memory of node 1: 16384 MiB (13219 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394720-1568339594/watcher-4394720-1568339594 -o /tmp/evaluation-result-4394720-1568339594/solver-4394720-1568339594 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21938 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394720-1568339594.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25004, runsolver pid=25001
Current StackSize limit: 8192 KiB
[startup+0.100187 s]*
/proc/loadavg: 1.92 2.00 2.04 3/200 25005
/proc/meminfo: memFree=26691352/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=33864 memory=10092 CPUtime=0.1 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 2725 0 0 0 10 0 0 0 20 0 1 0 410206739 34676736 2523 33554432000 4194304 6210612 140732950545120 140732950541656 5283223 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 8466 2523 826 493 0 1771 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33864 KiB
Current children cumulated memory: 10092 KiB
[startup+0.209806 s]*
/proc/loadavg: 1.92 2.00 2.04 3/200 25005
/proc/meminfo: memFree=26684780/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=40476 memory=16692 CPUtime=0.21 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 4386 0 0 0 21 0 0 0 20 0 1 0 410206739 41447424 4173 33554432000 4194304 6210612 140732950545120 140732950541656 140471547328416 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 10119 4173 826 493 0 3424 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40476 KiB
Current children cumulated memory: 16692 KiB
[startup+0.309642 s]*
/proc/loadavg: 1.92 2.00 2.04 3/200 25005
/proc/meminfo: memFree=26678580/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=46536 memory=22764 CPUtime=0.31 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 5897 0 0 0 31 0 0 0 20 0 1 0 410206739 47652864 5691 33554432000 4194304 6210612 140732950545120 140732950539864 5283215 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 11634 5691 826 493 0 4939 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46536 KiB
Current children cumulated memory: 22764 KiB
[startup+0.700366 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 25005
/proc/meminfo: memFree=26666264/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=69632 memory=46036 CPUtime=0.69 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 11687 0 0 0 68 1 0 0 20 0 1 0 410206739 71303168 11509 33554432000 4194304 6210612 140732950545120 140732950539864 5283208 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 17408 11509 826 493 0 10713 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 69632 KiB
Current children cumulated memory: 46036 KiB
[startup+1.50042 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 25005
/proc/meminfo: memFree=26632224/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=103776 memory=80328 CPUtime=1.49 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 20366 0 0 0 147 2 0 0 20 0 1 0 410206739 106266624 20082 33554432000 4194304 6210612 140732950545120 140732950539864 5396596 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 25944 20082 897 493 0 19249 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 103776 KiB
Current children cumulated memory: 80328 KiB
[startup+3.10975 s]
/proc/loadavg: 1.77 1.97 2.03 3/200 25005
/proc/meminfo: memFree=26618712/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=104844 memory=81360 CPUtime=3.1 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 31206 0 0 0 307 3 0 0 20 0 1 0 410206739 107360256 20340 33554432000 4194304 6210612 140732950545120 140732950543256 5034915 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 26211 20340 897 493 0 19516 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 104844 KiB
Current children cumulated memory: 81360 KiB
[startup+6.30038 s]
/proc/loadavg: 1.77 1.97 2.03 3/200 25005
/proc/meminfo: memFree=26617928/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=106076 memory=82628 CPUtime=6.29 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 42214 0 0 0 626 3 0 0 20 0 1 0 410206739 108621824 20657 33554432000 4194304 6210612 140732950545120 140732950543256 5034915 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 26519 20657 897 493 0 19824 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 106076 KiB
Current children cumulated memory: 82628 KiB
[startup+12.7004 s]
/proc/loadavg: 1.79 1.97 2.03 3/200 25005
/proc/meminfo: memFree=26616844/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=107440 memory=84032 CPUtime=12.68 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 53552 0 0 0 1265 3 0 0 20 0 1 0 410206739 110018560 21008 33554432000 4194304 6210612 140732950545120 140732950543256 5034864 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 26860 21008 897 493 0 20165 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 107440 KiB
Current children cumulated memory: 84032 KiB
[startup+25.5004 s]
/proc/loadavg: 1.83 1.97 2.03 3/200 25005
/proc/meminfo: memFree=26617036/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=107440 memory=84140 CPUtime=25.49 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 69891 0 0 0 2545 4 0 0 20 0 1 0 410206739 110018560 21035 33554432000 4194304 6210612 140732950545120 140732950543256 5185944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 26860 21035 897 493 0 20165 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 107440 KiB
Current children cumulated memory: 84140 KiB
[startup+51.1096 s]
/proc/loadavg: 1.89 1.97 2.03 3/200 25008
/proc/meminfo: memFree=26615440/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=108260 memory=85020 CPUtime=51.08 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 81436 0 0 0 5104 4 0 0 20 0 1 0 410206739 110858240 21255 33554432000 4194304 6210612 140732950545120 140732950543256 5034895 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27065 21255 897 493 0 20370 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 108260 KiB
Current children cumulated memory: 85020 KiB
[startup+102.3 s]
/proc/loadavg: 1.95 1.98 2.03 3/200 25012
/proc/meminfo: memFree=26613960/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=108396 memory=85160 CPUtime=102.26 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 95022 0 0 0 10221 5 0 0 20 0 1 0 410206739 110997504 21290 33554432000 4194304 6210612 140732950545120 140732950543256 5396351 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27099 21290 897 493 0 20404 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85160 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.98 2.03 3/199 25017
/proc/meminfo: memFree=26611876/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=108396 memory=85168 CPUtime=162.22 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 101362 0 0 0 16216 6 0 0 20 0 1 0 410206739 110997504 21292 33554432000 4194304 6210612 140732950545120 140732950543256 5249747 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27099 21292 897 493 0 20404 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85168 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.00 2.03 3/199 25023
/proc/meminfo: memFree=26612756/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=108396 memory=85168 CPUtime=222.21 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 101613 0 0 0 22215 6 0 0 20 0 1 0 410206739 110997504 21292 33554432000 4194304 6210612 140732950545120 140732950543256 5148311 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27099 21292 897 493 0 20404 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85168 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/199 25027
/proc/meminfo: memFree=26612572/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=108396 memory=85168 CPUtime=282.19 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 101883 0 0 0 28213 6 0 0 20 0 1 0 410206739 110997504 21292 33554432000 4194304 6210612 140732950545120 140732950543256 5148311 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27099 21292 897 493 0 20404 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85168 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.03 3/199 25032
/proc/meminfo: memFree=26612084/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=108396 memory=85168 CPUtime=342.18 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 102139 0 0 0 34212 6 0 0 20 0 1 0 410206739 110997504 21292 33554432000 4194304 6210612 140732950545120 140732950543256 5249729 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27099 21292 897 493 0 20404 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85168 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 25038
/proc/meminfo: memFree=26612732/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=108396 memory=85168 CPUtime=402.17 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 102395 0 0 0 40211 6 0 0 20 0 1 0 410206739 110997504 21292 33554432000 4194304 6210612 140732950545120 140732950543256 5039282 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27099 21292 897 493 0 20404 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85168 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 25050
/proc/meminfo: memFree=26612780/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=108396 memory=85168 CPUtime=462.15 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 102650 0 0 0 46209 6 0 0 20 0 1 0 410206739 110997504 21292 33554432000 4194304 6210612 140732950545120 140732950543256 5149290 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27099 21292 897 493 0 20404 0
Current children cumulated CPU time: 462.15 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85168 KiB
################
# More data... #
################
/proc/25004/statm: 27235 21429 897 493 0 20540 0
Current children cumulated CPU time: 1601.92 s
Current children cumulated vsize: 108940 KiB
Current children cumulated memory: 85716 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25307
/proc/meminfo: memFree=26683368/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=108940 memory=85716 CPUtime=1661.91 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 109011 0 0 0 166185 6 0 0 20 0 1 0 410206739 111554560 21429 33554432000 4194304 6210612 140732950545120 140732950533000 5149269 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27235 21429 897 493 0 20540 0
Current children cumulated CPU time: 1661.91 s
Current children cumulated vsize: 108940 KiB
Current children cumulated memory: 85716 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25311
/proc/meminfo: memFree=26683764/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=108940 memory=85716 CPUtime=1721.9 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 109327 0 0 0 172184 6 0 0 20 0 1 0 410206739 111554560 21429 33554432000 4194304 6210612 140732950545120 140732950533000 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27235 21429 897 493 0 20540 0
Current children cumulated CPU time: 1721.9 s
Current children cumulated vsize: 108940 KiB
Current children cumulated memory: 85716 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 25315
/proc/meminfo: memFree=26684288/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=108940 memory=85716 CPUtime=1781.89 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 109626 0 0 0 178183 6 0 0 20 0 1 0 410206739 111554560 21429 33554432000 4194304 6210612 140732950545120 140732950533000 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27235 21429 897 493 0 20540 0
Current children cumulated CPU time: 1781.89 s
Current children cumulated vsize: 108940 KiB
Current children cumulated memory: 85716 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25321
/proc/meminfo: memFree=26683364/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=109072 memory=85788 CPUtime=1841.88 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 110050 0 0 0 184182 6 0 0 20 0 1 0 410206739 111689728 21447 33554432000 4194304 6210612 140732950545120 140732950543256 5249729 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27268 21447 897 493 0 20573 0
Current children cumulated CPU time: 1841.88 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85788 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25325
/proc/meminfo: memFree=26683360/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=109072 memory=85788 CPUtime=1901.86 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 110372 0 0 0 190180 6 0 0 20 0 1 0 410206739 111689728 21447 33554432000 4194304 6210612 140732950545120 140732950543256 5397238 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27268 21447 897 493 0 20573 0
Current children cumulated CPU time: 1901.86 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85788 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25330
/proc/meminfo: memFree=26684328/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=109072 memory=85788 CPUtime=1961.85 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 110682 0 0 0 196179 6 0 0 20 0 1 0 410206739 111689728 21447 33554432000 4194304 6210612 140732950545120 140732950543256 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27268 21447 897 493 0 20573 0
Current children cumulated CPU time: 1961.85 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85788 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25336
/proc/meminfo: memFree=26684036/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=109072 memory=85788 CPUtime=2021.84 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 110996 0 0 0 202178 6 0 0 20 0 1 0 410206739 111689728 21447 33554432000 4194304 6210612 140732950545120 140732950543256 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27268 21447 897 493 0 20573 0
Current children cumulated CPU time: 2021.84 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85788 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25341
/proc/meminfo: memFree=26683428/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=109072 memory=85788 CPUtime=2081.83 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 111329 0 0 0 208177 6 0 0 20 0 1 0 410206739 111689728 21447 33554432000 4194304 6210612 140732950545120 140732950543256 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27268 21447 897 493 0 20573 0
Current children cumulated CPU time: 2081.83 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85788 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25346
/proc/meminfo: memFree=26682504/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=109072 memory=85788 CPUtime=2141.82 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 111631 0 0 0 214176 6 0 0 20 0 1 0 410206739 111689728 21447 33554432000 4194304 6210612 140732950545120 140732950543256 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27268 21447 897 493 0 20573 0
Current children cumulated CPU time: 2141.82 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85788 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 25352
/proc/meminfo: memFree=26682904/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=109072 memory=85788 CPUtime=2201.81 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 111960 0 0 0 220175 6 0 0 20 0 1 0 410206739 111689728 21447 33554432000 4194304 6210612 140732950545120 140732950543256 5249724 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27268 21447 897 493 0 20573 0
Current children cumulated CPU time: 2201.81 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85788 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/201 25364
/proc/meminfo: memFree=26682804/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=109072 memory=85788 CPUtime=2261.8 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 112258 0 0 0 226174 6 0 0 20 0 1 0 410206739 111689728 21447 33554432000 4194304 6210612 140732950545120 140732950543256 5034904 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27268 21447 897 493 0 20573 0
Current children cumulated CPU time: 2261.8 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85788 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/201 25612
/proc/meminfo: memFree=26683652/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=109072 memory=85788 CPUtime=2321.79 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 112710 0 0 0 232173 6 0 0 20 0 1 0 410206739 111689728 21447 33554432000 4194304 6210612 140732950545120 140732950533000 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27268 21447 897 493 0 20573 0
Current children cumulated CPU time: 2321.79 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85788 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/200 25618
/proc/meminfo: memFree=26682496/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=109072 memory=85832 CPUtime=2381.78 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 113050 0 0 0 238172 6 0 0 20 0 1 0 410206739 111689728 21458 33554432000 4194304 6210612 140732950545120 140732950533000 5148316 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27268 21458 897 493 0 20573 0
Current children cumulated CPU time: 2381.78 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.6 s]
/proc/loadavg: 2.08 2.05 2.05 3/200 25618
/proc/meminfo: memFree=26682596/32770624 swapFree=66927164/67108860
[pid=25004] ppid=25001 vsize=109072 memory=85832 CPUtime=2400.07 cores=0,2,4,6
/proc/25004/stat : 25004 (cosoco) R 25001 25004 21907 0 -1 4202496 113368 0 0 0 240001 6 0 0 20 0 1 0 410206739 111689728 21458 33554432000 4194304 6210612 140732950545120 140732950533000 5409305 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 21725184 140732950553611 140732950553713 140732950553713 140732950556622 0
/proc/25004/statm: 27268 21458 897 493 0 20573 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.6 s]
# the end of solver process 25004 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.02 s, system=0.068986 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.09
CPU user time (s): 2400.02
CPU system time (s): 0.068986
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 109072
Max. memory (cumulated for all children) (KiB): 85832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.068986
maximum resident set size= 85900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113427
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= 45
involuntary context switches= 1822
# summary of solver processes directly reported to runsolver:
# pid: 25004
# total CPU time (s): 2400.09
# total CPU user time (s): 2400.02
# total CPU system time (s): 0.068986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.57091 second user time and 17.1407 second system time
The end
Begin job on node137 at 2019-09-13 03:52:32 IDJOB=4394720 IDBENCH=127010 IDSOLVER=2830 FILE ID=node137/4394720-1568339594 RUNJOBID= node137-1568323498-21938 PBS_JOBID= 21701145 Free space on /tmp= 61232 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-062.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394720-1568339594/watcher-4394720-1568339594 -o /tmp/evaluation-result-4394720-1568339594/solver-4394720-1568339594 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21938 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394720-1568339594.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 008177aac4f491992dc0e91994ba9658 RANDOM SEED=423103832 node137.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 : 5334.00 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 : 5334.00 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 : 5334.00 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 : 5334.00 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: 26697540 kB MemAvailable: 31734380 kB Buffers: 139876 kB Cached: 5161956 kB SwapCached: 77552 kB Active: 1435720 kB Inactive: 4019952 kB Active(anon): 77620 kB Inactive(anon): 117532 kB Active(file): 1358100 kB Inactive(file): 3902420 kB Unevictable: 108716 kB Mlocked: 108716 kB SwapTotal: 67108860 kB SwapFree: 66927164 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 186140 kB Mapped: 44848 kB Shmem: 32696 kB Slab: 213612 kB SReclaimable: 184312 kB SUnreclaim: 29300 kB KernelStack: 3552 kB PageTables: 5792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 600244 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 137216 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61232 MiB End job on node137 at 2019-09-13 04:32:32