Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco 1.1 | ? (TO) | 2400.09 | 2400.21 |
Name | QueenAttacking/QueenAttacking-xcsp2-s1/ QueenAttacking-09_X2.xml |
MD5SUM | b61d3737b957190caa39e86626214229 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 82 |
Number of constraints | 3262 |
Number of domains | 2 |
Minimum domain size | 15 |
Maximum domain size | 81 |
Distribution of domain sizes | [{"size":15,"count":1},{"size":81,"count":81}] |
Minimum variable degree | 22 |
Maximum variable degree | 81 |
Distribution of variable degrees | [{"degree":22,"count":1},{"degree":80,"count":59},{"degree":81,"count":22}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":3262}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3262 |
Distribution of constraint types | [{"type":"intension","count":3262}] |
Optimization problem | NO |
Type of objective |
0.00/0.05 c intension x[0] != x[2] using generic constraint 0.00/0.06 c intension x[0] != x[3] using generic constraint 0.00/0.06 c intension x[0] != x[4] using generic constraint 0.00/0.06 c intension x[0] != x[5] using generic constraint 0.00/0.06 c intension x[0] != x[6] using generic constraint 0.00/0.06 c intension x[0] != x[7] using generic constraint 0.00/0.06 c intension x[0] != x[8] using generic constraint 0.00/0.06 c intension x[0] != x[9] using generic constraint 0.00/0.06 c intension x[0] != x[10] using generic constraint 0.00/0.07 c intension x[0] != x[11] using generic constraint 0.00/0.07 c intension x[0] != x[12] using generic constraint 0.00/0.07 c intension x[0] != x[13] using generic constraint 0.00/0.07 c intension x[0] != x[14] using generic constraint 0.00/0.07 c intension x[0] != x[15] using generic constraint 0.00/0.07 c intension x[0] != x[16] using generic constraint 0.00/0.07 c intension x[0] != x[17] using generic constraint 0.00/0.07 c intension x[0] != x[18] using generic constraint 0.00/0.08 c intension x[0] != x[19] using generic constraint 0.00/0.08 c intension x[0] != x[20] using generic constraint 0.00/0.08 c intension x[0] != x[21] using generic constraint 0.00/0.08 c intension x[0] != x[22] using generic constraint 0.00/0.08 c intension x[0] != x[23] using generic constraint 0.00/0.08 c intension x[0] != x[24] using generic constraint 0.00/0.08 c intension x[0] != x[25] using generic constraint 0.00/0.08 c intension x[0] != x[26] using generic constraint 0.00/0.09 c intension x[0] != x[27] using generic constraint 0.00/0.09 c intension x[0] != x[28] using generic constraint 0.00/0.09 c intension x[0] != x[29] using generic constraint 0.00/0.09 c intension x[0] != x[30] using generic constraint 0.00/0.09 c intension x[0] != x[31] using generic constraint 0.00/0.09 c intension x[0] != x[32] using generic constraint 0.00/0.09 c intension x[0] != x[33] using generic constraint 0.00/0.09 c intension x[0] != x[34] using generic constraint 0.00/0.09 c intension x[0] != x[35] using generic constraint 0.00/0.10 c intension x[0] != x[36] using generic constraint 0.09/0.10 c intension x[0] != x[37] using generic constraint 0.09/0.10 c intension x[0] != x[38] using generic constraint 0.09/0.10 c intension x[0] != x[39] using generic constraint 0.09/0.10 c intension x[0] != x[40] using generic constraint 0.09/0.10 c intension x[0] != x[41] using generic constraint 0.09/0.10 c intension x[0] != x[42] using generic constraint 0.09/0.10 c intension x[0] != x[43] using generic constraint 0.09/0.10 c intension x[0] != x[44] using generic constraint 0.09/0.11 c intension x[0] != x[45] using generic constraint 0.09/0.11 c intension x[0] != x[46] using generic constraint 0.09/0.11 c intension x[0] != x[47] using generic constraint 0.09/0.11 c intension x[0] != x[48] using generic constraint 0.09/0.11 c intension x[0] != x[49] using generic constraint 0.09/0.11 c intension x[0] != x[50] using generic constraint 0.09/0.11 c intension x[0] != x[51] using generic constraint 0.09/0.11 c intension x[0] != x[52] using generic constraint 0.09/0.11 c intension x[0] != x[53] using generic constraint 0.09/0.12 c intension x[0] != x[54] using generic constraint 0.09/0.12 c intension x[0] != x[55] using generic constraint 0.09/0.12 c intension x[0] != x[56] using generic constraint 0.09/0.12 c intension x[0] != x[57] using generic constraint 0.09/0.12 c intension x[0] != x[58] using generic constraint 0.09/0.12 c intension x[0] != x[59] using generic constraint 0.09/0.12 c intension x[0] != x[60] using generic constraint 0.09/0.12 c intension x[0] != x[61] using generic constraint 0.09/0.12 c intension x[0] != x[62] using generic constraint 0.09/0.12 c intension x[0] != x[63] using generic constraint 0.09/0.13 c intension x[0] != x[64] using generic constraint 0.09/0.13 c intension x[0] != x[65] using generic constraint 0.09/0.13 c intension x[0] != x[66] using generic constraint 0.09/0.13 c intension x[0] != x[67] using generic constraint 0.09/0.13 c intension x[0] != x[68] using generic constraint 0.09/0.13 c intension x[0] != x[69] using generic constraint 0.09/0.13 c intension x[0] != x[70] using generic constraint 0.09/0.13 c intension x[0] != x[71] using generic constraint 0.09/0.13 c intension x[0] != x[72] using generic constraint 0.09/0.13 c intension x[0] != x[73] using generic constraint 0.09/0.14 c intension x[0] != x[74] using generic constraint 0.09/0.14 c intension x[0] != x[75] using generic constraint 0.09/0.14 c intension x[0] != x[76] using generic constraint 0.09/0.14 c intension x[0] != x[77] using generic constraint 0.09/0.14 c intension x[0] != x[78] using generic constraint 0.09/0.14 c intension x[0] != x[79] using generic constraint 0.09/0.14 c intension x[0] != x[80] using generic constraint 0.09/0.14 c intension x[1] != x[3] using generic constraint 0.09/0.14 c intension x[1] != x[4] using generic constraint 0.09/0.14 c intension x[1] != x[5] using generic constraint 0.09/0.14 c intension x[1] != x[6] using generic constraint 0.09/0.15 c intension x[1] != x[7] using generic constraint 0.09/0.15 c intension x[1] != x[8] using generic constraint 0.09/0.15 c intension x[1] != x[9] using generic constraint 0.09/0.15 c intension x[1] != x[10] using generic constraint 0.09/0.15 c intension x[1] != x[11] using generic constraint 0.09/0.15 c intension x[1] != x[12] using generic constraint 0.09/0.15 c intension x[1] != x[13] using generic constraint 0.09/0.15 c intension x[1] != x[14] using generic constraint 0.09/0.15 c intension x[1] != x[15] using generic constraint 0.09/0.15 c intension x[1] != x[16] using generic constraint 0.09/0.15 c intension x[1] != x[17] using generic constraint 0.09/0.15 c intension x[1] != x[18] using generic constraint 0.09/0.16 c intension x[1] != x[19] using generic constraint 0.09/0.16 c intension x[1] != x[20] using generic constraint 0.09/0.16 c intension x[1] != x[21] using generic constraint 0.09/0.16 c intension x[1] != x[22] using generic constraint 0.09/0.16 c intension x[1] != x[23] using generic constraint 0.09/0.16 c intension x[1] != x[24] using generic constraint 0.09/0.16 c intension x[1] != x[25] using generic constraint 0.09/0.16 c intension x[1] != x[26] using generic constraint 0.09/0.16 c intension x[1] != x[27] using generic constraint 0.09/0.16 c intension x[1] != x[28] using generic constraint 0.09/0.16 c intension x[1] != x[29] using generic constraint 0.09/0.17 c intension x[1] != x[30] using generic constraint 0.09/0.17 c intension x[1] != x[31] using generic constraint 0.09/0.17 c intension x[1] != x[32] using generic constraint 0.09/0.17 c intension x[1] != x[33] using generic constraint 0.09/0.17 c intension x[1] != x[34] using generic constraint 0.09/0.17 c intension x[1] != x[35] using generic constraint 0.09/0.17 c intension x[1] != x[36] using generic constraint 0.09/0.17 c intension x[1] != x[37] using generic constraint 0.09/0.17 c intension x[1] != x[38] using generic constraint 0.09/0.17 c intension x[1] != x[39] using generic constraint 0.09/0.17 c intension x[1] != x[40] using generic constraint 0.09/0.18 c intension x[1] != x[41] using generic constraint 0.09/0.18 c intension x[1] != x[42] using generic constraint 0.09/0.18 c intension x[1] != x[43] using generic constraint 0.09/0.18 c intension x[1] != x[44] using generic constraint 0.09/0.18 c intension x[1] != x[45] using generic constraint 0.09/0.18 c intension x[1] != x[46] using generic constraint 0.09/0.18 c intension x[1] != x[47] using generic constraint 0.09/0.18 c intension x[1] != x[48] using generic constraint 0.09/0.18 c intension x[1] != x[49] using generic constraint 0.09/0.18 c intension x[1] != x[50] using generic constraint 0.09/0.18 c intension x[1] != x[51] using generic constraint 0.09/0.18 c intension x[1] != x[52] using generic constraint 0.09/0.19 c intension x[1] != x[53] using generic constraint 0.09/0.19 c intension x[1] != x[54] using generic constraint 0.09/0.19 c intension x[1] != x[55] using generic constraint 0.09/0.19 c intension x[1] != x[56] using generic constraint 0.09/0.19 c intension x[1] != x[57] using generic constraint 0.09/0.19 c intension x[1] != x[58] using generic constraint 0.09/0.19 c intension x[1] != x[59] using generic constraint 0.09/0.19 c intension x[1] != x[60] using generic constraint 0.09/0.19 c intension x[1] != x[61] using generic constraint 0.09/0.19 c intension x[1] != x[62] using generic constraint 0.09/0.19 c intension x[1] != x[63] using generic constraint 0.09/0.20 c intension x[1] != x[64] using generic constraint 0.19/0.20 c intension x[1] != x[65] using generic constraint 0.19/0.20 c intension x[1] != x[66] using generic constraint 0.19/0.20 c intension x[1] != x[67] using generic constraint 0.19/0.20 c intension x[1] != x[68] using generic constraint 0.19/0.20 c intension x[1] != x[69] using generic constraint 0.19/0.20 c intension x[1] != x[70] using generic constraint 0.19/0.20 c intension x[1] != x[71] using generic constraint 0.19/0.20 c intension x[1] != x[72] using generic constraint 0.19/0.20 c intension x[1] != x[73] using generic constraint 0.19/0.20 c intension x[1] != x[74] using generic constraint 0.19/0.21 c intension x[1] != x[75] using generic constraint 0.19/0.21 c intension x[1] != x[76] using generic constraint 0.19/0.21 c intension x[1] != x[77] using generic constraint 0.19/0.21 c intension x[1] != x[78] using generic constraint 0.19/0.21 c intension x[1] != x[79] using generic constraint 0.19/0.21 c intension x[1] != x[80] using generic constraint 0.19/0.21 c intension x[2] != x[4] using generic constraint 0.19/0.21 c intension x[2] != x[5] using generic constraint 0.19/0.21 c intension x[2] != x[6] using generic constraint 0.19/0.21 c intension x[2] != x[7] using generic constraint 0.19/0.21 c intension x[2] != x[8] using generic constraint 0.19/0.22 c intension x[2] != x[9] using generic constraint 0.19/0.22 c intension x[2] != x[10] using generic constraint 0.19/0.22 c intension x[2] != x[11] using generic constraint 0.19/0.22 c intension x[2] != x[12] using generic constraint 0.19/0.22 c intension x[2] != x[13] using generic constraint 0.19/0.22 c intension x[2] != x[14] using generic constraint 0.19/0.22 c intension x[2] != x[15] using generic constraint 0.19/0.22 c intension x[2] != x[16] using generic constraint 0.19/0.22 c intension x[2] != x[17] using generic constraint 0.19/0.22 c intension x[2] != x[18] using generic constraint 0.19/0.22 c intension x[2] != x[19] using generic constraint 0.19/0.22 c intension x[2] != x[20] using generic constraint 0.19/0.23 c intension x[2] != x[21] using generic constraint 0.19/0.23 c intension x[2] != x[22] using generic constraint 0.19/0.23 c intension x[2] != x[23] using generic constraint 0.19/0.23 c intension x[2] != x[24] using generic constraint 0.19/0.23 c intension x[2] != x[25] using generic constraint 0.19/0.23 c intension x[2] != x[26] using generic constraint 0.19/0.23 c intension x[2] != x[27] using generic constraint 0.19/0.23 c intension x[2] != x[28] using generic constraint 0.19/0.23 c intension x[2] != x[29] using generic constraint 0.19/0.23 c intension x[2] != x[30] using generic constraint 0.19/0.23 c intension x[2] != x[31] using generic constraint 0.19/0.24 c intension x[2] != x[32] using generic constraint 0.19/0.24 c intension x[2] != x[33] using generic constraint 0.19/0.24 c intension x[2] != x[34] using generic constraint 0.19/0.24 c intension x[2] != x[35] using generic constraint 0.19/0.24 c intension x[2] != x[36] using generic constraint 0.19/0.24 c intension x[2] != x[37] using generic constraint 0.19/0.24 c intension x[2] != x[38] using generic constraint 0.19/0.24 c intension x[2] != x[39] using generic constraint 0.19/0.24 c intension x[2] != x[40] using generic constraint 0.19/0.24 c intension x[2] != x[41] using generic constraint 0.19/0.24 c intension x[2] != x[42] using generic constraint 0.19/0.25 c intension x[2] != x[43] using generic constraint 0.19/0.25 c intension x[2] != x[44] using generic constraint 0.19/0.25 c intension x[2] != x[45] using generic constraint 0.19/0.25 c intension x[2] != x[46] using generic constraint 0.19/0.25 c intension x[2] != x[47] using generic constraint 0.19/0.25 c intension x[2] != x[48] using generic constraint 0.19/0.25 c intension x[2] != x[49] using generic constraint 0.19/0.25 c intension x[2] != x[50] using generic constraint 0.19/0.25 c intension x[2] != x[51] using generic constraint 0.19/0.25 c intension x[2] != x[52] using generic constraint 0.19/0.25 c intension x[2] != x[53] using generic constraint 0.19/0.25 c intension x[2] != x[54] using generic constraint 0.19/0.26 c intension x[2] != x[55] using generic constraint 0.19/0.26 c intension x[2] != x[56] using generic constraint 0.19/0.26 c intension x[2] != x[57] using generic constraint 0.19/0.26 c intension x[2] != x[58] using generic constraint 0.19/0.26 c intension x[2] != x[59] using generic constraint 0.19/0.26 c intension x[2] != x[60] using generic constraint 0.19/0.26 c intension x[2] != x[61] using generic constraint 0.19/0.26 c intension x[2] != x[62] using generic constraint 0.19/0.26 c intension x[2] != x[63] using generic constraint 0.19/0.26 c intension x[2] != x[64] using generic constraint 0.19/0.26 c intension x[2] != x[65] using generic constraint 0.19/0.27 c intension x[2] != x[66] using generic constraint 0.19/0.27 c intension x[2] != x[67] using generic constraint 0.19/0.27 c intension x[2] != x[68] using generic constraint 0.19/0.27 c intension x[2] != x[69] using generic constraint 0.19/0.27 c intension x[2] != x[70] using generic constraint 0.19/0.27 c intension x[2] != x[71] using generic constraint 0.19/0.27 c intension x[2] != x[72] using generic constraint 0.19/0.27 c intension x[2] != x[73] using generic constraint 0.19/0.27 c intension x[2] != x[74] using generic constraint 0.19/0.27 c intension x[2] != x[75] using generic constraint 0.19/0.27 c intension x[2] != x[76] using generic constraint 0.19/0.28 c intension x[2] != x[77] using generic constraint 0.19/0.28 c intension x[2] != x[78] using generic constraint 0.19/0.28 c intension x[2] != x[79] using generic constraint 0.19/0.28 c intension x[2] != x[80] using generic constraint 0.19/0.28 c intension x[3] != x[5] using generic constraint 0.19/0.28 c intension x[3] != x[6] using generic constraint 0.19/0.28 c intension x[3] != x[7] using generic constraint 0.19/0.28 c intension x[3] != x[8] using generic constraint 0.19/0.28 c intension x[3] != x[9] using generic constraint 0.19/0.28 c intension x[3] != x[10] using generic constraint 0.19/0.28 c intension x[3] != x[11] using generic constraint 0.19/0.28 c intension x[3] != x[12] using generic constraint 0.19/0.29 c intension x[3] != x[13] using generic constraint 0.19/0.29 c intension x[3] != x[14] using generic constraint 0.19/0.29 c intension x[3] != x[15] using generic constraint 0.19/0.29 c intension x[3] != x[16] using generic constraint 0.19/0.29 c intension x[3] != x[17] using generic constraint 0.19/0.29 c intension x[3] != x[18] using generic constraint 0.19/0.29 c intension x[3] != x[19] using generic constraint 0.19/0.29 c intension x[3] != x[20] using generic constraint 0.19/0.29 c intension x[3] != x[21] using generic constraint 0.19/0.29 c intension x[3] != x[22] using generic constraint 0.19/0.29 c intension x[3] != x[23] using generic constraint 0.19/0.30 c intension x[3] != x[24] using generic constraint 0.29/0.30 c intension x[3] != x[25] using generic constraint 0.29/0.30 c intension x[3] != x[26] using generic constraint 0.29/0.30 c intension x[3] != x[27] using generic constraint 0.29/0.30 c intension x[3] != x[28] using generic constraint 0.29/0.30 c intension x[3] != x[29] using generic constraint 0.29/0.30 c intension x[3] != x[30] using generic constraint 0.29/0.30 c intension x[3] != x[31] using generic constraint 0.29/0.30 c intension x[3] != x[32] using generic constraint 0.29/0.30 c intension x[3] != x[33] using generic constraint 0.29/0.30 c intension x[3] != x[34] using generic constraint 0.29/0.31 c intension x[3] != x[35] using generic constraint 0.29/0.31 c intension x[3] != x[36] using generic constraint 0.29/0.31 c intension x[3] != x[37] using generic constraint 0.29/0.31 c intension x[3] != x[38] using generic constraint 0.29/0.31 c intension x[3] != x[39] using generic constraint 0.29/0.31 c intension x[3] != x[40] using generic constraint 0.29/0.31 c intension x[3] != x[41] using generic constraint 0.29/0.31 c intension x[3] != x[42] using generic constraint 0.29/0.31 c intension x[3] != x[43] using generic constraint 0.29/0.31 c intension x[3] != x[44] using generic constraint 0.29/0.31 c intension x[3] != x[45] using generic constraint 0.29/0.32 c intension x[3] != x[46] using generic constraint 0.29/0.32 c intension x[3] != x[47] using generic constraint 0.29/0.32 c intension x[3] != x[48] using generic constraint 0.29/0.32 c intension x[3] != x[49] using generic constraint 0.29/0.32 c intension x[3] != x[50] using generic constraint 0.29/0.32 c intension x[3] != x[51] using generic constraint 0.29/0.32 c intension x[3] != x[52] using generic constraint 0.29/0.32 c intension x[3] != x[53] using generic constraint 0.29/0.32 c intension x[3] != x[54] using generic constraint 0.29/0.32 c intension x[3] != x[55] using generic constraint 0.29/0.32 c intension x[3] != x[56] using generic constraint 0.29/0.33 c intension x[3] != x[57] using generic constraint 0.29/0.33 c intension x[3] != x[58] using generic constraint 0.29/0.33 c intension x[3] != x[59] using generic constraint 0.29/0.33 c intension x[3] != x[60] using generic constraint 0.29/0.33 c intension x[3] != x[61] using generic constraint 0.29/0.33 c intension x[3] != x[62] using generic constraint 0.29/0.33 c intension x[3] != x[63] using generic constraint 0.29/0.33 c intension x[3] != x[64] using generic constraint 0.29/0.33 c intension x[3] != x[65] using generic constraint 0.29/0.33 c intension x[3] != x[66] using generic constraint 0.29/0.33 c intension x[3] != x[67] using generic constraint 0.29/0.34 c intension x[3] != x[68] using generic constraint 0.29/0.34 c intension x[3] != x[69] using generic constraint 0.29/0.34 c intension x[3] != x[70] using generic constraint 0.29/0.34 c intension x[3] != x[71] using generic constraint 0.29/0.34 c intension x[3] != x[72] using generic constraint 0.29/0.34 c intension x[3] != x[73] using generic constraint 0.29/0.34 c intension x[3] != x[74] using generic constraint 0.29/0.34 c intension x[3] != x[75] using generic constraint 0.29/0.34 c intension x[3] != x[76] using generic constraint 0.29/0.34 c intension x[3] != x[77] using generic constraint 0.29/0.34 c intension x[3] != x[78] using generic constraint 0.29/0.35 c intension x[3] != x[79] using generic constraint 0.29/0.35 c intension x[3] != x[80] using generic constraint 0.29/0.35 c intension x[4] != x[6] using generic constraint 0.29/0.35 c intension x[4] != x[7] using generic constraint 0.29/0.35 c intension x[4] != x[8] using generic constraint 0.29/0.35 c intension x[4] != x[9] using generic constraint 0.29/0.35 c intension x[4] != x[10] using generic constraint 0.29/0.35 c intension x[4] != x[11] using generic constraint 0.29/0.35 c intension x[4] != x[12] using generic constraint 0.29/0.35 c intension x[4] != x[13] using generic constraint 0.29/0.35 c intension x[4] != x[14] using generic constraint 0.29/0.35 c intension x[4] != x[15] using generic constraint 0.29/0.36 c intension x[4] != x[16] using generic constraint 0.29/0.36 c intension x[4] != x[17] using generic constraint 0.29/0.36 c intension x[4] != x[18] using generic constraint 0.29/0.36 c intension x[4] != x[19] using generic constraint 0.29/0.36 c intension x[4] != x[20] using generic constraint 0.29/0.36 c intension x[4] != x[21] using generic constraint 0.29/0.36 c intension x[4] != x[22] using generic constraint 0.29/0.36 c intension x[4] != x[23] using generic constraint 0.29/0.36 c intension x[4] != x[24] using generic constraint 0.29/0.36 c intension x[4] != x[25] using generic constraint 0.29/0.36 c intension x[4] != x[26] using generic constraint 0.29/0.37 c intension x[4] != x[27] using generic constraint 0.29/0.37 c intension x[4] != x[28] using generic constraint 0.29/0.37 c intension x[4] != x[29] using generic constraint 0.29/0.37 c intension x[4] != x[30] using generic constraint 0.29/0.37 c intension x[4] != x[31] using generic constraint 0.29/0.37 c intension x[4] != x[32] using generic constraint 0.29/0.37 c intension x[4] != x[33] using generic constraint 0.29/0.37 c intension x[4] != x[34] using generic constraint 0.29/0.37 c intension x[4] != x[35] using generic constraint 0.29/0.37 c intension x[4] != x[36] using generic constraint 0.29/0.37 c intension x[4] != x[37] using generic constraint 0.29/0.38 c intension x[4] != x[38] using generic constraint 0.29/0.38 c intension x[4] != x[39] using generic constraint 0.29/0.38 c intension x[4] != x[40] using generic constraint 0.29/0.38 c intension x[4] != x[41] using generic constraint 0.29/0.38 c intension x[4] != x[42] using generic constraint 0.29/0.38 c intension x[4] != x[43] using generic constraint 0.29/0.38 c intension x[4] != x[44] using generic constraint 0.29/0.38 c intension x[4] != x[45] using generic constraint 0.29/0.38 c intension x[4] != x[46] using generic constraint 0.29/0.38 c intension x[4] != x[47] using generic constraint 0.29/0.38 c intension x[4] != x[48] using generic constraint 0.29/0.39 c intension x[4] != x[49] using generic constraint 0.29/0.39 c intension x[4] != x[50] using generic constraint 0.29/0.39 c intension x[4] != x[51] using generic constraint 0.29/0.39 c intension x[4] != x[52] using generic constraint 0.29/0.39 c intension x[4] != x[53] using generic constraint 0.29/0.39 c intension x[4] != x[54] using generic constraint 0.29/0.39 c intension x[4] != x[55] using generic constraint 0.29/0.39 c intension x[4] != x[56] using generic constraint 0.29/0.39 c intension x[4] != x[57] using generic constraint 0.29/0.39 c intension x[4] != x[58] using generic constraint 0.29/0.39 c intension x[4] != x[59] using generic constraint 0.29/0.40 c intension x[4] != x[60] using generic constraint 0.39/0.40 c intension x[4] != x[61] using generic constraint 0.39/0.40 c intension x[4] != x[62] using generic constraint 0.39/0.40 c intension x[4] != x[63] using generic constraint 0.39/0.40 c intension x[4] != x[64] using generic constraint 0.39/0.40 c intension x[4] != x[65] using generic constraint 0.39/0.40 c intension x[4] != x[66] using generic constraint 0.39/0.40 c intension x[4] != x[67] using generic constraint 0.39/0.40 c intension x[4] != x[68] using generic constraint 0.39/0.40 c intension x[4] != x[69] using generic constraint 0.39/0.40 c intension x[4] != x[70] using generic constraint 0.39/0.41 c intension x[4] != x[71] using generic constraint 0.39/0.41 c intension x[4] != x[72] using generic constraint 0.39/0.41 c intension x[4] != x[73] using generic constraint 0.39/0.41 c intension x[4] != x[74] using generic constraint 0.39/0.41 c intension x[4] != x[75] using generic constraint 0.39/0.41 c intension x[4] != x[76] using generic constraint 0.39/0.41 c intension x[4] != x[77] using generic constraint 0.39/0.41 c intension x[4] != x[78] using generic constraint 0.39/0.41 c intension x[4] != x[79] using generic constraint 0.39/0.41 c intension x[4] != x[80] using generic constraint 0.39/0.41 c intension x[5] != x[7] using generic constraint 0.39/0.42 c intension x[5] != x[8] using generic constraint 0.39/0.42 c intension x[5] != x[9] using generic constraint 0.39/0.42 c intension x[5] != x[10] using generic constraint 0.39/0.42 c intension x[5] != x[11] using generic constraint 0.39/0.42 c intension x[5] != x[12] using generic constraint 0.39/0.42 c intension x[5] != x[13] using generic constraint 0.39/0.42 c intension x[5] != x[14] using generic constraint 0.39/0.42 c intension x[5] != x[15] using generic constraint 0.39/0.42 c intension x[5] != x[16] using generic constraint 0.39/0.42 c intension x[5] != x[17] using generic constraint 0.39/0.42 c intension x[5] != x[18] using generic constraint 0.39/0.43 c intension x[5] != x[19] using generic constraint 0.39/0.43 c intension x[5] != x[20] using generic constraint 0.39/0.43 c intension x[5] != x[21] using generic constraint 0.39/0.43 c intension x[5] != x[22] using generic constraint 0.39/0.43 c intension x[5] != x[23] using generic constraint 0.39/0.43 c intension x[5] != x[24] using generic constraint 0.39/0.43 c intension x[5] != x[25] using generic constraint 0.39/0.43 c intension x[5] != x[26] using generic constraint 0.39/0.43 c intension x[5] != x[27] using generic constraint 0.39/0.43 c intension x[5] != x[28] using generic constraint 0.39/0.43 c intension x[5] != x[29] using generic constraint 0.39/0.44 c intension x[5] != x[30] using generic constraint 0.39/0.44 c intension x[5] != x[31] using generic constraint 0.39/0.44 c intension x[5] != x[32] using generic constraint 0.39/0.44 c intension x[5] != x[33] using generic constraint 0.39/0.44 c intension x[5] != x[34] using generic constraint 0.39/0.44 c intension x[5] != x[35] using generic constraint 0.39/0.44 c intension x[5] != x[36] using generic constraint 0.39/0.44 c intension x[5] != x[37] using generic constraint 0.39/0.44 c intension x[5] != x[38] using generic constraint 0.39/0.44 c intension x[5] != x[39] using generic constraint 0.39/0.44 c intension x[5] != x[40] using generic constraint 0.39/0.44 c intension x[5] != x[41] using generic constraint 0.39/0.45 c intension x[5] != x[42] using generic constraint 0.39/0.45 c intension x[5] != x[43] using generic constraint 0.39/0.45 c intension x[5] != x[44] using generic constraint 0.39/0.45 c intension x[5] != x[45] using generic constraint 0.39/0.45 c intension x[5] != x[46] using generic constraint 0.39/0.45 c intension x[5] != x[47] using generic constraint 0.39/0.45 c intension x[5] != x[48] using generic constraint 0.39/0.45 c intension x[5] != x[49] using generic constraint 0.39/0.45 c intension x[5] != x[50] using generic constraint 0.39/0.45 c intension x[5] != x[51] using generic constraint 0.39/0.45 c intension x[5] != x[52] using generic constraint 0.39/0.46 c intension x[5] != x[53] using generic constraint 0.39/0.46 c intension x[5] != x[54] using generic constraint 0.39/0.46 c intension x[5] != x[55] using generic constraint 0.39/0.46 c intension x[5] != x[56] using generic constraint 0.39/0.46 c intension x[5] != x[57] using generic constraint 0.39/0.46 c intension x[5] != x[58] using generic constraint 0.39/0.46 c intension x[5] != x[59] using generic constraint 0.39/0.46 c intension x[5] != x[60] using generic constraint 0.39/0.46 c intension x[5] != x[61] using generic constraint 0.39/0.46 c intension x[5] != x[62] using generic constraint 0.39/0.46 c intension x[5] != x[63] using generic constraint 0.39/0.47 c intension x[5] != x[64] using generic constraint 0.39/0.47 c intension x[5] != x[65] using generic constraint 0.39/0.47 c intension x[5] != x[66] using generic constraint 0.39/0.47 c intension x[5] != x[67] using generic constraint 0.39/0.47 c intension x[5] != x[68] using generic constraint 0.39/0.47 c intension x[5] != x[69] using generic constraint 0.39/0.47 c intension x[5] != x[70] using generic constraint 0.39/0.47 c intension x[5] != x[71] using generic constraint 0.39/0.47 c intension x[5] != x[72] using generic constraint 0.39/0.47 c intension x[5] != x[73] using generic constraint 0.39/0.47 c intension x[5] != x[74] using generic constraint 0.39/0.48 c intension x[5] != x[75] using generic constraint 0.39/0.48 c intension x[5] != x[76] using generic constraint 0.39/0.48 c intension x[5] != x[77] using generic constraint 0.39/0.48 c intension x[5] != x[78] using generic constraint 0.39/0.48 c intension x[5] != x[79] using generic constraint 0.39/0.48 c intension x[5] != x[80] using generic constraint 0.39/0.48 c intension x[6] != x[8] using generic constraint 0.39/0.48 c intension x[6] != x[9] using generic constraint 0.39/0.48 c intension x[6] != x[10] using generic constraint 0.39/0.48 c intension x[6] != x[11] using generic constraint 0.39/0.48 c intension x[6] != x[12] using generic constraint 0.39/0.49 c intension x[6] != x[13] using generic constraint 0.39/0.49 c intension x[6] != x[14] using generic constraint 0.39/0.49 c intension x[6] != x[15] using generic constraint 0.39/0.49 c intension x[6] != x[16] using generic constraint 0.39/0.49 c intension x[6] != x[17] using generic constraint 0.39/0.49 c intension x[6] != x[18] using generic constraint 0.39/0.49 c intension x[6] != x[19] using generic constraint 0.39/0.49 c intension x[6] != x[20] using generic constraint 0.39/0.49 c intension x[6] != x[21] using generic constraint 0.39/0.49 c intension x[6] != x[22] using generic constraint 0.39/0.49 c intension x[6] != x[23] using generic constraint 0.39/0.50 c intension x[6] != x[24] using generic constraint 0.49/0.50 c intension x[6] != x[25] using generic constraint 0.49/0.50 c intension x[6] != x[26] using generic constraint 0.49/0.50 c intension x[6] != x[27] using generic constraint 0.49/0.50 c intension x[6] != x[28] using generic constraint 0.49/0.50 c intension x[6] != x[29] using generic constraint 0.49/0.50 c intension x[6] != x[30] using generic constraint 0.49/0.50 c intension x[6] != x[31] using generic constraint 0.49/0.50 c intension x[6] != x[32] using generic constraint 0.49/0.50 c intension x[6] != x[33] using generic constraint 0.49/0.50 c intension x[6] != x[34] using generic constraint 0.49/0.51 c intension x[6] != x[35] using generic constraint 0.49/0.51 c intension x[6] != x[36] using generic constraint 0.49/0.51 c intension x[6] != x[37] using generic constraint 0.49/0.51 c intension x[6] != x[38] using generic constraint 0.49/0.51 c intension x[6] != x[39] using generic constraint 0.49/0.51 c intension x[6] != x[40] using generic constraint 0.49/0.51 c intension x[6] != x[41] using generic constraint 0.49/0.51 c intension x[6] != x[42] using generic constraint 0.49/0.51 c intension x[6] != x[43] using generic constraint 0.49/0.51 c intension x[6] != x[44] using generic constraint 0.49/0.51 c intension x[6] != x[45] using generic constraint 0.49/0.52 c intension x[6] != x[46] using generic constraint 0.49/0.52 c intension x[6] != x[47] using generic constraint 0.49/0.52 c intension x[6] != x[48] using generic constraint 0.49/0.52 c intension x[6] != x[49] using generic constraint 0.49/0.52 c intension x[6] != x[50] using generic constraint 0.49/0.52 c intension x[6] != x[51] using generic constraint 0.49/0.52 c intension x[6] != x[52] using generic constraint 0.49/0.52 c intension x[6] != x[53] using generic constraint 0.49/0.52 c intension x[6] != x[54] using generic constraint 0.49/0.52 c intension x[6] != x[55] using generic constraint 0.49/0.52 c intension x[6] != x[56] using generic constraint 0.49/0.53 c intension x[6] != x[57] using generic constraint 0.49/0.53 c intension x[6] != x[58] using generic constraint 0.49/0.53 c intension x[6] != x[59] using generic constraint 0.49/0.53 c intension x[6] != x[60] using generic constraint 0.49/0.53 c intension x[6] != x[61] using generic constraint 0.49/0.53 c intension x[6] != x[62] using generic constraint 0.49/0.53 c intension x[6] != x[63] using generic constraint 0.49/0.53 c intension x[6] != x[64] using generic constraint 0.49/0.53 c intension x[6] != x[65] using generic constraint 0.49/0.53 c intension x[6] != x[66] using generic constraint 0.49/0.53 c intension x[6] != x[67] using generic constraint 0.49/0.54 c intension x[6] != x[68] using generic constraint 0.49/0.54 c intension x[6] != x[69] using generic constraint 0.49/0.54 c intension x[6] != x[70] using generic constraint 0.49/0.54 c intension x[6] != x[71] using generic constraint 0.49/0.54 c intension x[6] != x[72] using generic constraint 0.49/0.54 c intension x[6] != x[73] using generic constraint 0.49/0.54 c intension x[6] != x[74] using generic constraint 0.49/0.54 c intension x[6] != x[75] using generic constraint 0.49/0.54 c intension x[6] != x[76] using generic constraint 0.49/0.54 c intension x[6] != x[77] using generic constraint 0.49/0.54 c intension x[6] != x[78] using generic constraint 0.49/0.55 c intension x[6] != x[79] using generic constraint 0.49/0.55 c intension x[6] != x[80] using generic constraint 0.49/0.55 c intension x[7] != x[9] using generic constraint 0.49/0.55 c intension x[7] != x[10] using generic constraint 0.49/0.55 c intension x[7] != x[11] using generic constraint 0.49/0.55 c intension x[7] != x[12] using generic constraint 0.49/0.55 c intension x[7] != x[13] using generic constraint 0.49/0.55 c intension x[7] != x[14] using generic constraint 0.49/0.55 c intension x[7] != x[15] using generic constraint 0.49/0.55 c intension x[7] != x[16] using generic constraint 0.49/0.55 c intension x[7] != x[17] using generic constraint 0.49/0.56 c intension x[7] != x[18] using generic constraint 0.49/0.56 c intension x[7] != x[19] using generic constraint 0.49/0.56 c intension x[7] != x[20] using generic constraint 0.49/0.56 c intension x[7] != x[21] using generic constraint 0.49/0.56 c intension x[7] != x[22] using generic constraint 0.49/0.56 c intension x[7] != x[23] using generic constraint 0.49/0.56 c intension x[7] != x[24] using generic constraint 0.49/0.56 c intension x[7] != x[25] using generic constraint 0.49/0.56 c intension x[7] != x[26] using generic constraint 0.49/0.56 c intension x[7] != x[27] using generic constraint 0.49/0.56 c intension x[7] != x[28] using generic constraint 0.49/0.57 c intension x[7] != x[29] using generic constraint 0.49/0.57 c intension x[7] != x[30] using generic constraint 0.49/0.57 c intension x[7] != x[31] using generic constraint 0.49/0.57 c intension x[7] != x[32] using generic constraint 0.49/0.57 c intension x[7] != x[33] using generic constraint 0.49/0.57 c intension x[7] != x[34] using generic constraint 0.49/0.57 c intension x[7] != x[35] using generic constraint 0.49/0.57 c intension x[7] != x[36] using generic constraint 0.49/0.57 c intension x[7] != x[37] using generic constraint 0.49/0.57 c intension x[7] != x[38] using generic constraint 0.49/0.57 c intension x[7] != x[39] using generic constraint 0.49/0.58 c intension x[7] != x[40] using generic constraint 0.49/0.58 c intension x[7] != x[41] using generic constraint 0.49/0.58 c intension x[7] != x[42] using generic constraint 0.49/0.58 c intension x[7] != x[43] using generic constraint 0.49/0.58 c intension x[7] != x[44] using generic constraint 0.49/0.58 c intension x[7] != x[45] using generic constraint 0.49/0.58 c intension x[7] != x[46] using generic constraint 0.49/0.58 c intension x[7] != x[47] using generic constraint 0.49/0.58 c intension x[7] != x[48] using generic constraint 0.49/0.58 c intension x[7] != x[49] using generic constraint 0.49/0.58 c intension x[7] != x[50] using generic constraint 0.49/0.59 c intension x[7] != x[51] using generic constraint 0.49/0.59 c intension x[7] != x[52] using generic constraint 0.49/0.59 c intension x[7] != x[53] using generic constraint 0.49/0.59 c intension x[7] != x[54] using generic constraint 0.49/0.59 c intension x[7] != x[55] using generic constraint 0.49/0.59 c intension x[7] != x[56] using generic constraint 0.49/0.59 c intension x[7] != x[57] using generic constraint 0.49/0.59 c intension x[7] != x[58] using generic constraint 0.49/0.59 c intension x[7] != x[59] using generic constraint 0.49/0.59 c intension x[7] != x[60] using generic constraint 0.49/0.59 c intension x[7] != x[61] using generic constraint 0.49/0.60 c intension x[7] != x[62] using generic constraint 0.59/0.60 c intension x[7] != x[63] using generic constraint 0.59/0.60 c intension x[7] != x[64] using generic constraint 0.59/0.60 c intension x[7] != x[65] using generic constraint 0.59/0.60 c intension x[7] != x[66] using generic constraint 0.59/0.60 c intension x[7] != x[67] using generic constraint 0.59/0.60 c intension x[7] != x[68] using generic constraint 0.59/0.60 c intension x[7] != x[69] using generic constraint 0.59/0.60 c intension x[7] != x[70] using generic constraint 0.59/0.60 c intension x[7] != x[71] using generic constraint 0.59/0.60 c intension x[7] != x[72] using generic constraint 0.59/0.61 c intension x[7] != x[73] using generic constraint 0.59/0.61 c intension x[7] != x[74] using generic constraint 0.59/0.61 c intension x[7] != x[75] using generic constraint 0.59/0.61 c intension x[7] != x[76] using generic constraint 0.59/0.61 c intension x[7] != x[77] using generic constraint 0.59/0.61 c intension x[7] != x[78] using generic constraint 0.59/0.61 c intension x[7] != x[79] using generic constraint 0.59/0.61 c intension x[7] != x[80] using generic constraint 0.59/0.61 c intension x[8] != x[10] using generic constraint 0.59/0.61 c intension x[8] != x[11] using generic constraint 0.59/0.61 c intension x[8] != x[12] using generic constraint 0.59/0.62 c intension x[8] != x[13] using generic constraint 0.59/0.62 c intension x[8] != x[14] using generic constraint 0.59/0.62 c intension x[8] != x[15] using generic constraint 0.59/0.62 c intension x[8] != x[16] using generic constraint 0.59/0.62 c intension x[8] != x[17] using generic constraint 0.59/0.62 c intension x[8] != x[18] using generic constraint 0.59/0.62 c intension x[8] != x[19] using generic constraint 0.59/0.62 c intension x[8] != x[20] using generic constraint 0.59/0.62 c intension x[8] != x[21] using generic constraint 0.59/0.62 c intension x[8] != x[22] using generic constraint 0.59/0.62 c intension x[8] != x[23] using generic constraint 0.59/0.63 c intension x[8] != x[24] using generic constraint 0.59/0.63 c intension x[8] != x[25] using generic constraint 0.59/0.63 c intension x[8] != x[26] using generic constraint 0.59/0.63 c intension x[8] != x[27] using generic constraint 0.59/0.63 c intension x[8] != x[28] using generic constraint 0.59/0.63 c intension x[8] != x[29] using generic constraint 0.59/0.63 c intension x[8] != x[30] using generic constraint 0.59/0.63 c intension x[8] != x[31] using generic constraint 0.59/0.63 c intension x[8] != x[32] using generic constraint 0.59/0.63 c intension x[8] != x[33] using generic constraint 0.59/0.63 c intension x[8] != x[34] using generic constraint 0.59/0.64 c intension x[8] != x[35] using generic constraint 0.59/0.64 c intension x[8] != x[36] using generic constraint 0.59/0.64 c intension x[8] != x[37] using generic constraint 0.59/0.64 c intension x[8] != x[38] using generic constraint 0.59/0.64 c intension x[8] != x[39] using generic constraint 0.59/0.64 c intension x[8] != x[40] using generic constraint 0.59/0.64 c intension x[8] != x[41] using generic constraint 0.59/0.64 c intension x[8] != x[42] using generic constraint 0.59/0.64 c intension x[8] != x[43] using generic constraint 0.59/0.64 c intension x[8] != x[44] using generic constraint 0.59/0.64 c intension x[8] != x[45] using generic constraint 0.59/0.65 c intension x[8] != x[46] using generic constraint 0.59/0.65 c intension x[8] != x[47] using generic constraint 0.59/0.65 c intension x[8] != x[48] using generic constraint 0.59/0.65 c intension x[8] != x[49] using generic constraint 0.59/0.65 c intension x[8] != x[50] using generic constraint 0.59/0.65 c intension x[8] != x[51] using generic constraint 0.59/0.65 c intension x[8] != x[52] using generic constraint 0.59/0.65 c intension x[8] != x[53] using generic constraint 0.59/0.65 c intension x[8] != x[54] using generic constraint 0.59/0.65 c intension x[8] != x[55] using generic constraint 0.59/0.65 c intension x[8] != x[56] using generic constraint 0.59/0.66 c intension x[8] != x[57] using generic constraint 0.59/0.66 c intension x[8] != x[58] using generic constraint 0.59/0.66 c intension x[8] != x[59] using generic constraint 0.59/0.66 c intension x[8] != x[60] using generic constraint 0.59/0.66 c intension x[8] != x[61] using generic constraint 0.59/0.66 c intension x[8] != x[62] using generic constraint 0.59/0.66 c intension x[8] != x[63] using generic constraint 0.59/0.66 c intension x[8] != x[64] using generic constraint 0.59/0.66 c intension x[8] != x[65] using generic constraint 0.59/0.66 c intension x[8] != x[66] using generic constraint 0.59/0.66 c intension x[8] != x[67] using generic constraint 0.59/0.67 c intension x[8] != x[68] using generic constraint 0.59/0.67 c intension x[8] != x[69] using generic constraint 0.59/0.67 c intension x[8] != x[70] using generic constraint 0.59/0.67 c intension x[8] != x[71] using generic constraint 0.59/0.67 c intension x[8] != x[72] using generic constraint 0.59/0.67 c intension x[8] != x[73] using generic constraint 0.59/0.67 c intension x[8] != x[74] using generic constraint 0.59/0.67 c intension x[8] != x[75] using generic constraint 0.59/0.67 c intension x[8] != x[76] using generic constraint 0.59/0.67 c intension x[8] != x[77] using generic constraint 0.59/0.67 c intension x[8] != x[78] using generic constraint 0.59/0.68 c intension x[8] != x[79] using generic constraint 0.59/0.68 c intension x[8] != x[80] using generic constraint 0.59/0.68 c intension x[9] != x[11] using generic constraint 0.59/0.68 c intension x[9] != x[12] using generic constraint 0.59/0.68 c intension x[9] != x[13] using generic constraint 0.59/0.68 c intension x[9] != x[14] using generic constraint 0.59/0.68 c intension x[9] != x[15] using generic constraint 0.59/0.68 c intension x[9] != x[16] using generic constraint 0.59/0.68 c intension x[9] != x[17] using generic constraint 0.59/0.68 c intension x[9] != x[18] using generic constraint 0.59/0.68 c intension x[9] != x[19] using generic constraint 0.59/0.69 c intension x[9] != x[20] using generic constraint 0.59/0.69 c intension x[9] != x[21] using generic constraint 0.59/0.69 c intension x[9] != x[22] using generic constraint 0.59/0.69 c intension x[9] != x[23] using generic constraint 0.59/0.69 c intension x[9] != x[24] using generic constraint 0.59/0.69 c intension x[9] != x[25] using generic constraint 0.59/0.69 c intension x[9] != x[26] using generic constraint 0.59/0.69 c intension x[9] != x[27] using generic constraint 0.59/0.69 c intension x[9] != x[28] using generic constraint 0.59/0.69 c intension x[9] != x[29] using generic constraint 0.59/0.70 c intension x[9] != x[30] using generic constraint 0.68/0.70 c intension x[9] != x[31] using generic constraint 0.68/0.70 c intension x[9] != x[32] using generic constraint 0.68/0.70 c intension x[9] != x[33] using generic constraint 0.68/0.70 c intension x[9] != x[34] using generic constraint 0.68/0.70 c intension x[9] != x[35] using generic constraint 0.68/0.70 c intension x[9] != x[36] using generic constraint 0.68/0.70 c intension x[9] != x[37] using generic constraint 0.68/0.70 c intension x[9] != x[38] using generic constraint 0.68/0.70 c intension x[9] != x[39] using generic constraint 0.68/0.70 c intension x[9] != x[40] using generic constraint 0.68/0.71 c intension x[9] != x[41] using generic constraint 0.68/0.71 c intension x[9] != x[42] using generic constraint 0.68/0.71 c intension x[9] != x[43] using generic constraint 0.68/0.71 c intension x[9] != x[44] using generic constraint 0.68/0.71 c intension x[9] != x[45] using generic constraint 0.68/0.71 c intension x[9] != x[46] using generic constraint 0.68/0.71 c intension x[9] != x[47] using generic constraint 0.68/0.71 c intension x[9] != x[48] using generic constraint 0.68/0.71 c intension x[9] != x[49] using generic constraint 0.68/0.71 c intension x[9] != x[50] using generic constraint 0.68/0.71 c intension x[9] != x[51] using generic constraint 0.68/0.72 c intension x[9] != x[52] using generic constraint 0.68/0.72 c intension x[9] != x[53] using generic constraint 0.68/0.72 c intension x[9] != x[54] using generic constraint 0.68/0.72 c intension x[9] != x[55] using generic constraint 0.68/0.72 c intension x[9] != x[56] using generic constraint 0.68/0.72 c intension x[9] != x[57] using generic constraint 0.68/0.72 c intension x[9] != x[58] using generic constraint 0.68/0.72 c intension x[9] != x[59] using generic constraint 0.68/0.72 c intension x[9] != x[60] using generic constraint 0.68/0.72 c intension x[9] != x[61] using generic constraint 0.68/0.72 c intension x[9] != x[62] using generic constraint 0.68/0.73 c intension x[9] != x[63] using generic constraint 0.68/0.73 c intension x[9] != x[64] using generic constraint 0.68/0.73 c intension x[9] != x[65] using generic constraint 0.68/0.73 c intension x[9] != x[66] using generic constraint 0.68/0.73 c intension x[9] != x[67] using generic constraint 0.68/0.73 c intension x[9] != x[68] using generic constraint 0.68/0.73 c intension x[9] != x[69] using generic constraint 0.68/0.73 c intension x[9] != x[70] using generic constraint 0.68/0.73 c intension x[9] != x[71] using generic constraint 0.68/0.73 c intension x[9] != x[72] using generic constraint 0.68/0.73 c intension x[9] != x[73] using generic constraint 0.68/0.74 c intension x[9] != x[74] using generic constraint 0.68/0.74 c intension x[9] != x[75] using generic constraint 0.68/0.74 c intension x[9] != x[76] using generic constraint 0.68/0.74 c intension x[9] != x[77] using generic constraint 0.68/0.74 c intension x[9] != x[78] using generic constraint 0.68/0.74 c intension x[9] != x[79] using generic constraint 0.68/0.74 c intension x[9] != x[80] using generic constraint 0.68/0.74 c intension x[10] != x[12] using generic constraint 0.68/0.74 c intension x[10] != x[13] using generic constraint 0.68/0.74 c intension x[10] != x[14] using generic constraint 0.68/0.74 c intension x[10] != x[15] using generic constraint 0.68/0.75 c intension x[10] != x[16] using generic constraint 0.68/0.75 c intension x[10] != x[17] using generic constraint 0.68/0.75 c intension x[10] != x[18] using generic constraint 0.68/0.75 c intension x[10] != x[19] using generic constraint 0.68/0.75 c intension x[10] != x[20] using generic constraint 0.68/0.75 c intension x[10] != x[21] using generic constraint 0.68/0.75 c intension x[10] != x[22] using generic constraint 0.68/0.75 c intension x[10] != x[23] using generic constraint 0.68/0.75 c intension x[10] != x[24] using generic constraint 0.68/0.75 c intension x[10] != x[25] using generic constraint 0.68/0.75 c intension x[10] != x[26] using generic constraint 0.68/0.76 c intension x[10] != x[27] using generic constraint 0.68/0.76 c intension x[10] != x[28] using generic constraint 0.68/0.76 c intension x[10] != x[29] using generic constraint 0.68/0.76 c intension x[10] != x[30] using generic constraint 0.68/0.76 c intension x[10] != x[31] using generic constraint 0.68/0.76 c intension x[10] != x[32] using generic constraint 0.68/0.76 c intension x[10] != x[33] using generic constraint 0.68/0.76 c intension x[10] != x[34] using generic constraint 0.68/0.76 c intension x[10] != x[35] using generic constraint 0.68/0.76 c intension x[10] != x[36] using generic constraint 0.68/0.76 c intension x[10] != x[37] using generic constraint 0.68/0.77 c intension x[10] != x[38] using generic constraint 0.68/0.77 c intension x[10] != x[39] using generic constraint 0.68/0.77 c intension x[10] != x[40] using generic constraint 0.68/0.77 c intension x[10] != x[41] using generic constraint 0.68/0.77 c intension x[10] != x[42] using generic constraint 0.68/0.77 c intension x[10] != x[43] using generic constraint 0.68/0.77 c intension x[10] != x[44] using generic constraint 0.68/0.77 c intension x[10] != x[45] using generic constraint 0.68/0.77 c intension x[10] != x[46] using generic constraint 0.68/0.77 c intension x[10] != x[47] using generic constraint 0.68/0.77 c intension x[10] != x[48] using generic constraint 0.68/0.78 c intension x[10] != x[49] using generic constraint 0.68/0.78 c intension x[10] != x[50] using generic constraint 0.68/0.78 c intension x[10] != x[51] using generic constraint 0.68/0.78 c intension x[10] != x[52] using generic constraint 0.68/0.78 c intension x[10] != x[53] using generic constraint 0.68/0.78 c intension x[10] != x[54] using generic constraint 0.68/0.78 c intension x[10] != x[55] using generic constraint 0.68/0.78 c intension x[10] != x[56] using generic constraint 0.68/0.78 c intension x[10] != x[57] using generic constraint 0.68/0.78 c intension x[10] != x[58] using generic constraint 0.68/0.79 c intension x[10] != x[59] using generic constraint 0.68/0.79 c intension x[10] != x[60] using generic constraint 0.68/0.79 c intension x[10] != x[61] using generic constraint 0.68/0.79 c intension x[10] != x[62] using generic constraint 0.68/0.79 c intension x[10] != x[63] using generic constraint 0.68/0.79 c intension x[10] != x[64] using generic constraint 0.68/0.79 c intension x[10] != x[65] using generic constraint 0.68/0.79 c intension x[10] != x[66] using generic constraint 0.68/0.79 c intension x[10] != x[67] using generic constraint 0.68/0.79 c intension x[10] != x[68] using generic constraint 0.68/0.79 c intension x[10] != x[69] using generic constraint 0.68/0.80 c intension x[10] != x[70] using generic constraint 0.78/0.80 c intension x[10] != x[71] using generic constraint 0.78/0.80 c intension x[10] != x[72] using generic constraint 0.78/0.80 c intension x[10] != x[73] using generic constraint 0.78/0.80 c intension x[10] != x[74] using generic constraint 0.78/0.80 c intension x[10] != x[75] using generic constraint 0.78/0.80 c intension x[10] != x[76] using generic constraint 0.78/0.80 c intension x[10] != x[77] using generic constraint 0.78/0.80 c intension x[10] != x[78] using generic constraint 0.78/0.80 c intension x[10] != x[79] using generic constraint 0.78/0.80 c intension x[10] != x[80] using generic constraint 0.78/0.81 c intension x[11] != x[13] using generic constraint 0.78/0.81 c intension x[11] != x[14] using generic constraint 0.78/0.81 c intension x[11] != x[15] using generic constraint 0.78/0.81 c intension x[11] != x[16] using generic constraint 0.78/0.81 c intension x[11] != x[17] using generic constraint 0.78/0.81 c intension x[11] != x[18] using generic constraint 0.78/0.81 c intension x[11] != x[19] using generic constraint 0.78/0.81 c intension x[11] != x[20] using generic constraint 0.78/0.81 c intension x[11] != x[21] using generic constraint 0.78/0.81 c intension x[11] != x[22] using generic constraint 0.78/0.81 c intension x[11] != x[23] using generic constraint 0.78/0.82 c intension x[11] != x[24] using generic constraint 0.78/0.82 c intension x[11] != x[25] using generic constraint 0.78/0.82 c intension x[11] != x[26] using generic constraint 0.78/0.82 c intension x[11] != x[27] using generic constraint 0.78/0.82 c intension x[11] != x[28] using generic constraint 0.78/0.82 c intension x[11] != x[29] using generic constraint 0.78/0.82 c intension x[11] != x[30] using generic constraint 0.78/0.82 c intension x[11] != x[31] using generic constraint 0.78/0.82 c intension x[11] != x[32] using generic constraint 0.78/0.82 c intension x[11] != x[33] using generic constraint 0.78/0.83 c intension x[11] != x[34] using generic constraint 0.78/0.83 c intension x[11] != x[35] using generic constraint 0.78/0.83 c intension x[11] != x[36] using generic constraint 0.78/0.83 c intension x[11] != x[37] using generic constraint 0.78/0.83 c intension x[11] != x[38] using generic constraint 0.78/0.83 c intension x[11] != x[39] using generic constraint 0.78/0.83 c intension x[11] != x[40] using generic constraint 0.78/0.83 c intension x[11] != x[41] using generic constraint 0.78/0.83 c intension x[11] != x[42] using generic constraint 0.78/0.83 c intension x[11] != x[43] using generic constraint 0.78/0.83 c intension x[11] != x[44] using generic constraint 0.78/0.84 c intension x[11] != x[45] using generic constraint 0.78/0.84 c intension x[11] != x[46] using generic constraint 0.78/0.84 c intension x[11] != x[47] using generic constraint 0.78/0.84 c intension x[11] != x[48] using generic constraint 0.78/0.84 c intension x[11] != x[49] using generic constraint 0.78/0.84 c intension x[11] != x[50] using generic constraint 0.78/0.84 c intension x[11] != x[51] using generic constraint 0.78/0.84 c intension x[11] != x[52] using generic constraint 0.78/0.84 c intension x[11] != x[53] using generic constraint 0.78/0.84 c intension x[11] != x[54] using generic constraint 0.78/0.84 c intension x[11] != x[55] using generic constraint 0.78/0.85 c intension x[11] != x[56] using generic constraint 0.78/0.85 c intension x[11] != x[57] using generic constraint 0.78/0.85 c intension x[11] != x[58] using generic constraint 0.78/0.85 c intension x[11] != x[59] using generic constraint 0.78/0.85 c intension x[11] != x[60] using generic constraint 0.78/0.85 c intension x[11] != x[61] using generic constraint 0.78/0.85 c intension x[11] != x[62] using generic constraint 0.78/0.85 c intension x[11] != x[63] using generic constraint 0.78/0.85 c intension x[11] != x[64] using generic constraint 0.78/0.85 c intension x[11] != x[65] using generic constraint 0.78/0.85 c intension x[11] != x[66] using generic constraint 0.78/0.86 c intension x[11] != x[67] using generic constraint 0.78/0.86 c intension x[11] != x[68] using generic constraint 0.78/0.86 c intension x[11] != x[69] using generic constraint 0.78/0.86 c intension x[11] != x[70] using generic constraint 0.78/0.86 c intension x[11] != x[71] using generic constraint 0.78/0.86 c intension x[11] != x[72] using generic constraint 0.78/0.86 c intension x[11] != x[73] using generic constraint 0.78/0.86 c intension x[11] != x[74] using generic constraint 0.78/0.86 c intension x[11] != x[75] using generic constraint 0.78/0.86 c intension x[11] != x[76] using generic constraint 0.78/0.86 c intension x[11] != x[77] using generic constraint 0.78/0.87 c intension x[11] != x[78] using generic constraint 0.78/0.87 c intension x[11] != x[79] using generic constraint 0.78/0.87 c intension x[11] != x[80] using generic constraint 0.78/0.87 c intension x[12] != x[14] using generic constraint 0.78/0.87 c intension x[12] != x[15] using generic constraint 0.78/0.87 c intension x[12] != x[16] using generic constraint 0.78/0.87 c intension x[12] != x[17] using generic constraint 0.78/0.87 c intension x[12] != x[18] using generic constraint 0.78/0.87 c intension x[12] != x[19] using generic constraint 0.78/0.87 c intension x[12] != x[20] using generic constraint 0.78/0.87 c intension x[12] != x[21] using generic constraint 0.78/0.88 c intension x[12] != x[22] using generic constraint 0.78/0.88 c intension x[12] != x[23] using generic constraint 0.78/0.88 c intension x[12] != x[24] using generic constraint 0.78/0.88 c intension x[12] != x[25] using generic constraint 0.78/0.88 c intension x[12] != x[26] using generic constraint 0.78/0.88 c intension x[12] != x[27] using generic constraint 0.78/0.88 c intension x[12] != x[28] using generic constraint 0.78/0.88 c intension x[12] != x[29] using generic constraint 0.78/0.88 c intension x[12] != x[30] using generic constraint 0.78/0.88 c intension x[12] != x[31] using generic constraint 0.78/0.89 c intension x[12] != x[32] using generic constraint 0.78/0.89 c intension x[12] != x[33] using generic constraint 0.78/0.89 c intension x[12] != x[34] using generic constraint 0.78/0.89 c intension x[12] != x[35] using generic constraint 0.78/0.89 c intension x[12] != x[36] using generic constraint 0.78/0.89 c intension x[12] != x[37] using generic constraint 0.78/0.89 c intension x[12] != x[38] using generic constraint 0.78/0.89 c intension x[12] != x[39] using generic constraint 0.78/0.89 c intension x[12] != x[40] using generic constraint 0.78/0.89 c intension x[12] != x[41] using generic constraint 0.78/0.89 c intension x[12] != x[42] using generic constraint 0.78/0.90 c intension x[12] != x[43] using generic constraint 0.88/0.90 c intension x[12] != x[44] using generic constraint 0.88/0.90 c intension x[12] != x[45] using generic constraint 0.88/0.90 c intension x[12] != x[46] using generic constraint 0.88/0.90 c intension x[12] != x[47] using generic constraint 0.88/0.90 c intension x[12] != x[48] using generic constraint 0.88/0.90 c intension x[12] != x[49] using generic constraint 0.88/0.90 c intension x[12] != x[50] using generic constraint 0.88/0.90 c intension x[12] != x[51] using generic constraint 0.88/0.90 c intension x[12] != x[52] using generic constraint 0.88/0.90 c intension x[12] != x[53] using generic constraint 0.88/0.91 c intension x[12] != x[54] using generic constraint 0.88/0.91 c intension x[12] != x[55] using generic constraint 0.88/0.91 c intension x[12] != x[56] using generic constraint 0.88/0.91 c intension x[12] != x[57] using generic constraint 0.88/0.91 c intension x[12] != x[58] using generic constraint 0.88/0.91 c intension x[12] != x[59] using generic constraint 0.88/0.91 c intension x[12] != x[60] using generic constraint 0.88/0.91 c intension x[12] != x[61] using generic constraint 0.88/0.91 c intension x[12] != x[62] using generic constraint 0.88/0.91 c intension x[12] != x[63] using generic constraint 0.88/0.91 c intension x[12] != x[64] using generic constraint 0.88/0.92 c intension x[12] != x[65] using generic constraint 0.88/0.92 c intension x[12] != x[66] using generic constraint 0.88/0.92 c intension x[12] != x[67] using generic constraint 0.88/0.92 c intension x[12] != x[68] using generic constraint 0.88/0.92 c intension x[12] != x[69] using generic constraint 0.88/0.92 c intension x[12] != x[70] using generic constraint 0.88/0.92 c intension x[12] != x[71] using generic constraint 0.88/0.92 c intension x[12] != x[72] using generic constraint 0.88/0.92 c intension x[12] != x[73] using generic constraint 0.88/0.92 c intension x[12] != x[74] using generic constraint 0.88/0.93 c intension x[12] != x[75] using generic constraint 0.88/0.93 c intension x[12] != x[76] using generic constraint 0.88/0.93 c intension x[12] != x[77] using generic constraint 0.88/0.93 c intension x[12] != x[78] using generic constraint 0.88/0.93 c intension x[12] != x[79] using generic constraint 0.88/0.93 c intension x[12] != x[80] using generic constraint 0.88/0.93 c intension x[13] != x[15] using generic constraint 0.88/0.93 c intension x[13] != x[16] using generic constraint 0.88/0.93 c intension x[13] != x[17] using generic constraint 0.88/0.93 c intension x[13] != x[18] using generic constraint 0.88/0.93 c intension x[13] != x[19] using generic constraint 0.88/0.94 c intension x[13] != x[20] using generic constraint 0.88/0.94 c intension x[13] != x[21] using generic constraint 0.88/0.94 c intension x[13] != x[22] using generic constraint 0.88/0.94 c intension x[13] != x[23] using generic constraint 0.88/0.94 c intension x[13] != x[24] using generic constraint 0.88/0.94 c intension x[13] != x[25] using generic constraint 0.88/0.94 c intension x[13] != x[26] using generic constraint 0.88/0.94 c intension x[13] != x[27] using generic constraint 0.88/0.94 c intension x[13] != x[28] using generic constraint 0.88/0.94 c intension x[13] != x[29] using generic constraint 0.88/0.94 c intension x[13] != x[30] using generic constraint 0.88/0.95 c intension x[13] != x[31] using generic constraint 0.88/0.95 c intension x[13] != x[32] using generic constraint 0.88/0.95 c intension x[13] != x[33] using generic constraint 0.88/0.95 c intension x[13] != x[34] using generic constraint 0.88/0.95 c intension x[13] != x[35] using generic constraint 0.88/0.95 c intension x[13] != x[36] using generic constraint 0.88/0.95 c intension x[13] != x[37] using generic constraint 0.88/0.95 c intension x[13] != x[38] using generic constraint 0.88/0.95 c intension x[13] != x[39] using generic constraint 0.88/0.95 c intension x[13] != x[40] using generic constraint 0.88/0.95 c intension x[13] != x[41] using generic constraint 0.88/0.96 c intension x[13] != x[42] using generic constraint 0.88/0.96 c intension x[13] != x[43] using generic constraint 0.88/0.96 c intension x[13] != x[44] using generic constraint 0.88/0.96 c intension x[13] != x[45] using generic constraint 0.88/0.96 c intension x[13] != x[46] using generic constraint 0.88/0.96 c intension x[13] != x[47] using generic constraint 0.88/0.96 c intension x[13] != x[48] using generic constraint 0.88/0.96 c intension x[13] != x[49] using generic constraint 0.88/0.96 c intension x[13] != x[50] using generic constraint 0.88/0.96 c intension x[13] != x[51] using generic constraint 0.88/0.97 c intension x[13] != x[52] using generic constraint 0.88/0.97 c intension x[13] != x[53] using generic constraint 0.88/0.97 c intension x[13] != x[54] using generic constraint 0.88/0.97 c intension x[13] != x[55] using generic constraint 0.88/0.97 c intension x[13] != x[56] using generic constraint 0.88/0.97 c intension x[13] != x[57] using generic constraint 0.88/0.97 c intension x[13] != x[58] using generic constraint 0.88/0.97 c intension x[13] != x[59] using generic constraint 0.88/0.97 c intension x[13] != x[60] using generic constraint 0.88/0.97 c intension x[13] != x[61] using generic constraint 0.88/0.97 c intension x[13] != x[62] using generic constraint 0.88/0.98 c intension x[13] != x[63] using generic constraint 0.88/0.98 c intension x[13] != x[64] using generic constraint 0.88/0.98 c intension x[13] != x[65] using generic constraint 0.88/0.98 c intension x[13] != x[66] using generic constraint 0.88/0.98 c intension x[13] != x[67] using generic constraint 0.88/0.98 c intension x[13] != x[68] using generic constraint 0.88/0.98 c intension x[13] != x[69] using generic constraint 0.88/0.98 c intension x[13] != x[70] using generic constraint 0.88/0.98 c intension x[13] != x[71] using generic constraint 0.88/0.98 c intension x[13] != x[72] using generic constraint 0.88/0.98 c intension x[13] != x[73] using generic constraint 0.88/0.99 c intension x[13] != x[74] using generic constraint 0.88/0.99 c intension x[13] != x[75] using generic constraint 0.88/0.99 c intension x[13] != x[76] using generic constraint 0.88/0.99 c intension x[13] != x[77] using generic constraint 0.88/0.99 c intension x[13] != x[78] using generic constraint 0.88/0.99 c intension x[13] != x[79] using generic constraint 0.88/0.99 c intension x[13] != x[80] using generic constraint 0.88/0.99 c intension x[14] != x[16] using generic constraint 0.88/0.99 c intension x[14] != x[17] using generic constraint 0.88/0.99 c intension x[14] != x[18] using generic constraint 0.88/0.99 c intension x[14] != x[19] using generic constraint 0.98/1.00 c intension x[14] != x[20] using generic constraint 0.98/1.00 c intension x[14] != x[21] using generic constraint 0.98/1.00 c intension x[14] != x[22] using generic constraint 0.98/1.00 c intension x[14] != x[23] using generic constraint 0.98/1.00 c intension x[14] != x[24] using generic constraint 0.98/1.00 c intension x[14] != x[25] using generic constraint 0.98/1.00 c intension x[14] != x[26] using generic constraint 0.98/1.00 c intension x[14] != x[27] using generic constraint 0.98/1.00 c intension x[14] != x[28] using generic constraint 0.98/1.00 c intension x[14] != x[29] using generic constraint 0.98/1.01 c intension x[14] != x[30] using generic constraint 0.98/1.01 c intension x[14] != x[31] using generic constraint 0.98/1.01 c intension x[14] != x[32] using generic constraint 0.98/1.01 c intension x[14] != x[33] using generic constraint 0.98/1.01 c intension x[14] != x[34] using generic constraint 0.98/1.01 c intension x[14] != x[35] using generic constraint 0.98/1.01 c intension x[14] != x[36] using generic constraint 0.98/1.01 c intension x[14] != x[37] using generic constraint 0.98/1.01 c intension x[14] != x[38] using generic constraint 0.98/1.01 c intension x[14] != x[39] using generic constraint 0.98/1.01 c intension x[14] != x[40] using generic constraint 0.98/1.02 c intension x[14] != x[41] using generic constraint 0.98/1.02 c intension x[14] != x[42] using generic constraint 0.98/1.02 c intension x[14] != x[43] using generic constraint 0.98/1.02 c intension x[14] != x[44] using generic constraint 0.98/1.02 c intension x[14] != x[45] using generic constraint 0.98/1.02 c intension x[14] != x[46] using generic constraint 0.98/1.02 c intension x[14] != x[47] using generic constraint 0.98/1.02 c intension x[14] != x[48] using generic constraint 0.98/1.02 c intension x[14] != x[49] using generic constraint 0.98/1.02 c intension x[14] != x[50] using generic constraint 0.98/1.02 c intension x[14] != x[51] using generic constraint 0.98/1.03 c intension x[14] != x[52] using generic constraint 0.98/1.03 c intension x[14] != x[53] using generic constraint 0.98/1.03 c intension x[14] != x[54] using generic constraint 0.98/1.03 c intension x[14] != x[55] using generic constraint 0.98/1.03 c intension x[14] != x[56] using generic constraint 0.98/1.03 c intension x[14] != x[57] using generic constraint 0.98/1.03 c intension x[14] != x[58] using generic constraint 0.98/1.03 c intension x[14] != x[59] using generic constraint 0.98/1.03 c intension x[14] != x[60] using generic constraint 0.98/1.03 c intension x[14] != x[61] using generic constraint 0.98/1.04 c intension x[14] != x[62] using generic constraint 0.98/1.04 c intension x[14] != x[63] using generic constraint 0.98/1.04 c intension x[14] != x[64] using generic constraint 0.98/1.04 c intension x[14] != x[65] using generic constraint 0.98/1.04 c intension x[14] != x[66] using generic constraint 0.98/1.04 c intension x[14] != x[67] using generic constraint 0.98/1.04 c intension x[14] != x[68] using generic constraint 0.98/1.04 c intension x[14] != x[69] using generic constraint 0.98/1.04 c intension x[14] != x[70] using generic constraint 0.98/1.04 c intension x[14] != x[71] using generic constraint 0.98/1.04 c intension x[14] != x[72] using generic constraint 0.98/1.05 c intension x[14] != x[73] using generic constraint 0.98/1.05 c intension x[14] != x[74] using generic constraint 0.98/1.05 c intension x[14] != x[75] using generic constraint 0.98/1.05 c intension x[14] != x[76] using generic constraint 0.98/1.05 c intension x[14] != x[77] using generic constraint 0.98/1.05 c intension x[14] != x[78] using generic constraint 0.98/1.05 c intension x[14] != x[79] using generic constraint 0.98/1.05 c intension x[14] != x[80] using generic constraint 0.98/1.05 c intension x[15] != x[17] using generic constraint 0.98/1.05 c intension x[15] != x[18] using generic constraint 0.98/1.05 c intension x[15] != x[19] using generic constraint 0.98/1.06 c intension x[15] != x[20] using generic constraint 0.98/1.06 c intension x[15] != x[21] using generic constraint 0.98/1.06 c intension x[15] != x[22] using generic constraint 0.98/1.06 c intension x[15] != x[23] using generic constraint 0.98/1.06 c intension x[15] != x[24] using generic constraint 0.98/1.06 c intension x[15] != x[25] using generic constraint 0.98/1.06 c intension x[15] != x[26] using generic constraint 0.98/1.06 c intension x[15] != x[27] using generic constraint 0.98/1.06 c intension x[15] != x[28] using generic constraint 0.98/1.06 c intension x[15] != x[29] using generic constraint 0.98/1.07 c intension x[15] != x[30] using generic constraint 0.98/1.07 c intension x[15] != x[31] using generic constraint 0.98/1.07 c intension x[15] != x[32] using generic constraint 0.98/1.07 c intension x[15] != x[33] using generic constraint 0.98/1.07 c intension x[15] != x[34] using generic constraint 0.98/1.07 c intension x[15] != x[35] using generic constraint 0.98/1.07 c intension x[15] != x[36] using generic constraint 0.98/1.07 c intension x[15] != x[37] using generic constraint 0.98/1.07 c intension x[15] != x[38] using generic constraint 0.98/1.07 c intension x[15] != x[39] using generic constraint 0.98/1.07 c intension x[15] != x[40] using generic constraint 0.98/1.08 c intension x[15] != x[41] using generic constraint 0.98/1.08 c intension x[15] != x[42] using generic constraint 0.98/1.08 c intension x[15] != x[43] using generic constraint 0.98/1.08 c intension x[15] != x[44] using generic constraint 0.98/1.08 c intension x[15] != x[45] using generic constraint 0.98/1.08 c intension x[15] != x[46] using generic constraint 0.98/1.08 c intension x[15] != x[47] using generic constraint 0.98/1.08 c intension x[15] != x[48] using generic constraint 0.98/1.08 c intension x[15] != x[49] using generic constraint 0.98/1.08 c intension x[15] != x[50] using generic constraint 0.98/1.08 c intension x[15] != x[51] using generic constraint 0.98/1.09 c intension x[15] != x[52] using generic constraint 0.98/1.09 c intension x[15] != x[53] using generic constraint 0.98/1.09 c intension x[15] != x[54] using generic constraint 0.98/1.09 c intension x[15] != x[55] using generic constraint 0.98/1.09 c intension x[15] != x[56] using generic constraint 0.98/1.09 c intension x[15] != x[57] using generic constraint 0.98/1.09 c intension x[15] != x[58] using generic constraint 0.98/1.09 c intension x[15] != x[59] using generic constraint 0.98/1.09 c intension x[15] != x[60] using generic constraint 0.98/1.09 c intension x[15] != x[61] using generic constraint 0.98/1.10 c intension x[15] != x[62] using generic constraint 0.98/1.10 c intension x[15] != x[63] using generic constraint 0.98/1.10 c intension x[15] != x[64] using generic constraint 0.98/1.10 c intension x[15] != x[65] using generic constraint 0.98/1.10 c intension x[15] != x[66] using generic constraint 0.98/1.10 c intension x[15] != x[67] using generic constraint 0.98/1.10 c intension x[15] != x[68] using generic constraint 0.98/1.10 c intension x[15] != x[69] using generic constraint 0.98/1.10 c intension x[15] != x[70] using generic constraint 1.09/1.10 c intension x[15] != x[71] using generic constraint 1.09/1.10 c intension x[15] != x[72] using generic constraint 1.09/1.11 c intension x[15] != x[73] using generic constraint 1.09/1.11 c intension x[15] != x[74] using generic constraint 1.09/1.11 c intension x[15] != x[75] using generic constraint 1.09/1.11 c intension x[15] != x[76] using generic constraint 1.09/1.11 c intension x[15] != x[77] using generic constraint 1.09/1.11 c intension x[15] != x[78] using generic constraint 1.09/1.11 c intension x[15] != x[79] using generic constraint 1.09/1.11 c intension x[15] != x[80] using generic constraint 1.09/1.11 c intension x[16] != x[18] using generic constraint 1.09/1.11 c intension x[16] != x[19] using generic constraint 1.09/1.12 c intension x[16] != x[20] using generic constraint 1.09/1.12 c intension x[16] != x[21] using generic constraint 1.09/1.12 c intension x[16] != x[22] using generic constraint 1.09/1.12 c intension x[16] != x[23] using generic constraint 1.09/1.12 c intension x[16] != x[24] using generic constraint 1.09/1.12 c intension x[16] != x[25] using generic constraint 1.09/1.12 c intension x[16] != x[26] using generic constraint 1.09/1.12 c intension x[16] != x[27] using generic constraint 1.09/1.12 c intension x[16] != x[28] using generic constraint 1.09/1.12 c intension x[16] != x[29] using generic constraint 1.09/1.12 c intension x[16] != x[30] using generic constraint 1.09/1.13 c intension x[16] != x[31] using generic constraint 1.09/1.13 c intension x[16] != x[32] using generic constraint 1.09/1.13 c intension x[16] != x[33] using generic constraint 1.09/1.13 c intension x[16] != x[34] using generic constraint 1.09/1.13 c intension x[16] != x[35] using generic constraint 1.09/1.13 c intension x[16] != x[36] using generic constraint 1.09/1.13 c intension x[16] != x[37] using generic constraint 1.09/1.13 c intension x[16] != x[38] using generic constraint 1.09/1.13 c intension x[16] != x[39] using generic constraint 1.09/1.13 c intension x[16] != x[40] using generic constraint 1.09/1.14 c intension x[16] != x[41] using generic constraint 1.09/1.14 c intension x[16] != x[42] using generic constraint 1.09/1.14 c intension x[16] != x[43] using generic constraint 1.09/1.14 c intension x[16] != x[44] using generic constraint 1.09/1.14 c intension x[16] != x[45] using generic constraint 1.09/1.14 c intension x[16] != x[46] using generic constraint 1.09/1.14 c intension x[16] != x[47] using generic constraint 1.09/1.14 c intension x[16] != x[48] using generic constraint 1.09/1.14 c intension x[16] != x[49] using generic constraint 1.09/1.14 c intension x[16] != x[50] using generic constraint 1.09/1.14 c intension x[16] != x[51] using generic constraint 1.09/1.15 c intension x[16] != x[52] using generic constraint 1.09/1.15 c intension x[16] != x[53] using generic constraint 1.09/1.15 c intension x[16] != x[54] using generic constraint 1.09/1.15 c intension x[16] != x[55] using generic constraint 1.09/1.15 c intension x[16] != x[56] using generic constraint 1.09/1.15 c intension x[16] != x[57] using generic constraint 1.09/1.15 c intension x[16] != x[58] using generic constraint 1.09/1.15 c intension x[16] != x[59] using generic constraint 1.09/1.15 c intension x[16] != x[60] using generic constraint 1.09/1.15 c intension x[16] != x[61] using generic constraint 1.09/1.15 c intension x[16] != x[62] using generic constraint 1.09/1.16 c intension x[16] != x[63] using generic constraint 1.09/1.16 c intension x[16] != x[64] using generic constraint 1.09/1.16 c intension x[16] != x[65] using generic constraint 1.09/1.16 c intension x[16] != x[66] using generic constraint 1.09/1.16 c intension x[16] != x[67] using generic constraint 1.09/1.16 c intension x[16] != x[68] using generic constraint 1.09/1.16 c intension x[16] != x[69] using generic constraint 1.09/1.16 c intension x[16] != x[70] using generic constraint 1.09/1.16 c intension x[16] != x[71] using generic constraint 1.09/1.16 c intension x[16] != x[72] using generic constraint 1.09/1.17 c intension x[16] != x[73] using generic constraint 1.09/1.17 c intension x[16] != x[74] using generic constraint 1.09/1.17 c intension x[16] != x[75] using generic constraint 1.09/1.17 c intension x[16] != x[76] using generic constraint 1.09/1.17 c intension x[16] != x[77] using generic constraint 1.09/1.17 c intension x[16] != x[78] using generic constraint 1.09/1.17 c intension x[16] != x[79] using generic constraint 1.09/1.17 c intension x[16] != x[80] using generic constraint 1.09/1.17 c intension x[17] != x[19] using generic constraint 1.09/1.17 c intension x[17] != x[20] using generic constraint 1.09/1.17 c intension x[17] != x[21] using generic constraint 1.09/1.18 c intension x[17] != x[22] using generic constraint 1.09/1.18 c intension x[17] != x[23] using generic constraint 1.09/1.18 c intension x[17] != x[24] using generic constraint 1.09/1.18 c intension x[17] != x[25] using generic constraint 1.09/1.18 c intension x[17] != x[26] using generic constraint 1.09/1.18 c intension x[17] != x[27] using generic constraint 1.09/1.18 c intension x[17] != x[28] using generic constraint 1.09/1.18 c intension x[17] != x[29] using generic constraint 1.09/1.18 c intension x[17] != x[30] using generic constraint 1.09/1.18 c intension x[17] != x[31] using generic constraint 1.09/1.19 c intension x[17] != x[32] using generic constraint 1.09/1.19 c intension x[17] != x[33] using generic constraint 1.09/1.19 c intension x[17] != x[34] using generic constraint 1.09/1.19 c intension x[17] != x[35] using generic constraint 1.09/1.19 c intension x[17] != x[36] using generic constraint 1.09/1.19 c intension x[17] != x[37] using generic constraint 1.09/1.19 c intension x[17] != x[38] using generic constraint 1.09/1.19 c intension x[17] != x[39] using generic constraint 1.09/1.19 c intension x[17] != x[40] using generic constraint 1.09/1.19 c intension x[17] != x[41] using generic constraint 1.09/1.19 c intension x[17] != x[42] using generic constraint 1.09/1.20 c intension x[17] != x[43] using generic constraint 1.09/1.20 c intension x[17] != x[44] using generic constraint 1.09/1.20 c intension x[17] != x[45] using generic constraint 1.09/1.20 c intension x[17] != x[46] using generic constraint 1.09/1.20 c intension x[17] != x[47] using generic constraint 1.09/1.20 c intension x[17] != x[48] using generic constraint 1.09/1.20 c intension x[17] != x[49] using generic constraint 1.09/1.20 c intension x[17] != x[50] using generic constraint 1.09/1.20 c intension x[17] != x[51] using generic constraint 1.19/1.20 c intension x[17] != x[52] using generic constraint 1.19/1.20 c intension x[17] != x[53] using generic constraint 1.19/1.21 c intension x[17] != x[54] using generic constraint 1.19/1.21 c intension x[17] != x[55] using generic constraint 1.19/1.21 c intension x[17] != x[56] using generic constraint 1.19/1.21 c intension x[17] != x[57] using generic constraint 1.19/1.21 c intension x[17] != x[58] using generic constraint 1.19/1.21 c intension x[17] != x[59] using generic constraint 1.19/1.21 c intension x[17] != x[60] using generic constraint 1.19/1.21 c intension x[17] != x[61] using generic constraint 1.19/1.21 c intension x[17] != x[62] using generic constraint 1.19/1.21 c intension x[17] != x[63] using generic constraint 1.19/1.22 c intension x[17] != x[64] using generic constraint 1.19/1.22 c intension x[17] != x[65] using generic constraint 1.19/1.22 c intension x[17] != x[66] using generic constraint 1.19/1.22 c intension x[17] != x[67] using generic constraint 1.19/1.22 c intension x[17] != x[68] using generic constraint 1.19/1.22 c intension x[17] != x[69] using generic constraint 1.19/1.22 c intension x[17] != x[70] using generic constraint 1.19/1.22 c intension x[17] != x[71] using generic constraint 1.19/1.22 c intension x[17] != x[72] using generic constraint 1.19/1.22 c intension x[17] != x[73] using generic constraint 1.19/1.22 c intension x[17] != x[74] using generic constraint 1.19/1.23 c intension x[17] != x[75] using generic constraint 1.19/1.23 c intension x[17] != x[76] using generic constraint 1.19/1.23 c intension x[17] != x[77] using generic constraint 1.19/1.23 c intension x[17] != x[78] using generic constraint 1.19/1.23 c intension x[17] != x[79] using generic constraint 1.19/1.23 c intension x[17] != x[80] using generic constraint 1.19/1.23 c intension x[18] != x[20] using generic constraint 1.19/1.23 c intension x[18] != x[21] using generic constraint 1.19/1.23 c intension x[18] != x[22] using generic constraint 1.19/1.23 c intension x[18] != x[23] using generic constraint 1.19/1.24 c intension x[18] != x[24] using generic constraint 1.19/1.24 c intension x[18] != x[25] using generic constraint 1.19/1.24 c intension x[18] != x[26] using generic constraint 1.19/1.24 c intension x[18] != x[27] using generic constraint 1.19/1.24 c intension x[18] != x[28] using generic constraint 1.19/1.24 c intension x[18] != x[29] using generic constraint 1.19/1.24 c intension x[18] != x[30] using generic constraint 1.19/1.24 c intension x[18] != x[31] using generic constraint 1.19/1.24 c intension x[18] != x[32] using generic constraint 1.19/1.24 c intension x[18] != x[33] using generic constraint 1.19/1.24 c intension x[18] != x[34] using generic constraint 1.19/1.25 c intension x[18] != x[35] using generic constraint 1.19/1.25 c intension x[18] != x[36] using generic constraint 1.19/1.25 c intension x[18] != x[37] using generic constraint 1.19/1.25 c intension x[18] != x[38] using generic constraint 1.19/1.25 c intension x[18] != x[39] using generic constraint 1.19/1.25 c intension x[18] != x[40] using generic constraint 1.19/1.25 c intension x[18] != x[41] using generic constraint 1.19/1.25 c intension x[18] != x[42] using generic constraint 1.19/1.25 c intension x[18] != x[43] using generic constraint 1.19/1.25 c intension x[18] != x[44] using generic constraint 1.19/1.26 c intension x[18] != x[45] using generic constraint 1.19/1.26 c intension x[18] != x[46] using generic constraint 1.19/1.26 c intension x[18] != x[47] using generic constraint 1.19/1.26 c intension x[18] != x[48] using generic constraint 1.19/1.26 c intension x[18] != x[49] using generic constraint 1.19/1.26 c intension x[18] != x[50] using generic constraint 1.19/1.26 c intension x[18] != x[51] using generic constraint 1.19/1.26 c intension x[18] != x[52] using generic constraint 1.19/1.26 c intension x[18] != x[53] using generic constraint 1.19/1.26 c intension x[18] != x[54] using generic constraint 1.19/1.26 c intension x[18] != x[55] using generic constraint 1.19/1.27 c intension x[18] != x[56] using generic constraint 1.19/1.27 c intension x[18] != x[57] using generic constraint 1.19/1.27 c intension x[18] != x[58] using generic constraint 1.19/1.27 c intension x[18] != x[59] using generic constraint 1.19/1.27 c intension x[18] != x[60] using generic constraint 1.19/1.27 c intension x[18] != x[61] using generic constraint 1.19/1.27 c intension x[18] != x[62] using generic constraint 1.19/1.27 c intension x[18] != x[63] using generic constraint 1.19/1.27 c intension x[18] != x[64] using generic constraint 1.19/1.27 c intension x[18] != x[65] using generic constraint 1.19/1.28 c intension x[18] != x[66] using generic constraint 1.19/1.28 c intension x[18] != x[67] using generic constraint 1.19/1.28 c intension x[18] != x[68] using generic constraint 1.19/1.28 c intension x[18] != x[69] using generic constraint 1.19/1.28 c intension x[18] != x[70] using generic constraint 1.19/1.28 c intension x[18] != x[71] using generic constraint 1.19/1.28 c intension x[18] != x[72] using generic constraint 1.19/1.28 c intension x[18] != x[73] using generic constraint 1.19/1.28 c intension x[18] != x[74] using generic constraint 1.19/1.28 c intension x[18] != x[75] using generic constraint 1.19/1.28 c intension x[18] != x[76] using generic constraint 1.19/1.29 c intension x[18] != x[77] using generic constraint 1.19/1.29 c intension x[18] != x[78] using generic constraint 1.19/1.29 c intension x[18] != x[79] using generic constraint 1.19/1.29 c intension x[18] != x[80] using generic constraint 1.19/1.29 c intension x[19] != x[21] using generic constraint 1.19/1.29 c intension x[19] != x[22] using generic constraint 1.19/1.29 c intension x[19] != x[23] using generic constraint 1.19/1.29 c intension x[19] != x[24] using generic constraint 1.19/1.29 c intension x[19] != x[25] using generic constraint 1.19/1.29 c intension x[19] != x[26] using generic constraint 1.19/1.30 c intension x[19] != x[27] using generic constraint 1.28/1.30 c intension x[19] != x[28] using generic constraint 1.28/1.30 c intension x[19] != x[29] using generic constraint 1.28/1.30 c intension x[19] != x[30] using generic constraint 1.28/1.30 c intension x[19] != x[31] using generic constraint 1.28/1.30 c intension x[19] != x[32] using generic constraint 1.28/1.30 c intension x[19] != x[33] using generic constraint 1.28/1.30 c intension x[19] != x[34] using generic constraint 1.28/1.30 c intension x[19] != x[35] using generic constraint 1.28/1.30 c intension x[19] != x[36] using generic constraint 1.28/1.30 c intension x[19] != x[37] using generic constraint 1.28/1.31 c intension x[19] != x[38] using generic constraint 1.28/1.31 c intension x[19] != x[39] using generic constraint 1.28/1.31 c intension x[19] != x[40] using generic constraint 1.28/1.31 c intension x[19] != x[41] using generic constraint 1.28/1.31 c intension x[19] != x[42] using generic constraint 1.28/1.31 c intension x[19] != x[43] using generic constraint 1.28/1.31 c intension x[19] != x[44] using generic constraint 1.28/1.31 c intension x[19] != x[45] using generic constraint 1.28/1.31 c intension x[19] != x[46] using generic constraint 1.28/1.31 c intension x[19] != x[47] using generic constraint 1.28/1.32 c intension x[19] != x[48] using generic constraint 1.28/1.32 c intension x[19] != x[49] using generic constraint 1.28/1.32 c intension x[19] != x[50] using generic constraint 1.28/1.32 c intension x[19] != x[51] using generic constraint 1.28/1.32 c intension x[19] != x[52] using generic constraint 1.28/1.32 c intension x[19] != x[53] using generic constraint 1.28/1.32 c intension x[19] != x[54] using generic constraint 1.28/1.32 c intension x[19] != x[55] using generic constraint 1.28/1.32 c intension x[19] != x[56] using generic constraint 1.28/1.32 c intension x[19] != x[57] using generic constraint 1.28/1.33 c intension x[19] != x[58] using generic constraint 1.28/1.33 c intension x[19] != x[59] using generic constraint 1.28/1.33 c intension x[19] != x[60] using generic constraint 1.28/1.33 c intension x[19] != x[61] using generic constraint 1.28/1.33 c intension x[19] != x[62] using generic constraint 1.28/1.33 c intension x[19] != x[63] using generic constraint 1.28/1.33 c intension x[19] != x[64] using generic constraint 1.28/1.33 c intension x[19] != x[65] using generic constraint 1.28/1.33 c intension x[19] != x[66] using generic constraint 1.28/1.33 c intension x[19] != x[67] using generic constraint 1.28/1.33 c intension x[19] != x[68] using generic constraint 1.28/1.34 c intension x[19] != x[69] using generic constraint 1.28/1.34 c intension x[19] != x[70] using generic constraint 1.28/1.34 c intension x[19] != x[71] using generic constraint 1.28/1.34 c intension x[19] != x[72] using generic constraint 1.28/1.34 c intension x[19] != x[73] using generic constraint 1.28/1.34 c intension x[19] != x[74] using generic constraint 1.28/1.34 c intension x[19] != x[75] using generic constraint 1.28/1.34 c intension x[19] != x[76] using generic constraint 1.28/1.34 c intension x[19] != x[77] using generic constraint 1.28/1.34 c intension x[19] != x[78] using generic constraint 1.28/1.34 c intension x[19] != x[79] using generic constraint 1.28/1.35 c intension x[19] != x[80] using generic constraint 1.28/1.35 c intension x[20] != x[22] using generic constraint 1.28/1.35 c intension x[20] != x[23] using generic constraint 1.28/1.35 c intension x[20] != x[24] using generic constraint 1.28/1.35 c intension x[20] != x[25] using generic constraint 1.28/1.35 c intension x[20] != x[26] using generic constraint 1.28/1.35 c intension x[20] != x[27] using generic constraint 1.28/1.35 c intension x[20] != x[28] using generic constraint 1.28/1.35 c intension x[20] != x[29] using generic constraint 1.28/1.35 c intension x[20] != x[30] using generic constraint 1.28/1.36 c intension x[20] != x[31] using generic constraint 1.28/1.36 c intension x[20] != x[32] using generic constraint 1.28/1.36 c intension x[20] != x[33] using generic constraint 1.28/1.36 c intension x[20] != x[34] using generic constraint 1.28/1.36 c intension x[20] != x[35] using generic constraint 1.28/1.36 c intension x[20] != x[36] using generic constraint 1.28/1.36 c intension x[20] != x[37] using generic constraint 1.28/1.36 c intension x[20] != x[38] using generic constraint 1.28/1.36 c intension x[20] != x[39] using generic constraint 1.28/1.36 c intension x[20] != x[40] using generic constraint 1.28/1.36 c intension x[20] != x[41] using generic constraint 1.28/1.37 c intension x[20] != x[42] using generic constraint 1.28/1.37 c intension x[20] != x[43] using generic constraint 1.28/1.37 c intension x[20] != x[44] using generic constraint 1.28/1.37 c intension x[20] != x[45] using generic constraint 1.28/1.37 c intension x[20] != x[46] using generic constraint 1.28/1.37 c intension x[20] != x[47] using generic constraint 1.28/1.37 c intension x[20] != x[48] using generic constraint 1.28/1.37 c intension x[20] != x[49] using generic constraint 1.28/1.37 c intension x[20] != x[50] using generic constraint 1.28/1.37 c intension x[20] != x[51] using generic constraint 1.28/1.38 c intension x[20] != x[52] using generic constraint 1.28/1.38 c intension x[20] != x[53] using generic constraint 1.28/1.38 c intension x[20] != x[54] using generic constraint 1.28/1.38 c intension x[20] != x[55] using generic constraint 1.28/1.38 c intension x[20] != x[56] using generic constraint 1.28/1.38 c intension x[20] != x[57] using generic constraint 1.28/1.38 c intension x[20] != x[58] using generic constraint 1.28/1.38 c intension x[20] != x[59] using generic constraint 1.28/1.38 c intension x[20] != x[60] using generic constraint 1.28/1.38 c intension x[20] != x[61] using generic constraint 1.28/1.38 c intension x[20] != x[62] using generic constraint 1.28/1.39 c intension x[20] != x[63] using generic constraint 1.28/1.39 c intension x[20] != x[64] using generic constraint 1.28/1.39 c intension x[20] != x[65] using generic constraint 1.28/1.39 c intension x[20] != x[66] using generic constraint 1.28/1.39 c intension x[20] != x[67] using generic constraint 1.28/1.39 c intension x[20] != x[68] using generic constraint 1.28/1.39 c intension x[20] != x[69] using generic constraint 1.28/1.39 c intension x[20] != x[70] using generic constraint 1.28/1.39 c intension x[20] != x[71] using generic constraint 1.28/1.39 c intension x[20] != x[72] using generic constraint 1.28/1.39 c intension x[20] != x[73] using generic constraint 1.39/1.40 c intension x[20] != x[74] using generic constraint 1.39/1.40 c intension x[20] != x[75] using generic constraint 1.39/1.40 c intension x[20] != x[76] using generic constraint 1.39/1.40 c intension x[20] != x[77] using generic constraint 1.39/1.40 c intension x[20] != x[78] using generic constraint 1.39/1.40 c intension x[20] != x[79] using generic constraint 1.39/1.40 c intension x[20] != x[80] using generic constraint 1.39/1.40 c intension x[21] != x[23] using generic constraint 1.39/1.40 c intension x[21] != x[24] using generic constraint 1.39/1.40 c intension x[21] != x[25] using generic constraint 1.39/1.41 c intension x[21] != x[26] using generic constraint 1.39/1.41 c intension x[21] != x[27] using generic constraint 1.39/1.41 c intension x[21] != x[28] using generic constraint 1.39/1.41 c intension x[21] != x[29] using generic constraint 1.39/1.41 c intension x[21] != x[30] using generic constraint 1.39/1.41 c intension x[21] != x[31] using generic constraint 1.39/1.41 c intension x[21] != x[32] using generic constraint 1.39/1.41 c intension x[21] != x[33] using generic constraint 1.39/1.41 c intension x[21] != x[34] using generic constraint 1.39/1.41 c intension x[21] != x[35] using generic constraint 1.39/1.42 c intension x[21] != x[36] using generic constraint 1.39/1.42 c intension x[21] != x[37] using generic constraint 1.39/1.42 c intension x[21] != x[38] using generic constraint 1.39/1.42 c intension x[21] != x[39] using generic constraint 1.39/1.42 c intension x[21] != x[40] using generic constraint 1.39/1.42 c intension x[21] != x[41] using generic constraint 1.39/1.42 c intension x[21] != x[42] using generic constraint 1.39/1.42 c intension x[21] != x[43] using generic constraint 1.39/1.42 c intension x[21] != x[44] using generic constraint 1.39/1.42 c intension x[21] != x[45] using generic constraint 1.39/1.42 c intension x[21] != x[46] using generic constraint 1.39/1.43 c intension x[21] != x[47] using generic constraint 1.39/1.43 c intension x[21] != x[48] using generic constraint 1.39/1.43 c intension x[21] != x[49] using generic constraint 1.39/1.43 c intension x[21] != x[50] using generic constraint 1.39/1.43 c intension x[21] != x[51] using generic constraint 1.39/1.43 c intension x[21] != x[52] using generic constraint 1.39/1.43 c intension x[21] != x[53] using generic constraint 1.39/1.43 c intension x[21] != x[54] using generic constraint 1.39/1.43 c intension x[21] != x[55] using generic constraint 1.39/1.43 c intension x[21] != x[56] using generic constraint 1.39/1.44 c intension x[21] != x[57] using generic constraint 1.39/1.44 c intension x[21] != x[58] using generic constraint 1.39/1.44 c intension x[21] != x[59] using generic constraint 1.39/1.44 c intension x[21] != x[60] using generic constraint 1.39/1.44 c intension x[21] != x[61] using generic constraint 1.39/1.44 c intension x[21] != x[62] using generic constraint 1.39/1.44 c intension x[21] != x[63] using generic constraint 1.39/1.44 c intension x[21] != x[64] using generic constraint 1.39/1.44 c intension x[21] != x[65] using generic constraint 1.39/1.44 c intension x[21] != x[66] using generic constraint 1.39/1.44 c intension x[21] != x[67] using generic constraint 1.39/1.45 c intension x[21] != x[68] using generic constraint 1.39/1.45 c intension x[21] != x[69] using generic constraint 1.39/1.45 c intension x[21] != x[70] using generic constraint 1.39/1.45 c intension x[21] != x[71] using generic constraint 1.39/1.45 c intension x[21] != x[72] using generic constraint 1.39/1.45 c intension x[21] != x[73] using generic constraint 1.39/1.45 c intension x[21] != x[74] using generic constraint 1.39/1.45 c intension x[21] != x[75] using generic constraint 1.39/1.45 c intension x[21] != x[76] using generic constraint 1.39/1.45 c intension x[21] != x[77] using generic constraint 1.39/1.46 c intension x[21] != x[78] using generic constraint 1.39/1.46 c intension x[21] != x[79] using generic constraint 1.39/1.46 c intension x[21] != x[80] using generic constraint 1.39/1.46 c intension x[22] != x[24] using generic constraint 1.39/1.46 c intension x[22] != x[25] using generic constraint 1.39/1.46 c intension x[22] != x[26] using generic constraint 1.39/1.46 c intension x[22] != x[27] using generic constraint 1.39/1.46 c intension x[22] != x[28] using generic constraint 1.39/1.46 c intension x[22] != x[29] using generic constraint 1.39/1.46 c intension x[22] != x[30] using generic constraint 1.39/1.46 c intension x[22] != x[31] using generic constraint 1.39/1.47 c intension x[22] != x[32] using generic constraint 1.39/1.47 c intension x[22] != x[33] using generic constraint 1.39/1.47 c intension x[22] != x[34] using generic constraint 1.39/1.47 c intension x[22] != x[35] using generic constraint 1.39/1.47 c intension x[22] != x[36] using generic constraint 1.39/1.47 c intension x[22] != x[37] using generic constraint 1.39/1.47 c intension x[22] != x[38] using generic constraint 1.39/1.47 c intension x[22] != x[39] using generic constraint 1.39/1.47 c intension x[22] != x[40] using generic constraint 1.39/1.47 c intension x[22] != x[41] using generic constraint 1.39/1.48 c intension x[22] != x[42] using generic constraint 1.39/1.48 c intension x[22] != x[43] using generic constraint 1.39/1.48 c intension x[22] != x[44] using generic constraint 1.39/1.48 c intension x[22] != x[45] using generic constraint 1.39/1.48 c intension x[22] != x[46] using generic constraint 1.39/1.48 c intension x[22] != x[47] using generic constraint 1.39/1.48 c intension x[22] != x[48] using generic constraint 1.39/1.48 c intension x[22] != x[49] using generic constraint 1.39/1.48 c intension x[22] != x[50] using generic constraint 1.39/1.48 c intension x[22] != x[51] using generic constraint 1.39/1.48 c intension x[22] != x[52] using generic constraint 1.39/1.49 c intension x[22] != x[53] using generic constraint 1.39/1.49 c intension x[22] != x[54] using generic constraint 1.39/1.49 c intension x[22] != x[55] using generic constraint 1.39/1.49 c intension x[22] != x[56] using generic constraint 1.39/1.49 c intension x[22] != x[57] using generic constraint 1.39/1.49 c intension x[22] != x[58] using generic constraint 1.39/1.49 c intension x[22] != x[59] using generic constraint 1.39/1.49 c intension x[22] != x[60] using generic constraint 1.39/1.49 c intension x[22] != x[61] using generic constraint 1.39/1.49 c intension x[22] != x[62] using generic constraint 1.39/1.50 c intension x[22] != x[63] using generic constraint 1.49/1.50 c intension x[22] != x[64] using generic constraint 1.49/1.50 c intension x[22] != x[65] using generic constraint 1.49/1.50 c intension x[22] != x[66] using generic constraint 1.49/1.50 c intension x[22] != x[67] using generic constraint 1.49/1.50 c intension x[22] != x[68] using generic constraint 1.49/1.50 c intension x[22] != x[69] using generic constraint 1.49/1.50 c intension x[22] != x[70] using generic constraint 1.49/1.50 c intension x[22] != x[71] using generic constraint 1.49/1.50 c intension x[22] != x[72] using generic constraint 1.49/1.51 c intension x[22] != x[73] using generic constraint 1.49/1.51 c intension x[22] != x[74] using generic constraint 1.49/1.51 c intension x[22] != x[75] using generic constraint 1.49/1.51 c intension x[22] != x[76] using generic constraint 1.49/1.51 c intension x[22] != x[77] using generic constraint 1.49/1.51 c intension x[22] != x[78] using generic constraint 1.49/1.51 c intension x[22] != x[79] using generic constraint 1.49/1.51 c intension x[22] != x[80] using generic constraint 1.49/1.51 c intension x[23] != x[25] using generic constraint 1.49/1.51 c intension x[23] != x[26] using generic constraint 1.49/1.51 c intension x[23] != x[27] using generic constraint 1.49/1.52 c intension x[23] != x[28] using generic constraint 1.49/1.52 c intension x[23] != x[29] using generic constraint 1.49/1.52 c intension x[23] != x[30] using generic constraint 1.49/1.52 c intension x[23] != x[31] using generic constraint 1.49/1.52 c intension x[23] != x[32] using generic constraint 1.49/1.52 c intension x[23] != x[33] using generic constraint 1.49/1.52 c intension x[23] != x[34] using generic constraint 1.49/1.52 c intension x[23] != x[35] using generic constraint 1.49/1.52 c intension x[23] != x[36] using generic constraint 1.49/1.52 c intension x[23] != x[37] using generic constraint 1.49/1.52 c intension x[23] != x[38] using generic constraint 1.49/1.53 c intension x[23] != x[39] using generic constraint 1.49/1.53 c intension x[23] != x[40] using generic constraint 1.49/1.53 c intension x[23] != x[41] using generic constraint 1.49/1.53 c intension x[23] != x[42] using generic constraint 1.49/1.53 c intension x[23] != x[43] using generic constraint 1.49/1.53 c intension x[23] != x[44] using generic constraint 1.49/1.53 c intension x[23] != x[45] using generic constraint 1.49/1.53 c intension x[23] != x[46] using generic constraint 1.49/1.53 c intension x[23] != x[47] using generic constraint 1.49/1.53 c intension x[23] != x[48] using generic constraint 1.49/1.54 c intension x[23] != x[49] using generic constraint 1.49/1.54 c intension x[23] != x[50] using generic constraint 1.49/1.54 c intension x[23] != x[51] using generic constraint 1.49/1.54 c intension x[23] != x[52] using generic constraint 1.49/1.54 c intension x[23] != x[53] using generic constraint 1.49/1.54 c intension x[23] != x[54] using generic constraint 1.49/1.54 c intension x[23] != x[55] using generic constraint 1.49/1.54 c intension x[23] != x[56] using generic constraint 1.49/1.54 c intension x[23] != x[57] using generic constraint 1.49/1.54 c intension x[23] != x[58] using generic constraint 1.49/1.54 c intension x[23] != x[59] using generic constraint 1.49/1.55 c intension x[23] != x[60] using generic constraint 1.49/1.55 c intension x[23] != x[61] using generic constraint 1.49/1.55 c intension x[23] != x[62] using generic constraint 1.49/1.55 c intension x[23] != x[63] using generic constraint 1.49/1.55 c intension x[23] != x[64] using generic constraint 1.49/1.55 c intension x[23] != x[65] using generic constraint 1.49/1.55 c intension x[23] != x[66] using generic constraint 1.49/1.55 c intension x[23] != x[67] using generic constraint 1.49/1.55 c intension x[23] != x[68] using generic constraint 1.49/1.55 c intension x[23] != x[69] using generic constraint 1.49/1.56 c intension x[23] != x[70] using generic constraint 1.49/1.56 c intension x[23] != x[71] using generic constraint 1.49/1.56 c intension x[23] != x[72] using generic constraint 1.49/1.56 c intension x[23] != x[73] using generic constraint 1.49/1.56 c intension x[23] != x[74] using generic constraint 1.49/1.56 c intension x[23] != x[75] using generic constraint 1.49/1.56 c intension x[23] != x[76] using generic constraint 1.49/1.56 c intension x[23] != x[77] using generic constraint 1.49/1.56 c intension x[23] != x[78] using generic constraint 1.49/1.56 c intension x[23] != x[79] using generic constraint 1.49/1.56 c intension x[23] != x[80] using generic constraint 1.49/1.57 c intension x[24] != x[26] using generic constraint 1.49/1.57 c intension x[24] != x[27] using generic constraint 1.49/1.57 c intension x[24] != x[28] using generic constraint 1.49/1.57 c intension x[24] != x[29] using generic constraint 1.49/1.57 c intension x[24] != x[30] using generic constraint 1.49/1.57 c intension x[24] != x[31] using generic constraint 1.49/1.57 c intension x[24] != x[32] using generic constraint 1.49/1.57 c intension x[24] != x[33] using generic constraint 1.49/1.57 c intension x[24] != x[34] using generic constraint 1.49/1.57 c intension x[24] != x[35] using generic constraint 1.49/1.58 c intension x[24] != x[36] using generic constraint 1.49/1.58 c intension x[24] != x[37] using generic constraint 1.49/1.58 c intension x[24] != x[38] using generic constraint 1.49/1.58 c intension x[24] != x[39] using generic constraint 1.49/1.58 c intension x[24] != x[40] using generic constraint 1.49/1.58 c intension x[24] != x[41] using generic constraint 1.49/1.58 c intension x[24] != x[42] using generic constraint 1.49/1.58 c intension x[24] != x[43] using generic constraint 1.49/1.58 c intension x[24] != x[44] using generic constraint 1.49/1.58 c intension x[24] != x[45] using generic constraint 1.49/1.58 c intension x[24] != x[46] using generic constraint 1.49/1.59 c intension x[24] != x[47] using generic constraint 1.49/1.59 c intension x[24] != x[48] using generic constraint 1.49/1.59 c intension x[24] != x[49] using generic constraint 1.49/1.59 c intension x[24] != x[50] using generic constraint 1.49/1.59 c intension x[24] != x[51] using generic constraint 1.49/1.59 c intension x[24] != x[52] using generic constraint 1.49/1.59 c intension x[24] != x[53] using generic constraint 1.49/1.59 c intension x[24] != x[54] using generic constraint 1.49/1.59 c intension x[24] != x[55] using generic constraint 1.49/1.59 c intension x[24] != x[56] using generic constraint 1.49/1.60 c intension x[24] != x[57] using generic constraint 1.59/1.60 c intension x[24] != x[58] using generic constraint 1.59/1.60 c intension x[24] != x[59] using generic constraint 1.59/1.60 c intension x[24] != x[60] using generic constraint 1.59/1.60 c intension x[24] != x[61] using generic constraint 1.59/1.60 c intension x[24] != x[62] using generic constraint 1.59/1.60 c intension x[24] != x[63] using generic constraint 1.59/1.60 c intension x[24] != x[64] using generic constraint 1.59/1.60 c intension x[24] != x[65] using generic constraint 1.59/1.60 c intension x[24] != x[66] using generic constraint 1.59/1.61 c intension x[24] != x[67] using generic constraint 1.59/1.61 c intension x[24] != x[68] using generic constraint 1.59/1.61 c intension x[24] != x[69] using generic constraint 1.59/1.61 c intension x[24] != x[70] using generic constraint 1.59/1.61 c intension x[24] != x[71] using generic constraint 1.59/1.61 c intension x[24] != x[72] using generic constraint 1.59/1.61 c intension x[24] != x[73] using generic constraint 1.59/1.61 c intension x[24] != x[74] using generic constraint 1.59/1.61 c intension x[24] != x[75] using generic constraint 1.59/1.61 c intension x[24] != x[76] using generic constraint 1.59/1.61 c intension x[24] != x[77] using generic constraint 1.59/1.62 c intension x[24] != x[78] using generic constraint 1.59/1.62 c intension x[24] != x[79] using generic constraint 1.59/1.62 c intension x[24] != x[80] using generic constraint 1.59/1.62 c intension x[25] != x[27] using generic constraint 1.59/1.62 c intension x[25] != x[28] using generic constraint 1.59/1.62 c intension x[25] != x[29] using generic constraint 1.59/1.62 c intension x[25] != x[30] using generic constraint 1.59/1.62 c intension x[25] != x[31] using generic constraint 1.59/1.62 c intension x[25] != x[32] using generic constraint 1.59/1.62 c intension x[25] != x[33] using generic constraint 1.59/1.63 c intension x[25] != x[34] using generic constraint 1.59/1.63 c intension x[25] != x[35] using generic constraint 1.59/1.63 c intension x[25] != x[36] using generic constraint 1.59/1.63 c intension x[25] != x[37] using generic constraint 1.59/1.63 c intension x[25] != x[38] using generic constraint 1.59/1.63 c intension x[25] != x[39] using generic constraint 1.59/1.63 c intension x[25] != x[40] using generic constraint 1.59/1.63 c intension x[25] != x[41] using generic constraint 1.59/1.63 c intension x[25] != x[42] using generic constraint 1.59/1.63 c intension x[25] != x[43] using generic constraint 1.59/1.63 c intension x[25] != x[44] using generic constraint 1.59/1.64 c intension x[25] != x[45] using generic constraint 1.59/1.64 c intension x[25] != x[46] using generic constraint 1.59/1.64 c intension x[25] != x[47] using generic constraint 1.59/1.64 c intension x[25] != x[48] using generic constraint 1.59/1.64 c intension x[25] != x[49] using generic constraint 1.59/1.64 c intension x[25] != x[50] using generic constraint 1.59/1.64 c intension x[25] != x[51] using generic constraint 1.59/1.64 c intension x[25] != x[52] using generic constraint 1.59/1.64 c intension x[25] != x[53] using generic constraint 1.59/1.64 c intension x[25] != x[54] using generic constraint 1.59/1.65 c intension x[25] != x[55] using generic constraint 1.59/1.65 c intension x[25] != x[56] using generic constraint 1.59/1.65 c intension x[25] != x[57] using generic constraint 1.59/1.65 c intension x[25] != x[58] using generic constraint 1.59/1.65 c intension x[25] != x[59] using generic constraint 1.59/1.65 c intension x[25] != x[60] using generic constraint 1.59/1.65 c intension x[25] != x[61] using generic constraint 1.59/1.65 c intension x[25] != x[62] using generic constraint 1.59/1.65 c intension x[25] != x[63] using generic constraint 1.59/1.65 c intension x[25] != x[64] using generic constraint 1.59/1.65 c intension x[25] != x[65] using generic constraint 1.59/1.66 c intension x[25] != x[66] using generic constraint 1.59/1.66 c intension x[25] != x[67] using generic constraint 1.59/1.66 c intension x[25] != x[68] using generic constraint 1.59/1.66 c intension x[25] != x[69] using generic constraint 1.59/1.66 c intension x[25] != x[70] using generic constraint 1.59/1.66 c intension x[25] != x[71] using generic constraint 1.59/1.66 c intension x[25] != x[72] using generic constraint 1.59/1.66 c intension x[25] != x[73] using generic constraint 1.59/1.66 c intension x[25] != x[74] using generic constraint 1.59/1.66 c intension x[25] != x[75] using generic constraint 1.59/1.67 c intension x[25] != x[76] using generic constraint 1.59/1.67 c intension x[25] != x[77] using generic constraint 1.59/1.67 c intension x[25] != x[78] using generic constraint 1.59/1.67 c intension x[25] != x[79] using generic constraint 1.59/1.67 c intension x[25] != x[80] using generic constraint 1.59/1.67 c intension x[26] != x[28] using generic constraint 1.59/1.67 c intension x[26] != x[29] using generic constraint 1.59/1.67 c intension x[26] != x[30] using generic constraint 1.59/1.67 c intension x[26] != x[31] using generic constraint 1.59/1.67 c intension x[26] != x[32] using generic constraint 1.59/1.67 c intension x[26] != x[33] using generic constraint 1.59/1.68 c intension x[26] != x[34] using generic constraint 1.59/1.68 c intension x[26] != x[35] using generic constraint 1.59/1.68 c intension x[26] != x[36] using generic constraint 1.59/1.68 c intension x[26] != x[37] using generic constraint 1.59/1.68 c intension x[26] != x[38] using generic constraint 1.59/1.68 c intension x[26] != x[39] using generic constraint 1.59/1.68 c intension x[26] != x[40] using generic constraint 1.59/1.68 c intension x[26] != x[41] using generic constraint 1.59/1.68 c intension x[26] != x[42] using generic constraint 1.59/1.68 c intension x[26] != x[43] using generic constraint 1.59/1.69 c intension x[26] != x[44] using generic constraint 1.59/1.69 c intension x[26] != x[45] using generic constraint 1.59/1.69 c intension x[26] != x[46] using generic constraint 1.59/1.69 c intension x[26] != x[47] using generic constraint 1.59/1.69 c intension x[26] != x[48] using generic constraint 1.59/1.69 c intension x[26] != x[49] using generic constraint 1.59/1.69 c intension x[26] != x[50] using generic constraint 1.59/1.69 c intension x[26] != x[51] using generic constraint 1.59/1.69 c intension x[26] != x[52] using generic constraint 1.59/1.69 c intension x[26] != x[53] using generic constraint 1.59/1.69 c intension x[26] != x[54] using generic constraint 1.69/1.70 c intension x[26] != x[55] using generic constraint 1.69/1.70 c intension x[26] != x[56] using generic constraint 1.69/1.70 c intension x[26] != x[57] using generic constraint 1.69/1.70 c intension x[26] != x[58] using generic constraint 1.69/1.70 c intension x[26] != x[59] using generic constraint 1.69/1.70 c intension x[26] != x[60] using generic constraint 1.69/1.70 c intension x[26] != x[61] using generic constraint 1.69/1.70 c intension x[26] != x[62] using generic constraint 1.69/1.70 c intension x[26] != x[63] using generic constraint 1.69/1.70 c intension x[26] != x[64] using generic constraint 1.69/1.71 c intension x[26] != x[65] using generic constraint 1.69/1.71 c intension x[26] != x[66] using generic constraint 1.69/1.71 c intension x[26] != x[67] using generic constraint 1.69/1.71 c intension x[26] != x[68] using generic constraint 1.69/1.71 c intension x[26] != x[69] using generic constraint 1.69/1.71 c intension x[26] != x[70] using generic constraint 1.69/1.71 c intension x[26] != x[71] using generic constraint 1.69/1.71 c intension x[26] != x[72] using generic constraint 1.69/1.71 c intension x[26] != x[73] using generic constraint 1.69/1.71 c intension x[26] != x[74] using generic constraint 1.69/1.71 c intension x[26] != x[75] using generic constraint 1.69/1.72 c intension x[26] != x[76] using generic constraint 1.69/1.72 c intension x[26] != x[77] using generic constraint 1.69/1.72 c intension x[26] != x[78] using generic constraint 1.69/1.72 c intension x[26] != x[79] using generic constraint 1.69/1.72 c intension x[26] != x[80] using generic constraint 1.69/1.72 c intension x[27] != x[29] using generic constraint 1.69/1.72 c intension x[27] != x[30] using generic constraint 1.69/1.72 c intension x[27] != x[31] using generic constraint 1.69/1.72 c intension x[27] != x[32] using generic constraint 1.69/1.72 c intension x[27] != x[33] using generic constraint 1.69/1.73 c intension x[27] != x[34] using generic constraint 1.69/1.73 c intension x[27] != x[35] using generic constraint 1.69/1.73 c intension x[27] != x[36] using generic constraint 1.69/1.73 c intension x[27] != x[37] using generic constraint 1.69/1.73 c intension x[27] != x[38] using generic constraint 1.69/1.73 c intension x[27] != x[39] using generic constraint 1.69/1.73 c intension x[27] != x[40] using generic constraint 1.69/1.73 c intension x[27] != x[41] using generic constraint 1.69/1.73 c intension x[27] != x[42] using generic constraint 1.69/1.73 c intension x[27] != x[43] using generic constraint 1.69/1.73 c intension x[27] != x[44] using generic constraint 1.69/1.74 c intension x[27] != x[45] using generic constraint 1.69/1.74 c intension x[27] != x[46] using generic constraint 1.69/1.74 c intension x[27] != x[47] using generic constraint 1.69/1.74 c intension x[27] != x[48] using generic constraint 1.69/1.74 c intension x[27] != x[49] using generic constraint 1.69/1.74 c intension x[27] != x[50] using generic constraint 1.69/1.74 c intension x[27] != x[51] using generic constraint 1.69/1.74 c intension x[27] != x[52] using generic constraint 1.69/1.74 c intension x[27] != x[53] using generic constraint 1.69/1.74 c intension x[27] != x[54] using generic constraint 1.69/1.75 c intension x[27] != x[55] using generic constraint 1.69/1.75 c intension x[27] != x[56] using generic constraint 1.69/1.75 c intension x[27] != x[57] using generic constraint 1.69/1.75 c intension x[27] != x[58] using generic constraint 1.69/1.75 c intension x[27] != x[59] using generic constraint 1.69/1.75 c intension x[27] != x[60] using generic constraint 1.69/1.75 c intension x[27] != x[61] using generic constraint 1.69/1.75 c intension x[27] != x[62] using generic constraint 1.69/1.75 c intension x[27] != x[63] using generic constraint 1.69/1.75 c intension x[27] != x[64] using generic constraint 1.69/1.76 c intension x[27] != x[65] using generic constraint 1.69/1.76 c intension x[27] != x[66] using generic constraint 1.69/1.76 c intension x[27] != x[67] using generic constraint 1.69/1.76 c intension x[27] != x[68] using generic constraint 1.69/1.76 c intension x[27] != x[69] using generic constraint 1.69/1.76 c intension x[27] != x[70] using generic constraint 1.69/1.76 c intension x[27] != x[71] using generic constraint 1.69/1.76 c intension x[27] != x[72] using generic constraint 1.69/1.76 c intension x[27] != x[73] using generic constraint 1.69/1.76 c intension x[27] != x[74] using generic constraint 1.69/1.76 c intension x[27] != x[75] using generic constraint 1.69/1.77 c intension x[27] != x[76] using generic constraint 1.69/1.77 c intension x[27] != x[77] using generic constraint 1.69/1.77 c intension x[27] != x[78] using generic constraint 1.69/1.77 c intension x[27] != x[79] using generic constraint 1.69/1.77 c intension x[27] != x[80] using generic constraint 1.69/1.77 c intension x[28] != x[30] using generic constraint 1.69/1.77 c intension x[28] != x[31] using generic constraint 1.69/1.77 c intension x[28] != x[32] using generic constraint 1.69/1.77 c intension x[28] != x[33] using generic constraint 1.69/1.77 c intension x[28] != x[34] using generic constraint 1.69/1.78 c intension x[28] != x[35] using generic constraint 1.69/1.78 c intension x[28] != x[36] using generic constraint 1.69/1.78 c intension x[28] != x[37] using generic constraint 1.69/1.78 c intension x[28] != x[38] using generic constraint 1.69/1.78 c intension x[28] != x[39] using generic constraint 1.69/1.78 c intension x[28] != x[40] using generic constraint 1.69/1.78 c intension x[28] != x[41] using generic constraint 1.69/1.78 c intension x[28] != x[42] using generic constraint 1.69/1.78 c intension x[28] != x[43] using generic constraint 1.69/1.78 c intension x[28] != x[44] using generic constraint 1.69/1.78 c intension x[28] != x[45] using generic constraint 1.69/1.79 c intension x[28] != x[46] using generic constraint 1.69/1.79 c intension x[28] != x[47] using generic constraint 1.69/1.79 c intension x[28] != x[48] using generic constraint 1.69/1.79 c intension x[28] != x[49] using generic constraint 1.69/1.79 c intension x[28] != x[50] using generic constraint 1.69/1.79 c intension x[28] != x[51] using generic constraint 1.69/1.79 c intension x[28] != x[52] using generic constraint 1.69/1.79 c intension x[28] != x[53] using generic constraint 1.69/1.79 c intension x[28] != x[54] using generic constraint 1.69/1.79 c intension x[28] != x[55] using generic constraint 1.69/1.80 c intension x[28] != x[56] using generic constraint 1.79/1.80 c intension x[28] != x[57] using generic constraint 1.79/1.80 c intension x[28] != x[58] using generic constraint 1.79/1.80 c intension x[28] != x[59] using generic constraint 1.79/1.80 c intension x[28] != x[60] using generic constraint 1.79/1.80 c intension x[28] != x[61] using generic constraint 1.79/1.80 c intension x[28] != x[62] using generic constraint 1.79/1.80 c intension x[28] != x[63] using generic constraint 1.79/1.80 c intension x[28] != x[64] using generic constraint 1.79/1.80 c intension x[28] != x[65] using generic constraint 1.79/1.81 c intension x[28] != x[66] using generic constraint 1.79/1.81 c intension x[28] != x[67] using generic constraint 1.79/1.81 c intension x[28] != x[68] using generic constraint 1.79/1.81 c intension x[28] != x[69] using generic constraint 1.79/1.81 c intension x[28] != x[70] using generic constraint 1.79/1.81 c intension x[28] != x[71] using generic constraint 1.79/1.81 c intension x[28] != x[72] using generic constraint 1.79/1.81 c intension x[28] != x[73] using generic constraint 1.79/1.81 c intension x[28] != x[74] using generic constraint 1.79/1.81 c intension x[28] != x[75] using generic constraint 1.79/1.81 c intension x[28] != x[76] using generic constraint 1.79/1.82 c intension x[28] != x[77] using generic constraint 1.79/1.82 c intension x[28] != x[78] using generic constraint 1.79/1.82 c intension x[28] != x[79] using generic constraint 1.79/1.82 c intension x[28] != x[80] using generic constraint 1.79/1.82 c intension x[29] != x[31] using generic constraint 1.79/1.82 c intension x[29] != x[32] using generic constraint 1.79/1.82 c intension x[29] != x[33] using generic constraint 1.79/1.82 c intension x[29] != x[34] using generic constraint 1.79/1.82 c intension x[29] != x[35] using generic constraint 1.79/1.82 c intension x[29] != x[36] using generic constraint 1.79/1.83 c intension x[29] != x[37] using generic constraint 1.79/1.83 c intension x[29] != x[38] using generic constraint 1.79/1.83 c intension x[29] != x[39] using generic constraint 1.79/1.83 c intension x[29] != x[40] using generic constraint 1.79/1.83 c intension x[29] != x[41] using generic constraint 1.79/1.83 c intension x[29] != x[42] using generic constraint 1.79/1.83 c intension x[29] != x[43] using generic constraint 1.79/1.83 c intension x[29] != x[44] using generic constraint 1.79/1.83 c intension x[29] != x[45] using generic constraint 1.79/1.83 c intension x[29] != x[46] using generic constraint 1.79/1.83 c intension x[29] != x[47] using generic constraint 1.79/1.84 c intension x[29] != x[48] using generic constraint 1.79/1.84 c intension x[29] != x[49] using generic constraint 1.79/1.84 c intension x[29] != x[50] using generic constraint 1.79/1.84 c intension x[29] != x[51] using generic constraint 1.79/1.84 c intension x[29] != x[52] using generic constraint 1.79/1.84 c intension x[29] != x[53] using generic constraint 1.79/1.84 c intension x[29] != x[54] using generic constraint 1.79/1.84 c intension x[29] != x[55] using generic constraint 1.79/1.84 c intension x[29] != x[56] using generic constraint 1.79/1.84 c intension x[29] != x[57] using generic constraint 1.79/1.85 c intension x[29] != x[58] using generic constraint 1.79/1.85 c intension x[29] != x[59] using generic constraint 1.79/1.85 c intension x[29] != x[60] using generic constraint 1.79/1.85 c intension x[29] != x[61] using generic constraint 1.79/1.85 c intension x[29] != x[62] using generic constraint 1.79/1.85 c intension x[29] != x[63] using generic constraint 1.79/1.85 c intension x[29] != x[64] using generic constraint 1.79/1.85 c intension x[29] != x[65] using generic constraint 1.79/1.85 c intension x[29] != x[66] using generic constraint 1.79/1.85 c intension x[29] != x[67] using generic constraint 1.79/1.85 c intension x[29] != x[68] using generic constraint 1.79/1.86 c intension x[29] != x[69] using generic constraint 1.79/1.86 c intension x[29] != x[70] using generic constraint 1.79/1.86 c intension x[29] != x[71] using generic constraint 1.79/1.86 c intension x[29] != x[72] using generic constraint 1.79/1.86 c intension x[29] != x[73] using generic constraint 1.79/1.86 c intension x[29] != x[74] using generic constraint 1.79/1.86 c intension x[29] != x[75] using generic constraint 1.79/1.86 c intension x[29] != x[76] using generic constraint 1.79/1.86 c intension x[29] != x[77] using generic constraint 1.79/1.86 c intension x[29] != x[78] using generic constraint 1.79/1.87 c intension x[29] != x[79] using generic constraint 1.79/1.87 c intension x[29] != x[80] using generic constraint 1.79/1.87 c intension x[30] != x[32] using generic constraint 1.79/1.87 c intension x[30] != x[33] using generic constraint 1.79/1.87 c intension x[30] != x[34] using generic constraint 1.79/1.87 c intension x[30] != x[35] using generic constraint 1.79/1.87 c intension x[30] != x[36] using generic constraint 1.79/1.87 c intension x[30] != x[37] using generic constraint 1.79/1.87 c intension x[30] != x[38] using generic constraint 1.79/1.87 c intension x[30] != x[39] using generic constraint 1.79/1.87 c intension x[30] != x[40] using generic constraint 1.79/1.88 c intension x[30] != x[41] using generic constraint 1.79/1.88 c intension x[30] != x[42] using generic constraint 1.79/1.88 c intension x[30] != x[43] using generic constraint 1.79/1.88 c intension x[30] != x[44] using generic constraint 1.79/1.88 c intension x[30] != x[45] using generic constraint 1.79/1.88 c intension x[30] != x[46] using generic constraint 1.79/1.88 c intension x[30] != x[47] using generic constraint 1.79/1.88 c intension x[30] != x[48] using generic constraint 1.79/1.88 c intension x[30] != x[49] using generic constraint 1.79/1.88 c intension x[30] != x[50] using generic constraint 1.79/1.89 c intension x[30] != x[51] using generic constraint 1.79/1.89 c intension x[30] != x[52] using generic constraint 1.79/1.89 c intension x[30] != x[53] using generic constraint 1.79/1.89 c intension x[30] != x[54] using generic constraint 1.79/1.89 c intension x[30] != x[55] using generic constraint 1.79/1.89 c intension x[30] != x[56] using generic constraint 1.79/1.89 c intension x[30] != x[57] using generic constraint 1.79/1.89 c intension x[30] != x[58] using generic constraint 1.79/1.89 c intension x[30] != x[59] using generic constraint 1.79/1.89 c intension x[30] != x[60] using generic constraint 1.79/1.89 c intension x[30] != x[61] using generic constraint 1.89/1.90 c intension x[30] != x[62] using generic constraint 1.89/1.90 c intension x[30] != x[63] using generic constraint 1.89/1.90 c intension x[30] != x[64] using generic constraint 1.89/1.90 c intension x[30] != x[65] using generic constraint 1.89/1.90 c intension x[30] != x[66] using generic constraint 1.89/1.90 c intension x[30] != x[67] using generic constraint 1.89/1.90 c intension x[30] != x[68] using generic constraint 1.89/1.90 c intension x[30] != x[69] using generic constraint 1.89/1.90 c intension x[30] != x[70] using generic constraint 1.89/1.90 c intension x[30] != x[71] using generic constraint 1.89/1.91 c intension x[30] != x[72] using generic constraint 1.89/1.91 c intension x[30] != x[73] using generic constraint 1.89/1.91 c intension x[30] != x[74] using generic constraint 1.89/1.91 c intension x[30] != x[75] using generic constraint 1.89/1.91 c intension x[30] != x[76] using generic constraint 1.89/1.91 c intension x[30] != x[77] using generic constraint 1.89/1.91 c intension x[30] != x[78] using generic constraint 1.89/1.91 c intension x[30] != x[79] using generic constraint 1.89/1.91 c intension x[30] != x[80] using generic constraint 1.89/1.91 c intension x[31] != x[33] using generic constraint 1.89/1.92 c intension x[31] != x[34] using generic constraint 1.89/1.92 c intension x[31] != x[35] using generic constraint 1.89/1.92 c intension x[31] != x[36] using generic constraint 1.89/1.92 c intension x[31] != x[37] using generic constraint 1.89/1.92 c intension x[31] != x[38] using generic constraint 1.89/1.92 c intension x[31] != x[39] using generic constraint 1.89/1.92 c intension x[31] != x[40] using generic constraint 1.89/1.92 c intension x[31] != x[41] using generic constraint 1.89/1.92 c intension x[31] != x[42] using generic constraint 1.89/1.92 c intension x[31] != x[43] using generic constraint 1.89/1.93 c intension x[31] != x[44] using generic constraint 1.89/1.93 c intension x[31] != x[45] using generic constraint 1.89/1.93 c intension x[31] != x[46] using generic constraint 1.89/1.93 c intension x[31] != x[47] using generic constraint 1.89/1.93 c intension x[31] != x[48] using generic constraint 1.89/1.93 c intension x[31] != x[49] using generic constraint 1.89/1.93 c intension x[31] != x[50] using generic constraint 1.89/1.93 c intension x[31] != x[51] using generic constraint 1.89/1.93 c intension x[31] != x[52] using generic constraint 1.89/1.93 c intension x[31] != x[53] using generic constraint 1.89/1.93 c intension x[31] != x[54] using generic constraint 1.89/1.94 c intension x[31] != x[55] using generic constraint 1.89/1.94 c intension x[31] != x[56] using generic constraint 1.89/1.94 c intension x[31] != x[57] using generic constraint 1.89/1.94 c intension x[31] != x[58] using generic constraint 1.89/1.94 c intension x[31] != x[59] using generic constraint 1.89/1.94 c intension x[31] != x[60] using generic constraint 1.89/1.94 c intension x[31] != x[61] using generic constraint 1.89/1.94 c intension x[31] != x[62] using generic constraint 1.89/1.94 c intension x[31] != x[63] using generic constraint 1.89/1.94 c intension x[31] != x[64] using generic constraint 1.89/1.95 c intension x[31] != x[65] using generic constraint 1.89/1.95 c intension x[31] != x[66] using generic constraint 1.89/1.95 c intension x[31] != x[67] using generic constraint 1.89/1.95 c intension x[31] != x[68] using generic constraint 1.89/1.95 c intension x[31] != x[69] using generic constraint 1.89/1.95 c intension x[31] != x[70] using generic constraint 1.89/1.95 c intension x[31] != x[71] using generic constraint 1.89/1.95 c intension x[31] != x[72] using generic constraint 1.89/1.95 c intension x[31] != x[73] using generic constraint 1.89/1.95 c intension x[31] != x[74] using generic constraint 1.89/1.95 c intension x[31] != x[75] using generic constraint 1.89/1.96 c intension x[31] != x[76] using generic constraint 1.89/1.96 c intension x[31] != x[77] using generic constraint 1.89/1.96 c intension x[31] != x[78] using generic constraint 1.89/1.96 c intension x[31] != x[79] using generic constraint 1.89/1.96 c intension x[31] != x[80] using generic constraint 1.89/1.96 c intension x[32] != x[34] using generic constraint 1.89/1.96 c intension x[32] != x[35] using generic constraint 1.89/1.96 c intension x[32] != x[36] using generic constraint 1.89/1.96 c intension x[32] != x[37] using generic constraint 1.89/1.96 c intension x[32] != x[38] using generic constraint 1.89/1.97 c intension x[32] != x[39] using generic constraint 1.89/1.97 c intension x[32] != x[40] using generic constraint 1.89/1.97 c intension x[32] != x[41] using generic constraint 1.89/1.97 c intension x[32] != x[42] using generic constraint 1.89/1.97 c intension x[32] != x[43] using generic constraint 1.89/1.97 c intension x[32] != x[44] using generic constraint 1.89/1.97 c intension x[32] != x[45] using generic constraint 1.89/1.97 c intension x[32] != x[46] using generic constraint 1.89/1.97 c intension x[32] != x[47] using generic constraint 1.89/1.97 c intension x[32] != x[48] using generic constraint 1.89/1.98 c intension x[32] != x[49] using generic constraint 1.89/1.98 c intension x[32] != x[50] using generic constraint 1.89/1.98 c intension x[32] != x[51] using generic constraint 1.89/1.98 c intension x[32] != x[52] using generic constraint 1.89/1.98 c intension x[32] != x[53] using generic constraint 1.89/1.98 c intension x[32] != x[54] using generic constraint 1.89/1.98 c intension x[32] != x[55] using generic constraint 1.89/1.98 c intension x[32] != x[56] using generic constraint 1.89/1.98 c intension x[32] != x[57] using generic constraint 1.89/1.98 c intension x[32] != x[58] using generic constraint 1.89/1.98 c intension x[32] != x[59] using generic constraint 1.89/1.99 c intension x[32] != x[60] using generic constraint 1.89/1.99 c intension x[32] != x[61] using generic constraint 1.89/1.99 c intension x[32] != x[62] using generic constraint 1.89/1.99 c intension x[32] != x[63] using generic constraint 1.89/1.99 c intension x[32] != x[64] using generic constraint 1.89/1.99 c intension x[32] != x[65] using generic constraint 1.89/1.99 c intension x[32] != x[66] using generic constraint 1.89/1.99 c intension x[32] != x[67] using generic constraint 1.89/1.99 c intension x[32] != x[68] using generic constraint 1.89/1.99 c intension x[32] != x[69] using generic constraint 1.89/2.00 c intension x[32] != x[70] using generic constraint 1.99/2.00 c intension x[32] != x[71] using generic constraint 1.99/2.00 c intension x[32] != x[72] using generic constraint 1.99/2.00 c intension x[32] != x[73] using generic constraint 1.99/2.00 c intension x[32] != x[74] using generic constraint 1.99/2.00 c intension x[32] != x[75] using generic constraint 1.99/2.00 c intension x[32] != x[76] using generic constraint 1.99/2.00 c intension x[32] != x[77] using generic constraint 1.99/2.00 c intension x[32] != x[78] using generic constraint 1.99/2.00 c intension x[32] != x[79] using generic constraint 1.99/2.01 c intension x[32] != x[80] using generic constraint 1.99/2.01 c intension x[33] != x[35] using generic constraint 1.99/2.01 c intension x[33] != x[36] using generic constraint 1.99/2.01 c intension x[33] != x[37] using generic constraint 1.99/2.01 c intension x[33] != x[38] using generic constraint 1.99/2.01 c intension x[33] != x[39] using generic constraint 1.99/2.01 c intension x[33] != x[40] using generic constraint 1.99/2.01 c intension x[33] != x[41] using generic constraint 1.99/2.01 c intension x[33] != x[42] using generic constraint 1.99/2.01 c intension x[33] != x[43] using generic constraint 1.99/2.01 c intension x[33] != x[44] using generic constraint 1.99/2.02 c intension x[33] != x[45] using generic constraint 1.99/2.02 c intension x[33] != x[46] using generic constraint 1.99/2.02 c intension x[33] != x[47] using generic constraint 1.99/2.02 c intension x[33] != x[48] using generic constraint 1.99/2.02 c intension x[33] != x[49] using generic constraint 1.99/2.02 c intension x[33] != x[50] using generic constraint 1.99/2.02 c intension x[33] != x[51] using generic constraint 1.99/2.02 c intension x[33] != x[52] using generic constraint 1.99/2.02 c intension x[33] != x[53] using generic constraint 1.99/2.02 c intension x[33] != x[54] using generic constraint 1.99/2.03 c intension x[33] != x[55] using generic constraint 1.99/2.03 c intension x[33] != x[56] using generic constraint 1.99/2.03 c intension x[33] != x[57] using generic constraint 1.99/2.03 c intension x[33] != x[58] using generic constraint 1.99/2.03 c intension x[33] != x[59] using generic constraint 1.99/2.03 c intension x[33] != x[60] using generic constraint 1.99/2.03 c intension x[33] != x[61] using generic constraint 1.99/2.03 c intension x[33] != x[62] using generic constraint 1.99/2.03 c intension x[33] != x[63] using generic constraint 1.99/2.03 c intension x[33] != x[64] using generic constraint 1.99/2.04 c intension x[33] != x[65] using generic constraint 1.99/2.04 c intension x[33] != x[66] using generic constraint 1.99/2.04 c intension x[33] != x[67] using generic constraint 1.99/2.04 c intension x[33] != x[68] using generic constraint 1.99/2.04 c intension x[33] != x[69] using generic constraint 1.99/2.04 c intension x[33] != x[70] using generic constraint 1.99/2.04 c intension x[33] != x[71] using generic constraint 1.99/2.04 c intension x[33] != x[72] using generic constraint 1.99/2.04 c intension x[33] != x[73] using generic constraint 1.99/2.04 c intension x[33] != x[74] using generic constraint 1.99/2.04 c intension x[33] != x[75] using generic constraint 1.99/2.05 c intension x[33] != x[76] using generic constraint 1.99/2.05 c intension x[33] != x[77] using generic constraint 1.99/2.05 c intension x[33] != x[78] using generic constraint 1.99/2.05 c intension x[33] != x[79] using generic constraint 1.99/2.05 c intension x[33] != x[80] using generic constraint 1.99/2.05 c intension x[34] != x[36] using generic constraint 1.99/2.05 c intension x[34] != x[37] using generic constraint 1.99/2.05 c intension x[34] != x[38] using generic constraint 1.99/2.05 c intension x[34] != x[39] using generic constraint 1.99/2.05 c intension x[34] != x[40] using generic constraint 1.99/2.06 c intension x[34] != x[41] using generic constraint 1.99/2.06 c intension x[34] != x[42] using generic constraint 1.99/2.06 c intension x[34] != x[43] using generic constraint 1.99/2.06 c intension x[34] != x[44] using generic constraint 1.99/2.06 c intension x[34] != x[45] using generic constraint 1.99/2.06 c intension x[34] != x[46] using generic constraint 1.99/2.06 c intension x[34] != x[47] using generic constraint 1.99/2.06 c intension x[34] != x[48] using generic constraint 1.99/2.06 c intension x[34] != x[49] using generic constraint 1.99/2.06 c intension x[34] != x[50] using generic constraint 1.99/2.06 c intension x[34] != x[51] using generic constraint 1.99/2.07 c intension x[34] != x[52] using generic constraint 1.99/2.07 c intension x[34] != x[53] using generic constraint 1.99/2.07 c intension x[34] != x[54] using generic constraint 1.99/2.07 c intension x[34] != x[55] using generic constraint 1.99/2.07 c intension x[34] != x[56] using generic constraint 1.99/2.07 c intension x[34] != x[57] using generic constraint 1.99/2.07 c intension x[34] != x[58] using generic constraint 1.99/2.07 c intension x[34] != x[59] using generic constraint 1.99/2.07 c intension x[34] != x[60] using generic constraint 1.99/2.07 c intension x[34] != x[61] using generic constraint 1.99/2.08 c intension x[34] != x[62] using generic constraint 1.99/2.08 c intension x[34] != x[63] using generic constraint 1.99/2.08 c intension x[34] != x[64] using generic constraint 1.99/2.08 c intension x[34] != x[65] using generic constraint 1.99/2.08 c intension x[34] != x[66] using generic constraint 1.99/2.08 c intension x[34] != x[67] using generic constraint 1.99/2.08 c intension x[34] != x[68] using generic constraint 1.99/2.08 c intension x[34] != x[69] using generic constraint 1.99/2.08 c intension x[34] != x[70] using generic constraint 1.99/2.08 c intension x[34] != x[71] using generic constraint 1.99/2.08 c intension x[34] != x[72] using generic constraint 1.99/2.09 c intension x[34] != x[73] using generic constraint 1.99/2.09 c intension x[34] != x[74] using generic constraint 1.99/2.09 c intension x[34] != x[75] using generic constraint 1.99/2.09 c intension x[34] != x[76] using generic constraint 1.99/2.09 c intension x[34] != x[77] using generic constraint 1.99/2.09 c intension x[34] != x[78] using generic constraint 1.99/2.09 c intension x[34] != x[79] using generic constraint 1.99/2.09 c intension x[34] != x[80] using generic constraint 1.99/2.09 c intension x[35] != x[37] using generic constraint 1.99/2.09 c intension x[35] != x[38] using generic constraint 2.09/2.10 c intension x[35] != x[39] using generic constraint 2.09/2.10 c intension x[35] != x[40] using generic constraint 2.09/2.10 c intension x[35] != x[41] using generic constraint 2.09/2.10 c intension x[35] != x[42] using generic constraint 2.09/2.10 c intension x[35] != x[43] using generic constraint 2.09/2.10 c intension x[35] != x[44] using generic constraint 2.09/2.10 c intension x[35] != x[45] using generic constraint 2.09/2.10 c intension x[35] != x[46] using generic constraint 2.09/2.10 c intension x[35] != x[47] using generic constraint 2.09/2.10 c intension x[35] != x[48] using generic constraint 2.09/2.11 c intension x[35] != x[49] using generic constraint 2.09/2.11 c intension x[35] != x[50] using generic constraint 2.09/2.11 c intension x[35] != x[51] using generic constraint 2.09/2.11 c intension x[35] != x[52] using generic constraint 2.09/2.11 c intension x[35] != x[53] using generic constraint 2.09/2.11 c intension x[35] != x[54] using generic constraint 2.09/2.11 c intension x[35] != x[55] using generic constraint 2.09/2.11 c intension x[35] != x[56] using generic constraint 2.09/2.11 c intension x[35] != x[57] using generic constraint 2.09/2.11 c intension x[35] != x[58] using generic constraint 2.09/2.12 c intension x[35] != x[59] using generic constraint 2.09/2.12 c intension x[35] != x[60] using generic constraint 2.09/2.12 c intension x[35] != x[61] using generic constraint 2.09/2.12 c intension x[35] != x[62] using generic constraint 2.09/2.12 c intension x[35] != x[63] using generic constraint 2.09/2.12 c intension x[35] != x[64] using generic constraint 2.09/2.12 c intension x[35] != x[65] using generic constraint 2.09/2.12 c intension x[35] != x[66] using generic constraint 2.09/2.12 c intension x[35] != x[67] using generic constraint 2.09/2.12 c intension x[35] != x[68] using generic constraint 2.09/2.13 c intension x[35] != x[69] using generic constraint 2.09/2.13 c intension x[35] != x[70] using generic constraint 2.09/2.13 c intension x[35] != x[71] using generic constraint 2.09/2.13 c intension x[35] != x[72] using generic constraint 2.09/2.13 c intension x[35] != x[73] using generic constraint 2.09/2.13 c intension x[35] != x[74] using generic constraint 2.09/2.13 c intension x[35] != x[75] using generic constraint 2.09/2.13 c intension x[35] != x[76] using generic constraint 2.09/2.13 c intension x[35] != x[77] using generic constraint 2.09/2.13 c intension x[35] != x[78] using generic constraint 2.09/2.14 c intension x[35] != x[79] using generic constraint 2.09/2.14 c intension x[35] != x[80] using generic constraint 2.09/2.14 c intension x[36] != x[38] using generic constraint 2.09/2.14 c intension x[36] != x[39] using generic constraint 2.09/2.14 c intension x[36] != x[40] using generic constraint 2.09/2.14 c intension x[36] != x[41] using generic constraint 2.09/2.14 c intension x[36] != x[42] using generic constraint 2.09/2.14 c intension x[36] != x[43] using generic constraint 2.09/2.14 c intension x[36] != x[44] using generic constraint 2.09/2.14 c intension x[36] != x[45] using generic constraint 2.09/2.14 c intension x[36] != x[46] using generic constraint 2.09/2.15 c intension x[36] != x[47] using generic constraint 2.09/2.15 c intension x[36] != x[48] using generic constraint 2.09/2.15 c intension x[36] != x[49] using generic constraint 2.09/2.15 c intension x[36] != x[50] using generic constraint 2.09/2.15 c intension x[36] != x[51] using generic constraint 2.09/2.15 c intension x[36] != x[52] using generic constraint 2.09/2.15 c intension x[36] != x[53] using generic constraint 2.09/2.15 c intension x[36] != x[54] using generic constraint 2.09/2.15 c intension x[36] != x[55] using generic constraint 2.09/2.15 c intension x[36] != x[56] using generic constraint 2.09/2.16 c intension x[36] != x[57] using generic constraint 2.09/2.16 c intension x[36] != x[58] using generic constraint 2.09/2.16 c intension x[36] != x[59] using generic constraint 2.09/2.16 c intension x[36] != x[60] using generic constraint 2.09/2.16 c intension x[36] != x[61] using generic constraint 2.09/2.16 c intension x[36] != x[62] using generic constraint 2.09/2.16 c intension x[36] != x[63] using generic constraint 2.09/2.16 c intension x[36] != x[64] using generic constraint 2.09/2.16 c intension x[36] != x[65] using generic constraint 2.09/2.16 c intension x[36] != x[66] using generic constraint 2.09/2.17 c intension x[36] != x[67] using generic constraint 2.09/2.17 c intension x[36] != x[68] using generic constraint 2.09/2.17 c intension x[36] != x[69] using generic constraint 2.09/2.17 c intension x[36] != x[70] using generic constraint 2.09/2.17 c intension x[36] != x[71] using generic constraint 2.09/2.17 c intension x[36] != x[72] using generic constraint 2.09/2.17 c intension x[36] != x[73] using generic constraint 2.09/2.17 c intension x[36] != x[74] using generic constraint 2.09/2.17 c intension x[36] != x[75] using generic constraint 2.09/2.17 c intension x[36] != x[76] using generic constraint 2.09/2.17 c intension x[36] != x[77] using generic constraint 2.09/2.18 c intension x[36] != x[78] using generic constraint 2.09/2.18 c intension x[36] != x[79] using generic constraint 2.09/2.18 c intension x[36] != x[80] using generic constraint 2.09/2.18 c intension x[37] != x[39] using generic constraint 2.09/2.18 c intension x[37] != x[40] using generic constraint 2.09/2.18 c intension x[37] != x[41] using generic constraint 2.09/2.18 c intension x[37] != x[42] using generic constraint 2.09/2.18 c intension x[37] != x[43] using generic constraint 2.09/2.18 c intension x[37] != x[44] using generic constraint 2.09/2.18 c intension x[37] != x[45] using generic constraint 2.09/2.19 c intension x[37] != x[46] using generic constraint 2.09/2.19 c intension x[37] != x[47] using generic constraint 2.09/2.19 c intension x[37] != x[48] using generic constraint 2.09/2.19 c intension x[37] != x[49] using generic constraint 2.09/2.19 c intension x[37] != x[50] using generic constraint 2.09/2.19 c intension x[37] != x[51] using generic constraint 2.09/2.19 c intension x[37] != x[52] using generic constraint 2.09/2.19 c intension x[37] != x[53] using generic constraint 2.09/2.19 c intension x[37] != x[54] using generic constraint 2.09/2.19 c intension x[37] != x[55] using generic constraint 2.09/2.20 c intension x[37] != x[56] using generic constraint 2.09/2.20 c intension x[37] != x[57] using generic constraint 2.09/2.20 c intension x[37] != x[58] using generic constraint 2.09/2.20 c intension x[37] != x[59] using generic constraint 2.09/2.20 c intension x[37] != x[60] using generic constraint 2.09/2.20 c intension x[37] != x[61] using generic constraint 2.09/2.20 c intension x[37] != x[62] using generic constraint 2.09/2.20 c intension x[37] != x[63] using generic constraint 2.09/2.20 c intension x[37] != x[64] using generic constraint 2.20/2.20 c intension x[37] != x[65] using generic constraint 2.20/2.20 c intension x[37] != x[66] using generic constraint 2.20/2.21 c intension x[37] != x[67] using generic constraint 2.20/2.21 c intension x[37] != x[68] using generic constraint 2.20/2.21 c intension x[37] != x[69] using generic constraint 2.20/2.21 c intension x[37] != x[70] using generic constraint 2.20/2.21 c intension x[37] != x[71] using generic constraint 2.20/2.21 c intension x[37] != x[72] using generic constraint 2.20/2.21 c intension x[37] != x[73] using generic constraint 2.20/2.21 c intension x[37] != x[74] using generic constraint 2.20/2.21 c intension x[37] != x[75] using generic constraint 2.20/2.22 c intension x[37] != x[76] using generic constraint 2.20/2.22 c intension x[37] != x[77] using generic constraint 2.20/2.22 c intension x[37] != x[78] using generic constraint 2.20/2.22 c intension x[37] != x[79] using generic constraint 2.20/2.22 c intension x[37] != x[80] using generic constraint 2.20/2.22 c intension x[38] != x[40] using generic constraint 2.20/2.22 c intension x[38] != x[41] using generic constraint 2.20/2.22 c intension x[38] != x[42] using generic constraint 2.20/2.22 c intension x[38] != x[43] using generic constraint 2.20/2.22 c intension x[38] != x[44] using generic constraint 2.20/2.22 c intension x[38] != x[45] using generic constraint 2.20/2.23 c intension x[38] != x[46] using generic constraint 2.20/2.23 c intension x[38] != x[47] using generic constraint 2.20/2.23 c intension x[38] != x[48] using generic constraint 2.20/2.23 c intension x[38] != x[49] using generic constraint 2.20/2.23 c intension x[38] != x[50] using generic constraint 2.20/2.23 c intension x[38] != x[51] using generic constraint 2.20/2.23 c intension x[38] != x[52] using generic constraint 2.20/2.23 c intension x[38] != x[53] using generic constraint 2.20/2.23 c intension x[38] != x[54] using generic constraint 2.20/2.23 c intension x[38] != x[55] using generic constraint 2.20/2.24 c intension x[38] != x[56] using generic constraint 2.20/2.24 c intension x[38] != x[57] using generic constraint 2.20/2.24 c intension x[38] != x[58] using generic constraint 2.20/2.24 c intension x[38] != x[59] using generic constraint 2.20/2.24 c intension x[38] != x[60] using generic constraint 2.20/2.24 c intension x[38] != x[61] using generic constraint 2.20/2.24 c intension x[38] != x[62] using generic constraint 2.20/2.24 c intension x[38] != x[63] using generic constraint 2.20/2.24 c intension x[38] != x[64] using generic constraint 2.20/2.24 c intension x[38] != x[65] using generic constraint 2.20/2.25 c intension x[38] != x[66] using generic constraint 2.20/2.25 c intension x[38] != x[67] using generic constraint 2.20/2.25 c intension x[38] != x[68] using generic constraint 2.20/2.25 c intension x[38] != x[69] using generic constraint 2.20/2.25 c intension x[38] != x[70] using generic constraint 2.20/2.25 c intension x[38] != x[71] using generic constraint 2.20/2.25 c intension x[38] != x[72] using generic constraint 2.20/2.25 c intension x[38] != x[73] using generic constraint 2.20/2.25 c intension x[38] != x[74] using generic constraint 2.20/2.25 c intension x[38] != x[75] using generic constraint 2.20/2.26 c intension x[38] != x[76] using generic constraint 2.20/2.26 c intension x[38] != x[77] using generic constraint 2.20/2.26 c intension x[38] != x[78] using generic constraint 2.20/2.26 c intension x[38] != x[79] using generic constraint 2.20/2.26 c intension x[38] != x[80] using generic constraint 2.20/2.26 c intension x[39] != x[41] using generic constraint 2.20/2.26 c intension x[39] != x[42] using generic constraint 2.20/2.26 c intension x[39] != x[43] using generic constraint 2.20/2.26 c intension x[39] != x[44] using generic constraint 2.20/2.26 c intension x[39] != x[45] using generic constraint 2.20/2.26 c intension x[39] != x[46] using generic constraint 2.20/2.27 c intension x[39] != x[47] using generic constraint 2.20/2.27 c intension x[39] != x[48] using generic constraint 2.20/2.27 c intension x[39] != x[49] using generic constraint 2.20/2.27 c intension x[39] != x[50] using generic constraint 2.20/2.27 c intension x[39] != x[51] using generic constraint 2.20/2.27 c intension x[39] != x[52] using generic constraint 2.20/2.27 c intension x[39] != x[53] using generic constraint 2.20/2.27 c intension x[39] != x[54] using generic constraint 2.20/2.27 c intension x[39] != x[55] using generic constraint 2.20/2.27 c intension x[39] != x[56] using generic constraint 2.20/2.28 c intension x[39] != x[57] using generic constraint 2.20/2.28 c intension x[39] != x[58] using generic constraint 2.20/2.28 c intension x[39] != x[59] using generic constraint 2.20/2.28 c intension x[39] != x[60] using generic constraint 2.20/2.28 c intension x[39] != x[61] using generic constraint 2.20/2.28 c intension x[39] != x[62] using generic constraint 2.20/2.28 c intension x[39] != x[63] using generic constraint 2.20/2.28 c intension x[39] != x[64] using generic constraint 2.20/2.28 c intension x[39] != x[65] using generic constraint 2.20/2.28 c intension x[39] != x[66] using generic constraint 2.20/2.29 c intension x[39] != x[67] using generic constraint 2.20/2.29 c intension x[39] != x[68] using generic constraint 2.20/2.29 c intension x[39] != x[69] using generic constraint 2.20/2.29 c intension x[39] != x[70] using generic constraint 2.20/2.29 c intension x[39] != x[71] using generic constraint 2.20/2.29 c intension x[39] != x[72] using generic constraint 2.20/2.29 c intension x[39] != x[73] using generic constraint 2.20/2.29 c intension x[39] != x[74] using generic constraint 2.20/2.29 c intension x[39] != x[75] using generic constraint 2.20/2.29 c intension x[39] != x[76] using generic constraint 2.20/2.29 c intension x[39] != x[77] using generic constraint 2.20/2.30 c intension x[39] != x[78] using generic constraint 2.20/2.30 c intension x[39] != x[79] using generic constraint 2.20/2.30 c intension x[39] != x[80] using generic constraint 2.20/2.30 c intension x[40] != x[42] using generic constraint 2.20/2.30 c intension x[40] != x[43] using generic constraint 2.20/2.30 c intension x[40] != x[44] using generic constraint 2.20/2.30 c intension x[40] != x[45] using generic constraint 2.20/2.30 c intension x[40] != x[46] using generic constraint 2.30/2.30 c intension x[40] != x[47] using generic constraint 2.30/2.30 c intension x[40] != x[48] using generic constraint 2.30/2.31 c intension x[40] != x[49] using generic constraint 2.30/2.31 c intension x[40] != x[50] using generic constraint 2.30/2.31 c intension x[40] != x[51] using generic constraint 2.30/2.31 c intension x[40] != x[52] using generic constraint 2.30/2.31 c intension x[40] != x[53] using generic constraint 2.30/2.31 c intension x[40] != x[54] using generic constraint 2.30/2.31 c intension x[40] != x[55] using generic constraint 2.30/2.31 c intension x[40] != x[56] using generic constraint 2.30/2.31 c intension x[40] != x[57] using generic constraint 2.30/2.31 c intension x[40] != x[58] using generic constraint 2.30/2.32 c intension x[40] != x[59] using generic constraint 2.30/2.32 c intension x[40] != x[60] using generic constraint 2.30/2.32 c intension x[40] != x[61] using generic constraint 2.30/2.32 c intension x[40] != x[62] using generic constraint 2.30/2.32 c intension x[40] != x[63] using generic constraint 2.30/2.32 c intension x[40] != x[64] using generic constraint 2.30/2.32 c intension x[40] != x[65] using generic constraint 2.30/2.32 c intension x[40] != x[66] using generic constraint 2.30/2.32 c intension x[40] != x[67] using generic constraint 2.30/2.32 c intension x[40] != x[68] using generic constraint 2.30/2.33 c intension x[40] != x[69] using generic constraint 2.30/2.33 c intension x[40] != x[70] using generic constraint 2.30/2.33 c intension x[40] != x[71] using generic constraint 2.30/2.33 c intension x[40] != x[72] using generic constraint 2.30/2.33 c intension x[40] != x[73] using generic constraint 2.30/2.33 c intension x[40] != x[74] using generic constraint 2.30/2.33 c intension x[40] != x[75] using generic constraint 2.30/2.33 c intension x[40] != x[76] using generic constraint 2.30/2.33 c intension x[40] != x[77] using generic constraint 2.30/2.33 c intension x[40] != x[78] using generic constraint 2.30/2.33 c intension x[40] != x[79] using generic constraint 2.30/2.34 c intension x[40] != x[80] using generic constraint 2.30/2.34 c intension x[41] != x[43] using generic constraint 2.30/2.34 c intension x[41] != x[44] using generic constraint 2.30/2.34 c intension x[41] != x[45] using generic constraint 2.30/2.34 c intension x[41] != x[46] using generic constraint 2.30/2.34 c intension x[41] != x[47] using generic constraint 2.30/2.34 c intension x[41] != x[48] using generic constraint 2.30/2.34 c intension x[41] != x[49] using generic constraint 2.30/2.34 c intension x[41] != x[50] using generic constraint 2.30/2.34 c intension x[41] != x[51] using generic constraint 2.30/2.35 c intension x[41] != x[52] using generic constraint 2.30/2.35 c intension x[41] != x[53] using generic constraint 2.30/2.35 c intension x[41] != x[54] using generic constraint 2.30/2.35 c intension x[41] != x[55] using generic constraint 2.30/2.35 c intension x[41] != x[56] using generic constraint 2.30/2.35 c intension x[41] != x[57] using generic constraint 2.30/2.35 c intension x[41] != x[58] using generic constraint 2.30/2.35 c intension x[41] != x[59] using generic constraint 2.30/2.35 c intension x[41] != x[60] using generic constraint 2.30/2.35 c intension x[41] != x[61] using generic constraint 2.30/2.36 c intension x[41] != x[62] using generic constraint 2.30/2.36 c intension x[41] != x[63] using generic constraint 2.30/2.36 c intension x[41] != x[64] using generic constraint 2.30/2.36 c intension x[41] != x[65] using generic constraint 2.30/2.36 c intension x[41] != x[66] using generic constraint 2.30/2.36 c intension x[41] != x[67] using generic constraint 2.30/2.36 c intension x[41] != x[68] using generic constraint 2.30/2.36 c intension x[41] != x[69] using generic constraint 2.30/2.36 c intension x[41] != x[70] using generic constraint 2.30/2.36 c intension x[41] != x[71] using generic constraint 2.30/2.36 c intension x[41] != x[72] using generic constraint 2.30/2.37 c intension x[41] != x[73] using generic constraint 2.30/2.37 c intension x[41] != x[74] using generic constraint 2.30/2.37 c intension x[41] != x[75] using generic constraint 2.30/2.37 c intension x[41] != x[76] using generic constraint 2.30/2.37 c intension x[41] != x[77] using generic constraint 2.30/2.37 c intension x[41] != x[78] using generic constraint 2.30/2.37 c intension x[41] != x[79] using generic constraint 2.30/2.37 c intension x[41] != x[80] using generic constraint 2.30/2.37 c intension x[42] != x[44] using generic constraint 2.30/2.37 c intension x[42] != x[45] using generic constraint 2.30/2.38 c intension x[42] != x[46] using generic constraint 2.30/2.38 c intension x[42] != x[47] using generic constraint 2.30/2.38 c intension x[42] != x[48] using generic constraint 2.30/2.38 c intension x[42] != x[49] using generic constraint 2.30/2.38 c intension x[42] != x[50] using generic constraint 2.30/2.38 c intension x[42] != x[51] using generic constraint 2.30/2.38 c intension x[42] != x[52] using generic constraint 2.30/2.38 c intension x[42] != x[53] using generic constraint 2.30/2.38 c intension x[42] != x[54] using generic constraint 2.30/2.38 c intension x[42] != x[55] using generic constraint 2.30/2.39 c intension x[42] != x[56] using generic constraint 2.30/2.39 c intension x[42] != x[57] using generic constraint 2.30/2.39 c intension x[42] != x[58] using generic constraint 2.30/2.39 c intension x[42] != x[59] using generic constraint 2.30/2.39 c intension x[42] != x[60] using generic constraint 2.30/2.39 c intension x[42] != x[61] using generic constraint 2.30/2.39 c intension x[42] != x[62] using generic constraint 2.30/2.39 c intension x[42] != x[63] using generic constraint 2.30/2.39 c intension x[42] != x[64] using generic constraint 2.30/2.39 c intension x[42] != x[65] using generic constraint 2.30/2.40 c intension x[42] != x[66] using generic constraint 2.39/2.40 c intension x[42] != x[67] using generic constraint 2.39/2.40 c intension x[42] != x[68] using generic constraint 2.39/2.40 c intension x[42] != x[69] using generic constraint 2.39/2.40 c intension x[42] != x[70] using generic constraint 2.39/2.40 c intension x[42] != x[71] using generic constraint 2.39/2.40 c intension x[42] != x[72] using generic constraint 2.39/2.40 c intension x[42] != x[73] using generic constraint 2.39/2.40 c intension x[42] != x[74] using generic constraint 2.39/2.40 c intension x[42] != x[75] using generic constraint 2.39/2.40 c intension x[42] != x[76] using generic constraint 2.39/2.41 c intension x[42] != x[77] using generic constraint 2.39/2.41 c intension x[42] != x[78] using generic constraint 2.39/2.41 c intension x[42] != x[79] using generic constraint 2.39/2.41 c intension x[42] != x[80] using generic constraint 2.39/2.41 c intension x[43] != x[45] using generic constraint 2.39/2.41 c intension x[43] != x[46] using generic constraint 2.39/2.41 c intension x[43] != x[47] using generic constraint 2.39/2.41 c intension x[43] != x[48] using generic constraint 2.39/2.41 c intension x[43] != x[49] using generic constraint 2.39/2.41 c intension x[43] != x[50] using generic constraint 2.39/2.42 c intension x[43] != x[51] using generic constraint 2.39/2.42 c intension x[43] != x[52] using generic constraint 2.39/2.42 c intension x[43] != x[53] using generic constraint 2.39/2.42 c intension x[43] != x[54] using generic constraint 2.39/2.42 c intension x[43] != x[55] using generic constraint 2.39/2.42 c intension x[43] != x[56] using generic constraint 2.39/2.42 c intension x[43] != x[57] using generic constraint 2.39/2.42 c intension x[43] != x[58] using generic constraint 2.39/2.42 c intension x[43] != x[59] using generic constraint 2.39/2.42 c intension x[43] != x[60] using generic constraint 2.39/2.43 c intension x[43] != x[61] using generic constraint 2.39/2.43 c intension x[43] != x[62] using generic constraint 2.39/2.43 c intension x[43] != x[63] using generic constraint 2.39/2.43 c intension x[43] != x[64] using generic constraint 2.39/2.43 c intension x[43] != x[65] using generic constraint 2.39/2.43 c intension x[43] != x[66] using generic constraint 2.39/2.43 c intension x[43] != x[67] using generic constraint 2.39/2.43 c intension x[43] != x[68] using generic constraint 2.39/2.43 c intension x[43] != x[69] using generic constraint 2.39/2.43 c intension x[43] != x[70] using generic constraint 2.39/2.44 c intension x[43] != x[71] using generic constraint 2.39/2.44 c intension x[43] != x[72] using generic constraint 2.39/2.44 c intension x[43] != x[73] using generic constraint 2.39/2.44 c intension x[43] != x[74] using generic constraint 2.39/2.44 c intension x[43] != x[75] using generic constraint 2.39/2.44 c intension x[43] != x[76] using generic constraint 2.39/2.44 c intension x[43] != x[77] using generic constraint 2.39/2.44 c intension x[43] != x[78] using generic constraint 2.39/2.44 c intension x[43] != x[79] using generic constraint 2.39/2.44 c intension x[43] != x[80] using generic constraint 2.39/2.44 c intension x[44] != x[46] using generic constraint 2.39/2.45 c intension x[44] != x[47] using generic constraint 2.39/2.45 c intension x[44] != x[48] using generic constraint 2.39/2.45 c intension x[44] != x[49] using generic constraint 2.39/2.45 c intension x[44] != x[50] using generic constraint 2.39/2.45 c intension x[44] != x[51] using generic constraint 2.39/2.45 c intension x[44] != x[52] using generic constraint 2.39/2.45 c intension x[44] != x[53] using generic constraint 2.39/2.45 c intension x[44] != x[54] using generic constraint 2.39/2.45 c intension x[44] != x[55] using generic constraint 2.39/2.45 c intension x[44] != x[56] using generic constraint 2.39/2.46 c intension x[44] != x[57] using generic constraint 2.39/2.46 c intension x[44] != x[58] using generic constraint 2.39/2.46 c intension x[44] != x[59] using generic constraint 2.39/2.46 c intension x[44] != x[60] using generic constraint 2.39/2.46 c intension x[44] != x[61] using generic constraint 2.39/2.46 c intension x[44] != x[62] using generic constraint 2.39/2.46 c intension x[44] != x[63] using generic constraint 2.39/2.46 c intension x[44] != x[64] using generic constraint 2.39/2.46 c intension x[44] != x[65] using generic constraint 2.39/2.46 c intension x[44] != x[66] using generic constraint 2.39/2.47 c intension x[44] != x[67] using generic constraint 2.39/2.47 c intension x[44] != x[68] using generic constraint 2.39/2.47 c intension x[44] != x[69] using generic constraint 2.39/2.47 c intension x[44] != x[70] using generic constraint 2.39/2.47 c intension x[44] != x[71] using generic constraint 2.39/2.47 c intension x[44] != x[72] using generic constraint 2.39/2.47 c intension x[44] != x[73] using generic constraint 2.39/2.47 c intension x[44] != x[74] using generic constraint 2.39/2.47 c intension x[44] != x[75] using generic constraint 2.39/2.47 c intension x[44] != x[76] using generic constraint 2.39/2.47 c intension x[44] != x[77] using generic constraint 2.39/2.48 c intension x[44] != x[78] using generic constraint 2.39/2.48 c intension x[44] != x[79] using generic constraint 2.39/2.48 c intension x[44] != x[80] using generic constraint 2.39/2.48 c intension x[45] != x[47] using generic constraint 2.39/2.48 c intension x[45] != x[48] using generic constraint 2.39/2.48 c intension x[45] != x[49] using generic constraint 2.39/2.48 c intension x[45] != x[50] using generic constraint 2.39/2.48 c intension x[45] != x[51] using generic constraint 2.39/2.48 c intension x[45] != x[52] using generic constraint 2.39/2.48 c intension x[45] != x[53] using generic constraint 2.39/2.49 c intension x[45] != x[54] using generic constraint 2.39/2.49 c intension x[45] != x[55] using generic constraint 2.39/2.49 c intension x[45] != x[56] using generic constraint 2.39/2.49 c intension x[45] != x[57] using generic constraint 2.39/2.49 c intension x[45] != x[58] using generic constraint 2.39/2.49 c intension x[45] != x[59] using generic constraint 2.39/2.49 c intension x[45] != x[60] using generic constraint 2.39/2.49 c intension x[45] != x[61] using generic constraint 2.39/2.49 c intension x[45] != x[62] using generic constraint 2.39/2.49 c intension x[45] != x[63] using generic constraint 2.39/2.50 c intension x[45] != x[64] using generic constraint 2.49/2.50 c intension x[45] != x[65] using generic constraint 2.49/2.50 c intension x[45] != x[66] using generic constraint 2.49/2.50 c intension x[45] != x[67] using generic constraint 2.49/2.50 c intension x[45] != x[68] using generic constraint 2.49/2.50 c intension x[45] != x[69] using generic constraint 2.49/2.50 c intension x[45] != x[70] using generic constraint 2.49/2.50 c intension x[45] != x[71] using generic constraint 2.49/2.50 c intension x[45] != x[72] using generic constraint 2.49/2.50 c intension x[45] != x[73] using generic constraint 2.49/2.51 c intension x[45] != x[74] using generic constraint 2.49/2.51 c intension x[45] != x[75] using generic constraint 2.49/2.51 c intension x[45] != x[76] using generic constraint 2.49/2.51 c intension x[45] != x[77] using generic constraint 2.49/2.51 c intension x[45] != x[78] using generic constraint 2.49/2.51 c intension x[45] != x[79] using generic constraint 2.49/2.51 c intension x[45] != x[80] using generic constraint 2.49/2.51 c intension x[46] != x[48] using generic constraint 2.49/2.51 c intension x[46] != x[49] using generic constraint 2.49/2.51 c intension x[46] != x[50] using generic constraint 2.49/2.52 c intension x[46] != x[51] using generic constraint 2.49/2.52 c intension x[46] != x[52] using generic constraint 2.49/2.52 c intension x[46] != x[53] using generic constraint 2.49/2.52 c intension x[46] != x[54] using generic constraint 2.49/2.52 c intension x[46] != x[55] using generic constraint 2.49/2.52 c intension x[46] != x[56] using generic constraint 2.49/2.52 c intension x[46] != x[57] using generic constraint 2.49/2.52 c intension x[46] != x[58] using generic constraint 2.49/2.52 c intension x[46] != x[59] using generic constraint 2.49/2.52 c intension x[46] != x[60] using generic constraint 2.49/2.52 c intension x[46] != x[61] using generic constraint 2.49/2.53 c intension x[46] != x[62] using generic constraint 2.49/2.53 c intension x[46] != x[63] using generic constraint 2.49/2.53 c intension x[46] != x[64] using generic constraint 2.49/2.53 c intension x[46] != x[65] using generic constraint 2.49/2.53 c intension x[46] != x[66] using generic constraint 2.49/2.53 c intension x[46] != x[67] using generic constraint 2.49/2.53 c intension x[46] != x[68] using generic constraint 2.49/2.53 c intension x[46] != x[69] using generic constraint 2.49/2.53 c intension x[46] != x[70] using generic constraint 2.49/2.53 c intension x[46] != x[71] using generic constraint 2.49/2.54 c intension x[46] != x[72] using generic constraint 2.49/2.54 c intension x[46] != x[73] using generic constraint 2.49/2.54 c intension x[46] != x[74] using generic constraint 2.49/2.54 c intension x[46] != x[75] using generic constraint 2.49/2.54 c intension x[46] != x[76] using generic constraint 2.49/2.54 c intension x[46] != x[77] using generic constraint 2.49/2.54 c intension x[46] != x[78] using generic constraint 2.49/2.54 c intension x[46] != x[79] using generic constraint 2.49/2.54 c intension x[46] != x[80] using generic constraint 2.49/2.54 c intension x[47] != x[49] using generic constraint 2.49/2.55 c intension x[47] != x[50] using generic constraint 2.49/2.55 c intension x[47] != x[51] using generic constraint 2.49/2.55 c intension x[47] != x[52] using generic constraint 2.49/2.55 c intension x[47] != x[53] using generic constraint 2.49/2.55 c intension x[47] != x[54] using generic constraint 2.49/2.55 c intension x[47] != x[55] using generic constraint 2.49/2.55 c intension x[47] != x[56] using generic constraint 2.49/2.55 c intension x[47] != x[57] using generic constraint 2.49/2.55 c intension x[47] != x[58] using generic constraint 2.49/2.55 c intension x[47] != x[59] using generic constraint 2.49/2.55 c intension x[47] != x[60] using generic constraint 2.49/2.56 c intension x[47] != x[61] using generic constraint 2.49/2.56 c intension x[47] != x[62] using generic constraint 2.49/2.56 c intension x[47] != x[63] using generic constraint 2.49/2.56 c intension x[47] != x[64] using generic constraint 2.49/2.56 c intension x[47] != x[65] using generic constraint 2.49/2.56 c intension x[47] != x[66] using generic constraint 2.49/2.56 c intension x[47] != x[67] using generic constraint 2.49/2.56 c intension x[47] != x[68] using generic constraint 2.49/2.56 c intension x[47] != x[69] using generic constraint 2.49/2.56 c intension x[47] != x[70] using generic constraint 2.49/2.57 c intension x[47] != x[71] using generic constraint 2.49/2.57 c intension x[47] != x[72] using generic constraint 2.49/2.57 c intension x[47] != x[73] using generic constraint 2.49/2.57 c intension x[47] != x[74] using generic constraint 2.49/2.57 c intension x[47] != x[75] using generic constraint 2.49/2.57 c intension x[47] != x[76] using generic constraint 2.49/2.57 c intension x[47] != x[77] using generic constraint 2.49/2.57 c intension x[47] != x[78] using generic constraint 2.49/2.57 c intension x[47] != x[79] using generic constraint 2.49/2.57 c intension x[47] != x[80] using generic constraint 2.49/2.58 c intension x[48] != x[50] using generic constraint 2.49/2.58 c intension x[48] != x[51] using generic constraint 2.49/2.58 c intension x[48] != x[52] using generic constraint 2.49/2.58 c intension x[48] != x[53] using generic constraint 2.49/2.58 c intension x[48] != x[54] using generic constraint 2.49/2.58 c intension x[48] != x[55] using generic constraint 2.49/2.58 c intension x[48] != x[56] using generic constraint 2.49/2.58 c intension x[48] != x[57] using generic constraint 2.49/2.58 c intension x[48] != x[58] using generic constraint 2.49/2.58 c intension x[48] != x[59] using generic constraint 2.49/2.59 c intension x[48] != x[60] using generic constraint 2.49/2.59 c intension x[48] != x[61] using generic constraint 2.49/2.59 c intension x[48] != x[62] using generic constraint 2.49/2.59 c intension x[48] != x[63] using generic constraint 2.49/2.59 c intension x[48] != x[64] using generic constraint 2.49/2.59 c intension x[48] != x[65] using generic constraint 2.49/2.59 c intension x[48] != x[66] using generic constraint 2.49/2.59 c intension x[48] != x[67] using generic constraint 2.49/2.59 c intension x[48] != x[68] using generic constraint 2.49/2.59 c intension x[48] != x[69] using generic constraint 2.49/2.59 c intension x[48] != x[70] using generic constraint 2.59/2.60 c intension x[48] != x[71] using generic constraint 2.59/2.60 c intension x[48] != x[72] using generic constraint 2.59/2.60 c intension x[48] != x[73] using generic constraint 2.59/2.60 c intension x[48] != x[74] using generic constraint 2.59/2.60 c intension x[48] != x[75] using generic constraint 2.59/2.60 c intension x[48] != x[76] using generic constraint 2.59/2.60 c intension x[48] != x[77] using generic constraint 2.59/2.60 c intension x[48] != x[78] using generic constraint 2.59/2.60 c intension x[48] != x[79] using generic constraint 2.59/2.60 c intension x[48] != x[80] using generic constraint 2.59/2.61 c intension x[49] != x[51] using generic constraint 2.59/2.61 c intension x[49] != x[52] using generic constraint 2.59/2.61 c intension x[49] != x[53] using generic constraint 2.59/2.61 c intension x[49] != x[54] using generic constraint 2.59/2.61 c intension x[49] != x[55] using generic constraint 2.59/2.61 c intension x[49] != x[56] using generic constraint 2.59/2.61 c intension x[49] != x[57] using generic constraint 2.59/2.61 c intension x[49] != x[58] using generic constraint 2.59/2.61 c intension x[49] != x[59] using generic constraint 2.59/2.61 c intension x[49] != x[60] using generic constraint 2.59/2.62 c intension x[49] != x[61] using generic constraint 2.59/2.62 c intension x[49] != x[62] using generic constraint 2.59/2.62 c intension x[49] != x[63] using generic constraint 2.59/2.62 c intension x[49] != x[64] using generic constraint 2.59/2.62 c intension x[49] != x[65] using generic constraint 2.59/2.62 c intension x[49] != x[66] using generic constraint 2.59/2.62 c intension x[49] != x[67] using generic constraint 2.59/2.62 c intension x[49] != x[68] using generic constraint 2.59/2.62 c intension x[49] != x[69] using generic constraint 2.59/2.62 c intension x[49] != x[70] using generic constraint 2.59/2.63 c intension x[49] != x[71] using generic constraint 2.59/2.63 c intension x[49] != x[72] using generic constraint 2.59/2.63 c intension x[49] != x[73] using generic constraint 2.59/2.63 c intension x[49] != x[74] using generic constraint 2.59/2.63 c intension x[49] != x[75] using generic constraint 2.59/2.63 c intension x[49] != x[76] using generic constraint 2.59/2.63 c intension x[49] != x[77] using generic constraint 2.59/2.63 c intension x[49] != x[78] using generic constraint 2.59/2.63 c intension x[49] != x[79] using generic constraint 2.59/2.63 c intension x[49] != x[80] using generic constraint 2.59/2.63 c intension x[50] != x[52] using generic constraint 2.59/2.64 c intension x[50] != x[53] using generic constraint 2.59/2.64 c intension x[50] != x[54] using generic constraint 2.59/2.64 c intension x[50] != x[55] using generic constraint 2.59/2.64 c intension x[50] != x[56] using generic constraint 2.59/2.64 c intension x[50] != x[57] using generic constraint 2.59/2.64 c intension x[50] != x[58] using generic constraint 2.59/2.64 c intension x[50] != x[59] using generic constraint 2.59/2.64 c intension x[50] != x[60] using generic constraint 2.59/2.64 c intension x[50] != x[61] using generic constraint 2.59/2.64 c intension x[50] != x[62] using generic constraint 2.59/2.65 c intension x[50] != x[63] using generic constraint 2.59/2.65 c intension x[50] != x[64] using generic constraint 2.59/2.65 c intension x[50] != x[65] using generic constraint 2.59/2.65 c intension x[50] != x[66] using generic constraint 2.59/2.65 c intension x[50] != x[67] using generic constraint 2.59/2.65 c intension x[50] != x[68] using generic constraint 2.59/2.65 c intension x[50] != x[69] using generic constraint 2.59/2.65 c intension x[50] != x[70] using generic constraint 2.59/2.65 c intension x[50] != x[71] using generic constraint 2.59/2.65 c intension x[50] != x[72] using generic constraint 2.59/2.66 c intension x[50] != x[73] using generic constraint 2.59/2.66 c intension x[50] != x[74] using generic constraint 2.59/2.66 c intension x[50] != x[75] using generic constraint 2.59/2.66 c intension x[50] != x[76] using generic constraint 2.59/2.66 c intension x[50] != x[77] using generic constraint 2.59/2.66 c intension x[50] != x[78] using generic constraint 2.59/2.66 c intension x[50] != x[79] using generic constraint 2.59/2.66 c intension x[50] != x[80] using generic constraint 2.59/2.66 c intension x[51] != x[53] using generic constraint 2.59/2.66 c intension x[51] != x[54] using generic constraint 2.59/2.67 c intension x[51] != x[55] using generic constraint 2.59/2.67 c intension x[51] != x[56] using generic constraint 2.59/2.67 c intension x[51] != x[57] using generic constraint 2.59/2.67 c intension x[51] != x[58] using generic constraint 2.59/2.67 c intension x[51] != x[59] using generic constraint 2.59/2.67 c intension x[51] != x[60] using generic constraint 2.59/2.67 c intension x[51] != x[61] using generic constraint 2.59/2.67 c intension x[51] != x[62] using generic constraint 2.59/2.67 c intension x[51] != x[63] using generic constraint 2.59/2.67 c intension x[51] != x[64] using generic constraint 2.59/2.67 c intension x[51] != x[65] using generic constraint 2.59/2.68 c intension x[51] != x[66] using generic constraint 2.59/2.68 c intension x[51] != x[67] using generic constraint 2.59/2.68 c intension x[51] != x[68] using generic constraint 2.59/2.68 c intension x[51] != x[69] using generic constraint 2.59/2.68 c intension x[51] != x[70] using generic constraint 2.59/2.68 c intension x[51] != x[71] using generic constraint 2.59/2.68 c intension x[51] != x[72] using generic constraint 2.59/2.68 c intension x[51] != x[73] using generic constraint 2.59/2.68 c intension x[51] != x[74] using generic constraint 2.59/2.68 c intension x[51] != x[75] using generic constraint 2.59/2.69 c intension x[51] != x[76] using generic constraint 2.59/2.69 c intension x[51] != x[77] using generic constraint 2.59/2.69 c intension x[51] != x[78] using generic constraint 2.59/2.69 c intension x[51] != x[79] using generic constraint 2.59/2.69 c intension x[51] != x[80] using generic constraint 2.59/2.69 c intension x[52] != x[54] using generic constraint 2.59/2.69 c intension x[52] != x[55] using generic constraint 2.59/2.69 c intension x[52] != x[56] using generic constraint 2.59/2.69 c intension x[52] != x[57] using generic constraint 2.59/2.69 c intension x[52] != x[58] using generic constraint 2.59/2.70 c intension x[52] != x[59] using generic constraint 2.69/2.70 c intension x[52] != x[60] using generic constraint 2.69/2.70 c intension x[52] != x[61] using generic constraint 2.69/2.70 c intension x[52] != x[62] using generic constraint 2.69/2.70 c intension x[52] != x[63] using generic constraint 2.69/2.70 c intension x[52] != x[64] using generic constraint 2.69/2.70 c intension x[52] != x[65] using generic constraint 2.69/2.70 c intension x[52] != x[66] using generic constraint 2.69/2.70 c intension x[52] != x[67] using generic constraint 2.69/2.70 c intension x[52] != x[68] using generic constraint 2.69/2.71 c intension x[52] != x[69] using generic constraint 2.69/2.71 c intension x[52] != x[70] using generic constraint 2.69/2.71 c intension x[52] != x[71] using generic constraint 2.69/2.71 c intension x[52] != x[72] using generic constraint 2.69/2.71 c intension x[52] != x[73] using generic constraint 2.69/2.71 c intension x[52] != x[74] using generic constraint 2.69/2.71 c intension x[52] != x[75] using generic constraint 2.69/2.71 c intension x[52] != x[76] using generic constraint 2.69/2.71 c intension x[52] != x[77] using generic constraint 2.69/2.71 c intension x[52] != x[78] using generic constraint 2.69/2.71 c intension x[52] != x[79] using generic constraint 2.69/2.72 c intension x[52] != x[80] using generic constraint 2.69/2.72 c intension x[53] != x[55] using generic constraint 2.69/2.72 c intension x[53] != x[56] using generic constraint 2.69/2.72 c intension x[53] != x[57] using generic constraint 2.69/2.72 c intension x[53] != x[58] using generic constraint 2.69/2.72 c intension x[53] != x[59] using generic constraint 2.69/2.72 c intension x[53] != x[60] using generic constraint 2.69/2.72 c intension x[53] != x[61] using generic constraint 2.69/2.72 c intension x[53] != x[62] using generic constraint 2.69/2.72 c intension x[53] != x[63] using generic constraint 2.69/2.73 c intension x[53] != x[64] using generic constraint 2.69/2.73 c intension x[53] != x[65] using generic constraint 2.69/2.73 c intension x[53] != x[66] using generic constraint 2.69/2.73 c intension x[53] != x[67] using generic constraint 2.69/2.73 c intension x[53] != x[68] using generic constraint 2.69/2.73 c intension x[53] != x[69] using generic constraint 2.69/2.73 c intension x[53] != x[70] using generic constraint 2.69/2.73 c intension x[53] != x[71] using generic constraint 2.69/2.73 c intension x[53] != x[72] using generic constraint 2.69/2.73 c intension x[53] != x[73] using generic constraint 2.69/2.74 c intension x[53] != x[74] using generic constraint 2.69/2.74 c intension x[53] != x[75] using generic constraint 2.69/2.74 c intension x[53] != x[76] using generic constraint 2.69/2.74 c intension x[53] != x[77] using generic constraint 2.69/2.74 c intension x[53] != x[78] using generic constraint 2.69/2.74 c intension x[53] != x[79] using generic constraint 2.69/2.74 c intension x[53] != x[80] using generic constraint 2.69/2.74 c intension x[54] != x[56] using generic constraint 2.69/2.74 c intension x[54] != x[57] using generic constraint 2.69/2.74 c intension x[54] != x[58] using generic constraint 2.69/2.74 c intension x[54] != x[59] using generic constraint 2.69/2.75 c intension x[54] != x[60] using generic constraint 2.69/2.75 c intension x[54] != x[61] using generic constraint 2.69/2.75 c intension x[54] != x[62] using generic constraint 2.69/2.75 c intension x[54] != x[63] using generic constraint 2.69/2.75 c intension x[54] != x[64] using generic constraint 2.69/2.75 c intension x[54] != x[65] using generic constraint 2.69/2.75 c intension x[54] != x[66] using generic constraint 2.69/2.75 c intension x[54] != x[67] using generic constraint 2.69/2.75 c intension x[54] != x[68] using generic constraint 2.69/2.75 c intension x[54] != x[69] using generic constraint 2.69/2.76 c intension x[54] != x[70] using generic constraint 2.69/2.76 c intension x[54] != x[71] using generic constraint 2.69/2.76 c intension x[54] != x[72] using generic constraint 2.69/2.76 c intension x[54] != x[73] using generic constraint 2.69/2.76 c intension x[54] != x[74] using generic constraint 2.69/2.76 c intension x[54] != x[75] using generic constraint 2.69/2.76 c intension x[54] != x[76] using generic constraint 2.69/2.76 c intension x[54] != x[77] using generic constraint 2.69/2.76 c intension x[54] != x[78] using generic constraint 2.69/2.76 c intension x[54] != x[79] using generic constraint 2.69/2.77 c intension x[54] != x[80] using generic constraint 2.69/2.77 c intension x[55] != x[57] using generic constraint 2.69/2.77 c intension x[55] != x[58] using generic constraint 2.69/2.77 c intension x[55] != x[59] using generic constraint 2.69/2.77 c intension x[55] != x[60] using generic constraint 2.69/2.77 c intension x[55] != x[61] using generic constraint 2.69/2.77 c intension x[55] != x[62] using generic constraint 2.69/2.77 c intension x[55] != x[63] using generic constraint 2.69/2.77 c intension x[55] != x[64] using generic constraint 2.69/2.77 c intension x[55] != x[65] using generic constraint 2.69/2.78 c intension x[55] != x[66] using generic constraint 2.69/2.78 c intension x[55] != x[67] using generic constraint 2.69/2.78 c intension x[55] != x[68] using generic constraint 2.69/2.78 c intension x[55] != x[69] using generic constraint 2.69/2.78 c intension x[55] != x[70] using generic constraint 2.69/2.78 c intension x[55] != x[71] using generic constraint 2.69/2.78 c intension x[55] != x[72] using generic constraint 2.69/2.78 c intension x[55] != x[73] using generic constraint 2.69/2.78 c intension x[55] != x[74] using generic constraint 2.69/2.78 c intension x[55] != x[75] using generic constraint 2.69/2.78 c intension x[55] != x[76] using generic constraint 2.69/2.79 c intension x[55] != x[77] using generic constraint 2.69/2.79 c intension x[55] != x[78] using generic constraint 2.69/2.79 c intension x[55] != x[79] using generic constraint 2.69/2.79 c intension x[55] != x[80] using generic constraint 2.69/2.79 c intension x[56] != x[58] using generic constraint 2.69/2.79 c intension x[56] != x[59] using generic constraint 2.69/2.79 c intension x[56] != x[60] using generic constraint 2.69/2.79 c intension x[56] != x[61] using generic constraint 2.69/2.79 c intension x[56] != x[62] using generic constraint 2.69/2.79 c intension x[56] != x[63] using generic constraint 2.69/2.80 c intension x[56] != x[64] using generic constraint 2.79/2.80 c intension x[56] != x[65] using generic constraint 2.79/2.80 c intension x[56] != x[66] using generic constraint 2.79/2.80 c intension x[56] != x[67] using generic constraint 2.79/2.80 c intension x[56] != x[68] using generic constraint 2.79/2.80 c intension x[56] != x[69] using generic constraint 2.79/2.80 c intension x[56] != x[70] using generic constraint 2.79/2.80 c intension x[56] != x[71] using generic constraint 2.79/2.80 c intension x[56] != x[72] using generic constraint 2.79/2.80 c intension x[56] != x[73] using generic constraint 2.79/2.81 c intension x[56] != x[74] using generic constraint 2.79/2.81 c intension x[56] != x[75] using generic constraint 2.79/2.81 c intension x[56] != x[76] using generic constraint 2.79/2.81 c intension x[56] != x[77] using generic constraint 2.79/2.81 c intension x[56] != x[78] using generic constraint 2.79/2.81 c intension x[56] != x[79] using generic constraint 2.79/2.81 c intension x[56] != x[80] using generic constraint 2.79/2.81 c intension x[57] != x[59] using generic constraint 2.79/2.81 c intension x[57] != x[60] using generic constraint 2.79/2.81 c intension x[57] != x[61] using generic constraint 2.79/2.82 c intension x[57] != x[62] using generic constraint 2.79/2.82 c intension x[57] != x[63] using generic constraint 2.79/2.82 c intension x[57] != x[64] using generic constraint 2.79/2.82 c intension x[57] != x[65] using generic constraint 2.79/2.82 c intension x[57] != x[66] using generic constraint 2.79/2.82 c intension x[57] != x[67] using generic constraint 2.79/2.82 c intension x[57] != x[68] using generic constraint 2.79/2.82 c intension x[57] != x[69] using generic constraint 2.79/2.82 c intension x[57] != x[70] using generic constraint 2.79/2.82 c intension x[57] != x[71] using generic constraint 2.79/2.82 c intension x[57] != x[72] using generic constraint 2.79/2.83 c intension x[57] != x[73] using generic constraint 2.79/2.83 c intension x[57] != x[74] using generic constraint 2.79/2.83 c intension x[57] != x[75] using generic constraint 2.79/2.83 c intension x[57] != x[76] using generic constraint 2.79/2.83 c intension x[57] != x[77] using generic constraint 2.79/2.83 c intension x[57] != x[78] using generic constraint 2.79/2.83 c intension x[57] != x[79] using generic constraint 2.79/2.83 c intension x[57] != x[80] using generic constraint 2.79/2.83 c intension x[58] != x[60] using generic constraint 2.79/2.83 c intension x[58] != x[61] using generic constraint 2.79/2.84 c intension x[58] != x[62] using generic constraint 2.79/2.84 c intension x[58] != x[63] using generic constraint 2.79/2.84 c intension x[58] != x[64] using generic constraint 2.79/2.84 c intension x[58] != x[65] using generic constraint 2.79/2.84 c intension x[58] != x[66] using generic constraint 2.79/2.84 c intension x[58] != x[67] using generic constraint 2.79/2.84 c intension x[58] != x[68] using generic constraint 2.79/2.84 c intension x[58] != x[69] using generic constraint 2.79/2.84 c intension x[58] != x[70] using generic constraint 2.79/2.84 c intension x[58] != x[71] using generic constraint 2.79/2.85 c intension x[58] != x[72] using generic constraint 2.79/2.85 c intension x[58] != x[73] using generic constraint 2.79/2.85 c intension x[58] != x[74] using generic constraint 2.79/2.85 c intension x[58] != x[75] using generic constraint 2.79/2.85 c intension x[58] != x[76] using generic constraint 2.79/2.85 c intension x[58] != x[77] using generic constraint 2.79/2.85 c intension x[58] != x[78] using generic constraint 2.79/2.85 c intension x[58] != x[79] using generic constraint 2.79/2.85 c intension x[58] != x[80] using generic constraint 2.79/2.85 c intension x[59] != x[61] using generic constraint 2.79/2.85 c intension x[59] != x[62] using generic constraint 2.79/2.86 c intension x[59] != x[63] using generic constraint 2.79/2.86 c intension x[59] != x[64] using generic constraint 2.79/2.86 c intension x[59] != x[65] using generic constraint 2.79/2.86 c intension x[59] != x[66] using generic constraint 2.79/2.86 c intension x[59] != x[67] using generic constraint 2.79/2.86 c intension x[59] != x[68] using generic constraint 2.79/2.86 c intension x[59] != x[69] using generic constraint 2.79/2.86 c intension x[59] != x[70] using generic constraint 2.79/2.86 c intension x[59] != x[71] using generic constraint 2.79/2.86 c intension x[59] != x[72] using generic constraint 2.79/2.87 c intension x[59] != x[73] using generic constraint 2.79/2.87 c intension x[59] != x[74] using generic constraint 2.79/2.87 c intension x[59] != x[75] using generic constraint 2.79/2.87 c intension x[59] != x[76] using generic constraint 2.79/2.87 c intension x[59] != x[77] using generic constraint 2.79/2.87 c intension x[59] != x[78] using generic constraint 2.79/2.87 c intension x[59] != x[79] using generic constraint 2.79/2.87 c intension x[59] != x[80] using generic constraint 2.79/2.87 c intension x[60] != x[62] using generic constraint 2.79/2.87 c intension x[60] != x[63] using generic constraint 2.79/2.88 c intension x[60] != x[64] using generic constraint 2.79/2.88 c intension x[60] != x[65] using generic constraint 2.79/2.88 c intension x[60] != x[66] using generic constraint 2.79/2.88 c intension x[60] != x[67] using generic constraint 2.79/2.88 c intension x[60] != x[68] using generic constraint 2.79/2.88 c intension x[60] != x[69] using generic constraint 2.79/2.88 c intension x[60] != x[70] using generic constraint 2.79/2.88 c intension x[60] != x[71] using generic constraint 2.79/2.88 c intension x[60] != x[72] using generic constraint 2.79/2.88 c intension x[60] != x[73] using generic constraint 2.79/2.88 c intension x[60] != x[74] using generic constraint 2.79/2.89 c intension x[60] != x[75] using generic constraint 2.79/2.89 c intension x[60] != x[76] using generic constraint 2.79/2.89 c intension x[60] != x[77] using generic constraint 2.79/2.89 c intension x[60] != x[78] using generic constraint 2.79/2.89 c intension x[60] != x[79] using generic constraint 2.79/2.89 c intension x[60] != x[80] using generic constraint 2.79/2.89 c intension x[61] != x[63] using generic constraint 2.79/2.89 c intension x[61] != x[64] using generic constraint 2.79/2.89 c intension x[61] != x[65] using generic constraint 2.79/2.89 c intension x[61] != x[66] using generic constraint 2.79/2.90 c intension x[61] != x[67] using generic constraint 2.89/2.90 c intension x[61] != x[68] using generic constraint 2.89/2.90 c intension x[61] != x[69] using generic constraint 2.89/2.90 c intension x[61] != x[70] using generic constraint 2.89/2.90 c intension x[61] != x[71] using generic constraint 2.89/2.90 c intension x[61] != x[72] using generic constraint 2.89/2.90 c intension x[61] != x[73] using generic constraint 2.89/2.90 c intension x[61] != x[74] using generic constraint 2.89/2.90 c intension x[61] != x[75] using generic constraint 2.89/2.90 c intension x[61] != x[76] using generic constraint 2.89/2.91 c intension x[61] != x[77] using generic constraint 2.89/2.91 c intension x[61] != x[78] using generic constraint 2.89/2.91 c intension x[61] != x[79] using generic constraint 2.89/2.91 c intension x[61] != x[80] using generic constraint 2.89/2.91 c intension x[62] != x[64] using generic constraint 2.89/2.91 c intension x[62] != x[65] using generic constraint 2.89/2.91 c intension x[62] != x[66] using generic constraint 2.89/2.91 c intension x[62] != x[67] using generic constraint 2.89/2.91 c intension x[62] != x[68] using generic constraint 2.89/2.91 c intension x[62] != x[69] using generic constraint 2.89/2.92 c intension x[62] != x[70] using generic constraint 2.89/2.92 c intension x[62] != x[71] using generic constraint 2.89/2.92 c intension x[62] != x[72] using generic constraint 2.89/2.92 c intension x[62] != x[73] using generic constraint 2.89/2.92 c intension x[62] != x[74] using generic constraint 2.89/2.92 c intension x[62] != x[75] using generic constraint 2.89/2.92 c intension x[62] != x[76] using generic constraint 2.89/2.92 c intension x[62] != x[77] using generic constraint 2.89/2.92 c intension x[62] != x[78] using generic constraint 2.89/2.92 c intension x[62] != x[79] using generic constraint 2.89/2.93 c intension x[62] != x[80] using generic constraint 2.89/2.93 c intension x[63] != x[65] using generic constraint 2.89/2.93 c intension x[63] != x[66] using generic constraint 2.89/2.93 c intension x[63] != x[67] using generic constraint 2.89/2.93 c intension x[63] != x[68] using generic constraint 2.89/2.93 c intension x[63] != x[69] using generic constraint 2.89/2.93 c intension x[63] != x[70] using generic constraint 2.89/2.93 c intension x[63] != x[71] using generic constraint 2.89/2.93 c intension x[63] != x[72] using generic constraint 2.89/2.93 c intension x[63] != x[73] using generic constraint 2.89/2.93 c intension x[63] != x[74] using generic constraint 2.89/2.94 c intension x[63] != x[75] using generic constraint 2.89/2.94 c intension x[63] != x[76] using generic constraint 2.89/2.94 c intension x[63] != x[77] using generic constraint 2.89/2.94 c intension x[63] != x[78] using generic constraint 2.89/2.94 c intension x[63] != x[79] using generic constraint 2.89/2.94 c intension x[63] != x[80] using generic constraint 2.89/2.94 c intension x[64] != x[66] using generic constraint 2.89/2.94 c intension x[64] != x[67] using generic constraint 2.89/2.94 c intension x[64] != x[68] using generic constraint 2.89/2.94 c intension x[64] != x[69] using generic constraint 2.89/2.95 c intension x[64] != x[70] using generic constraint 2.89/2.95 c intension x[64] != x[71] using generic constraint 2.89/2.95 c intension x[64] != x[72] using generic constraint 2.89/2.95 c intension x[64] != x[73] using generic constraint 2.89/2.95 c intension x[64] != x[74] using generic constraint 2.89/2.95 c intension x[64] != x[75] using generic constraint 2.89/2.95 c intension x[64] != x[76] using generic constraint 2.89/2.95 c intension x[64] != x[77] using generic constraint 2.89/2.95 c intension x[64] != x[78] using generic constraint 2.89/2.95 c intension x[64] != x[79] using generic constraint 2.89/2.96 c intension x[64] != x[80] using generic constraint 2.89/2.96 c intension x[65] != x[67] using generic constraint 2.89/2.96 c intension x[65] != x[68] using generic constraint 2.89/2.96 c intension x[65] != x[69] using generic constraint 2.89/2.96 c intension x[65] != x[70] using generic constraint 2.89/2.96 c intension x[65] != x[71] using generic constraint 2.89/2.96 c intension x[65] != x[72] using generic constraint 2.89/2.96 c intension x[65] != x[73] using generic constraint 2.89/2.96 c intension x[65] != x[74] using generic constraint 2.89/2.96 c intension x[65] != x[75] using generic constraint 2.89/2.97 c intension x[65] != x[76] using generic constraint 2.89/2.97 c intension x[65] != x[77] using generic constraint 2.89/2.97 c intension x[65] != x[78] using generic constraint 2.89/2.97 c intension x[65] != x[79] using generic constraint 2.89/2.97 c intension x[65] != x[80] using generic constraint 2.89/2.97 c intension x[66] != x[68] using generic constraint 2.89/2.97 c intension x[66] != x[69] using generic constraint 2.89/2.97 c intension x[66] != x[70] using generic constraint 2.89/2.97 c intension x[66] != x[71] using generic constraint 2.89/2.97 c intension x[66] != x[72] using generic constraint 2.89/2.97 c intension x[66] != x[73] using generic constraint 2.89/2.98 c intension x[66] != x[74] using generic constraint 2.89/2.98 c intension x[66] != x[75] using generic constraint 2.89/2.98 c intension x[66] != x[76] using generic constraint 2.89/2.98 c intension x[66] != x[77] using generic constraint 2.89/2.98 c intension x[66] != x[78] using generic constraint 2.89/2.98 c intension x[66] != x[79] using generic constraint 2.89/2.98 c intension x[66] != x[80] using generic constraint 2.89/2.98 c intension x[67] != x[69] using generic constraint 2.89/2.98 c intension x[67] != x[70] using generic constraint 2.89/2.98 c intension x[67] != x[71] using generic constraint 2.89/2.99 c intension x[67] != x[72] using generic constraint 2.89/2.99 c intension x[67] != x[73] using generic constraint 2.89/2.99 c intension x[67] != x[74] using generic constraint 2.89/2.99 c intension x[67] != x[75] using generic constraint 2.89/2.99 c intension x[67] != x[76] using generic constraint 2.89/2.99 c intension x[67] != x[77] using generic constraint 2.89/2.99 c intension x[67] != x[78] using generic constraint 2.89/2.99 c intension x[67] != x[79] using generic constraint 2.89/2.99 c intension x[67] != x[80] using generic constraint 2.89/2.99 c intension x[68] != x[70] using generic constraint 2.89/3.00 c intension x[68] != x[71] using generic constraint 2.98/3.00 c intension x[68] != x[72] using generic constraint 2.98/3.00 c intension x[68] != x[73] using generic constraint 2.98/3.00 c intension x[68] != x[74] using generic constraint 2.98/3.00 c intension x[68] != x[75] using generic constraint 2.98/3.00 c intension x[68] != x[76] using generic constraint 2.98/3.00 c intension x[68] != x[77] using generic constraint 2.98/3.00 c intension x[68] != x[78] using generic constraint 2.98/3.00 c intension x[68] != x[79] using generic constraint 2.98/3.00 c intension x[68] != x[80] using generic constraint 2.98/3.01 c intension x[69] != x[71] using generic constraint 2.98/3.01 c intension x[69] != x[72] using generic constraint 2.98/3.01 c intension x[69] != x[73] using generic constraint 2.98/3.01 c intension x[69] != x[74] using generic constraint 2.98/3.01 c intension x[69] != x[75] using generic constraint 2.98/3.01 c intension x[69] != x[76] using generic constraint 2.98/3.01 c intension x[69] != x[77] using generic constraint 2.98/3.01 c intension x[69] != x[78] using generic constraint 2.98/3.01 c intension x[69] != x[79] using generic constraint 2.98/3.01 c intension x[69] != x[80] using generic constraint 2.98/3.01 c intension x[70] != x[72] using generic constraint 2.98/3.02 c intension x[70] != x[73] using generic constraint 2.98/3.02 c intension x[70] != x[74] using generic constraint 2.98/3.02 c intension x[70] != x[75] using generic constraint 2.98/3.02 c intension x[70] != x[76] using generic constraint 2.98/3.02 c intension x[70] != x[77] using generic constraint 2.98/3.02 c intension x[70] != x[78] using generic constraint 2.98/3.02 c intension x[70] != x[79] using generic constraint 2.98/3.02 c intension x[70] != x[80] using generic constraint 2.98/3.02 c intension x[71] != x[73] using generic constraint 2.98/3.02 c intension x[71] != x[74] using generic constraint 2.98/3.03 c intension x[71] != x[75] using generic constraint 2.98/3.03 c intension x[71] != x[76] using generic constraint 2.98/3.03 c intension x[71] != x[77] using generic constraint 2.98/3.03 c intension x[71] != x[78] using generic constraint 2.98/3.03 c intension x[71] != x[79] using generic constraint 2.98/3.03 c intension x[71] != x[80] using generic constraint 2.98/3.03 c intension x[72] != x[74] using generic constraint 2.98/3.03 c intension x[72] != x[75] using generic constraint 2.98/3.03 c intension x[72] != x[76] using generic constraint 2.98/3.03 c intension x[72] != x[77] using generic constraint 2.98/3.04 c intension x[72] != x[78] using generic constraint 2.98/3.04 c intension x[72] != x[79] using generic constraint 2.98/3.04 c intension x[72] != x[80] using generic constraint 2.98/3.04 c intension x[73] != x[75] using generic constraint 2.98/3.04 c intension x[73] != x[76] using generic constraint 2.98/3.04 c intension x[73] != x[77] using generic constraint 2.98/3.04 c intension x[73] != x[78] using generic constraint 2.98/3.04 c intension x[73] != x[79] using generic constraint 2.98/3.04 c intension x[73] != x[80] using generic constraint 2.98/3.04 c intension x[74] != x[76] using generic constraint 2.98/3.05 c intension x[74] != x[77] using generic constraint 2.98/3.05 c intension x[74] != x[78] using generic constraint 2.98/3.05 c intension x[74] != x[79] using generic constraint 2.98/3.05 c intension x[74] != x[80] using generic constraint 2.98/3.05 c intension x[75] != x[77] using generic constraint 2.98/3.05 c intension x[75] != x[78] using generic constraint 2.98/3.05 c intension x[75] != x[79] using generic constraint 2.98/3.05 c intension x[75] != x[80] using generic constraint 2.98/3.05 c intension x[76] != x[78] using generic constraint 2.98/3.05 c intension x[76] != x[79] using generic constraint 2.98/3.05 c intension x[76] != x[80] using generic constraint 2.98/3.06 c intension x[77] != x[79] using generic constraint 2.98/3.06 c intension x[77] != x[80] using generic constraint 2.98/3.06 c intension x[78] != x[80] using generic constraint 3.18/3.21 c root propagations : 132 3.18/3.21 c restarts enabled, print stats at every restarts 3.18/3.21 c 3.18/3.21 c 3.18/3.21 c 3.18/3.21 c This is cosoco 1.0 -- 3.18/3.21 c 3.18/3.21 c ========================================[ Problem Statistics ]=========================================== 3.18/3.21 c | 3.18/3.21 c | Parse time : 3.16 s 3.18/3.21 c | 3.18/3.21 c | Variables: 82 3.18/3.21 c | Domain Sizes: 15..81 3.18/3.21 c | 3.18/3.21 c | Constraints: 3262 3.18/3.21 c | Arity: 2..2 -- Binary: 3262 3.18/3.21 c | 3.18/3.21 c | Types: 3.18/3.21 c | (X != Y): 3160 3.18/3.21 c | Intension: 102 3.18/3.21 c | 3.18/3.21 c ========================================================================================================= 3.18/3.21 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.18/3.28 c 101 247 416597 31649 22 0 26 31 28 3.29/3.34 c 211 486 831822 61800 22 0 18 26 21 3.39/3.42 c 332 728 1234810 106560 22 0 4 26 11 3.48/3.51 c 465 1076 1842406 143901 22 0 13 17 15 3.48/3.59 c 611 1427 2414959 184514 22 0 7 23 19 3.58/3.68 c 771 1843 3043134 231010 22 0 7 22 18 3.68/3.76 c 947 2265 3637628 278122 22 0 7 21 17 3.78/3.86 c 1140 2665 4241734 332263 22 0 6 20 15 3.88/3.96 c 1352 3229 5031979 382874 22 0 7 23 21 3.98/4.05 c 1585 3695 5663560 440666 22 0 6 22 16 4.08/4.17 c 1841 4323 6575530 502935 22 0 7 21 17 4.18/4.28 c 2122 4996 7513296 569121 22 0 6 21 17 4.39/4.43 c 2431 5739 8606820 648256 22 0 7 24 19 4.49/4.55 c 2770 6421 9493194 718192 22 0 6 24 18 4.68/4.73 c 3142 7372 11021890 804268 22 0 15 21 18 4.78/4.87 c 3551 8285 12251883 885490 22 0 6 21 18 4.98/5.01 c 4000 9251 13436089 971672 22 0 8 25 21 5.08/5.18 c 4493 10395 15046053 1067072 22 0 7 23 20 5.28/5.39 c 5035 11774 16876272 1176017 22 0 7 26 23 5.49/5.56 c 5631 12943 18320573 1292148 22 0 6 25 20 5.68/5.78 c 6286 14383 20352655 1417878 22 0 5 23 20 5.88/5.98 c 7006 15832 22210655 1560702 22 0 8 25 20 6.18/6.27 c 7798 17949 24907836 1705814 22 0 10 26 24 6.48/6.51 c 8669 19647 26793303 1854705 22 0 6 24 18 6.78/6.87 c 9627 22028 30212976 2064698 22 0 8 24 20 7.38/7.45 c 10680 24862 34722053 2387957 22 0 13 23 19 7.79/7.86 c 11838 27817 38535857 2592438 22 0 7 23 21 8.18/8.25 c 13111 30758 42250097 2816478 22 0 6 26 23 8.79/8.89 c 14511 34694 48082307 3199565 22 0 13 23 20 9.28/9.36 c 16051 38012 52211385 3463886 22 0 5 24 21 9.78/9.89 c 17745 41740 57039532 3764580 22 0 6 24 21 10.58/10.62 c 19608 46053 63700832 4163651 22 0 13 21 18 11.48/11.56 c 21657 51074 71189658 4701280 22 0 12 19 17 12.19/12.23 c 23910 56501 77600493 5096193 22 0 7 24 21 12.78/12.82 c 26388 61646 83459746 5447565 22 0 7 25 20 13.78/13.80 c 29113 68893 92664489 5957275 22 0 6 26 23 14.39/14.44 c 32110 74678 98916076 6382129 22 0 5 23 18 15.39/15.49 c 35406 82739 109343686 7008456 22 0 6 24 20 16.68/16.79 c 39031 91926 122827925 7772433 22 0 7 24 21 18.48/18.51 c 43018 102385 138375523 8702648 22 0 13 21 18 20.08/20.12 c 47403 113683 153174791 9522163 22 0 7 24 21 21.58/21.66 c 52226 126059 168582792 10404450 22 0 6 25 21 23.38/23.48 c 57531 139250 185635115 11365158 22 0 6 24 21 25.18/25.21 c 63366 153272 203476679 12374323 22 0 9 23 20 27.18/27.29 c 69784 168717 223873568 13547025 22 0 7 24 21 29.18/29.30 c 76843 185577 243672256 14706439 22 0 10 25 22 31.58/31.66 c 84607 204607 268024004 16044718 22 0 7 26 22 35.38/35.42 c 93147 227317 302273673 18001859 22 0 10 19 16 38.38/38.44 c 102541 250046 331541069 19651811 22 0 7 24 20 42.78/42.90 c 112874 276277 371140093 22069089 22 0 10 20 16 47.08/47.18 c 124240 305653 411158782 24326935 22 0 7 24 21 50.59/50.64 c 136742 334141 445337503 26361753 22 0 4 25 20 54.48/54.56 c 150494 366566 483931608 28655990 22 0 6 24 20 59.78/59.89 c 165621 406224 534747333 31494775 22 0 7 23 20 64.28/64.37 c 182260 441380 579389351 34527969 22 0 7 25 19 70.88/70.91 c 200562 487028 639944807 38035794 22 0 7 25 21 79.98/80.04 c 220694 539410 719884646 42802798 22 0 10 20 16 88.09/88.15 c 242839 597830 795890729 46916239 22 0 7 25 21 94.28/94.31 c 267198 652297 858504943 50700185 22 0 6 25 20 104.28/104.34 c 293992 725532 953793734 55805000 22 0 7 25 22 111.98/112.07 c 323465 794667 1034283160 60489587 22 0 6 24 19 127.98/128.02 c 355885 884241 1176281336 68606278 22 0 11 20 17 137.18/137.26 c 391547 966889 1269387692 74189352 22 0 4 25 20 148.38/148.48 c 430775 1063433 1385826929 80851066 22 0 7 24 21 160.98/161.01 c 473925 1169716 1522161095 88094488 22 0 7 25 21 177.38/177.41 c 521390 1274908 1675747024 98238080 22 0 10 21 17 194.88/194.98 c 573601 1411729 1851980141 108408130 22 0 6 24 20 209.87/209.91 c 631033 1544622 2020518429 118003920 22 0 7 25 20 232.37/232.43 c 694208 1715030 2252756913 130434563 22 0 7 25 22 252.37/252.48 c 763700 1893550 2468590821 142765879 22 0 6 25 20 289.57/289.60 c 840141 2103831 2794792892 162372550 22 0 9 20 16 316.47/316.50 c 924226 2336229 3089185427 177500975 22 0 7 27 24 339.88/339.99 c 1016719 2550436 3334331024 191432844 22 0 6 23 20 372.17/372.20 c 1118461 2812193 3649827361 208912737 22 0 7 26 22 399.57/399.61 c 1230377 3066065 3944058237 226522780 22 0 5 25 20 436.16/436.26 c 1353484 3375115 4334264197 247866837 22 0 7 25 21 474.17/474.23 c 1488901 3703747 4731684751 270723848 22 0 6 24 20 520.37/520.48 c 1637859 4072564 5215597752 297269482 22 0 7 25 21 594.56/594.63 c 1801712 4520821 5883013149 338031862 22 0 8 19 16 651.85/651.91 c 1981950 5010246 6490256193 370446824 22 0 13 24 21 727.06/727.15 c 2180211 5561130 7244250046 411763075 22 0 7 24 20 782.75/782.81 c 2398298 6077126 7887509708 446164744 22 0 5 25 21 902.05/902.11 c 2638193 6726616 8946468038 507691866 22 0 9 20 16 979.84/979.96 c 2902077 7369333 9742738717 555001498 22 0 6 25 20 1064.44/1064.58 c 3192349 8038480 10625598084 609703103 22 0 6 25 20 1164.43/1164.53 c 3511648 8853774 11662831394 667467616 22 0 7 25 20 1338.32/1338.46 c 3862876 9831474 13205970576 759226271 22 0 9 20 16 1452.42/1452.59 c 4249226 10793228 14400802344 828161289 22 0 6 25 20 1584.31/1584.44 c 4674211 11834094 15755525851 906872317 22 0 6 25 20 1721.11/1721.23 c 5141694 12954774 17132044165 989683285 22 0 6 25 20 1914.60/1914.79 c 5655925 14383292 19064997125 1090624567 22 0 10 27 24 2048.79/2048.92 c 6221579 15645557 20458679910 1172489215 22 0 5 25 20 2238.88/2239.02 c 6843798 17222746 22551168948 1284909237 22 0 6 26 21 2391.07/2391.26 c 7528238 18662227 24130006091 1381112471 22 0 4 26 20
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241825-1500654239/watcher-4241825-1500654239 -o /tmp/evaluation-result-4241825-1500654239/solver-4241825-1500654239 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500648174-2481 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241825-1500654239.xml pid=3418 running on 8 cores: 0,2,4,6,8,10,12,14 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.98 2.01 2.00 3/242 3421 /proc/meminfo: memFree=31969188/32770624 swapFree=5796/210460 [pid=3421] ppid=3418 vsize=27124 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 691666 27774976 766 33554432000 4194304 5970956 140735344728080 140735344727272 5378205 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 6781 766 683 434 0 145 0 [startup+0.100118 s] /proc/loadavg: 1.98 2.01 2.00 3/242 3421 /proc/meminfo: memFree=31969188/32770624 swapFree=5796/210460 [pid=3421] ppid=3418 vsize=27256 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 1069 0 0 0 9 0 0 0 20 0 1 0 691666 27910144 898 33554432000 4194304 5970956 140735344728080 140735344711832 140257713541939 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 6814 898 742 434 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27256 [startup+0.200336 s] /proc/loadavg: 1.98 2.01 2.00 3/242 3421 /proc/meminfo: memFree=31969188/32770624 swapFree=5796/210460 [pid=3421] ppid=3418 vsize=27380 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 1090 0 0 0 19 0 0 0 20 0 1 0 691666 28037120 913 33554432000 4194304 5970956 140735344728080 140735344711832 140257703987235 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 6845 913 747 434 0 209 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 27380 [startup+0.300306 s] /proc/loadavg: 1.98 2.01 2.00 3/242 3421 /proc/meminfo: memFree=31969188/32770624 swapFree=5796/210460 [pid=3421] ppid=3418 vsize=27500 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 1110 0 0 0 29 0 0 0 20 0 1 0 691666 28160000 944 33554432000 4194304 5970956 140735344728080 140735344711832 140257704340576 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 6875 944 747 434 0 239 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27500 [startup+0.700282 s] /proc/loadavg: 1.98 2.01 2.00 3/242 3421 /proc/meminfo: memFree=31969188/32770624 swapFree=5796/210460 [pid=3421] ppid=3418 vsize=27752 CPUtime=0.68 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 1191 0 0 0 68 0 0 0 20 0 1 0 691666 28418048 1006 33554432000 4194304 5970956 140735344728080 140735344711832 140257704340576 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 6938 1006 747 434 0 302 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 27752 [startup+1.50021 s] /proc/loadavg: 1.98 2.01 2.00 3/243 3422 /proc/meminfo: memFree=31967296/32770624 swapFree=5796/210136 [pid=3421] ppid=3418 vsize=28392 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 1344 0 0 0 148 1 0 0 20 0 1 0 691666 29073408 1130 33554432000 4194304 5970956 140735344728080 140735344711832 140257704340576 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7098 1130 747 434 0 462 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28392 [startup+3.10026 s] /proc/loadavg: 1.98 2.01 2.00 3/243 3422 /proc/meminfo: memFree=31966732/32770624 swapFree=5796/210136 [pid=3421] ppid=3418 vsize=29516 CPUtime=3.08 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 2134 0 0 0 307 1 0 0 20 0 1 0 691666 30224384 1472 33554432000 4194304 5970956 140735344728080 140735344720416 140257703901772 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7379 1472 747 434 0 743 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 29516 [startup+6.30029 s] /proc/loadavg: 1.98 2.01 2.00 3/243 3422 /proc/meminfo: memFree=31964656/32770624 swapFree=5796/210112 [pid=3421] ppid=3418 vsize=30428 CPUtime=6.28 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 3335 0 0 0 627 1 0 0 20 0 1 0 691666 31158272 1787 33554432000 4194304 5970956 140735344728080 140735344725416 5070016 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1787 828 434 0 971 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 30428 [startup+12.7003 s] /proc/loadavg: 1.98 2.01 2.00 3/243 3422 /proc/meminfo: memFree=31964284/32770624 swapFree=5796/210112 [pid=3421] ppid=3418 vsize=30428 CPUtime=12.68 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 4226 0 0 0 1267 1 0 0 20 0 1 0 691666 31158272 1787 33554432000 4194304 5970956 140735344728080 140735344725416 5070008 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1787 828 434 0 971 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30428 [startup+25.5003 s] /proc/loadavg: 1.99 2.01 2.00 3/243 3422 /proc/meminfo: memFree=31964284/32770624 swapFree=5796/210112 [pid=3421] ppid=3418 vsize=30428 CPUtime=25.48 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 6008 0 0 0 2547 1 0 0 20 0 1 0 691666 31158272 1787 33554432000 4194304 5970956 140735344728080 140735344725416 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1787 828 434 0 971 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 30428 [startup+51.1004 s] /proc/loadavg: 1.99 2.01 2.00 3/243 3422 /proc/meminfo: memFree=31964284/32770624 swapFree=5796/210112 [pid=3421] ppid=3418 vsize=30428 CPUtime=51.08 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 6899 0 0 0 5107 1 0 0 20 0 1 0 691666 31158272 1787 33554432000 4194304 5970956 140735344728080 140735344725416 5070025 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1787 828 434 0 971 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 30428 [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.00 3/243 3424 /proc/meminfo: memFree=31962952/32770624 swapFree=5796/210212 [pid=3421] ppid=3418 vsize=30428 CPUtime=102.29 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 7791 0 0 0 10228 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5069929 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 30428 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.00 3/243 3425 /proc/meminfo: memFree=31964048/32770624 swapFree=5796/210296 [pid=3421] ppid=3418 vsize=30428 CPUtime=162.28 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 8180 0 0 0 16227 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5069837 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 30428 [startup+222.308 s] /proc/loadavg: 2.00 2.01 2.00 3/243 3426 /proc/meminfo: memFree=31963100/32770624 swapFree=5796/210352 [pid=3421] ppid=3418 vsize=30428 CPUtime=222.28 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 8569 0 0 0 22227 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5070008 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 30428 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/243 3428 /proc/meminfo: memFree=31963560/32770624 swapFree=5796/210420 [pid=3421] ppid=3418 vsize=30428 CPUtime=282.27 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 8958 0 0 0 28226 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5071039 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 30428 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/243 3429 /proc/meminfo: memFree=31963456/32770624 swapFree=5796/210436 [pid=3421] ppid=3418 vsize=30428 CPUtime=342.27 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 9347 0 0 0 34226 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5076496 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 30428 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/244 3438 /proc/meminfo: memFree=31962120/32770624 swapFree=5796/210520 [pid=3421] ppid=3418 vsize=30428 CPUtime=402.27 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 9736 0 0 0 40226 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5327993 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 30428 [startup+462.3 s] /proc/loadavg: 2.13 2.04 2.01 3/244 3439 /proc/meminfo: memFree=31962180/32770624 swapFree=5796/210520 [pid=3421] ppid=3418 vsize=30428 CPUtime=462.26 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 10125 0 0 0 46225 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5327972 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 30428 [startup+522.3 s] /proc/loadavg: 2.09 2.05 2.02 3/244 3440 /proc/meminfo: memFree=31962568/32770624 swapFree=5796/210600 [pid=3421] ppid=3418 vsize=30428 CPUtime=522.26 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 10513 0 0 0 52225 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5070944 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 30428 [startup+582.3 s] /proc/loadavg: 2.03 2.04 2.02 3/244 3441 /proc/meminfo: memFree=31962384/32770624 swapFree=5796/210600 [pid=3421] ppid=3418 vsize=30428 CPUtime=582.26 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 10885 0 0 0 58225 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 582.26 Current children cumulated vsize (KiB) 30428 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.04 2.03 2.04 3/243 3463 /proc/meminfo: memFree=31960848/32770624 swapFree=5796/211252 [pid=3421] ppid=3418 vsize=30428 CPUtime=1482.22 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 16604 0 0 0 148221 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5070791 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 1482.22 Current children cumulated vsize (KiB) 30428 [startup+1542.31 s] /proc/loadavg: 2.05 2.04 2.05 3/243 3464 /proc/meminfo: memFree=31961212/32770624 swapFree=5796/211260 [pid=3421] ppid=3418 vsize=30428 CPUtime=1542.22 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 16973 0 0 0 154221 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5328066 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 1542.22 Current children cumulated vsize (KiB) 30428 [startup+1602.3 s] /proc/loadavg: 2.02 2.03 2.05 3/243 3472 /proc/meminfo: memFree=31959412/32770624 swapFree=5796/211340 [pid=3421] ppid=3418 vsize=30428 CPUtime=1602.21 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 17362 0 0 0 160220 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5069824 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 1602.21 Current children cumulated vsize (KiB) 30428 [startup+1662.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 3473 /proc/meminfo: memFree=31960184/32770624 swapFree=5796/211340 [pid=3421] ppid=3418 vsize=30428 CPUtime=1662.21 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 17728 0 0 0 166220 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5320177 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 1662.21 Current children cumulated vsize (KiB) 30428 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 3474 /proc/meminfo: memFree=31960000/32770624 swapFree=5796/211416 [pid=3421] ppid=3418 vsize=30428 CPUtime=1722.21 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 18117 0 0 0 172220 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 4964340 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 1722.21 Current children cumulated vsize (KiB) 30428 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 3475 /proc/meminfo: memFree=31960220/32770624 swapFree=5796/211416 [pid=3421] ppid=3418 vsize=30428 CPUtime=1782.2 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 18472 0 0 0 178219 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 4964340 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 1782.2 Current children cumulated vsize (KiB) 30428 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 3476 /proc/meminfo: memFree=31960904/32770624 swapFree=5796/211500 [pid=3421] ppid=3418 vsize=30428 CPUtime=1842.2 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 18827 0 0 0 184219 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5093186 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 1842.2 Current children cumulated vsize (KiB) 30428 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 3478 /proc/meminfo: memFree=31960592/32770624 swapFree=5796/211500 [pid=3421] ppid=3418 vsize=30428 CPUtime=1902.2 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 19182 0 0 0 190219 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5070060 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 1902.2 Current children cumulated vsize (KiB) 30428 [startup+1962.3 s] /proc/loadavg: 2.09 2.04 2.05 3/243 3545 /proc/meminfo: memFree=32039912/32770624 swapFree=5796/211588 [pid=3421] ppid=3418 vsize=30428 CPUtime=1962.2 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 19586 0 0 0 196219 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5069977 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 1962.2 Current children cumulated vsize (KiB) 30428 [startup+2022.3 s] /proc/loadavg: 2.03 2.04 2.05 3/243 3546 /proc/meminfo: memFree=32038104/32770624 swapFree=5796/211588 [pid=3421] ppid=3418 vsize=30428 CPUtime=2022.19 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 19956 0 0 0 202218 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5069920 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 2022.19 Current children cumulated vsize (KiB) 30428 [startup+2082.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 3548 /proc/meminfo: memFree=32037444/32770624 swapFree=5796/211760 [pid=3421] ppid=3418 vsize=30428 CPUtime=2082.2 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 20345 0 0 0 208219 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5327993 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 2082.2 Current children cumulated vsize (KiB) 30428 [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 3549 /proc/meminfo: memFree=32037632/32770624 swapFree=5796/211796 [pid=3421] ppid=3418 vsize=30428 CPUtime=2142.19 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 20708 0 0 0 214218 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5076496 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 2142.19 Current children cumulated vsize (KiB) 30428 [startup+2202.31 s] /proc/loadavg: 2.00 2.02 2.05 3/243 3557 /proc/meminfo: memFree=32036784/32770624 swapFree=5796/211896 [pid=3421] ppid=3418 vsize=30428 CPUtime=2202.19 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 21071 0 0 0 220218 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5076445 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 2202.19 Current children cumulated vsize (KiB) 30428 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 3580 /proc/meminfo: memFree=32036748/32770624 swapFree=5796/211952 [pid=3421] ppid=3418 vsize=30428 CPUtime=2262.18 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 21460 0 0 0 226217 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 4967821 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 2262.18 Current children cumulated vsize (KiB) 30428 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 3581 /proc/meminfo: memFree=32036656/32770624 swapFree=5796/212016 [pid=3421] ppid=3418 vsize=30428 CPUtime=2322.18 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 21830 0 0 0 232217 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5069835 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 2322.18 Current children cumulated vsize (KiB) 30428 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 3582 /proc/meminfo: memFree=32036560/32770624 swapFree=5796/212016 [pid=3421] ppid=3418 vsize=30428 CPUtime=2382.17 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 22201 0 0 0 238216 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 5069728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 2382.17 Current children cumulated vsize (KiB) 30428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.00 2.01 2.05 3/243 3582 /proc/meminfo: memFree=32036648/32770624 swapFree=5796/212072 [pid=3421] ppid=3418 vsize=30428 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14 /proc/3421/stat : 3421 (cosoco) R 3418 3421 2448 0 -1 4202496 22583 0 0 0 240007 1 0 0 20 0 1 0 691666 31158272 1789 33554432000 4194304 5970956 140735344728080 140735344725416 4908912 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38838272 140735344735425 140735344735555 140735344735555 140735344738254 0 /proc/3421/statm: 7607 1789 828 434 0 971 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 30428 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 3421 sig 9 ??? kill -3421 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.21 CPU time (s): 2400.09 CPU user time (s): 2400.07 CPU system time (s): 0.018999 CPU usage (%): 99.9952 Max. virtual memory (cumulated for all children) (KiB): 30428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.07 system time used= 0.018999 maximum resident set size= 7204 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22611 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= 13 involuntary context switches= 120612 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.87846 second user time and 9.7492 second system time The end
Begin job on node124 at 2017-07-21 18:23:59 IDJOB=4241825 IDBENCH=130604 IDSOLVER=2620 FILE ID=node124/4241825-1500654239 RUNJOBID= node124-1500648174-2481 PBS_JOBID= 20623296 Free space on /tmp= 62008 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-09_X2.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241825-1500654239/watcher-4241825-1500654239 -o /tmp/evaluation-result-4241825-1500654239/solver-4241825-1500654239 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500648174-2481 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241825-1500654239.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= b61d3737b957190caa39e86626214229 RANDOM SEED=528513569 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 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.16 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.16 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 : 8 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 : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 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.16 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 8 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.16 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.16 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31969656 kB MemAvailable: 31953004 kB Buffers: 30152 kB Cached: 265856 kB SwapCached: 0 kB Active: 212856 kB Inactive: 219132 kB Active(anon): 138776 kB Inactive(anon): 8704 kB Active(file): 74080 kB Inactive(file): 210428 kB Unevictable: 5796 kB Mlocked: 5796 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2340 kB Writeback: 0 kB AnonPages: 141584 kB Mapped: 30016 kB Shmem: 8840 kB Slab: 60744 kB SReclaimable: 29348 kB SUnreclaim: 31396 kB KernelStack: 4256 kB PageTables: 5224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 406884 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: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62004 MiB End job on node124 at 2017-07-21 19:03:59