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.08 | 2399.9 |
| 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-4408869-1569795217.xml 0.00/0.05 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.21/0.29 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.33 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.36 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.31/0.40 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.43 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.47 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.41/0.50 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.54 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 c intension -> extension : same as previous 0.51/0.57 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.69/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.83 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.85 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.86 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.87 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.88 c intension eq(mul(c[50],c[50]),s[50]) -> extension (support ? 1) - 23tuples 0.79/0.88 c intension eq(mul(c[51],c[51]),s[51]) -> extension (support ? 1) - 21tuples 0.79/0.89 c intension eq(mul(c[52],c[52]),s[52]) -> extension (support ? 1) - 19tuples 0.79/0.89 c intension eq(mul(c[53],c[53]),s[53]) -> extension (support ? 1) - 17tuples 0.79/0.89 c intension eq(mul(c[54],c[54]),s[54]) -> extension (support ? 1) - 15tuples 0.79/0.89 c intension eq(mul(c[55],c[55]),s[55]) -> extension (support ? 1) - 13tuples 0.79/0.89 c intension eq(mul(c[56],c[56]),s[56]) -> extension (support ? 1) - 11tuples 0.79/0.89 c intension eq(mul(c[57],c[57]),s[57]) -> extension (support ? 1) - 9tuples 0.79/0.89 c intension eq(mul(c[58],c[58]),s[58]) -> extension (support ? 1) - 7tuples 0.79/0.89 c intension eq(mul(c[59],c[59]),s[59]) -> extension (support ? 1) - 5tuples 0.79/0.89 c intension eq(mul(c[60],c[60]),s[60]) -> extension (support ? 1) - 3tuples 1.00/1.01 c enable optimization 1.00/1.01 c ========================================[ Problem Statistics ]=========================================== 1.00/1.01 c | 1.00/1.01 c | Parse time : 0.87 s 1.00/1.01 c | 1.00/1.01 c | Variables: 3905 1.00/1.01 c | Domain Sizes: 2..123 1.00/1.01 c | 1.00/1.01 c | Constraints: 2014 1.00/1.01 c | Arity: 2..62 -- Binary: 62 -- Ternary: 1892 1.00/1.01 c | 1.00/1.01 c | Types: 1.00/1.01 c | Extension: 1952 (nb tuples: 3..123) -- (shared: 1890) 1.00/1.01 c | Sum: 62 1.00/1.01 c | 1.00/1.01 c | Objective: Minimize Sum 1.00/1.01 1.00/1.01 c ========================================================================================================= 1.00/1.01 o 8995 1.00/1.01 c 1 calls to solver(id=0): best=8995 lower=0 upper=8994 1.30/1.32 o 8075 1.59/1.64 o 8059 1.59/1.64 c 3 calls to solver(id=0): best=8059 lower=0 upper=8058 2.00/2.05 o 7611 2.29/2.39 o 5771 2.29/2.39 c 5 calls to solver(id=0): best=5771 lower=0 upper=5770 2.69/2.70 o 3659 2.89/3.00 o 2435 2.89/3.00 c 7 calls to solver(id=0): best=2435 lower=0 upper=2434 3.29/3.38 o 2179 3.69/3.70 o 2083 3.69/3.70 c 9 calls to solver(id=0): best=2083 lower=0 upper=2082 4.00/4.02 o 1907 4.29/4.32 o 1891 4.29/4.32 c 11 calls to solver(id=0): best=1891 lower=0 upper=1890 4.59/4.61 o 1443 4.89/4.91 o 1363 4.89/4.91 c 13 calls to solver(id=0): best=1363 lower=0 upper=1362 5.19/5.24 o 1331 5.49/5.53 o 1067 5.49/5.53 c 15 calls to solver(id=0): best=1067 lower=0 upper=1066 5.89/5.95 o 1035 7.59/7.61 o 1003 7.59/7.61 c 17 calls to solver(id=0): best=1003 lower=0 upper=1002 8.69/8.77 o 931 29.28/29.35 o 915 29.28/29.35 c 19 calls to solver(id=0): best=915 lower=0 upper=914 34.58/34.63 o 907 49.57/49.61 o 739 49.57/49.61 c 21 calls to solver(id=0): best=739 lower=0 upper=738 60.47/60.58 o 707 476.51/476.59 o 667 476.51/476.59 c 23 calls to solver(id=0): best=667 lower=0 upper=666 1313.89/1313.89 o 651 1316.49/1316.49 o 643 1316.49/1316.49 c 25 calls to solver(id=0): best=643 lower=0 upper=642 1795.92/1795.80 o 627 2288.27/2288.17 o 595 2288.27/2288.17 c 27 calls to solver(id=0): best=595 lower=0 upper=594 2400.07/2399.90 2400.07/2399.90 c *** INTERRUPTED *** 2400.07/2399.90 c call to solver : 27 2400.07/2399.90 c 2400.07/2399.90 c restarts : 468 2400.07/2399.90 c conflicts : 750708 (313 /sec) 2400.07/2399.90 c decisions : 20020686 (8342 /sec) 2400.07/2399.90 c propagations : 1112901635 (463707 /sec) 2400.07/2399.90 c root propagations : 9639 2400.07/2399.90 c filter calls : 892323345 (371799 /sec) 2400.07/2399.90 c useless filter calls : 357037454 (40 %) 2400.07/2399.90 c Memory used : 106.52 MB 2400.07/2399.90 c Best bound time (wc) : 2288.18 s 2400.07/2399.90 c CPU time : 2400.01 s 2400.07/2399.90 c real time : 2399.9 s 2400.07/2399.90 2400.07/2399.90 c nb Solutions = 27 2400.07/2399.90 s SATISFIABLE 2400.07/2399.90 c Best value found: 595 2400.07/2399.90 2400.07/2399.90 2400.07/2399.90 v <instantiation type='solution' cost='595'> 2400.07/2399.90 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[4] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[5] c[60] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[4] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[5] s[60] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][3] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][4] y[0][50] y[0][51] y[0][52] y[0][53] y[0][54] y[0][55] y[0][56] y[0][57] y[0][58] y[0][59] y[0][5] y[0][60] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][3] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][4] y[10][50] y[10][51] y[10][52] y[10][53] y[10][54] y[10][55] y[10][56] y[10][57] y[10][58] y[10][59] y[10][5] y[10][60] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][3] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][4] y[11][50] y[11][51] y[11][52] y[11][53] y[11][54] y[11][55] y[11][56] y[11][57] y[11][58] y[11][59] y[11][5] y[11][60] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][3] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][4] y[12][50] y[12][51] y[12][52] y[12][53] y[12][54] y[12][55] y[12][56] y[12][57] y[12][58] y[12][59] y[12][5] y[12][60] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][3] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][4] y[13][50] y[13][51] y[13][52] y[13][53] y[13][54] y[13][55] y[13][56] y[13][57] y[13][58] y[13][59] y[13][5] y[13][60] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][3] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][4] y[14][50] y[14][51] y[14][52] y[14][53] y[14][54] y[14][55] y[14][56] y[14][57] y[14][58] y[14][59] y[14][5] y[14][60] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][3] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][4] y[15][50] y[15][51] y[15][52] y[15][53] y[15][54] y[15][55] y[15][56] y[15][57] y[15][58] y[15][59] y[15][5] y[15][60] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][3] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][4] y[16][50] y[16][51] y[16][52] y[16][53] y[16][54] y[16][55] y[16][56] y[16][57] y[16][58] y[16][59] y[16][5] y[16][60] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][3] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][4] y[17][50] y[17][51] y[17][52] y[17][53] y[17][54] y[17][55] y[17][56] y[17][57] y[17][58] y[17][59] y[17][5] y[17][60] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][3] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][4] y[18][50] y[18][51] y[18][52] y[18][53] y[18][54] y[18][55] y[18][56] y[18][57] y[18][58] y[18][59] y[18][5] y[18][60] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][3] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][4] y[19][50] y[19][51] y[19][52] y[19][53] y[19][54] y[19][55] y[19][56] y[19][57] y[19][58] y[19][59] y[19][5] y[19][60] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][3] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][4] y[1][50] y[1][51] y[1][52] y[1][53] y[1][54] y[1][55] y[1][56] y[1][57] y[1][58] y[1][59] y[1][5] y[1][60] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][3] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][4] y[20][50] y[20][51] y[20][52] y[20][53] y[20][54] y[20][55] y[20][56] y[20][57] y[20][58] y[20][59] y[20][5] y[20][60] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][3] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][4] y[21][50] y[21][51] y[21][52] y[21][53] y[21][54] y[21][55] y[21][56] y[21][57] y[21][58] y[21][59] y[21][5] y[21][60] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][3] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][4] y[22][50] y[22][51] y[22][52] y[22][53] y[22][54] y[22][55] y[22][56] y[22][57] y[22][58] y[22][59] y[22][5] y[22][60] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][3] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][4] y[23][50] y[23][51] y[23][52] y[23][53] y[23][54] y[23][55] y[23][56] y[23][57] y[23][58] y[23][59] y[23][5] y[23][60] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][3] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][4] y[24][50] y[24][51] y[24][52] y[24][53] y[24][54] y[24][55] y[24][56] y[24][57] y[24][58] y[24][59] y[24][5] y[24][60] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][3] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][4] y[25][50] y[25][51] y[25][52] y[25][53] y[25][54] y[25][55] y[25][56] y[25][57] y[25][58] y[25][59] y[25][5] y[25][60] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][3] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][4] y[26][50] y[26][51] y[26][52] y[26][53] y[26][54] y[26][55] y[26][56] y[26][57] y[26][58] y[26][59] y[26][5] y[26][60] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][3] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][4] y[27][50] y[27][51] y[27][52] y[27][53] y[27][54] y[27][55] y[27][56] y[27][57] y[27][58] y[27][59] y[27][5] y[27][60] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][3] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][4] y[28][50] y[28][51] y[28][52] y[28][53] y[28][54] y[28][55] y[28][56] y[28][57] y[28][58] y[28][59] y[28][5] y[28][60] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][3] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][4] y[29][50] y[29][51] y[29][52] y[29][53] y[29][54] y[29][55] y[29][56] y[29][57] y[29][58] y[29][59] y[29][5] y[29][60] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][3] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][4] y[2][50] y[2][51] y[2][52] y[2][53] y[2][54] y[2][55] y[2][56] y[2][57] y[2][58] y[2][59] y[2][5] y[2][60] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][3] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][4] y[30][50] y[30][51] y[30][52] y[30][53] y[30][54] y[30][55] y[30][56] y[30][57] y[30][58] y[30][59] y[30][5] y[30][60] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][3] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][4] y[31][50] y[31][51] y[31][52] y[31][53] y[31][54] y[31][55] y[31][56] y[31][57] y[31][58] y[31][59] y[31][5] y[31][60] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][3] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][4] y[32][50] y[32][51] y[32][52] y[32][53] y[32][54] y[32][55] y[32][56] y[32][57] y[32][58] y[32][59] y[32][5] y[32][60] y[32][6] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][3] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][4] y[33][50] y[33][51] y[33][52] y[33][53] y[33][54] y[33][55] y[33][56] y[33][57] y[33][58] y[33][59] y[33][5] y[33][60] y[33][6] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][3] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][4] y[34][50] y[34][51] y[34][52] y[34][53] y[34][54] y[34][55] y[34][56] y[34][57] y[34][58] y[34][59] y[34][5] y[34][60] y[34][6] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][3] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][4] y[35][50] y[35][51] y[35][52] y[35][53] y[35][54] y[35][55] y[35][56] y[35][57] y[35][58] y[35][59] y[35][5] y[35][60] y[35][6] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][3] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][4] y[36][50] y[36][51] y[36][52] y[36][53] y[36][54] y[36][55] y[36][56] y[36][57] y[36][58] y[36][59] y[36][5] y[36][60] y[36][6] y[36][7] y[36][8] y[36][9] y[37][0] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][1] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][2] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][3] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][4] y[37][50] y[37][51] y[37][52] y[37][53] y[37][54] y[37][55] y[37][56] y[37][57] y[37][58] y[37][59] y[37][5] y[37][60] y[37][6] y[37][7] y[37][8] y[37][9] y[38][0] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][1] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][2] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][3] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][4] y[38][50] y[38][51] y[38][52] y[38][53] y[38][54] y[38][55] y[38][56] y[38][57] y[38][58] y[38][59] y[38][5] y[38][60] y[38][6] y[38][7] y[38][8] y[38][9] y[39][0] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][1] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][2] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][3] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][4] y[39][50] y[39][51] y[39][52] y[39][53] y[39][54] y[39][55] y[39][56] y[39][57] y[39][58] y[39][59] y[39][5] y[39][60] y[39][6] y[39][7] y[39][8] y[39][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][3] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][4] y[3][50] y[3][51] y[3][52] y[3][53] y[3][54] y[3][55] y[3][56] y[3][57] y[3][58] y[3][59] y[3][5] y[3][60] y[3][6] y[3][7] y[3][8] y[3][9] y[40][0] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][1] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][2] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][3] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][4] y[40][50] y[40][51] y[40][52] y[40][53] y[40][54] y[40][55] y[40][56] y[40][57] y[40][58] y[40][59] y[40][5] y[40][60] y[40][6] y[40][7] y[40][8] y[40][9] y[41][0] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][1] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][2] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][3] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][4] y[41][50] y[41][51] y[41][52] y[41][53] y[41][54] y[41][55] y[41][56] y[41][57] y[41][58] y[41][59] y[41][5] y[41][60] y[41][6] y[41][7] y[41][8] y[41][9] y[42][0] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][1] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][2] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][3] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][4] y[42][50] y[42][51] y[42][52] y[42][53] y[42][54] y[42][55] y[42][56] y[42][57] y[42][58] y[42][59] y[42][5] y[42][60] y[42][6] y[42][7] y[42][8] y[42][9] y[43][0] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][1] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][2] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][3] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][4] y[43][50] y[43][51] y[43][52] y[43][53] y[43][54] y[43][55] y[43][56] y[43][57] y[43][58] y[43][59] y[43][5] y[43][60] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][1] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][2] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][3] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][4] y[44][50] y[44][51] y[44][52] y[44][53] y[44][54] y[44][55] y[44][56] y[44][57] y[44][58] y[44][59] y[44][5] y[44][60] y[44][6] y[44][7] y[44][8] y[44][9] y[45][0] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][1] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][2] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][3] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][4] y[45][50] y[45][51] y[45][52] y[45][53] y[45][54] y[45][55] y[45][56] y[45][57] y[45][58] y[45][59] y[45][5] y[45][60] y[45][6] y[45][7] y[45][8] y[45][9] y[46][0] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][1] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][2] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][3] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][4] y[46][50] y[46][51] y[46][52] y[46][53] y[46][54] y[46][55] y[46][56] y[46][57] y[46][58] y[46][59] y[46][5] y[46][60] y[46][6] y[46][7] y[46][8] y[46][9] y[47][0] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][1] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][2] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][3] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][4] y[47][50] y[47][51] y[47][52] y[47][53] y[47][54] y[47][55] y[47][56] y[47][57] y[47][58] y[47][59] y[47][5] y[47][60] y[47][6] y[47][7] y[47][8] y[47][9] y[48][0] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][1] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][2] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][3] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][4] y[48][50] y[48][51] y[48][52] y[48][53] y[48][54] y[48][55] y[48][56] y[48][57] y[48][58] y[48][59] y[48][5] y[48][60] y[48][6] y[48][7] y[48][8] y[48][9] y[49][0] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][1] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][2] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][3] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][4] y[49][50] y[49][51] y[49][52] y[49][53] y[49][54] y[49][55] y[49][56] y[49][57] y[49][58] y[49][59] y[49][5] y[49][60] y[49][6] y[49][7] y[49][8] y[49][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][3] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][4] y[4][50] y[4][51] y[4][52] y[4][53] y[4][54] y[4][55] y[4][56] y[4][57] y[4][58] y[4][59] y[4][5] y[4][60] y[4][6] y[4][7] y[4][8] y[4][9] y[50][0] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][1] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][2] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][3] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][4] y[50][50] y[50][51] y[50][52] y[50][53] y[50][54] y[50][55] y[50][56] y[50][57] y[50][58] y[50][59] y[50][5] y[50][60] y[50][6] y[50][7] y[50][8] y[50][9] y[51][0] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][1] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][2] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][3] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][4] y[51][50] y[51][51] y[51][52] y[51][53] y[51][54] y[51][55] y[51][56] y[51][57] y[51][58] y[51][59] y[51][5] y[51][60] y[51][6] y[51][7] y[51][8] y[51][9] y[52][0] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][1] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][2] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][3] y[52][40] y[52][41] y[52][42] y[52][43] y[52][44] y[52][45] y[52][46] y[52][47] y[52][48] y[52][49] y[52][4] y[52][50] y[52][51] y[52][52] y[52][53] y[52][54] y[52][55] y[52][56] y[52][57] y[52][58] y[52][59] y[52][5] y[52][60] y[52][6] y[52][7] y[52][8] y[52][9] y[53][0] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][1] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][2] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][3] y[53][40] y[53][41] y[53][42] y[53][43] y[53][44] y[53][45] y[53][46] y[53][47] y[53][48] y[53][49] y[53][4] y[53][50] y[53][51] y[53][52] y[53][53] y[53][54] y[53][55] y[53][56] y[53][57] y[53][58] y[53][59] y[53][5] y[53][60] y[53][6] y[53][7] y[53][8] y[53][9] y[54][0] y[54][10] y[54][11] y[54][12] y[54][13] y[54][14] y[54][15] y[54][16] y[54][17] y[54][18] y[54][19] y[54][1] y[54][20] y[54][21] y[54][22] y[54][23] y[54][24] y[54][25] y[54][26] y[54][27] y[54][28] y[54][29] y[54][2] y[54][30] y[54][31] y[54][32] y[54][33] y[54][34] y[54][35] y[54][36] y[54][37] y[54][38] y[54][39] y[54][3] y[54][40] y[54][41] y[54][42] y[54][43] y[54][44] y[54][45] y[54][46] y[54][47] y[54][48] y[54][49] y[54][4] y[54][50] y[54][51] y[54][52] y[54][53] y[54][54] y[54][55] y[54][56] y[54][57] y[54][58] y[54][59] y[54][5] y[54][60] y[54][6] y[54][7] y[54][8] y[54][9] y[55][0] y[55][10] y[55][11] y[55][12] y[55][13] y[55][14] y[55][15] y[55][16] y[55][17] y[55][18] y[55][19] y[55][1] y[55][20] y[55][21] y[55][22] y[55][23] y[55][24] y[55][25] y[55][26] y[55][27] y[55][28] y[55][29] y[55][2] y[55][30] y[55][31] y[55][32] y[55][33] y[55][34] y[55][35] y[55][36] y[55][37] y[55][38] y[55][39] y[55][3] y[55][40] y[55][41] y[55][42] y[55][43] y[55][44] y[55][45] y[55][46] y[55][47] y[55][48] y[55][49] y[55][4] y[55][50] y[55][51] y[55][52] y[55][53] y[55][54] y[55][55] y[55][56] y[55][57] y[55][58] y[55][59] y[55][5] y[55][60] y[55][6] y[55][7] y[55][8] y[55][9] y[56][0] y[56][10] y[56][11] y[56][12] y[56][13] y[56][14] y[56][15] y[56][16] y[56][17] y[56][18] y[56][19] y[56][1] y[56][20] y[56][21] y[56][22] y[56][23] y[56][24] y[56][25] y[56][26] y[56][27] y[56][28] y[56][29] y[56][2] y[56][30] y[56][31] y[56][32] y[56][33] y[56][34] y[56][35] y[56][36] y[56][37] y[56][38] y[56][39] y[56][3] y[56][40] y[56][41] y[56][42] y[56][43] y[56][44] y[56][45] y[56][46] y[56][47] y[56][48] y[56][49] y[56][4] y[56][50] y[56][51] y[56][52] y[56][53] y[56][54] y[56][55] y[56][56] y[56][57] y[56][58] y[56][59] y[56][5] y[56][60] y[56][6] y[56][7] y[56][8] y[56][9] y[57][0] y[57][10] y[57][11] y[57][12] y[57][13] y[57][14] y[57][15] y[57][16] y[57][17] y[57][18] y[57][19] y[57][1] y[57][20] y[57][21] y[57][22] y[57][23] y[57][24] y[57][25] y[57][26] y[57][27] y[57][28] y[57][29] y[57][2] y[57][30] y[57][31] y[57][32] y[57][33] y[57][34] y[57][35] y[57][36] y[57][37] y[57][38] y[57][39] y[57][3] y[57][40] y[57][41] y[57][42] y[57][43] y[57][44] y[57][45] y[57][46] y[57][47] y[57][48] y[57][49] y[57][4] y[57][50] y[57][51] y[57][52] y[57][53] y[57][54] y[57][55] y[57][56] y[57][57] y[57][58] y[57][59] y[57][5] y[57][60] y[57][6] y[57][7] y[57][8] y[57][9] y[58][0] y[58][10] y[58][11] y[58][12] y[58][13] y[58][14] y[58][15] y[58][16] y[58][17] y[58][18] y[58][19] y[58][1] y[58][20] y[58][21] y[58][22] y[58][23] y[58][24] y[58][25] y[58][26] y[58][27] y[58][28] y[58][29] y[58][2] y[58][30] y[58][31] y[58][32] y[58][33] y[58][34] y[58][35] y[58][36] y[58][37] y[58][38] y[58][39] y[58][3] y[58][40] y[58][41] y[58][42] y[58][43] y[58][44] y[58][45] y[58][46] y[58][47] y[58][48] y[58][49] y[58][4] y[58][50] y[58][51] y[58][52] y[58][53] y[58][54] y[58][55] y[58][56] y[58][57] y[58][58] y[58][59] y[58][5] y[58][60] y[58][6] y[58][7] y[58][8] y[58][9] y[59][0] y[59][10] y[59][11] y[59][12] y[59][13] y[59][14] y[59][15] y[59][16] y[59][17] y[59][18] y[59][19] y[59][1] y[59][20] y[59][21] y[59][22] y[59][23] y[59][24] y[59][25] y[59][26] y[59][27] y[59][28] y[59][29] y[59][2] y[59][30] y[59][31] y[59][32] y[59][33] y[59][34] y[59][35] y[59][36] y[59][37] y[59][38] y[59][39] y[59][3] y[59][40] y[59][41] y[59][42] y[59][43] y[59][44] y[59][45] y[59][46] y[59][47] y[59][48] y[59][49] y[59][4] y[59][50] y[59][51] y[59][52] y[59][53] y[59][54] y[59][55] y[59][56] y[59][57] y[59][58] y[59][59] y[59][5] y[59][60] y[59][6] y[59][7] y[59][8] y[59][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][3] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][4] y[5][50] y[5][51] y[5][52] y[5][53] y[5][54] y[5][55] y[5][56] y[5][57] y[5][58] y[5][59] y[5][5] y[5][60] y[5][6] y[5][7] y[5][8] y[5][9] y[60][0] y[60][10] y[60][11] y[60][12] y[60][13] y[60][14] y[60][15] y[60][16] y[60][17] y[60][18] y[60][19] y[60][1] y[60][20] y[60][21] y[60][22] y[60][23] y[60][24] y[60][25] y[60][26] y[60][27] y[60][28] y[60][29] y[60][2] y[60][30] y[60][31] y[60][32] y[60][33] y[60][34] y[60][35] y[60][36] y[60][37] y[60][38] y[60][39] y[60][3] y[60][40] y[60][41] y[60][42] y[60][43] y[60][44] y[60][45] y[60][46] y[60][47] y[60][48] y[60][49] y[60][4] y[60][50] y[60][51] y[60][52] y[60][53] y[60][54] y[60][55] y[60][56] y[60][57] y[60][58] y[60][59] y[60][5] y[60][60] y[60][6] y[60][7] y[60][8] y[60][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][3] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][4] y[6][50] y[6][51] y[6][52] y[6][53] y[6][54] y[6][55] y[6][56] y[6][57] y[6][58] y[6][59] y[6][5] y[6][60] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][3] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][4] y[7][50] y[7][51] y[7][52] y[7][53] y[7][54] y[7][55] y[7][56] y[7][57] y[7][58] y[7][59] y[7][5] y[7][60] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][3] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][4] y[8][50] y[8][51] y[8][52] y[8][53] y[8][54] y[8][55] y[8][56] y[8][57] y[8][58] y[8][59] y[8][5] y[8][60] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][3] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][4] y[9][50] y[9][51] y[9][52] y[9][53] y[9][54] y[9][55] y[9][56] y[9][57] y[9][58] y[9][59] y[9][5] y[9][60] y[9][6] y[9][7] y[9][8] y[9][9] </list> 2400.07/2399.90 v <values>5 -3 0 -3 -4 3 0 3 2 1 0 2 3 2 -5 -2 3 -4 3 -2 -1 0 -5 -1 6 -1 -4 3 -2 7 0 -1 -4 -2 -1 6 5 0 -1 -2 -1 2 -3 2 1 5 2 1 2 1 -2 -3 0 -1 0 4 1 1 0 -7 8 25 9 0 9 16 9 0 9 4 1 0 4 9 4 25 4 9 16 9 4 1 0 25 1 36 1 16 9 4 49 0 1 16 4 1 36 25 0 1 4 1 4 9 4 1 25 4 1 4 1 4 9 0 1 0 16 1 1 0 49 64 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 * * * * * * * * * -1 * -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 * * * * * * * * * * -1 * -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 * -1 * * * * * * * * * * -1 * -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 * * -1 * * * * * * * * * * -1 * 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 * * * -1 * * * * * * * * * * 1 * -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 1 * * * * 1 * * * * * * * * * * -1 * 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 * * * * * -1 * * * * * * * * * * 1 * -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 * * * * * * 1 * * * * * * * * * * -1 * 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 * * * * * * * -1 * * * * * * * * * * 1 * 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 * * * * * * * * 1 * * * * * * * * * * 1 * 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 * 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 * * * * * * * * * 1 * * * * * * * * * * 1 * 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 * 1 * 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 * * 1 * 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * 1 1 1 -1 1 1 1 1 1 1 1 1 -1 -1 1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * -1 1 1 -1 1 -1 -1 -1 1 1 1 1 * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * -1 -1 -1 -1 1 1 -1 1 -1 1 -1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * 1 1 -1 -1 -1 1 1 -1 -1 -1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * -1 1 -1 1 1 -1 -1 -1 1 * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * -1 1 1 1 -1 1 -1 1 * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 -1 1 -1 1 1 1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 * * * 1 * -1 1 -1 1 1 -1 * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * 1 1 1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * -1 -1 1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * 1 -1 -1 * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * 1 1 * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * -1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 * * * * -1 * -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 * * * * * -1 * -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 * * * * * * -1 * 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 * * * * * * * 1 * 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 * * * * * * * * 1 * -1 1 -1 -1 </values> 2400.07/2399.90 v </instantiation> 2400.07/2399.90
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 (15128 MiB free)
memory of node 1: 16384 MiB (15153 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408869-1569795217/watcher-4408869-1569795217 -o /tmp/evaluation-result-4408869-1569795217/solver-4408869-1569795217 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569783690-24391 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408869-1569795217.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26054, runsolver pid=26051
[startup+0.100152 s]*
/proc/loadavg: 2.08 2.03 2.05 3/199 26055
/proc/meminfo: memFree=31002172/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=33864 memory=10204 CPUtime=0.1 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 2728 0 0 0 10 0 0 0 20 0 1 0 555779124 34676736 2551 33554432000 4194304 6211132 140730220301120 140730220297656 5283535 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 8466 2551 826 493 0 1771 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33864 KiB
Current children cumulated memory: 10204 KiB
[startup+0.210114 s]*
/proc/loadavg: 2.08 2.03 2.05 3/199 26055
/proc/meminfo: memFree=30995320/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=40612 memory=16804 CPUtime=0.21 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 4404 0 0 0 21 0 0 0 20 0 1 0 555779124 41586688 4201 33554432000 4194304 6211132 140730220301120 140730220297656 140156735752096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 10153 4201 826 493 0 3458 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40612 KiB
Current children cumulated memory: 16804 KiB
[startup+0.309677 s]*
/proc/loadavg: 2.08 2.03 2.05 3/199 26055
/proc/meminfo: memFree=30989244/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=46672 memory=22876 CPUtime=0.31 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 5934 0 0 0 30 1 0 0 20 0 1 0 555779124 47792128 5719 33554432000 4194304 6211132 140730220301120 140730220297656 140156735752096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 11668 5719 826 493 0 4973 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46672 KiB
Current children cumulated memory: 22876 KiB
[startup+0.700366 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 26055
/proc/meminfo: memFree=30976804/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=70044 memory=46296 CPUtime=0.69 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 11789 0 0 0 67 2 0 0 20 0 1 0 555779124 71725056 11574 33554432000 4194304 6211132 140730220301120 140730220295864 5283528 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 17511 11574 826 493 0 10816 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70044 KiB
Current children cumulated memory: 46296 KiB
[startup+1.50041 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 26055
/proc/meminfo: memFree=30941104/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=103776 memory=80332 CPUtime=1.49 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 20368 0 0 0 146 3 0 0 20 0 1 0 555779124 106266624 20083 33554432000 4194304 6211132 140730220301120 140730220296616 5035283 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 25944 20083 900 493 0 19249 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 103776 KiB
Current children cumulated memory: 80332 KiB
[startup+3.10983 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 26056
/proc/meminfo: memFree=30930456/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=104844 memory=81364 CPUtime=3.1 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 31208 0 0 0 307 3 0 0 20 0 1 0 555779124 107360256 20341 33554432000 4194304 6211132 140730220301120 140730220289000 5035283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 26211 20341 900 493 0 19516 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 104844 KiB
Current children cumulated memory: 81364 KiB
[startup+6.30039 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 26056
/proc/meminfo: memFree=30929120/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=106076 memory=82628 CPUtime=6.29 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 42218 0 0 0 626 3 0 0 20 0 1 0 555779124 108621824 20657 33554432000 4194304 6211132 140730220301120 140730220299256 5250316 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 26519 20657 900 493 0 19824 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 106076 KiB
Current children cumulated memory: 82628 KiB
[startup+12.7004 s]
/proc/loadavg: 2.07 2.03 2.05 3/199 26056
/proc/meminfo: memFree=30927876/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=107440 memory=83944 CPUtime=12.69 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 52920 0 0 0 1265 4 0 0 20 0 1 0 555779124 110018560 20986 33554432000 4194304 6211132 140730220301120 140730220299256 5396788 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 26860 20986 900 493 0 20165 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 107440 KiB
Current children cumulated memory: 83944 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 26058
/proc/meminfo: memFree=30926772/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=107440 memory=84152 CPUtime=25.48 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 67191 0 0 0 2543 5 0 0 20 0 1 0 555779124 110018560 21038 33554432000 4194304 6211132 140730220301120 140730220299256 5250319 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 26860 21038 900 493 0 20165 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 107440 KiB
Current children cumulated memory: 84152 KiB
[startup+51.1097 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 26058
/proc/meminfo: memFree=30926324/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=108396 memory=85176 CPUtime=51.08 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 74842 0 0 0 5103 5 0 0 20 0 1 0 555779124 110997504 21294 33554432000 4194304 6211132 140730220301120 140730220289000 5389871 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27099 21294 900 493 0 20404 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85176 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 26062
/proc/meminfo: memFree=30926512/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=108396 memory=85176 CPUtime=102.28 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 75078 0 0 0 10223 5 0 0 20 0 1 0 555779124 110997504 21294 33554432000 4194304 6211132 140730220301120 140730220299256 5250256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27099 21294 900 493 0 20404 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85176 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 26068
/proc/meminfo: memFree=30926548/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=108396 memory=85176 CPUtime=162.28 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 75314 0 0 0 16223 5 0 0 20 0 1 0 555779124 110997504 21294 33554432000 4194304 6211132 140730220301120 140730220299256 5157572 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27099 21294 900 493 0 20404 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85176 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26072
/proc/meminfo: memFree=30926708/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=108396 memory=85176 CPUtime=222.29 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 75558 0 0 0 22224 5 0 0 20 0 1 0 555779124 110997504 21294 33554432000 4194304 6211132 140730220301120 140730220299256 5193786 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27099 21294 900 493 0 20404 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85176 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26076
/proc/meminfo: memFree=30927076/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=108396 memory=85176 CPUtime=282.29 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 75570 0 0 0 28224 5 0 0 20 0 1 0 555779124 110997504 21294 33554432000 4194304 6211132 140730220301120 140730220299256 5035270 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27099 21294 900 493 0 20404 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85176 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26082
/proc/meminfo: memFree=30926764/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=108396 memory=85176 CPUtime=342.3 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 75815 0 0 0 34225 5 0 0 20 0 1 0 555779124 110997504 21294 33554432000 4194304 6211132 140730220301120 140730220299256 5035283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27099 21294 900 493 0 20404 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85176 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26086
/proc/meminfo: memFree=30927268/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=108396 memory=85176 CPUtime=402.3 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 75815 0 0 0 40225 5 0 0 20 0 1 0 555779124 110997504 21294 33554432000 4194304 6211132 140730220301120 140730220299256 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27099 21294 900 493 0 20404 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85176 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26090
/proc/meminfo: memFree=30926832/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=108396 memory=85176 CPUtime=462.31 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 76059 0 0 0 46226 5 0 0 20 0 1 0 555779124 110997504 21294 33554432000 4194304 6211132 140730220301120 140730220299256 5186216 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27099 21294 900 493 0 20404 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 108396 KiB
Current children cumulated memory: 85176 KiB
################
# More data... #
################
/proc/26054/statm: 27235 21431 900 493 0 20540 0
Current children cumulated CPU time: 1662.41 s
Current children cumulated vsize: 108940 KiB
Current children cumulated memory: 85724 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 26666
/proc/meminfo: memFree=30924264/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=108940 memory=85724 CPUtime=1722.42 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 79326 0 0 0 172236 6 0 0 20 0 1 0 555779124 111554560 21431 33554432000 4194304 6211132 140730220301120 140730220289000 5035263 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27235 21431 900 493 0 20540 0
Current children cumulated CPU time: 1722.42 s
Current children cumulated vsize: 108940 KiB
Current children cumulated memory: 85724 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 26672
/proc/meminfo: memFree=30924096/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=108940 memory=85724 CPUtime=1782.42 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 79611 0 0 0 178236 6 0 0 20 0 1 0 555779124 111554560 21431 33554432000 4194304 6211132 140730220301120 140730220289000 5250321 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27235 21431 900 493 0 20540 0
Current children cumulated CPU time: 1782.42 s
Current children cumulated vsize: 108940 KiB
Current children cumulated memory: 85724 KiB
[startup+1842.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/200 26676
/proc/meminfo: memFree=30923652/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=109072 memory=85796 CPUtime=1842.43 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 79745 0 0 0 184237 6 0 0 20 0 1 0 555779124 111689728 21449 33554432000 4194304 6211132 140730220301120 140730220299256 5193786 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27268 21449 900 493 0 20573 0
Current children cumulated CPU time: 1842.43 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85796 KiB
[startup+1902.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/199 26680
/proc/meminfo: memFree=30924252/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=109072 memory=85796 CPUtime=1902.43 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 80039 0 0 0 190237 6 0 0 20 0 1 0 555779124 111689728 21449 33554432000 4194304 6211132 140730220301120 140730220299256 5155816 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27268 21449 900 493 0 20573 0
Current children cumulated CPU time: 1902.43 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85796 KiB
[startup+1962.3 s]
/proc/loadavg: 2.18 2.08 2.06 3/200 26686
/proc/meminfo: memFree=30923672/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=109072 memory=85796 CPUtime=1962.43 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 80045 0 0 0 196237 6 0 0 20 0 1 0 555779124 111689728 21449 33554432000 4194304 6211132 140730220301120 140730220299256 5035232 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27268 21449 900 493 0 20573 0
Current children cumulated CPU time: 1962.43 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85796 KiB
[startup+2022.3 s]
/proc/loadavg: 2.12 2.08 2.06 3/198 26690
/proc/meminfo: memFree=30923996/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=109072 memory=85796 CPUtime=2022.44 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 80365 0 0 0 202238 6 0 0 20 0 1 0 555779124 111689728 21449 33554432000 4194304 6211132 140730220301120 140730220299256 5409493 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27268 21449 900 493 0 20573 0
Current children cumulated CPU time: 2022.44 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85796 KiB
[startup+2082.3 s]
/proc/loadavg: 2.10 2.08 2.06 3/198 26694
/proc/meminfo: memFree=30923552/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=109072 memory=85796 CPUtime=2082.44 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 80366 0 0 0 208238 6 0 0 20 0 1 0 555779124 111689728 21449 33554432000 4194304 6211132 140730220301120 140730220299256 5158008 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27268 21449 900 493 0 20573 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85796 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.07 2.05 3/199 26700
/proc/meminfo: memFree=30923560/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=109072 memory=85796 CPUtime=2142.45 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 80650 0 0 0 214239 6 0 0 20 0 1 0 555779124 111689728 21449 33554432000 4194304 6211132 140730220301120 140730220299256 5035283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27268 21449 900 493 0 20573 0
Current children cumulated CPU time: 2142.45 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85796 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/198 26704
/proc/meminfo: memFree=30923720/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=109072 memory=85796 CPUtime=2202.45 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 80686 0 0 0 220239 6 0 0 20 0 1 0 555779124 111689728 21449 33554432000 4194304 6211132 140730220301120 140730220299256 5250319 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27268 21449 900 493 0 20573 0
Current children cumulated CPU time: 2202.45 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85796 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/198 26708
/proc/meminfo: memFree=30923596/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=109072 memory=85796 CPUtime=2262.46 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 81025 0 0 0 226240 6 0 0 20 0 1 0 555779124 111689728 21449 33554432000 4194304 6211132 140730220301120 140730220299256 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27268 21449 900 493 0 20573 0
Current children cumulated CPU time: 2262.46 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85796 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 26722
/proc/meminfo: memFree=30923000/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=109072 memory=85840 CPUtime=2322.46 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 81123 0 0 0 232240 6 0 0 20 0 1 0 555779124 111689728 21460 33554432000 4194304 6211132 140730220301120 140730220289000 5392096 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27268 21460 900 493 0 20573 0
Current children cumulated CPU time: 2322.46 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85840 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 26726
/proc/meminfo: memFree=30922992/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=109072 memory=85840 CPUtime=2382.47 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 81444 0 0 0 238241 6 0 0 20 0 1 0 555779124 111689728 21460 33554432000 4194304 6211132 140730220301120 140730220289000 5035283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27268 21460 900 493 0 20573 0
Current children cumulated CPU time: 2382.47 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 26726
/proc/meminfo: memFree=30923044/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=109072 memory=85840 CPUtime=2400.07 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 81445 0 0 0 240001 6 0 0 20 0 1 0 555779124 111689728 21460 33554432000 4194304 6211132 140730220301120 140730220289000 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27268 21460 900 493 0 20573 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.9 s]
# the end of solver process 26054 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.01 s, system=0.068005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 26726
/proc/meminfo: memFree=30923044/32770624 swapFree=66957812/67108860
[pid=26054] ppid=26051 vsize=109072 memory=85840 CPUtime=2400.07 cores=0,2,4,6
/proc/26054/stat : 26054 (cosoco) R 26051 26054 24360 0 -1 4202496 81445 0 0 0 240001 6 0 0 20 0 1 0 555779124 111689728 21460 33554432000 4194304 6211132 140730220301120 140730220289000 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11337728 140730220303371 140730220303473 140730220303473 140730220306382 0
/proc/26054/statm: 27268 21460 900 493 0 20573 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 85840 KiB
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.08
CPU user time (s): 2400.01
CPU system time (s): 0.068005
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 109072
Max. memory (cumulated for all children) (KiB): 85840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.068005
maximum resident set size= 85904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81503
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= 44
involuntary context switches= 3005
# summary of solver processes directly reported to runsolver:
# pid: 26054
# total CPU time (s): 2400.08
# total CPU user time (s): 2400.01
# total CPU system time (s): 0.068005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.00589 second user time and 16.812 second system time
The end
Begin job on node105 at 2019-09-29 23:11:53 IDJOB=4408869 IDBENCH=127010 IDSOLVER=2875 FILE ID=node105/4408869-1569795217 RUNJOBID= node105-1569783690-24391 PBS_JOBID= 21705838 Free space on /tmp= 62028 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-4408869-1569795217/watcher-4408869-1569795217 -o /tmp/evaluation-result-4408869-1569795217/solver-4408869-1569795217 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569783690-24391 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408869-1569795217.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 008177aac4f491992dc0e91994ba9658 RANDOM SEED=1626070831 node105.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.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31008928 kB MemAvailable: 31812920 kB Buffers: 214308 kB Cached: 928808 kB SwapCached: 48112 kB Active: 525580 kB Inactive: 689360 kB Active(anon): 39308 kB Inactive(anon): 111884 kB Active(file): 486272 kB Inactive(file): 577476 kB Unevictable: 110516 kB Mlocked: 110516 kB SwapTotal: 67108860 kB SwapFree: 66957812 kB Dirty: 2816 kB Writeback: 0 kB AnonPages: 135772 kB Mapped: 27324 kB Shmem: 70752 kB Slab: 141192 kB SReclaimable: 112160 kB SUnreclaim: 29032 kB KernelStack: 3632 kB PageTables: 5368 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 581824 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62024 MiB End job on node105 at 2019-09-29 23:51:53