Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | SAT (TO) | 595 | 2400.1 | 2400.2 |
| 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-4397609-1568579516.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.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.22 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.26 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.20/0.30 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/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.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.60/0.64 c intension -> extension : same as previous 0.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.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 c intension -> extension : same as previous 0.69/0.71 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.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension -> extension : same as previous 0.69/0.77 c intension 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.78 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.69/0.79 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.80 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 111tuples 0.79/0.80 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 109tuples 0.79/0.81 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 107tuples 0.79/0.81 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.82 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 101tuples 0.79/0.82 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.83 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 95tuples 0.79/0.83 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.84 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 87tuples 0.79/0.84 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.85 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 81tuples 0.79/0.85 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 79tuples 0.79/0.85 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.86 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 71tuples 0.79/0.86 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 69tuples 0.79/0.86 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.87 c intension eq(mul(c[32],c[32]),s[32]) -> extension (support ? 1) - 59tuples 0.79/0.87 c intension eq(mul(c[33],c[33]),s[33]) -> extension (support ? 1) - 57tuples 0.79/0.87 c intension eq(mul(c[34],c[34]),s[34]) -> extension (support ? 1) - 55tuples 0.79/0.87 c intension eq(mul(c[35],c[35]),s[35]) -> extension (support ? 1) - 53tuples 0.79/0.87 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.88 c intension eq(mul(c[41],c[41]),s[41]) -> extension (support ? 1) - 41tuples 0.79/0.88 c intension eq(mul(c[42],c[42]),s[42]) -> extension (support ? 1) - 39tuples 0.79/0.88 c intension eq(mul(c[43],c[43]),s[43]) -> extension (support ? 1) - 37tuples 0.79/0.88 c intension eq(mul(c[44],c[44]),s[44]) -> extension (support ? 1) - 35tuples 0.79/0.88 c intension eq(mul(c[45],c[45]),s[45]) -> extension (support ? 1) - 33tuples 0.79/0.88 c intension eq(mul(c[46],c[46]),s[46]) -> extension (support ? 1) - 31tuples 0.79/0.88 c intension eq(mul(c[47],c[47]),s[47]) -> extension (support ? 1) - 29tuples 0.79/0.88 c intension eq(mul(c[48],c[48]),s[48]) -> extension (support ? 1) - 27tuples 0.79/0.88 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 0.89/1.00 c enable optimization 0.89/1.00 c ========================================[ Problem Statistics ]=========================================== 0.89/1.00 c | 0.89/1.00 c | Parse time : 0.87 s 0.89/1.00 c | 0.89/1.00 c | Variables: 3905 0.89/1.00 c | Domain Sizes: 2..123 0.89/1.00 c | 0.89/1.00 c | Constraints: 2014 0.89/1.00 c | Arity: 2..62 -- Binary: 62 -- Ternary: 1892 0.89/1.00 c | 0.89/1.00 c | Types: 0.89/1.00 c | Extension: 1952 (nb tuples: 3..123) -- (shared: 1890) 0.89/1.00 c | Sum: 62 0.89/1.00 c | 0.89/1.00 c | Objective: Minimize Sum 0.89/1.00 0.89/1.00 c ========================================================================================================= 0.89/1.00 o 8995 1.00/1.01 c 1 calls to solver(id=0): best=8995 lower=0 upper=8994 1.19/1.28 o 8075 1.49/1.57 o 8059 1.49/1.57 c 3 calls to solver(id=0): best=8059 lower=0 upper=8058 1.89/1.94 o 7611 2.19/2.24 o 5771 2.19/2.24 c 5 calls to solver(id=0): best=5771 lower=0 upper=5770 2.49/2.52 o 3659 2.69/2.79 o 2435 2.69/2.79 c 7 calls to solver(id=0): best=2435 lower=0 upper=2434 3.10/3.14 o 2179 3.39/3.42 o 2083 3.39/3.42 c 9 calls to solver(id=0): best=2083 lower=0 upper=2082 3.69/3.70 o 1907 3.89/3.97 o 1891 3.89/3.97 c 11 calls to solver(id=0): best=1891 lower=0 upper=1890 4.19/4.25 o 1443 4.49/4.52 o 1363 4.49/4.52 c 13 calls to solver(id=0): best=1363 lower=0 upper=1362 4.79/4.83 o 1331 4.99/5.10 o 1067 4.99/5.10 c 15 calls to solver(id=0): best=1067 lower=0 upper=1066 5.39/5.49 o 1035 6.99/7.07 o 1003 6.99/7.07 c 17 calls to solver(id=0): best=1003 lower=0 upper=1002 8.09/8.17 o 931 27.28/27.38 o 915 27.28/27.39 c 19 calls to solver(id=0): best=915 lower=0 upper=914 32.17/32.29 o 907 46.86/47.00 o 739 46.86/47.00 c 21 calls to solver(id=0): best=739 lower=0 upper=738 57.76/57.86 o 707 469.86/470.00 o 667 469.86/470.00 c 23 calls to solver(id=0): best=667 lower=0 upper=666 1299.52/1299.61 o 651 1302.03/1302.19 o 643 1302.03/1302.20 c 25 calls to solver(id=0): best=643 lower=0 upper=642 1776.61/1776.78 o 627 2264.00/2264.13 o 595 2264.00/2264.13 c 27 calls to solver(id=0): best=595 lower=0 upper=594 2400.09/2400.20 2400.09/2400.20 c *** INTERRUPTED *** 2400.09/2400.20 c call to solver : 27 2400.09/2400.20 c 2400.09/2400.20 c restarts : 468 2400.09/2400.20 c conflicts : 761448 (317 /sec) 2400.09/2400.20 c decisions : 20240532 (8433 /sec) 2400.09/2400.20 c propagations : 1125431183 (468924 /sec) 2400.09/2400.20 c root propagations : 9639 2400.09/2400.20 c filter calls : 901668285 (375690 /sec) 2400.09/2400.20 c useless filter calls : 360414997 (39 %) 2400.09/2400.20 c Memory used : 106.52 MB 2400.09/2400.20 c Best bound time (wc) : 2264.13 s 2400.09/2400.20 c CPU time : 2400.03 s 2400.09/2400.20 c real time : 2400.2 s 2400.09/2400.20 2400.09/2400.20 c nb Solutions = 27 2400.09/2400.20 s SATISFIABLE 2400.09/2400.20 c Best value found: 595 2400.09/2400.20 2400.09/2400.20 2400.09/2400.20 v <instantiation type='solution' cost='595'> 2400.09/2400.20 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[4] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[5] c[60] c[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.09/2400.20 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.09/2400.20 v </instantiation> 2400.09/2400.20
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 (15057 MiB free)
memory of node 1: 16384 MiB (15494 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397609-1568579516/watcher-4397609-1568579516 -o /tmp/evaluation-result-4397609-1568579516/solver-4397609-1568579516 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568572742-32493 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397609-1568579516.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1347, runsolver pid=1344
[startup+0.100154 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 1348
/proc/meminfo: memFree=31279340/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=33728 memory=9944 CPUtime=0.1 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 2684 0 0 0 10 0 0 0 20 0 1 0 434214253 34537472 2486 33554432000 4194304 6211092 140733157156032 140733157152568 140078243059616 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 8432 2486 826 493 0 1737 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33728 KiB
Current children cumulated memory: 9944 KiB
[startup+0.209612 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 1348
/proc/meminfo: memFree=31272536/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=40476 memory=16808 CPUtime=0.2 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 4371 0 0 0 20 0 0 0 20 0 1 0 434214253 41447424 4202 33554432000 4194304 6211092 140733157156032 140733157150776 140078246493146 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 10119 4202 826 493 0 3424 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40476 KiB
Current children cumulated memory: 16808 KiB
[startup+0.309489 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 1348
/proc/meminfo: memFree=31265632/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=46260 memory=22616 CPUtime=0.3 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 5848 0 0 0 30 0 0 0 20 0 1 0 434214253 47370240 5654 33554432000 4194304 6211092 140733157156032 140733157150776 5283496 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 11565 5654 826 493 0 4870 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46260 KiB
Current children cumulated memory: 22616 KiB
[startup+0.700326 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1348
/proc/meminfo: memFree=31253356/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=70044 memory=46304 CPUtime=0.69 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 11776 0 0 0 67 2 0 0 20 0 1 0 434214253 71725056 11576 33554432000 4194304 6211092 140733157156032 140733157150776 5283496 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 17511 11576 826 493 0 10816 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70044 KiB
Current children cumulated memory: 46304 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1348
/proc/meminfo: memFree=31213580/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=103776 memory=80340 CPUtime=1.49 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 20370 0 0 0 146 3 0 0 20 0 1 0 434214253 106266624 20085 33554432000 4194304 6211092 140733157156032 140733157143912 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 25944 20085 900 493 0 19249 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 103776 KiB
Current children cumulated memory: 80340 KiB
[startup+3.10955 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1348
/proc/meminfo: memFree=31206896/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=104844 memory=81628 CPUtime=3.1 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 29893 0 0 0 306 4 0 0 20 0 1 0 434214253 107360256 20407 33554432000 4194304 6211092 140733157156032 140733157154168 5035216 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 26211 20407 900 493 0 19516 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 104844 KiB
Current children cumulated memory: 81628 KiB
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1348
/proc/meminfo: memFree=31205500/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=106076 memory=82816 CPUtime=6.28 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 39785 0 0 0 624 4 0 0 20 0 1 0 434214253 108621824 20704 33554432000 4194304 6211092 140733157156032 140733157154168 5157597 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 26519 20704 900 493 0 19824 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 106076 KiB
Current children cumulated memory: 82816 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1348
/proc/meminfo: memFree=31203848/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=107440 memory=84156 CPUtime=12.68 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 55907 0 0 0 1263 5 0 0 20 0 1 0 434214253 110018560 21039 33554432000 4194304 6211092 140733157156032 140733157154168 5148679 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 26860 21039 900 493 0 20165 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 107440 KiB
Current children cumulated memory: 84156 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1348
/proc/meminfo: memFree=31203616/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=107440 memory=84156 CPUtime=25.48 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 60884 0 0 0 2543 5 0 0 20 0 1 0 434214253 110018560 21039 33554432000 4194304 6211092 140733157156032 140733157154168 5250289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 26860 21039 900 493 0 20165 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 107440 KiB
Current children cumulated memory: 84156 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1350
/proc/meminfo: memFree=31202612/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=108396 memory=85180 CPUtime=51.07 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 67008 0 0 0 5102 5 0 0 20 0 1 0 434214253 110997504 21295 33554432000 4194304 6211092 140733157156032 140733157143912 5155800 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27099 21295 900 493 0 20404 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85180 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1354
/proc/meminfo: memFree=31202464/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=108396 memory=85180 CPUtime=102.26 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 67494 0 0 0 10221 5 0 0 20 0 1 0 434214253 110997504 21295 33554432000 4194304 6211092 140733157156032 140733157154168 5250251 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27099 21295 900 493 0 20404 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85180 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 1359
/proc/meminfo: memFree=31202116/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=108396 memory=85180 CPUtime=162.26 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 67695 0 0 0 16221 5 0 0 20 0 1 0 434214253 110997504 21295 33554432000 4194304 6211092 140733157156032 140733157154168 5250279 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27099 21295 900 493 0 20404 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85180 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 1365
/proc/meminfo: memFree=31202388/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=108396 memory=85180 CPUtime=222.26 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 67905 0 0 0 22221 5 0 0 20 0 1 0 434214253 110997504 21295 33554432000 4194304 6211092 140733157156032 140733157154168 5155968 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27099 21295 900 493 0 20404 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85180 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1369
/proc/meminfo: memFree=31202380/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=108396 memory=85180 CPUtime=282.25 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 68113 0 0 0 28220 5 0 0 20 0 1 0 434214253 110997504 21295 33554432000 4194304 6211092 140733157156032 140733157154168 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27099 21295 900 493 0 20404 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85180 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1373
/proc/meminfo: memFree=31202224/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=108396 memory=85180 CPUtime=342.25 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 68318 0 0 0 34220 5 0 0 20 0 1 0 434214253 110997504 21295 33554432000 4194304 6211092 140733157156032 140733157154168 5035216 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27099 21295 900 493 0 20404 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85180 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1379
/proc/meminfo: memFree=31202412/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=108396 memory=85180 CPUtime=402.26 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 68514 0 0 0 40220 6 0 0 20 0 1 0 434214253 110997504 21295 33554432000 4194304 6211092 140733157156032 140733157154168 5035283 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27099 21295 900 493 0 20404 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85180 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1383
/proc/meminfo: memFree=31202640/32770624 swapFree=66984604/67108860
[pid=1347] ppid=1344 vsize=108396 memory=85180 CPUtime=462.26 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 68700 0 0 0 46220 6 0 0 20 0 1 0 434214253 110997504 21295 33554432000 4194304 6211092 140733157156032 140733157154168 5250453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27099 21295 900 493 0 20404 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85180 KiB
################
# More data... #
################
/proc/1347/statm: 27235 21432 900 493 0 20540 0
Current children cumulated CPU time: 1602.21 s
Current children cumulated vsize: 108940 KiB
Current children cumulated memory: 85728 KiB
[startup+1662.3 s]
/proc/loadavg: 2.04 2.17 2.12 4/199 1688
/proc/meminfo: memFree=31205356/32770624 swapFree=66984616/67108860
[pid=1347] ppid=1344 vsize=108940 memory=85728 CPUtime=1662.21 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 74285 0 0 0 166215 6 0 0 20 0 1 0 434214253 111554560 21432 33554432000 4194304 6211092 140733157156032 140733157143912 5035232 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27235 21432 900 493 0 20540 0
Current children cumulated CPU time: 1662.21 s
Current children cumulated vsize: 108940 KiB
Current children cumulated memory: 85728 KiB
[startup+1722.3 s]
/proc/loadavg: 2.01 2.14 2.12 4/199 1692
/proc/meminfo: memFree=31205456/32770624 swapFree=66984616/67108860
[pid=1347] ppid=1344 vsize=108940 memory=85728 CPUtime=1722.21 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 74536 0 0 0 172215 6 0 0 20 0 1 0 434214253 111554560 21432 33554432000 4194304 6211092 140733157156032 140733157143912 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27235 21432 900 493 0 20540 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 108940 KiB
Current children cumulated memory: 85728 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.11 2.11 4/200 1704
/proc/meminfo: memFree=31205920/32770624 swapFree=66984620/67108860
[pid=1347] ppid=1344 vsize=109072 memory=85800 CPUtime=1782.21 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 74979 0 0 0 178215 6 0 0 20 0 1 0 434214253 111689728 21450 33554432000 4194304 6211092 140733157156032 140733157154168 5035216 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27268 21450 900 493 0 20573 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85800 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.09 2.11 4/200 1732
/proc/meminfo: memFree=31204868/32770624 swapFree=66984628/67108860
[pid=1347] ppid=1344 vsize=109072 memory=85800 CPUtime=1842.21 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 75256 0 0 0 184215 6 0 0 20 0 1 0 434214253 111689728 21450 33554432000 4194304 6211092 140733157156032 140733157154168 5392078 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27268 21450 900 493 0 20573 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85800 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.07 2.10 4/200 1736
/proc/meminfo: memFree=31205040/32770624 swapFree=66984628/67108860
[pid=1347] ppid=1344 vsize=109072 memory=85800 CPUtime=1902.2 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 75502 0 0 0 190214 6 0 0 20 0 1 0 434214253 111689728 21450 33554432000 4194304 6211092 140733157156032 140733157154168 5193754 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27268 21450 900 493 0 20573 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85800 KiB
[startup+1962.3 s]
/proc/loadavg: 1.99 2.05 2.09 3/200 1800
/proc/meminfo: memFree=31206728/32770624 swapFree=66984628/67108860
[pid=1347] ppid=1344 vsize=109072 memory=85800 CPUtime=1962.2 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 75787 0 0 0 196214 6 0 0 20 0 1 0 434214253 111689728 21450 33554432000 4194304 6211092 140733157156032 140733157154168 5250287 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27268 21450 900 493 0 20573 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85800 KiB
[startup+2022.3 s]
/proc/loadavg: 1.99 2.04 2.08 3/200 1806
/proc/meminfo: memFree=31206080/32770624 swapFree=66984628/67108860
[pid=1347] ppid=1344 vsize=109072 memory=85800 CPUtime=2022.2 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 76028 0 0 0 202214 6 0 0 20 0 1 0 434214253 111689728 21450 33554432000 4194304 6211092 140733157156032 140733157154168 5035326 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27268 21450 900 493 0 20573 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85800 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/199 1810
/proc/meminfo: memFree=31206612/32770624 swapFree=66984628/67108860
[pid=1347] ppid=1344 vsize=109072 memory=85800 CPUtime=2082.2 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 76243 0 0 0 208214 6 0 0 20 0 1 0 434214253 111689728 21450 33554432000 4194304 6211092 140733157156032 140733157154168 5155944 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27268 21450 900 493 0 20573 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85800 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.04 2.08 3/199 1814
/proc/meminfo: memFree=31207056/32770624 swapFree=66984628/67108860
[pid=1347] ppid=1344 vsize=109072 memory=85800 CPUtime=2142.19 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 76529 0 0 0 214213 6 0 0 20 0 1 0 434214253 111689728 21450 33554432000 4194304 6211092 140733157156032 140733157154168 5250275 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27268 21450 900 493 0 20573 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85800 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.04 2.07 3/199 1820
/proc/meminfo: memFree=31206404/32770624 swapFree=66984628/67108860
[pid=1347] ppid=1344 vsize=109072 memory=85800 CPUtime=2202.19 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 76724 0 0 0 220213 6 0 0 20 0 1 0 434214253 111689728 21450 33554432000 4194304 6211092 140733157156032 140733157154168 5149136 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27268 21450 900 493 0 20573 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85800 KiB
[startup+2262.3 s]
/proc/loadavg: 2.05 2.04 2.07 3/199 1824
/proc/meminfo: memFree=31206188/32770624 swapFree=66984628/67108860
[pid=1347] ppid=1344 vsize=109072 memory=85800 CPUtime=2262.19 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 77100 0 0 0 226213 6 0 0 20 0 1 0 434214253 111689728 21450 33554432000 4194304 6211092 140733157156032 140733157154168 5035272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27268 21450 900 493 0 20573 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85800 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.04 2.06 3/199 1828
/proc/meminfo: memFree=31205876/32770624 swapFree=66984628/67108860
[pid=1347] ppid=1344 vsize=109072 memory=85844 CPUtime=2322.19 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 77562 0 0 0 232213 6 0 0 20 0 1 0 434214253 111689728 21461 33554432000 4194304 6211092 140733157156032 140733157143912 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27268 21461 900 493 0 20573 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85844 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.06 3/199 1841
/proc/meminfo: memFree=31205816/32770624 swapFree=66984628/67108860
[pid=1347] ppid=1344 vsize=109072 memory=85844 CPUtime=2382.19 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 77826 0 0 0 238213 6 0 0 20 0 1 0 434214253 111689728 21461 33554432000 4194304 6211092 140733157156032 140733157143912 5149244 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27268 21461 900 493 0 20573 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.01 2.03 2.06 3/199 1841
/proc/meminfo: memFree=31205872/32770624 swapFree=66984628/67108860
[pid=1347] ppid=1344 vsize=109072 memory=85844 CPUtime=2400.09 cores=1,3,5,7
/proc/1347/stat : 1347 (cosoco) R 1344 1347 32461 0 -1 4202496 77832 0 0 0 240003 6 0 0 20 0 1 0 434214253 111689728 21461 33554432000 4194304 6211092 140733157156032 140733157143912 5250467 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 18595840 140733157159947 140733157160049 140733157160049 140733157162958 0
/proc/1347/statm: 27268 21461 900 493 0 20573 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 1347 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.03 s, system=0.069997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.1
CPU user time (s): 2400.03
CPU system time (s): 0.069997
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 109072
Max. memory (cumulated for all children) (KiB): 85844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.069997
maximum resident set size= 85908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77884
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= 43
involuntary context switches= 628
# summary of solver processes directly reported to runsolver:
# pid: 1347
# total CPU time (s): 2400.1
# total CPU user time (s): 2400.03
# total CPU system time (s): 0.069997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.51492 second user time and 16.4137 second system time
The end
Begin job on node121 at 2019-09-15 22:31:14 IDJOB=4397609 IDBENCH=127010 IDSOLVER=2849 FILE ID=node121/4397609-1568579516 RUNJOBID= node121-1568572742-32493 PBS_JOBID= 21703328 Free space on /tmp= 61404 MiB SOLVER NAME= cosoco 2.0 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-4397609-1568579516/watcher-4397609-1568579516 -o /tmp/evaluation-result-4397609-1568579516/solver-4397609-1568579516 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568572742-32493 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397609-1568579516.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 008177aac4f491992dc0e91994ba9658 RANDOM SEED=1112019617 node121.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.75 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: 31285548 kB MemAvailable: 31898572 kB Buffers: 192612 kB Cached: 725540 kB SwapCached: 16480 kB Active: 469520 kB Inactive: 475712 kB Active(anon): 14456 kB Inactive(anon): 54700 kB Active(file): 455064 kB Inactive(file): 421012 kB Unevictable: 108516 kB Mlocked: 108516 kB SwapTotal: 67108860 kB SwapFree: 66984604 kB Dirty: 2764 kB Writeback: 4 kB AnonPages: 119600 kB Mapped: 42388 kB Shmem: 33164 kB Slab: 134660 kB SReclaimable: 105568 kB SUnreclaim: 29092 kB KernelStack: 3552 kB PageTables: 5620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 542416 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61404 MiB End job on node121 at 2019-09-15 23:11:14