Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 1.12 | ? (TO) | 2520.02 | 2520 |
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.03/0.10 c intension x[0] != x[2] using generic constraint 0.03/0.10 c intension x[0] != x[3] using generic constraint 0.03/0.10 c intension x[0] != x[4] using generic constraint 0.03/0.10 c intension x[0] != x[5] using generic constraint 0.03/0.10 c intension x[0] != x[6] using generic constraint 0.03/0.10 c intension x[0] != x[7] using generic constraint 0.03/0.10 c intension x[0] != x[8] using generic constraint 0.03/0.10 c intension x[0] != x[9] using generic constraint 0.03/0.11 c intension x[0] != x[10] using generic constraint 0.03/0.11 c intension x[0] != x[11] using generic constraint 0.03/0.11 c intension x[0] != x[12] using generic constraint 0.03/0.11 c intension x[0] != x[13] using generic constraint 0.03/0.11 c intension x[0] != x[14] using generic constraint 0.03/0.11 c intension x[0] != x[15] using generic constraint 0.03/0.11 c intension x[0] != x[16] using generic constraint 0.03/0.11 c intension x[0] != x[17] using generic constraint 0.03/0.11 c intension x[0] != x[18] using generic constraint 0.03/0.11 c intension x[0] != x[19] using generic constraint 0.03/0.11 c intension x[0] != x[20] using generic constraint 0.03/0.11 c intension x[0] != x[21] using generic constraint 0.03/0.12 c intension x[0] != x[22] using generic constraint 0.03/0.12 c intension x[0] != x[23] using generic constraint 0.03/0.12 c intension x[0] != x[24] using generic constraint 0.03/0.12 c intension x[0] != x[25] using generic constraint 0.03/0.12 c intension x[0] != x[26] using generic constraint 0.03/0.12 c intension x[0] != x[27] using generic constraint 0.03/0.12 c intension x[0] != x[28] using generic constraint 0.03/0.12 c intension x[0] != x[29] using generic constraint 0.03/0.12 c intension x[0] != x[30] using generic constraint 0.03/0.12 c intension x[0] != x[31] using generic constraint 0.03/0.12 c intension x[0] != x[32] using generic constraint 0.03/0.13 c intension x[0] != x[33] using generic constraint 0.03/0.13 c intension x[0] != x[34] using generic constraint 0.03/0.13 c intension x[0] != x[35] using generic constraint 0.03/0.13 c intension x[0] != x[36] using generic constraint 0.03/0.13 c intension x[0] != x[37] using generic constraint 0.03/0.13 c intension x[0] != x[38] using generic constraint 0.03/0.13 c intension x[0] != x[39] using generic constraint 0.03/0.13 c intension x[0] != x[40] using generic constraint 0.03/0.13 c intension x[0] != x[41] using generic constraint 0.03/0.13 c intension x[0] != x[42] using generic constraint 0.03/0.13 c intension x[0] != x[43] using generic constraint 0.03/0.13 c intension x[0] != x[44] using generic constraint 0.03/0.14 c intension x[0] != x[45] using generic constraint 0.03/0.14 c intension x[0] != x[46] using generic constraint 0.03/0.14 c intension x[0] != x[47] using generic constraint 0.03/0.14 c intension x[0] != x[48] using generic constraint 0.03/0.14 c intension x[0] != x[49] using generic constraint 0.03/0.14 c intension x[0] != x[50] using generic constraint 0.03/0.14 c intension x[0] != x[51] using generic constraint 0.03/0.14 c intension x[0] != x[52] using generic constraint 0.03/0.14 c intension x[0] != x[53] using generic constraint 0.03/0.14 c intension x[0] != x[54] using generic constraint 0.03/0.14 c intension x[0] != x[55] using generic constraint 0.03/0.15 c intension x[0] != x[56] using generic constraint 0.03/0.15 c intension x[0] != x[57] using generic constraint 0.03/0.15 c intension x[0] != x[58] using generic constraint 0.03/0.15 c intension x[0] != x[59] using generic constraint 0.03/0.15 c intension x[0] != x[60] using generic constraint 0.03/0.15 c intension x[0] != x[61] using generic constraint 0.03/0.15 c intension x[0] != x[62] using generic constraint 0.03/0.15 c intension x[0] != x[63] using generic constraint 0.03/0.15 c intension x[0] != x[64] using generic constraint 0.03/0.15 c intension x[0] != x[65] using generic constraint 0.03/0.15 c intension x[0] != x[66] using generic constraint 0.03/0.16 c intension x[0] != x[67] using generic constraint 0.03/0.16 c intension x[0] != x[68] using generic constraint 0.03/0.16 c intension x[0] != x[69] using generic constraint 0.03/0.16 c intension x[0] != x[70] using generic constraint 0.03/0.16 c intension x[0] != x[71] using generic constraint 0.03/0.16 c intension x[0] != x[72] using generic constraint 0.03/0.16 c intension x[0] != x[73] using generic constraint 0.03/0.16 c intension x[0] != x[74] using generic constraint 0.03/0.16 c intension x[0] != x[75] using generic constraint 0.03/0.16 c intension x[0] != x[76] using generic constraint 0.03/0.16 c intension x[0] != x[77] using generic constraint 0.03/0.16 c intension x[0] != x[78] using generic constraint 0.03/0.17 c intension x[0] != x[79] using generic constraint 0.03/0.17 c intension x[0] != x[80] using generic constraint 0.03/0.17 c intension x[1] != x[3] using generic constraint 0.03/0.17 c intension x[1] != x[4] using generic constraint 0.03/0.17 c intension x[1] != x[5] using generic constraint 0.03/0.17 c intension x[1] != x[6] using generic constraint 0.03/0.17 c intension x[1] != x[7] using generic constraint 0.03/0.17 c intension x[1] != x[8] using generic constraint 0.03/0.17 c intension x[1] != x[9] using generic constraint 0.03/0.17 c intension x[1] != x[10] using generic constraint 0.03/0.17 c intension x[1] != x[11] using generic constraint 0.03/0.18 c intension x[1] != x[12] using generic constraint 0.03/0.18 c intension x[1] != x[13] using generic constraint 0.03/0.18 c intension x[1] != x[14] using generic constraint 0.03/0.18 c intension x[1] != x[15] using generic constraint 0.03/0.18 c intension x[1] != x[16] using generic constraint 0.03/0.18 c intension x[1] != x[17] using generic constraint 0.03/0.18 c intension x[1] != x[18] using generic constraint 0.03/0.18 c intension x[1] != x[19] using generic constraint 0.03/0.18 c intension x[1] != x[20] using generic constraint 0.03/0.18 c intension x[1] != x[21] using generic constraint 0.03/0.18 c intension x[1] != x[22] using generic constraint 0.03/0.18 c intension x[1] != x[23] using generic constraint 0.03/0.19 c intension x[1] != x[24] using generic constraint 0.03/0.19 c intension x[1] != x[25] using generic constraint 0.03/0.19 c intension x[1] != x[26] using generic constraint 0.03/0.19 c intension x[1] != x[27] using generic constraint 0.03/0.19 c intension x[1] != x[28] using generic constraint 0.03/0.19 c intension x[1] != x[29] using generic constraint 0.03/0.19 c intension x[1] != x[30] using generic constraint 0.03/0.19 c intension x[1] != x[31] using generic constraint 0.03/0.19 c intension x[1] != x[32] using generic constraint 0.03/0.19 c intension x[1] != x[33] using generic constraint 0.03/0.19 c intension x[1] != x[34] using generic constraint 0.03/0.20 c intension x[1] != x[35] using generic constraint 0.13/0.20 c intension x[1] != x[36] using generic constraint 0.13/0.20 c intension x[1] != x[37] using generic constraint 0.13/0.20 c intension x[1] != x[38] using generic constraint 0.13/0.20 c intension x[1] != x[39] using generic constraint 0.13/0.20 c intension x[1] != x[40] using generic constraint 0.13/0.20 c intension x[1] != x[41] using generic constraint 0.13/0.20 c intension x[1] != x[42] using generic constraint 0.13/0.20 c intension x[1] != x[43] using generic constraint 0.13/0.20 c intension x[1] != x[44] using generic constraint 0.13/0.20 c intension x[1] != x[45] using generic constraint 0.13/0.21 c intension x[1] != x[46] using generic constraint 0.13/0.21 c intension x[1] != x[47] using generic constraint 0.13/0.21 c intension x[1] != x[48] using generic constraint 0.13/0.21 c intension x[1] != x[49] using generic constraint 0.13/0.21 c intension x[1] != x[50] using generic constraint 0.13/0.21 c intension x[1] != x[51] using generic constraint 0.13/0.21 c intension x[1] != x[52] using generic constraint 0.13/0.21 c intension x[1] != x[53] using generic constraint 0.13/0.21 c intension x[1] != x[54] using generic constraint 0.13/0.21 c intension x[1] != x[55] using generic constraint 0.13/0.21 c intension x[1] != x[56] using generic constraint 0.13/0.21 c intension x[1] != x[57] using generic constraint 0.13/0.22 c intension x[1] != x[58] using generic constraint 0.13/0.22 c intension x[1] != x[59] using generic constraint 0.13/0.22 c intension x[1] != x[60] using generic constraint 0.13/0.22 c intension x[1] != x[61] using generic constraint 0.13/0.22 c intension x[1] != x[62] using generic constraint 0.13/0.22 c intension x[1] != x[63] using generic constraint 0.13/0.22 c intension x[1] != x[64] using generic constraint 0.13/0.22 c intension x[1] != x[65] using generic constraint 0.13/0.22 c intension x[1] != x[66] using generic constraint 0.13/0.22 c intension x[1] != x[67] using generic constraint 0.13/0.22 c intension x[1] != x[68] using generic constraint 0.13/0.23 c intension x[1] != x[69] using generic constraint 0.13/0.23 c intension x[1] != x[70] using generic constraint 0.13/0.23 c intension x[1] != x[71] using generic constraint 0.13/0.23 c intension x[1] != x[72] using generic constraint 0.13/0.23 c intension x[1] != x[73] using generic constraint 0.13/0.23 c intension x[1] != x[74] using generic constraint 0.13/0.23 c intension x[1] != x[75] using generic constraint 0.13/0.23 c intension x[1] != x[76] using generic constraint 0.13/0.23 c intension x[1] != x[77] using generic constraint 0.13/0.23 c intension x[1] != x[78] using generic constraint 0.13/0.23 c intension x[1] != x[79] using generic constraint 0.13/0.24 c intension x[1] != x[80] using generic constraint 0.13/0.24 c intension x[2] != x[4] using generic constraint 0.13/0.24 c intension x[2] != x[5] using generic constraint 0.13/0.24 c intension x[2] != x[6] using generic constraint 0.13/0.24 c intension x[2] != x[7] using generic constraint 0.13/0.24 c intension x[2] != x[8] using generic constraint 0.13/0.24 c intension x[2] != x[9] using generic constraint 0.13/0.24 c intension x[2] != x[10] using generic constraint 0.13/0.24 c intension x[2] != x[11] using generic constraint 0.13/0.24 c intension x[2] != x[12] using generic constraint 0.13/0.24 c intension x[2] != x[13] using generic constraint 0.13/0.24 c intension x[2] != x[14] using generic constraint 0.13/0.25 c intension x[2] != x[15] using generic constraint 0.13/0.25 c intension x[2] != x[16] using generic constraint 0.13/0.25 c intension x[2] != x[17] using generic constraint 0.13/0.25 c intension x[2] != x[18] using generic constraint 0.13/0.25 c intension x[2] != x[19] using generic constraint 0.13/0.25 c intension x[2] != x[20] using generic constraint 0.13/0.25 c intension x[2] != x[21] using generic constraint 0.13/0.25 c intension x[2] != x[22] using generic constraint 0.13/0.25 c intension x[2] != x[23] using generic constraint 0.13/0.25 c intension x[2] != x[24] using generic constraint 0.13/0.25 c intension x[2] != x[25] using generic constraint 0.13/0.26 c intension x[2] != x[26] using generic constraint 0.13/0.26 c intension x[2] != x[27] using generic constraint 0.13/0.26 c intension x[2] != x[28] using generic constraint 0.13/0.26 c intension x[2] != x[29] using generic constraint 0.13/0.26 c intension x[2] != x[30] using generic constraint 0.13/0.26 c intension x[2] != x[31] using generic constraint 0.13/0.26 c intension x[2] != x[32] using generic constraint 0.13/0.26 c intension x[2] != x[33] using generic constraint 0.13/0.26 c intension x[2] != x[34] using generic constraint 0.13/0.26 c intension x[2] != x[35] using generic constraint 0.13/0.26 c intension x[2] != x[36] using generic constraint 0.13/0.27 c intension x[2] != x[37] using generic constraint 0.13/0.27 c intension x[2] != x[38] using generic constraint 0.13/0.27 c intension x[2] != x[39] using generic constraint 0.13/0.27 c intension x[2] != x[40] using generic constraint 0.13/0.27 c intension x[2] != x[41] using generic constraint 0.13/0.27 c intension x[2] != x[42] using generic constraint 0.13/0.27 c intension x[2] != x[43] using generic constraint 0.13/0.27 c intension x[2] != x[44] using generic constraint 0.13/0.27 c intension x[2] != x[45] using generic constraint 0.13/0.27 c intension x[2] != x[46] using generic constraint 0.13/0.27 c intension x[2] != x[47] using generic constraint 0.13/0.27 c intension x[2] != x[48] using generic constraint 0.13/0.28 c intension x[2] != x[49] using generic constraint 0.13/0.28 c intension x[2] != x[50] using generic constraint 0.13/0.28 c intension x[2] != x[51] using generic constraint 0.13/0.28 c intension x[2] != x[52] using generic constraint 0.13/0.28 c intension x[2] != x[53] using generic constraint 0.13/0.28 c intension x[2] != x[54] using generic constraint 0.13/0.28 c intension x[2] != x[55] using generic constraint 0.13/0.28 c intension x[2] != x[56] using generic constraint 0.13/0.28 c intension x[2] != x[57] using generic constraint 0.13/0.28 c intension x[2] != x[58] using generic constraint 0.13/0.28 c intension x[2] != x[59] using generic constraint 0.13/0.29 c intension x[2] != x[60] using generic constraint 0.13/0.29 c intension x[2] != x[61] using generic constraint 0.13/0.29 c intension x[2] != x[62] using generic constraint 0.13/0.29 c intension x[2] != x[63] using generic constraint 0.13/0.29 c intension x[2] != x[64] using generic constraint 0.13/0.29 c intension x[2] != x[65] using generic constraint 0.13/0.29 c intension x[2] != x[66] using generic constraint 0.13/0.29 c intension x[2] != x[67] using generic constraint 0.13/0.29 c intension x[2] != x[68] using generic constraint 0.13/0.29 c intension x[2] != x[69] using generic constraint 0.13/0.29 c intension x[2] != x[70] using generic constraint 0.13/0.30 c intension x[2] != x[71] using generic constraint 0.23/0.30 c intension x[2] != x[72] using generic constraint 0.23/0.30 c intension x[2] != x[73] using generic constraint 0.23/0.30 c intension x[2] != x[74] using generic constraint 0.23/0.30 c intension x[2] != x[75] using generic constraint 0.23/0.30 c intension x[2] != x[76] using generic constraint 0.23/0.30 c intension x[2] != x[77] using generic constraint 0.23/0.30 c intension x[2] != x[78] using generic constraint 0.23/0.30 c intension x[2] != x[79] using generic constraint 0.23/0.30 c intension x[2] != x[80] using generic constraint 0.23/0.30 c intension x[3] != x[5] using generic constraint 0.23/0.30 c intension x[3] != x[6] using generic constraint 0.23/0.31 c intension x[3] != x[7] using generic constraint 0.23/0.31 c intension x[3] != x[8] using generic constraint 0.23/0.31 c intension x[3] != x[9] using generic constraint 0.23/0.31 c intension x[3] != x[10] using generic constraint 0.23/0.31 c intension x[3] != x[11] using generic constraint 0.23/0.31 c intension x[3] != x[12] using generic constraint 0.23/0.31 c intension x[3] != x[13] using generic constraint 0.23/0.31 c intension x[3] != x[14] using generic constraint 0.23/0.31 c intension x[3] != x[15] using generic constraint 0.23/0.31 c intension x[3] != x[16] using generic constraint 0.23/0.31 c intension x[3] != x[17] using generic constraint 0.23/0.32 c intension x[3] != x[18] using generic constraint 0.23/0.32 c intension x[3] != x[19] using generic constraint 0.23/0.32 c intension x[3] != x[20] using generic constraint 0.23/0.32 c intension x[3] != x[21] using generic constraint 0.23/0.32 c intension x[3] != x[22] using generic constraint 0.23/0.32 c intension x[3] != x[23] using generic constraint 0.23/0.32 c intension x[3] != x[24] using generic constraint 0.23/0.32 c intension x[3] != x[25] using generic constraint 0.23/0.32 c intension x[3] != x[26] using generic constraint 0.23/0.32 c intension x[3] != x[27] using generic constraint 0.23/0.32 c intension x[3] != x[28] using generic constraint 0.23/0.33 c intension x[3] != x[29] using generic constraint 0.23/0.33 c intension x[3] != x[30] using generic constraint 0.23/0.33 c intension x[3] != x[31] using generic constraint 0.23/0.33 c intension x[3] != x[32] using generic constraint 0.23/0.33 c intension x[3] != x[33] using generic constraint 0.23/0.33 c intension x[3] != x[34] using generic constraint 0.23/0.33 c intension x[3] != x[35] using generic constraint 0.23/0.33 c intension x[3] != x[36] using generic constraint 0.23/0.33 c intension x[3] != x[37] using generic constraint 0.23/0.33 c intension x[3] != x[38] using generic constraint 0.23/0.33 c intension x[3] != x[39] using generic constraint 0.23/0.34 c intension x[3] != x[40] using generic constraint 0.23/0.34 c intension x[3] != x[41] using generic constraint 0.23/0.34 c intension x[3] != x[42] using generic constraint 0.23/0.34 c intension x[3] != x[43] using generic constraint 0.23/0.34 c intension x[3] != x[44] using generic constraint 0.23/0.34 c intension x[3] != x[45] using generic constraint 0.23/0.34 c intension x[3] != x[46] using generic constraint 0.23/0.34 c intension x[3] != x[47] using generic constraint 0.23/0.34 c intension x[3] != x[48] using generic constraint 0.23/0.34 c intension x[3] != x[49] using generic constraint 0.23/0.34 c intension x[3] != x[50] using generic constraint 0.23/0.34 c intension x[3] != x[51] using generic constraint 0.23/0.35 c intension x[3] != x[52] using generic constraint 0.23/0.35 c intension x[3] != x[53] using generic constraint 0.23/0.35 c intension x[3] != x[54] using generic constraint 0.23/0.35 c intension x[3] != x[55] using generic constraint 0.23/0.35 c intension x[3] != x[56] using generic constraint 0.23/0.35 c intension x[3] != x[57] using generic constraint 0.23/0.35 c intension x[3] != x[58] using generic constraint 0.23/0.35 c intension x[3] != x[59] using generic constraint 0.23/0.35 c intension x[3] != x[60] using generic constraint 0.23/0.35 c intension x[3] != x[61] using generic constraint 0.23/0.35 c intension x[3] != x[62] using generic constraint 0.23/0.36 c intension x[3] != x[63] using generic constraint 0.23/0.36 c intension x[3] != x[64] using generic constraint 0.23/0.36 c intension x[3] != x[65] using generic constraint 0.23/0.36 c intension x[3] != x[66] using generic constraint 0.23/0.36 c intension x[3] != x[67] using generic constraint 0.23/0.36 c intension x[3] != x[68] using generic constraint 0.23/0.36 c intension x[3] != x[69] using generic constraint 0.23/0.36 c intension x[3] != x[70] using generic constraint 0.23/0.36 c intension x[3] != x[71] using generic constraint 0.23/0.36 c intension x[3] != x[72] using generic constraint 0.23/0.36 c intension x[3] != x[73] using generic constraint 0.23/0.37 c intension x[3] != x[74] using generic constraint 0.23/0.37 c intension x[3] != x[75] using generic constraint 0.23/0.37 c intension x[3] != x[76] using generic constraint 0.23/0.37 c intension x[3] != x[77] using generic constraint 0.23/0.37 c intension x[3] != x[78] using generic constraint 0.23/0.37 c intension x[3] != x[79] using generic constraint 0.23/0.37 c intension x[3] != x[80] using generic constraint 0.23/0.37 c intension x[4] != x[6] using generic constraint 0.23/0.37 c intension x[4] != x[7] using generic constraint 0.23/0.37 c intension x[4] != x[8] using generic constraint 0.23/0.37 c intension x[4] != x[9] using generic constraint 0.23/0.38 c intension x[4] != x[10] using generic constraint 0.23/0.38 c intension x[4] != x[11] using generic constraint 0.23/0.38 c intension x[4] != x[12] using generic constraint 0.23/0.38 c intension x[4] != x[13] using generic constraint 0.23/0.38 c intension x[4] != x[14] using generic constraint 0.23/0.38 c intension x[4] != x[15] using generic constraint 0.23/0.38 c intension x[4] != x[16] using generic constraint 0.23/0.38 c intension x[4] != x[17] using generic constraint 0.23/0.38 c intension x[4] != x[18] using generic constraint 0.23/0.38 c intension x[4] != x[19] using generic constraint 0.23/0.38 c intension x[4] != x[20] using generic constraint 0.23/0.38 c intension x[4] != x[21] using generic constraint 0.23/0.39 c intension x[4] != x[22] using generic constraint 0.23/0.39 c intension x[4] != x[23] using generic constraint 0.23/0.39 c intension x[4] != x[24] using generic constraint 0.23/0.39 c intension x[4] != x[25] using generic constraint 0.23/0.39 c intension x[4] != x[26] using generic constraint 0.23/0.39 c intension x[4] != x[27] using generic constraint 0.23/0.39 c intension x[4] != x[28] using generic constraint 0.23/0.39 c intension x[4] != x[29] using generic constraint 0.23/0.39 c intension x[4] != x[30] using generic constraint 0.23/0.39 c intension x[4] != x[31] using generic constraint 0.23/0.39 c intension x[4] != x[32] using generic constraint 0.33/0.40 c intension x[4] != x[33] using generic constraint 0.33/0.40 c intension x[4] != x[34] using generic constraint 0.33/0.40 c intension x[4] != x[35] using generic constraint 0.33/0.40 c intension x[4] != x[36] using generic constraint 0.33/0.40 c intension x[4] != x[37] using generic constraint 0.33/0.40 c intension x[4] != x[38] using generic constraint 0.33/0.40 c intension x[4] != x[39] using generic constraint 0.33/0.40 c intension x[4] != x[40] using generic constraint 0.33/0.40 c intension x[4] != x[41] using generic constraint 0.33/0.40 c intension x[4] != x[42] using generic constraint 0.33/0.40 c intension x[4] != x[43] using generic constraint 0.33/0.41 c intension x[4] != x[44] using generic constraint 0.33/0.41 c intension x[4] != x[45] using generic constraint 0.33/0.41 c intension x[4] != x[46] using generic constraint 0.33/0.41 c intension x[4] != x[47] using generic constraint 0.33/0.41 c intension x[4] != x[48] using generic constraint 0.33/0.41 c intension x[4] != x[49] using generic constraint 0.33/0.41 c intension x[4] != x[50] using generic constraint 0.33/0.41 c intension x[4] != x[51] using generic constraint 0.33/0.41 c intension x[4] != x[52] using generic constraint 0.33/0.41 c intension x[4] != x[53] using generic constraint 0.33/0.41 c intension x[4] != x[54] using generic constraint 0.33/0.42 c intension x[4] != x[55] using generic constraint 0.33/0.42 c intension x[4] != x[56] using generic constraint 0.33/0.42 c intension x[4] != x[57] using generic constraint 0.33/0.42 c intension x[4] != x[58] using generic constraint 0.33/0.42 c intension x[4] != x[59] using generic constraint 0.33/0.42 c intension x[4] != x[60] using generic constraint 0.33/0.42 c intension x[4] != x[61] using generic constraint 0.33/0.42 c intension x[4] != x[62] using generic constraint 0.33/0.42 c intension x[4] != x[63] using generic constraint 0.33/0.42 c intension x[4] != x[64] using generic constraint 0.33/0.42 c intension x[4] != x[65] using generic constraint 0.33/0.43 c intension x[4] != x[66] using generic constraint 0.33/0.43 c intension x[4] != x[67] using generic constraint 0.33/0.43 c intension x[4] != x[68] using generic constraint 0.33/0.43 c intension x[4] != x[69] using generic constraint 0.33/0.43 c intension x[4] != x[70] using generic constraint 0.33/0.43 c intension x[4] != x[71] using generic constraint 0.33/0.43 c intension x[4] != x[72] using generic constraint 0.33/0.43 c intension x[4] != x[73] using generic constraint 0.33/0.43 c intension x[4] != x[74] using generic constraint 0.33/0.43 c intension x[4] != x[75] using generic constraint 0.33/0.43 c intension x[4] != x[76] using generic constraint 0.33/0.44 c intension x[4] != x[77] using generic constraint 0.33/0.44 c intension x[4] != x[78] using generic constraint 0.33/0.44 c intension x[4] != x[79] using generic constraint 0.33/0.44 c intension x[4] != x[80] using generic constraint 0.33/0.44 c intension x[5] != x[7] using generic constraint 0.33/0.44 c intension x[5] != x[8] using generic constraint 0.33/0.44 c intension x[5] != x[9] using generic constraint 0.33/0.44 c intension x[5] != x[10] using generic constraint 0.33/0.44 c intension x[5] != x[11] using generic constraint 0.33/0.44 c intension x[5] != x[12] using generic constraint 0.33/0.44 c intension x[5] != x[13] using generic constraint 0.33/0.44 c intension x[5] != x[14] using generic constraint 0.33/0.45 c intension x[5] != x[15] using generic constraint 0.33/0.45 c intension x[5] != x[16] using generic constraint 0.33/0.45 c intension x[5] != x[17] using generic constraint 0.33/0.45 c intension x[5] != x[18] using generic constraint 0.33/0.45 c intension x[5] != x[19] using generic constraint 0.33/0.45 c intension x[5] != x[20] using generic constraint 0.33/0.45 c intension x[5] != x[21] using generic constraint 0.33/0.45 c intension x[5] != x[22] using generic constraint 0.33/0.45 c intension x[5] != x[23] using generic constraint 0.33/0.45 c intension x[5] != x[24] using generic constraint 0.33/0.45 c intension x[5] != x[25] using generic constraint 0.33/0.46 c intension x[5] != x[26] using generic constraint 0.33/0.46 c intension x[5] != x[27] using generic constraint 0.33/0.46 c intension x[5] != x[28] using generic constraint 0.33/0.46 c intension x[5] != x[29] using generic constraint 0.33/0.46 c intension x[5] != x[30] using generic constraint 0.33/0.46 c intension x[5] != x[31] using generic constraint 0.33/0.46 c intension x[5] != x[32] using generic constraint 0.33/0.46 c intension x[5] != x[33] using generic constraint 0.33/0.46 c intension x[5] != x[34] using generic constraint 0.33/0.46 c intension x[5] != x[35] using generic constraint 0.33/0.46 c intension x[5] != x[36] using generic constraint 0.33/0.47 c intension x[5] != x[37] using generic constraint 0.33/0.47 c intension x[5] != x[38] using generic constraint 0.33/0.47 c intension x[5] != x[39] using generic constraint 0.33/0.47 c intension x[5] != x[40] using generic constraint 0.33/0.47 c intension x[5] != x[41] using generic constraint 0.33/0.47 c intension x[5] != x[42] using generic constraint 0.33/0.47 c intension x[5] != x[43] using generic constraint 0.33/0.47 c intension x[5] != x[44] using generic constraint 0.33/0.47 c intension x[5] != x[45] using generic constraint 0.33/0.47 c intension x[5] != x[46] using generic constraint 0.33/0.47 c intension x[5] != x[47] using generic constraint 0.33/0.48 c intension x[5] != x[48] using generic constraint 0.33/0.48 c intension x[5] != x[49] using generic constraint 0.33/0.48 c intension x[5] != x[50] using generic constraint 0.33/0.48 c intension x[5] != x[51] using generic constraint 0.33/0.48 c intension x[5] != x[52] using generic constraint 0.33/0.48 c intension x[5] != x[53] using generic constraint 0.33/0.48 c intension x[5] != x[54] using generic constraint 0.33/0.48 c intension x[5] != x[55] using generic constraint 0.33/0.48 c intension x[5] != x[56] using generic constraint 0.33/0.48 c intension x[5] != x[57] using generic constraint 0.33/0.48 c intension x[5] != x[58] using generic constraint 0.33/0.49 c intension x[5] != x[59] using generic constraint 0.33/0.49 c intension x[5] != x[60] using generic constraint 0.33/0.49 c intension x[5] != x[61] using generic constraint 0.33/0.49 c intension x[5] != x[62] using generic constraint 0.33/0.49 c intension x[5] != x[63] using generic constraint 0.33/0.49 c intension x[5] != x[64] using generic constraint 0.33/0.49 c intension x[5] != x[65] using generic constraint 0.33/0.49 c intension x[5] != x[66] using generic constraint 0.33/0.49 c intension x[5] != x[67] using generic constraint 0.33/0.49 c intension x[5] != x[68] using generic constraint 0.33/0.49 c intension x[5] != x[69] using generic constraint 0.33/0.50 c intension x[5] != x[70] using generic constraint 0.43/0.50 c intension x[5] != x[71] using generic constraint 0.43/0.50 c intension x[5] != x[72] using generic constraint 0.43/0.50 c intension x[5] != x[73] using generic constraint 0.43/0.50 c intension x[5] != x[74] using generic constraint 0.43/0.50 c intension x[5] != x[75] using generic constraint 0.43/0.50 c intension x[5] != x[76] using generic constraint 0.43/0.50 c intension x[5] != x[77] using generic constraint 0.43/0.50 c intension x[5] != x[78] using generic constraint 0.43/0.50 c intension x[5] != x[79] using generic constraint 0.43/0.50 c intension x[5] != x[80] using generic constraint 0.43/0.51 c intension x[6] != x[8] using generic constraint 0.43/0.51 c intension x[6] != x[9] using generic constraint 0.43/0.51 c intension x[6] != x[10] using generic constraint 0.43/0.51 c intension x[6] != x[11] using generic constraint 0.43/0.51 c intension x[6] != x[12] using generic constraint 0.43/0.51 c intension x[6] != x[13] using generic constraint 0.43/0.51 c intension x[6] != x[14] using generic constraint 0.43/0.51 c intension x[6] != x[15] using generic constraint 0.43/0.51 c intension x[6] != x[16] using generic constraint 0.43/0.51 c intension x[6] != x[17] using generic constraint 0.43/0.51 c intension x[6] != x[18] using generic constraint 0.43/0.51 c intension x[6] != x[19] using generic constraint 0.43/0.52 c intension x[6] != x[20] using generic constraint 0.43/0.52 c intension x[6] != x[21] using generic constraint 0.43/0.52 c intension x[6] != x[22] using generic constraint 0.43/0.52 c intension x[6] != x[23] using generic constraint 0.43/0.52 c intension x[6] != x[24] using generic constraint 0.43/0.52 c intension x[6] != x[25] using generic constraint 0.43/0.52 c intension x[6] != x[26] using generic constraint 0.43/0.52 c intension x[6] != x[27] using generic constraint 0.43/0.52 c intension x[6] != x[28] using generic constraint 0.43/0.52 c intension x[6] != x[29] using generic constraint 0.43/0.52 c intension x[6] != x[30] using generic constraint 0.43/0.53 c intension x[6] != x[31] using generic constraint 0.43/0.53 c intension x[6] != x[32] using generic constraint 0.43/0.53 c intension x[6] != x[33] using generic constraint 0.43/0.53 c intension x[6] != x[34] using generic constraint 0.43/0.53 c intension x[6] != x[35] using generic constraint 0.43/0.53 c intension x[6] != x[36] using generic constraint 0.43/0.53 c intension x[6] != x[37] using generic constraint 0.43/0.53 c intension x[6] != x[38] using generic constraint 0.43/0.53 c intension x[6] != x[39] using generic constraint 0.43/0.53 c intension x[6] != x[40] using generic constraint 0.43/0.53 c intension x[6] != x[41] using generic constraint 0.43/0.54 c intension x[6] != x[42] using generic constraint 0.43/0.54 c intension x[6] != x[43] using generic constraint 0.43/0.54 c intension x[6] != x[44] using generic constraint 0.43/0.54 c intension x[6] != x[45] using generic constraint 0.43/0.54 c intension x[6] != x[46] using generic constraint 0.43/0.54 c intension x[6] != x[47] using generic constraint 0.43/0.54 c intension x[6] != x[48] using generic constraint 0.43/0.54 c intension x[6] != x[49] using generic constraint 0.43/0.54 c intension x[6] != x[50] using generic constraint 0.43/0.54 c intension x[6] != x[51] using generic constraint 0.43/0.54 c intension x[6] != x[52] using generic constraint 0.43/0.55 c intension x[6] != x[53] using generic constraint 0.43/0.55 c intension x[6] != x[54] using generic constraint 0.43/0.55 c intension x[6] != x[55] using generic constraint 0.43/0.55 c intension x[6] != x[56] using generic constraint 0.43/0.55 c intension x[6] != x[57] using generic constraint 0.43/0.55 c intension x[6] != x[58] using generic constraint 0.43/0.55 c intension x[6] != x[59] using generic constraint 0.43/0.55 c intension x[6] != x[60] using generic constraint 0.43/0.55 c intension x[6] != x[61] using generic constraint 0.43/0.55 c intension x[6] != x[62] using generic constraint 0.43/0.55 c intension x[6] != x[63] using generic constraint 0.43/0.56 c intension x[6] != x[64] using generic constraint 0.43/0.56 c intension x[6] != x[65] using generic constraint 0.43/0.56 c intension x[6] != x[66] using generic constraint 0.43/0.56 c intension x[6] != x[67] using generic constraint 0.43/0.56 c intension x[6] != x[68] using generic constraint 0.43/0.56 c intension x[6] != x[69] using generic constraint 0.43/0.56 c intension x[6] != x[70] using generic constraint 0.43/0.56 c intension x[6] != x[71] using generic constraint 0.43/0.56 c intension x[6] != x[72] using generic constraint 0.43/0.56 c intension x[6] != x[73] using generic constraint 0.43/0.56 c intension x[6] != x[74] using generic constraint 0.43/0.57 c intension x[6] != x[75] using generic constraint 0.43/0.57 c intension x[6] != x[76] using generic constraint 0.43/0.57 c intension x[6] != x[77] using generic constraint 0.43/0.57 c intension x[6] != x[78] using generic constraint 0.43/0.57 c intension x[6] != x[79] using generic constraint 0.43/0.57 c intension x[6] != x[80] using generic constraint 0.43/0.57 c intension x[7] != x[9] using generic constraint 0.43/0.57 c intension x[7] != x[10] using generic constraint 0.43/0.57 c intension x[7] != x[11] using generic constraint 0.43/0.57 c intension x[7] != x[12] using generic constraint 0.43/0.57 c intension x[7] != x[13] using generic constraint 0.43/0.58 c intension x[7] != x[14] using generic constraint 0.43/0.58 c intension x[7] != x[15] using generic constraint 0.43/0.58 c intension x[7] != x[16] using generic constraint 0.43/0.58 c intension x[7] != x[17] using generic constraint 0.43/0.58 c intension x[7] != x[18] using generic constraint 0.43/0.58 c intension x[7] != x[19] using generic constraint 0.43/0.58 c intension x[7] != x[20] using generic constraint 0.43/0.58 c intension x[7] != x[21] using generic constraint 0.43/0.58 c intension x[7] != x[22] using generic constraint 0.43/0.58 c intension x[7] != x[23] using generic constraint 0.43/0.58 c intension x[7] != x[24] using generic constraint 0.43/0.59 c intension x[7] != x[25] using generic constraint 0.43/0.59 c intension x[7] != x[26] using generic constraint 0.43/0.59 c intension x[7] != x[27] using generic constraint 0.43/0.59 c intension x[7] != x[28] using generic constraint 0.43/0.59 c intension x[7] != x[29] using generic constraint 0.43/0.59 c intension x[7] != x[30] using generic constraint 0.43/0.59 c intension x[7] != x[31] using generic constraint 0.43/0.59 c intension x[7] != x[32] using generic constraint 0.43/0.59 c intension x[7] != x[33] using generic constraint 0.43/0.59 c intension x[7] != x[34] using generic constraint 0.43/0.59 c intension x[7] != x[35] using generic constraint 0.43/0.60 c intension x[7] != x[36] using generic constraint 0.53/0.60 c intension x[7] != x[37] using generic constraint 0.53/0.60 c intension x[7] != x[38] using generic constraint 0.53/0.60 c intension x[7] != x[39] using generic constraint 0.53/0.60 c intension x[7] != x[40] using generic constraint 0.53/0.60 c intension x[7] != x[41] using generic constraint 0.53/0.60 c intension x[7] != x[42] using generic constraint 0.53/0.60 c intension x[7] != x[43] using generic constraint 0.53/0.60 c intension x[7] != x[44] using generic constraint 0.53/0.60 c intension x[7] != x[45] using generic constraint 0.53/0.60 c intension x[7] != x[46] using generic constraint 0.53/0.61 c intension x[7] != x[47] using generic constraint 0.53/0.61 c intension x[7] != x[48] using generic constraint 0.53/0.61 c intension x[7] != x[49] using generic constraint 0.53/0.61 c intension x[7] != x[50] using generic constraint 0.53/0.61 c intension x[7] != x[51] using generic constraint 0.53/0.61 c intension x[7] != x[52] using generic constraint 0.53/0.61 c intension x[7] != x[53] using generic constraint 0.53/0.61 c intension x[7] != x[54] using generic constraint 0.53/0.61 c intension x[7] != x[55] using generic constraint 0.53/0.61 c intension x[7] != x[56] using generic constraint 0.53/0.61 c intension x[7] != x[57] using generic constraint 0.53/0.62 c intension x[7] != x[58] using generic constraint 0.53/0.62 c intension x[7] != x[59] using generic constraint 0.53/0.62 c intension x[7] != x[60] using generic constraint 0.53/0.62 c intension x[7] != x[61] using generic constraint 0.53/0.62 c intension x[7] != x[62] using generic constraint 0.53/0.62 c intension x[7] != x[63] using generic constraint 0.53/0.62 c intension x[7] != x[64] using generic constraint 0.53/0.62 c intension x[7] != x[65] using generic constraint 0.53/0.62 c intension x[7] != x[66] using generic constraint 0.53/0.62 c intension x[7] != x[67] using generic constraint 0.53/0.62 c intension x[7] != x[68] using generic constraint 0.53/0.63 c intension x[7] != x[69] using generic constraint 0.53/0.63 c intension x[7] != x[70] using generic constraint 0.53/0.63 c intension x[7] != x[71] using generic constraint 0.53/0.63 c intension x[7] != x[72] using generic constraint 0.53/0.63 c intension x[7] != x[73] using generic constraint 0.53/0.63 c intension x[7] != x[74] using generic constraint 0.53/0.63 c intension x[7] != x[75] using generic constraint 0.53/0.63 c intension x[7] != x[76] using generic constraint 0.53/0.63 c intension x[7] != x[77] using generic constraint 0.53/0.63 c intension x[7] != x[78] using generic constraint 0.53/0.63 c intension x[7] != x[79] using generic constraint 0.53/0.64 c intension x[7] != x[80] using generic constraint 0.53/0.64 c intension x[8] != x[10] using generic constraint 0.53/0.64 c intension x[8] != x[11] using generic constraint 0.53/0.64 c intension x[8] != x[12] using generic constraint 0.53/0.64 c intension x[8] != x[13] using generic constraint 0.53/0.64 c intension x[8] != x[14] using generic constraint 0.53/0.64 c intension x[8] != x[15] using generic constraint 0.53/0.64 c intension x[8] != x[16] using generic constraint 0.53/0.64 c intension x[8] != x[17] using generic constraint 0.53/0.64 c intension x[8] != x[18] using generic constraint 0.53/0.64 c intension x[8] != x[19] using generic constraint 0.53/0.65 c intension x[8] != x[20] using generic constraint 0.53/0.65 c intension x[8] != x[21] using generic constraint 0.53/0.65 c intension x[8] != x[22] using generic constraint 0.53/0.65 c intension x[8] != x[23] using generic constraint 0.53/0.65 c intension x[8] != x[24] using generic constraint 0.53/0.65 c intension x[8] != x[25] using generic constraint 0.53/0.65 c intension x[8] != x[26] using generic constraint 0.53/0.65 c intension x[8] != x[27] using generic constraint 0.53/0.65 c intension x[8] != x[28] using generic constraint 0.53/0.65 c intension x[8] != x[29] using generic constraint 0.53/0.65 c intension x[8] != x[30] using generic constraint 0.53/0.66 c intension x[8] != x[31] using generic constraint 0.53/0.66 c intension x[8] != x[32] using generic constraint 0.53/0.66 c intension x[8] != x[33] using generic constraint 0.53/0.66 c intension x[8] != x[34] using generic constraint 0.53/0.66 c intension x[8] != x[35] using generic constraint 0.53/0.66 c intension x[8] != x[36] using generic constraint 0.53/0.66 c intension x[8] != x[37] using generic constraint 0.53/0.66 c intension x[8] != x[38] using generic constraint 0.53/0.66 c intension x[8] != x[39] using generic constraint 0.53/0.66 c intension x[8] != x[40] using generic constraint 0.53/0.66 c intension x[8] != x[41] using generic constraint 0.53/0.67 c intension x[8] != x[42] using generic constraint 0.53/0.67 c intension x[8] != x[43] using generic constraint 0.53/0.67 c intension x[8] != x[44] using generic constraint 0.53/0.67 c intension x[8] != x[45] using generic constraint 0.53/0.67 c intension x[8] != x[46] using generic constraint 0.53/0.67 c intension x[8] != x[47] using generic constraint 0.53/0.67 c intension x[8] != x[48] using generic constraint 0.53/0.67 c intension x[8] != x[49] using generic constraint 0.53/0.67 c intension x[8] != x[50] using generic constraint 0.53/0.67 c intension x[8] != x[51] using generic constraint 0.53/0.67 c intension x[8] != x[52] using generic constraint 0.53/0.68 c intension x[8] != x[53] using generic constraint 0.53/0.68 c intension x[8] != x[54] using generic constraint 0.53/0.68 c intension x[8] != x[55] using generic constraint 0.53/0.68 c intension x[8] != x[56] using generic constraint 0.53/0.68 c intension x[8] != x[57] using generic constraint 0.53/0.68 c intension x[8] != x[58] using generic constraint 0.53/0.68 c intension x[8] != x[59] using generic constraint 0.53/0.68 c intension x[8] != x[60] using generic constraint 0.53/0.68 c intension x[8] != x[61] using generic constraint 0.53/0.68 c intension x[8] != x[62] using generic constraint 0.53/0.68 c intension x[8] != x[63] using generic constraint 0.53/0.69 c intension x[8] != x[64] using generic constraint 0.53/0.69 c intension x[8] != x[65] using generic constraint 0.53/0.69 c intension x[8] != x[66] using generic constraint 0.53/0.69 c intension x[8] != x[67] using generic constraint 0.53/0.69 c intension x[8] != x[68] using generic constraint 0.53/0.69 c intension x[8] != x[69] using generic constraint 0.53/0.69 c intension x[8] != x[70] using generic constraint 0.53/0.69 c intension x[8] != x[71] using generic constraint 0.53/0.69 c intension x[8] != x[72] using generic constraint 0.53/0.69 c intension x[8] != x[73] using generic constraint 0.53/0.69 c intension x[8] != x[74] using generic constraint 0.53/0.70 c intension x[8] != x[75] using generic constraint 0.62/0.70 c intension x[8] != x[76] using generic constraint 0.62/0.70 c intension x[8] != x[77] using generic constraint 0.62/0.70 c intension x[8] != x[78] using generic constraint 0.62/0.70 c intension x[8] != x[79] using generic constraint 0.62/0.70 c intension x[8] != x[80] using generic constraint 0.62/0.70 c intension x[9] != x[11] using generic constraint 0.62/0.70 c intension x[9] != x[12] using generic constraint 0.62/0.70 c intension x[9] != x[13] using generic constraint 0.62/0.70 c intension x[9] != x[14] using generic constraint 0.62/0.70 c intension x[9] != x[15] using generic constraint 0.62/0.71 c intension x[9] != x[16] using generic constraint 0.62/0.71 c intension x[9] != x[17] using generic constraint 0.62/0.71 c intension x[9] != x[18] using generic constraint 0.62/0.71 c intension x[9] != x[19] using generic constraint 0.62/0.71 c intension x[9] != x[20] using generic constraint 0.62/0.71 c intension x[9] != x[21] using generic constraint 0.62/0.71 c intension x[9] != x[22] using generic constraint 0.62/0.71 c intension x[9] != x[23] using generic constraint 0.62/0.71 c intension x[9] != x[24] using generic constraint 0.62/0.71 c intension x[9] != x[25] using generic constraint 0.62/0.71 c intension x[9] != x[26] using generic constraint 0.62/0.72 c intension x[9] != x[27] using generic constraint 0.62/0.72 c intension x[9] != x[28] using generic constraint 0.62/0.72 c intension x[9] != x[29] using generic constraint 0.62/0.72 c intension x[9] != x[30] using generic constraint 0.62/0.72 c intension x[9] != x[31] using generic constraint 0.62/0.72 c intension x[9] != x[32] using generic constraint 0.62/0.72 c intension x[9] != x[33] using generic constraint 0.62/0.72 c intension x[9] != x[34] using generic constraint 0.62/0.72 c intension x[9] != x[35] using generic constraint 0.62/0.72 c intension x[9] != x[36] using generic constraint 0.62/0.72 c intension x[9] != x[37] using generic constraint 0.62/0.73 c intension x[9] != x[38] using generic constraint 0.62/0.73 c intension x[9] != x[39] using generic constraint 0.62/0.73 c intension x[9] != x[40] using generic constraint 0.62/0.73 c intension x[9] != x[41] using generic constraint 0.62/0.73 c intension x[9] != x[42] using generic constraint 0.62/0.73 c intension x[9] != x[43] using generic constraint 0.62/0.73 c intension x[9] != x[44] using generic constraint 0.62/0.73 c intension x[9] != x[45] using generic constraint 0.62/0.73 c intension x[9] != x[46] using generic constraint 0.62/0.73 c intension x[9] != x[47] using generic constraint 0.62/0.73 c intension x[9] != x[48] using generic constraint 0.62/0.74 c intension x[9] != x[49] using generic constraint 0.62/0.74 c intension x[9] != x[50] using generic constraint 0.62/0.74 c intension x[9] != x[51] using generic constraint 0.62/0.74 c intension x[9] != x[52] using generic constraint 0.62/0.74 c intension x[9] != x[53] using generic constraint 0.62/0.74 c intension x[9] != x[54] using generic constraint 0.62/0.74 c intension x[9] != x[55] using generic constraint 0.62/0.74 c intension x[9] != x[56] using generic constraint 0.62/0.74 c intension x[9] != x[57] using generic constraint 0.62/0.74 c intension x[9] != x[58] using generic constraint 0.62/0.74 c intension x[9] != x[59] using generic constraint 0.62/0.75 c intension x[9] != x[60] using generic constraint 0.62/0.75 c intension x[9] != x[61] using generic constraint 0.62/0.75 c intension x[9] != x[62] using generic constraint 0.62/0.75 c intension x[9] != x[63] using generic constraint 0.62/0.75 c intension x[9] != x[64] using generic constraint 0.62/0.75 c intension x[9] != x[65] using generic constraint 0.62/0.75 c intension x[9] != x[66] using generic constraint 0.62/0.75 c intension x[9] != x[67] using generic constraint 0.62/0.75 c intension x[9] != x[68] using generic constraint 0.62/0.75 c intension x[9] != x[69] using generic constraint 0.62/0.75 c intension x[9] != x[70] using generic constraint 0.62/0.76 c intension x[9] != x[71] using generic constraint 0.62/0.76 c intension x[9] != x[72] using generic constraint 0.62/0.76 c intension x[9] != x[73] using generic constraint 0.62/0.76 c intension x[9] != x[74] using generic constraint 0.62/0.76 c intension x[9] != x[75] using generic constraint 0.62/0.76 c intension x[9] != x[76] using generic constraint 0.62/0.76 c intension x[9] != x[77] using generic constraint 0.62/0.76 c intension x[9] != x[78] using generic constraint 0.62/0.76 c intension x[9] != x[79] using generic constraint 0.62/0.76 c intension x[9] != x[80] using generic constraint 0.62/0.76 c intension x[10] != x[12] using generic constraint 0.62/0.77 c intension x[10] != x[13] using generic constraint 0.62/0.77 c intension x[10] != x[14] using generic constraint 0.62/0.77 c intension x[10] != x[15] using generic constraint 0.62/0.77 c intension x[10] != x[16] using generic constraint 0.62/0.77 c intension x[10] != x[17] using generic constraint 0.62/0.77 c intension x[10] != x[18] using generic constraint 0.62/0.77 c intension x[10] != x[19] using generic constraint 0.62/0.77 c intension x[10] != x[20] using generic constraint 0.62/0.77 c intension x[10] != x[21] using generic constraint 0.62/0.77 c intension x[10] != x[22] using generic constraint 0.62/0.77 c intension x[10] != x[23] using generic constraint 0.62/0.78 c intension x[10] != x[24] using generic constraint 0.62/0.78 c intension x[10] != x[25] using generic constraint 0.62/0.78 c intension x[10] != x[26] using generic constraint 0.62/0.78 c intension x[10] != x[27] using generic constraint 0.62/0.78 c intension x[10] != x[28] using generic constraint 0.62/0.78 c intension x[10] != x[29] using generic constraint 0.62/0.78 c intension x[10] != x[30] using generic constraint 0.62/0.78 c intension x[10] != x[31] using generic constraint 0.62/0.78 c intension x[10] != x[32] using generic constraint 0.62/0.78 c intension x[10] != x[33] using generic constraint 0.62/0.78 c intension x[10] != x[34] using generic constraint 0.62/0.79 c intension x[10] != x[35] using generic constraint 0.62/0.79 c intension x[10] != x[36] using generic constraint 0.62/0.79 c intension x[10] != x[37] using generic constraint 0.62/0.79 c intension x[10] != x[38] using generic constraint 0.62/0.79 c intension x[10] != x[39] using generic constraint 0.62/0.79 c intension x[10] != x[40] using generic constraint 0.62/0.79 c intension x[10] != x[41] using generic constraint 0.62/0.79 c intension x[10] != x[42] using generic constraint 0.62/0.79 c intension x[10] != x[43] using generic constraint 0.62/0.79 c intension x[10] != x[44] using generic constraint 0.62/0.80 c intension x[10] != x[45] using generic constraint 0.72/0.80 c intension x[10] != x[46] using generic constraint 0.72/0.80 c intension x[10] != x[47] using generic constraint 0.72/0.80 c intension x[10] != x[48] using generic constraint 0.72/0.80 c intension x[10] != x[49] using generic constraint 0.72/0.80 c intension x[10] != x[50] using generic constraint 0.72/0.80 c intension x[10] != x[51] using generic constraint 0.72/0.80 c intension x[10] != x[52] using generic constraint 0.72/0.80 c intension x[10] != x[53] using generic constraint 0.72/0.80 c intension x[10] != x[54] using generic constraint 0.72/0.80 c intension x[10] != x[55] using generic constraint 0.72/0.81 c intension x[10] != x[56] using generic constraint 0.72/0.81 c intension x[10] != x[57] using generic constraint 0.72/0.81 c intension x[10] != x[58] using generic constraint 0.72/0.81 c intension x[10] != x[59] using generic constraint 0.72/0.81 c intension x[10] != x[60] using generic constraint 0.72/0.81 c intension x[10] != x[61] using generic constraint 0.72/0.81 c intension x[10] != x[62] using generic constraint 0.72/0.81 c intension x[10] != x[63] using generic constraint 0.72/0.81 c intension x[10] != x[64] using generic constraint 0.72/0.81 c intension x[10] != x[65] using generic constraint 0.72/0.81 c intension x[10] != x[66] using generic constraint 0.72/0.82 c intension x[10] != x[67] using generic constraint 0.72/0.82 c intension x[10] != x[68] using generic constraint 0.72/0.82 c intension x[10] != x[69] using generic constraint 0.72/0.82 c intension x[10] != x[70] using generic constraint 0.72/0.82 c intension x[10] != x[71] using generic constraint 0.72/0.82 c intension x[10] != x[72] using generic constraint 0.72/0.82 c intension x[10] != x[73] using generic constraint 0.72/0.82 c intension x[10] != x[74] using generic constraint 0.72/0.82 c intension x[10] != x[75] using generic constraint 0.72/0.82 c intension x[10] != x[76] using generic constraint 0.72/0.82 c intension x[10] != x[77] using generic constraint 0.72/0.83 c intension x[10] != x[78] using generic constraint 0.72/0.83 c intension x[10] != x[79] using generic constraint 0.72/0.83 c intension x[10] != x[80] using generic constraint 0.72/0.83 c intension x[11] != x[13] using generic constraint 0.72/0.83 c intension x[11] != x[14] using generic constraint 0.72/0.83 c intension x[11] != x[15] using generic constraint 0.72/0.83 c intension x[11] != x[16] using generic constraint 0.72/0.83 c intension x[11] != x[17] using generic constraint 0.72/0.83 c intension x[11] != x[18] using generic constraint 0.72/0.83 c intension x[11] != x[19] using generic constraint 0.72/0.83 c intension x[11] != x[20] using generic constraint 0.72/0.84 c intension x[11] != x[21] using generic constraint 0.72/0.84 c intension x[11] != x[22] using generic constraint 0.72/0.84 c intension x[11] != x[23] using generic constraint 0.72/0.84 c intension x[11] != x[24] using generic constraint 0.72/0.84 c intension x[11] != x[25] using generic constraint 0.72/0.84 c intension x[11] != x[26] using generic constraint 0.72/0.84 c intension x[11] != x[27] using generic constraint 0.72/0.84 c intension x[11] != x[28] using generic constraint 0.72/0.84 c intension x[11] != x[29] using generic constraint 0.72/0.84 c intension x[11] != x[30] using generic constraint 0.72/0.84 c intension x[11] != x[31] using generic constraint 0.72/0.85 c intension x[11] != x[32] using generic constraint 0.72/0.85 c intension x[11] != x[33] using generic constraint 0.72/0.85 c intension x[11] != x[34] using generic constraint 0.72/0.85 c intension x[11] != x[35] using generic constraint 0.72/0.85 c intension x[11] != x[36] using generic constraint 0.72/0.85 c intension x[11] != x[37] using generic constraint 0.72/0.85 c intension x[11] != x[38] using generic constraint 0.72/0.85 c intension x[11] != x[39] using generic constraint 0.72/0.85 c intension x[11] != x[40] using generic constraint 0.72/0.85 c intension x[11] != x[41] using generic constraint 0.72/0.85 c intension x[11] != x[42] using generic constraint 0.72/0.86 c intension x[11] != x[43] using generic constraint 0.72/0.86 c intension x[11] != x[44] using generic constraint 0.72/0.86 c intension x[11] != x[45] using generic constraint 0.72/0.86 c intension x[11] != x[46] using generic constraint 0.72/0.86 c intension x[11] != x[47] using generic constraint 0.72/0.86 c intension x[11] != x[48] using generic constraint 0.72/0.86 c intension x[11] != x[49] using generic constraint 0.72/0.86 c intension x[11] != x[50] using generic constraint 0.72/0.86 c intension x[11] != x[51] using generic constraint 0.72/0.86 c intension x[11] != x[52] using generic constraint 0.72/0.86 c intension x[11] != x[53] using generic constraint 0.72/0.87 c intension x[11] != x[54] using generic constraint 0.72/0.87 c intension x[11] != x[55] using generic constraint 0.72/0.87 c intension x[11] != x[56] using generic constraint 0.72/0.87 c intension x[11] != x[57] using generic constraint 0.72/0.87 c intension x[11] != x[58] using generic constraint 0.72/0.87 c intension x[11] != x[59] using generic constraint 0.72/0.87 c intension x[11] != x[60] using generic constraint 0.72/0.87 c intension x[11] != x[61] using generic constraint 0.72/0.87 c intension x[11] != x[62] using generic constraint 0.72/0.87 c intension x[11] != x[63] using generic constraint 0.72/0.88 c intension x[11] != x[64] using generic constraint 0.72/0.88 c intension x[11] != x[65] using generic constraint 0.72/0.88 c intension x[11] != x[66] using generic constraint 0.72/0.88 c intension x[11] != x[67] using generic constraint 0.72/0.88 c intension x[11] != x[68] using generic constraint 0.72/0.88 c intension x[11] != x[69] using generic constraint 0.72/0.88 c intension x[11] != x[70] using generic constraint 0.72/0.88 c intension x[11] != x[71] using generic constraint 0.72/0.88 c intension x[11] != x[72] using generic constraint 0.72/0.88 c intension x[11] != x[73] using generic constraint 0.72/0.88 c intension x[11] != x[74] using generic constraint 0.72/0.89 c intension x[11] != x[75] using generic constraint 0.72/0.89 c intension x[11] != x[76] using generic constraint 0.72/0.89 c intension x[11] != x[77] using generic constraint 0.72/0.89 c intension x[11] != x[78] using generic constraint 0.72/0.89 c intension x[11] != x[79] using generic constraint 0.72/0.89 c intension x[11] != x[80] using generic constraint 0.72/0.89 c intension x[12] != x[14] using generic constraint 0.72/0.89 c intension x[12] != x[15] using generic constraint 0.72/0.89 c intension x[12] != x[16] using generic constraint 0.72/0.89 c intension x[12] != x[17] using generic constraint 0.72/0.89 c intension x[12] != x[18] using generic constraint 0.72/0.90 c intension x[12] != x[19] using generic constraint 0.82/0.90 c intension x[12] != x[20] using generic constraint 0.82/0.90 c intension x[12] != x[21] using generic constraint 0.82/0.90 c intension x[12] != x[22] using generic constraint 0.82/0.90 c intension x[12] != x[23] using generic constraint 0.82/0.90 c intension x[12] != x[24] using generic constraint 0.82/0.90 c intension x[12] != x[25] using generic constraint 0.82/0.90 c intension x[12] != x[26] using generic constraint 0.82/0.90 c intension x[12] != x[27] using generic constraint 0.82/0.90 c intension x[12] != x[28] using generic constraint 0.82/0.90 c intension x[12] != x[29] using generic constraint 0.82/0.91 c intension x[12] != x[30] using generic constraint 0.82/0.91 c intension x[12] != x[31] using generic constraint 0.82/0.91 c intension x[12] != x[32] using generic constraint 0.82/0.91 c intension x[12] != x[33] using generic constraint 0.82/0.91 c intension x[12] != x[34] using generic constraint 0.82/0.91 c intension x[12] != x[35] using generic constraint 0.82/0.91 c intension x[12] != x[36] using generic constraint 0.82/0.91 c intension x[12] != x[37] using generic constraint 0.82/0.91 c intension x[12] != x[38] using generic constraint 0.82/0.91 c intension x[12] != x[39] using generic constraint 0.82/0.91 c intension x[12] != x[40] using generic constraint 0.82/0.92 c intension x[12] != x[41] using generic constraint 0.82/0.92 c intension x[12] != x[42] using generic constraint 0.82/0.92 c intension x[12] != x[43] using generic constraint 0.82/0.92 c intension x[12] != x[44] using generic constraint 0.82/0.92 c intension x[12] != x[45] using generic constraint 0.82/0.92 c intension x[12] != x[46] using generic constraint 0.82/0.92 c intension x[12] != x[47] using generic constraint 0.82/0.92 c intension x[12] != x[48] using generic constraint 0.82/0.92 c intension x[12] != x[49] using generic constraint 0.82/0.92 c intension x[12] != x[50] using generic constraint 0.82/0.92 c intension x[12] != x[51] using generic constraint 0.82/0.93 c intension x[12] != x[52] using generic constraint 0.82/0.93 c intension x[12] != x[53] using generic constraint 0.82/0.93 c intension x[12] != x[54] using generic constraint 0.82/0.93 c intension x[12] != x[55] using generic constraint 0.82/0.93 c intension x[12] != x[56] using generic constraint 0.82/0.93 c intension x[12] != x[57] using generic constraint 0.82/0.93 c intension x[12] != x[58] using generic constraint 0.82/0.93 c intension x[12] != x[59] using generic constraint 0.82/0.93 c intension x[12] != x[60] using generic constraint 0.82/0.93 c intension x[12] != x[61] using generic constraint 0.82/0.94 c intension x[12] != x[62] using generic constraint 0.82/0.94 c intension x[12] != x[63] using generic constraint 0.82/0.94 c intension x[12] != x[64] using generic constraint 0.82/0.94 c intension x[12] != x[65] using generic constraint 0.82/0.94 c intension x[12] != x[66] using generic constraint 0.82/0.94 c intension x[12] != x[67] using generic constraint 0.82/0.94 c intension x[12] != x[68] using generic constraint 0.82/0.94 c intension x[12] != x[69] using generic constraint 0.82/0.94 c intension x[12] != x[70] using generic constraint 0.82/0.94 c intension x[12] != x[71] using generic constraint 0.82/0.94 c intension x[12] != x[72] using generic constraint 0.82/0.95 c intension x[12] != x[73] using generic constraint 0.82/0.95 c intension x[12] != x[74] using generic constraint 0.82/0.95 c intension x[12] != x[75] using generic constraint 0.82/0.95 c intension x[12] != x[76] using generic constraint 0.82/0.95 c intension x[12] != x[77] using generic constraint 0.82/0.95 c intension x[12] != x[78] using generic constraint 0.82/0.95 c intension x[12] != x[79] using generic constraint 0.82/0.95 c intension x[12] != x[80] using generic constraint 0.82/0.95 c intension x[13] != x[15] using generic constraint 0.82/0.95 c intension x[13] != x[16] using generic constraint 0.82/0.95 c intension x[13] != x[17] using generic constraint 0.82/0.96 c intension x[13] != x[18] using generic constraint 0.82/0.96 c intension x[13] != x[19] using generic constraint 0.82/0.96 c intension x[13] != x[20] using generic constraint 0.82/0.96 c intension x[13] != x[21] using generic constraint 0.82/0.96 c intension x[13] != x[22] using generic constraint 0.82/0.96 c intension x[13] != x[23] using generic constraint 0.82/0.96 c intension x[13] != x[24] using generic constraint 0.82/0.96 c intension x[13] != x[25] using generic constraint 0.82/0.96 c intension x[13] != x[26] using generic constraint 0.82/0.96 c intension x[13] != x[27] using generic constraint 0.82/0.96 c intension x[13] != x[28] using generic constraint 0.82/0.97 c intension x[13] != x[29] using generic constraint 0.82/0.97 c intension x[13] != x[30] using generic constraint 0.82/0.97 c intension x[13] != x[31] using generic constraint 0.82/0.97 c intension x[13] != x[32] using generic constraint 0.82/0.97 c intension x[13] != x[33] using generic constraint 0.82/0.97 c intension x[13] != x[34] using generic constraint 0.82/0.97 c intension x[13] != x[35] using generic constraint 0.82/0.97 c intension x[13] != x[36] using generic constraint 0.82/0.97 c intension x[13] != x[37] using generic constraint 0.82/0.97 c intension x[13] != x[38] using generic constraint 0.82/0.97 c intension x[13] != x[39] using generic constraint 0.82/0.98 c intension x[13] != x[40] using generic constraint 0.82/0.98 c intension x[13] != x[41] using generic constraint 0.82/0.98 c intension x[13] != x[42] using generic constraint 0.82/0.98 c intension x[13] != x[43] using generic constraint 0.82/0.98 c intension x[13] != x[44] using generic constraint 0.82/0.98 c intension x[13] != x[45] using generic constraint 0.82/0.98 c intension x[13] != x[46] using generic constraint 0.82/0.98 c intension x[13] != x[47] using generic constraint 0.82/0.98 c intension x[13] != x[48] using generic constraint 0.82/0.98 c intension x[13] != x[49] using generic constraint 0.82/0.99 c intension x[13] != x[50] using generic constraint 0.82/0.99 c intension x[13] != x[51] using generic constraint 0.82/0.99 c intension x[13] != x[52] using generic constraint 0.82/0.99 c intension x[13] != x[53] using generic constraint 0.82/0.99 c intension x[13] != x[54] using generic constraint 0.82/0.99 c intension x[13] != x[55] using generic constraint 0.82/0.99 c intension x[13] != x[56] using generic constraint 0.82/0.99 c intension x[13] != x[57] using generic constraint 0.82/0.99 c intension x[13] != x[58] using generic constraint 0.82/0.99 c intension x[13] != x[59] using generic constraint 0.82/0.99 c intension x[13] != x[60] using generic constraint 0.92/1.00 c intension x[13] != x[61] using generic constraint 0.92/1.00 c intension x[13] != x[62] using generic constraint 0.92/1.00 c intension x[13] != x[63] using generic constraint 0.92/1.00 c intension x[13] != x[64] using generic constraint 0.92/1.00 c intension x[13] != x[65] using generic constraint 0.92/1.00 c intension x[13] != x[66] using generic constraint 0.92/1.00 c intension x[13] != x[67] using generic constraint 0.92/1.00 c intension x[13] != x[68] using generic constraint 0.92/1.00 c intension x[13] != x[69] using generic constraint 0.92/1.00 c intension x[13] != x[70] using generic constraint 0.92/1.00 c intension x[13] != x[71] using generic constraint 0.92/1.01 c intension x[13] != x[72] using generic constraint 0.92/1.01 c intension x[13] != x[73] using generic constraint 0.92/1.01 c intension x[13] != x[74] using generic constraint 0.92/1.01 c intension x[13] != x[75] using generic constraint 0.92/1.01 c intension x[13] != x[76] using generic constraint 0.92/1.01 c intension x[13] != x[77] using generic constraint 0.92/1.01 c intension x[13] != x[78] using generic constraint 0.92/1.01 c intension x[13] != x[79] using generic constraint 0.92/1.01 c intension x[13] != x[80] using generic constraint 0.92/1.01 c intension x[14] != x[16] using generic constraint 0.92/1.01 c intension x[14] != x[17] using generic constraint 0.92/1.02 c intension x[14] != x[18] using generic constraint 0.92/1.02 c intension x[14] != x[19] using generic constraint 0.92/1.02 c intension x[14] != x[20] using generic constraint 0.92/1.02 c intension x[14] != x[21] using generic constraint 0.92/1.02 c intension x[14] != x[22] using generic constraint 0.92/1.02 c intension x[14] != x[23] using generic constraint 0.92/1.02 c intension x[14] != x[24] using generic constraint 0.92/1.02 c intension x[14] != x[25] using generic constraint 0.92/1.02 c intension x[14] != x[26] using generic constraint 0.92/1.02 c intension x[14] != x[27] using generic constraint 0.92/1.03 c intension x[14] != x[28] using generic constraint 0.92/1.03 c intension x[14] != x[29] using generic constraint 0.92/1.03 c intension x[14] != x[30] using generic constraint 0.92/1.03 c intension x[14] != x[31] using generic constraint 0.92/1.03 c intension x[14] != x[32] using generic constraint 0.92/1.03 c intension x[14] != x[33] using generic constraint 0.92/1.03 c intension x[14] != x[34] using generic constraint 0.92/1.03 c intension x[14] != x[35] using generic constraint 0.92/1.03 c intension x[14] != x[36] using generic constraint 0.92/1.03 c intension x[14] != x[37] using generic constraint 0.92/1.03 c intension x[14] != x[38] using generic constraint 0.92/1.04 c intension x[14] != x[39] using generic constraint 0.92/1.04 c intension x[14] != x[40] using generic constraint 0.92/1.04 c intension x[14] != x[41] using generic constraint 0.92/1.04 c intension x[14] != x[42] using generic constraint 0.92/1.04 c intension x[14] != x[43] using generic constraint 0.92/1.04 c intension x[14] != x[44] using generic constraint 0.92/1.04 c intension x[14] != x[45] using generic constraint 0.92/1.04 c intension x[14] != x[46] using generic constraint 0.92/1.04 c intension x[14] != x[47] using generic constraint 0.92/1.04 c intension x[14] != x[48] using generic constraint 0.92/1.04 c intension x[14] != x[49] using generic constraint 0.92/1.05 c intension x[14] != x[50] using generic constraint 0.92/1.05 c intension x[14] != x[51] using generic constraint 0.92/1.05 c intension x[14] != x[52] using generic constraint 0.92/1.05 c intension x[14] != x[53] using generic constraint 0.92/1.05 c intension x[14] != x[54] using generic constraint 0.92/1.05 c intension x[14] != x[55] using generic constraint 0.92/1.05 c intension x[14] != x[56] using generic constraint 0.92/1.05 c intension x[14] != x[57] using generic constraint 0.92/1.05 c intension x[14] != x[58] using generic constraint 0.92/1.05 c intension x[14] != x[59] using generic constraint 0.92/1.05 c intension x[14] != x[60] using generic constraint 0.92/1.06 c intension x[14] != x[61] using generic constraint 0.92/1.06 c intension x[14] != x[62] using generic constraint 0.92/1.06 c intension x[14] != x[63] using generic constraint 0.92/1.06 c intension x[14] != x[64] using generic constraint 0.92/1.06 c intension x[14] != x[65] using generic constraint 0.92/1.06 c intension x[14] != x[66] using generic constraint 0.92/1.06 c intension x[14] != x[67] using generic constraint 0.92/1.06 c intension x[14] != x[68] using generic constraint 0.92/1.06 c intension x[14] != x[69] using generic constraint 0.92/1.06 c intension x[14] != x[70] using generic constraint 0.92/1.07 c intension x[14] != x[71] using generic constraint 0.92/1.07 c intension x[14] != x[72] using generic constraint 0.92/1.07 c intension x[14] != x[73] using generic constraint 0.92/1.07 c intension x[14] != x[74] using generic constraint 0.92/1.07 c intension x[14] != x[75] using generic constraint 0.92/1.07 c intension x[14] != x[76] using generic constraint 0.92/1.07 c intension x[14] != x[77] using generic constraint 0.92/1.07 c intension x[14] != x[78] using generic constraint 0.92/1.07 c intension x[14] != x[79] using generic constraint 0.92/1.07 c intension x[14] != x[80] using generic constraint 0.92/1.07 c intension x[15] != x[17] using generic constraint 0.92/1.08 c intension x[15] != x[18] using generic constraint 0.92/1.08 c intension x[15] != x[19] using generic constraint 0.92/1.08 c intension x[15] != x[20] using generic constraint 0.92/1.08 c intension x[15] != x[21] using generic constraint 0.92/1.08 c intension x[15] != x[22] using generic constraint 0.92/1.08 c intension x[15] != x[23] using generic constraint 0.92/1.08 c intension x[15] != x[24] using generic constraint 0.92/1.08 c intension x[15] != x[25] using generic constraint 0.92/1.08 c intension x[15] != x[26] using generic constraint 0.92/1.08 c intension x[15] != x[27] using generic constraint 0.92/1.08 c intension x[15] != x[28] using generic constraint 0.92/1.09 c intension x[15] != x[29] using generic constraint 0.92/1.09 c intension x[15] != x[30] using generic constraint 0.92/1.09 c intension x[15] != x[31] using generic constraint 0.92/1.09 c intension x[15] != x[32] using generic constraint 0.92/1.09 c intension x[15] != x[33] using generic constraint 0.92/1.09 c intension x[15] != x[34] using generic constraint 0.92/1.09 c intension x[15] != x[35] using generic constraint 0.92/1.09 c intension x[15] != x[36] using generic constraint 0.92/1.09 c intension x[15] != x[37] using generic constraint 0.92/1.09 c intension x[15] != x[38] using generic constraint 0.92/1.10 c intension x[15] != x[39] using generic constraint 0.92/1.10 c intension x[15] != x[40] using generic constraint 0.92/1.10 c intension x[15] != x[41] using generic constraint 0.92/1.10 c intension x[15] != x[42] using generic constraint 0.92/1.10 c intension x[15] != x[43] using generic constraint 0.92/1.10 c intension x[15] != x[44] using generic constraint 0.92/1.10 c intension x[15] != x[45] using generic constraint 1.03/1.10 c intension x[15] != x[46] using generic constraint 1.03/1.10 c intension x[15] != x[47] using generic constraint 1.03/1.10 c intension x[15] != x[48] using generic constraint 1.03/1.10 c intension x[15] != x[49] using generic constraint 1.03/1.11 c intension x[15] != x[50] using generic constraint 1.03/1.11 c intension x[15] != x[51] using generic constraint 1.03/1.11 c intension x[15] != x[52] using generic constraint 1.03/1.11 c intension x[15] != x[53] using generic constraint 1.03/1.11 c intension x[15] != x[54] using generic constraint 1.03/1.11 c intension x[15] != x[55] using generic constraint 1.03/1.11 c intension x[15] != x[56] using generic constraint 1.03/1.11 c intension x[15] != x[57] using generic constraint 1.03/1.11 c intension x[15] != x[58] using generic constraint 1.03/1.11 c intension x[15] != x[59] using generic constraint 1.03/1.11 c intension x[15] != x[60] using generic constraint 1.03/1.12 c intension x[15] != x[61] using generic constraint 1.03/1.12 c intension x[15] != x[62] using generic constraint 1.03/1.12 c intension x[15] != x[63] using generic constraint 1.03/1.12 c intension x[15] != x[64] using generic constraint 1.03/1.12 c intension x[15] != x[65] using generic constraint 1.03/1.12 c intension x[15] != x[66] using generic constraint 1.03/1.12 c intension x[15] != x[67] using generic constraint 1.03/1.12 c intension x[15] != x[68] using generic constraint 1.03/1.12 c intension x[15] != x[69] using generic constraint 1.03/1.12 c intension x[15] != x[70] using generic constraint 1.03/1.13 c intension x[15] != x[71] using generic constraint 1.03/1.13 c intension x[15] != x[72] using generic constraint 1.03/1.13 c intension x[15] != x[73] using generic constraint 1.03/1.13 c intension x[15] != x[74] using generic constraint 1.03/1.13 c intension x[15] != x[75] using generic constraint 1.03/1.13 c intension x[15] != x[76] using generic constraint 1.03/1.13 c intension x[15] != x[77] using generic constraint 1.03/1.13 c intension x[15] != x[78] using generic constraint 1.03/1.13 c intension x[15] != x[79] using generic constraint 1.03/1.13 c intension x[15] != x[80] using generic constraint 1.03/1.13 c intension x[16] != x[18] using generic constraint 1.03/1.14 c intension x[16] != x[19] using generic constraint 1.03/1.14 c intension x[16] != x[20] using generic constraint 1.03/1.14 c intension x[16] != x[21] using generic constraint 1.03/1.14 c intension x[16] != x[22] using generic constraint 1.03/1.14 c intension x[16] != x[23] using generic constraint 1.03/1.14 c intension x[16] != x[24] using generic constraint 1.03/1.14 c intension x[16] != x[25] using generic constraint 1.03/1.14 c intension x[16] != x[26] using generic constraint 1.03/1.14 c intension x[16] != x[27] using generic constraint 1.03/1.14 c intension x[16] != x[28] using generic constraint 1.03/1.14 c intension x[16] != x[29] using generic constraint 1.03/1.15 c intension x[16] != x[30] using generic constraint 1.03/1.15 c intension x[16] != x[31] using generic constraint 1.03/1.15 c intension x[16] != x[32] using generic constraint 1.03/1.15 c intension x[16] != x[33] using generic constraint 1.03/1.15 c intension x[16] != x[34] using generic constraint 1.03/1.15 c intension x[16] != x[35] using generic constraint 1.03/1.15 c intension x[16] != x[36] using generic constraint 1.03/1.15 c intension x[16] != x[37] using generic constraint 1.03/1.15 c intension x[16] != x[38] using generic constraint 1.03/1.15 c intension x[16] != x[39] using generic constraint 1.03/1.16 c intension x[16] != x[40] using generic constraint 1.03/1.16 c intension x[16] != x[41] using generic constraint 1.03/1.16 c intension x[16] != x[42] using generic constraint 1.03/1.16 c intension x[16] != x[43] using generic constraint 1.03/1.16 c intension x[16] != x[44] using generic constraint 1.03/1.16 c intension x[16] != x[45] using generic constraint 1.03/1.16 c intension x[16] != x[46] using generic constraint 1.03/1.16 c intension x[16] != x[47] using generic constraint 1.03/1.16 c intension x[16] != x[48] using generic constraint 1.03/1.16 c intension x[16] != x[49] using generic constraint 1.03/1.16 c intension x[16] != x[50] using generic constraint 1.03/1.17 c intension x[16] != x[51] using generic constraint 1.03/1.17 c intension x[16] != x[52] using generic constraint 1.03/1.17 c intension x[16] != x[53] using generic constraint 1.03/1.17 c intension x[16] != x[54] using generic constraint 1.03/1.17 c intension x[16] != x[55] using generic constraint 1.03/1.17 c intension x[16] != x[56] using generic constraint 1.03/1.17 c intension x[16] != x[57] using generic constraint 1.03/1.17 c intension x[16] != x[58] using generic constraint 1.03/1.17 c intension x[16] != x[59] using generic constraint 1.03/1.17 c intension x[16] != x[60] using generic constraint 1.03/1.17 c intension x[16] != x[61] using generic constraint 1.03/1.18 c intension x[16] != x[62] using generic constraint 1.03/1.18 c intension x[16] != x[63] using generic constraint 1.03/1.18 c intension x[16] != x[64] using generic constraint 1.03/1.18 c intension x[16] != x[65] using generic constraint 1.03/1.18 c intension x[16] != x[66] using generic constraint 1.03/1.18 c intension x[16] != x[67] using generic constraint 1.03/1.18 c intension x[16] != x[68] using generic constraint 1.03/1.18 c intension x[16] != x[69] using generic constraint 1.03/1.18 c intension x[16] != x[70] using generic constraint 1.03/1.18 c intension x[16] != x[71] using generic constraint 1.03/1.19 c intension x[16] != x[72] using generic constraint 1.03/1.19 c intension x[16] != x[73] using generic constraint 1.03/1.19 c intension x[16] != x[74] using generic constraint 1.03/1.19 c intension x[16] != x[75] using generic constraint 1.03/1.19 c intension x[16] != x[76] using generic constraint 1.03/1.19 c intension x[16] != x[77] using generic constraint 1.03/1.19 c intension x[16] != x[78] using generic constraint 1.03/1.19 c intension x[16] != x[79] using generic constraint 1.03/1.19 c intension x[16] != x[80] using generic constraint 1.03/1.19 c intension x[17] != x[19] using generic constraint 1.03/1.19 c intension x[17] != x[20] using generic constraint 1.03/1.20 c intension x[17] != x[21] using generic constraint 1.03/1.20 c intension x[17] != x[22] using generic constraint 1.03/1.20 c intension x[17] != x[23] using generic constraint 1.03/1.20 c intension x[17] != x[24] using generic constraint 1.03/1.20 c intension x[17] != x[25] using generic constraint 1.03/1.20 c intension x[17] != x[26] using generic constraint 1.03/1.20 c intension x[17] != x[27] using generic constraint 1.13/1.20 c intension x[17] != x[28] using generic constraint 1.13/1.20 c intension x[17] != x[29] using generic constraint 1.13/1.20 c intension x[17] != x[30] using generic constraint 1.13/1.20 c intension x[17] != x[31] using generic constraint 1.13/1.21 c intension x[17] != x[32] using generic constraint 1.13/1.21 c intension x[17] != x[33] using generic constraint 1.13/1.21 c intension x[17] != x[34] using generic constraint 1.13/1.21 c intension x[17] != x[35] using generic constraint 1.13/1.21 c intension x[17] != x[36] using generic constraint 1.13/1.21 c intension x[17] != x[37] using generic constraint 1.13/1.21 c intension x[17] != x[38] using generic constraint 1.13/1.21 c intension x[17] != x[39] using generic constraint 1.13/1.21 c intension x[17] != x[40] using generic constraint 1.13/1.21 c intension x[17] != x[41] using generic constraint 1.13/1.22 c intension x[17] != x[42] using generic constraint 1.13/1.22 c intension x[17] != x[43] using generic constraint 1.13/1.22 c intension x[17] != x[44] using generic constraint 1.13/1.22 c intension x[17] != x[45] using generic constraint 1.13/1.22 c intension x[17] != x[46] using generic constraint 1.13/1.22 c intension x[17] != x[47] using generic constraint 1.13/1.22 c intension x[17] != x[48] using generic constraint 1.13/1.22 c intension x[17] != x[49] using generic constraint 1.13/1.22 c intension x[17] != x[50] using generic constraint 1.13/1.22 c intension x[17] != x[51] using generic constraint 1.13/1.22 c intension x[17] != x[52] using generic constraint 1.13/1.23 c intension x[17] != x[53] using generic constraint 1.13/1.23 c intension x[17] != x[54] using generic constraint 1.13/1.23 c intension x[17] != x[55] using generic constraint 1.13/1.23 c intension x[17] != x[56] using generic constraint 1.13/1.23 c intension x[17] != x[57] using generic constraint 1.13/1.23 c intension x[17] != x[58] using generic constraint 1.13/1.23 c intension x[17] != x[59] using generic constraint 1.13/1.23 c intension x[17] != x[60] using generic constraint 1.13/1.23 c intension x[17] != x[61] using generic constraint 1.13/1.23 c intension x[17] != x[62] using generic constraint 1.13/1.23 c intension x[17] != x[63] using generic constraint 1.13/1.24 c intension x[17] != x[64] using generic constraint 1.13/1.24 c intension x[17] != x[65] using generic constraint 1.13/1.24 c intension x[17] != x[66] using generic constraint 1.13/1.24 c intension x[17] != x[67] using generic constraint 1.13/1.24 c intension x[17] != x[68] using generic constraint 1.13/1.24 c intension x[17] != x[69] using generic constraint 1.13/1.24 c intension x[17] != x[70] using generic constraint 1.13/1.24 c intension x[17] != x[71] using generic constraint 1.13/1.24 c intension x[17] != x[72] using generic constraint 1.13/1.24 c intension x[17] != x[73] using generic constraint 1.13/1.25 c intension x[17] != x[74] using generic constraint 1.13/1.25 c intension x[17] != x[75] using generic constraint 1.13/1.25 c intension x[17] != x[76] using generic constraint 1.13/1.25 c intension x[17] != x[77] using generic constraint 1.13/1.25 c intension x[17] != x[78] using generic constraint 1.13/1.25 c intension x[17] != x[79] using generic constraint 1.13/1.25 c intension x[17] != x[80] using generic constraint 1.13/1.25 c intension x[18] != x[20] using generic constraint 1.13/1.25 c intension x[18] != x[21] using generic constraint 1.13/1.25 c intension x[18] != x[22] using generic constraint 1.13/1.25 c intension x[18] != x[23] using generic constraint 1.13/1.26 c intension x[18] != x[24] using generic constraint 1.13/1.26 c intension x[18] != x[25] using generic constraint 1.13/1.26 c intension x[18] != x[26] using generic constraint 1.13/1.26 c intension x[18] != x[27] using generic constraint 1.13/1.26 c intension x[18] != x[28] using generic constraint 1.13/1.26 c intension x[18] != x[29] using generic constraint 1.13/1.26 c intension x[18] != x[30] using generic constraint 1.13/1.26 c intension x[18] != x[31] using generic constraint 1.13/1.26 c intension x[18] != x[32] using generic constraint 1.13/1.26 c intension x[18] != x[33] using generic constraint 1.13/1.26 c intension x[18] != x[34] using generic constraint 1.13/1.27 c intension x[18] != x[35] using generic constraint 1.13/1.27 c intension x[18] != x[36] using generic constraint 1.13/1.27 c intension x[18] != x[37] using generic constraint 1.13/1.27 c intension x[18] != x[38] using generic constraint 1.13/1.27 c intension x[18] != x[39] using generic constraint 1.13/1.27 c intension x[18] != x[40] using generic constraint 1.13/1.27 c intension x[18] != x[41] using generic constraint 1.13/1.27 c intension x[18] != x[42] using generic constraint 1.13/1.27 c intension x[18] != x[43] using generic constraint 1.13/1.27 c intension x[18] != x[44] using generic constraint 1.13/1.28 c intension x[18] != x[45] using generic constraint 1.13/1.28 c intension x[18] != x[46] using generic constraint 1.13/1.28 c intension x[18] != x[47] using generic constraint 1.13/1.28 c intension x[18] != x[48] using generic constraint 1.13/1.28 c intension x[18] != x[49] using generic constraint 1.13/1.28 c intension x[18] != x[50] using generic constraint 1.13/1.28 c intension x[18] != x[51] using generic constraint 1.13/1.28 c intension x[18] != x[52] using generic constraint 1.13/1.28 c intension x[18] != x[53] using generic constraint 1.13/1.28 c intension x[18] != x[54] using generic constraint 1.13/1.28 c intension x[18] != x[55] using generic constraint 1.13/1.29 c intension x[18] != x[56] using generic constraint 1.13/1.29 c intension x[18] != x[57] using generic constraint 1.13/1.29 c intension x[18] != x[58] using generic constraint 1.13/1.29 c intension x[18] != x[59] using generic constraint 1.13/1.29 c intension x[18] != x[60] using generic constraint 1.13/1.29 c intension x[18] != x[61] using generic constraint 1.13/1.29 c intension x[18] != x[62] using generic constraint 1.13/1.29 c intension x[18] != x[63] using generic constraint 1.13/1.29 c intension x[18] != x[64] using generic constraint 1.13/1.29 c intension x[18] != x[65] using generic constraint 1.13/1.30 c intension x[18] != x[66] using generic constraint 1.22/1.30 c intension x[18] != x[67] using generic constraint 1.22/1.30 c intension x[18] != x[68] using generic constraint 1.22/1.30 c intension x[18] != x[69] using generic constraint 1.22/1.30 c intension x[18] != x[70] using generic constraint 1.22/1.30 c intension x[18] != x[71] using generic constraint 1.22/1.30 c intension x[18] != x[72] using generic constraint 1.22/1.30 c intension x[18] != x[73] using generic constraint 1.22/1.30 c intension x[18] != x[74] using generic constraint 1.22/1.30 c intension x[18] != x[75] using generic constraint 1.22/1.30 c intension x[18] != x[76] using generic constraint 1.22/1.31 c intension x[18] != x[77] using generic constraint 1.22/1.31 c intension x[18] != x[78] using generic constraint 1.22/1.31 c intension x[18] != x[79] using generic constraint 1.22/1.31 c intension x[18] != x[80] using generic constraint 1.22/1.31 c intension x[19] != x[21] using generic constraint 1.22/1.31 c intension x[19] != x[22] using generic constraint 1.22/1.31 c intension x[19] != x[23] using generic constraint 1.22/1.31 c intension x[19] != x[24] using generic constraint 1.22/1.31 c intension x[19] != x[25] using generic constraint 1.22/1.31 c intension x[19] != x[26] using generic constraint 1.22/1.32 c intension x[19] != x[27] using generic constraint 1.22/1.32 c intension x[19] != x[28] using generic constraint 1.22/1.32 c intension x[19] != x[29] using generic constraint 1.22/1.32 c intension x[19] != x[30] using generic constraint 1.22/1.32 c intension x[19] != x[31] using generic constraint 1.22/1.32 c intension x[19] != x[32] using generic constraint 1.22/1.32 c intension x[19] != x[33] using generic constraint 1.22/1.32 c intension x[19] != x[34] using generic constraint 1.22/1.32 c intension x[19] != x[35] using generic constraint 1.22/1.32 c intension x[19] != x[36] using generic constraint 1.22/1.32 c intension x[19] != x[37] using generic constraint 1.22/1.33 c intension x[19] != x[38] using generic constraint 1.22/1.33 c intension x[19] != x[39] using generic constraint 1.22/1.33 c intension x[19] != x[40] using generic constraint 1.22/1.33 c intension x[19] != x[41] using generic constraint 1.22/1.33 c intension x[19] != x[42] using generic constraint 1.22/1.33 c intension x[19] != x[43] using generic constraint 1.22/1.33 c intension x[19] != x[44] using generic constraint 1.22/1.33 c intension x[19] != x[45] using generic constraint 1.22/1.33 c intension x[19] != x[46] using generic constraint 1.22/1.33 c intension x[19] != x[47] using generic constraint 1.22/1.33 c intension x[19] != x[48] using generic constraint 1.22/1.34 c intension x[19] != x[49] using generic constraint 1.22/1.34 c intension x[19] != x[50] using generic constraint 1.22/1.34 c intension x[19] != x[51] using generic constraint 1.22/1.34 c intension x[19] != x[52] using generic constraint 1.22/1.34 c intension x[19] != x[53] using generic constraint 1.22/1.34 c intension x[19] != x[54] using generic constraint 1.22/1.34 c intension x[19] != x[55] using generic constraint 1.22/1.34 c intension x[19] != x[56] using generic constraint 1.22/1.34 c intension x[19] != x[57] using generic constraint 1.22/1.34 c intension x[19] != x[58] using generic constraint 1.22/1.35 c intension x[19] != x[59] using generic constraint 1.22/1.35 c intension x[19] != x[60] using generic constraint 1.22/1.35 c intension x[19] != x[61] using generic constraint 1.22/1.35 c intension x[19] != x[62] using generic constraint 1.22/1.35 c intension x[19] != x[63] using generic constraint 1.22/1.35 c intension x[19] != x[64] using generic constraint 1.22/1.35 c intension x[19] != x[65] using generic constraint 1.22/1.35 c intension x[19] != x[66] using generic constraint 1.22/1.35 c intension x[19] != x[67] using generic constraint 1.22/1.35 c intension x[19] != x[68] using generic constraint 1.22/1.35 c intension x[19] != x[69] using generic constraint 1.22/1.36 c intension x[19] != x[70] using generic constraint 1.22/1.36 c intension x[19] != x[71] using generic constraint 1.22/1.36 c intension x[19] != x[72] using generic constraint 1.22/1.36 c intension x[19] != x[73] using generic constraint 1.22/1.36 c intension x[19] != x[74] using generic constraint 1.22/1.36 c intension x[19] != x[75] using generic constraint 1.22/1.36 c intension x[19] != x[76] using generic constraint 1.22/1.36 c intension x[19] != x[77] using generic constraint 1.22/1.36 c intension x[19] != x[78] using generic constraint 1.22/1.36 c intension x[19] != x[79] using generic constraint 1.22/1.36 c intension x[19] != x[80] using generic constraint 1.22/1.37 c intension x[20] != x[22] using generic constraint 1.22/1.37 c intension x[20] != x[23] using generic constraint 1.22/1.37 c intension x[20] != x[24] using generic constraint 1.22/1.37 c intension x[20] != x[25] using generic constraint 1.22/1.37 c intension x[20] != x[26] using generic constraint 1.22/1.37 c intension x[20] != x[27] using generic constraint 1.22/1.37 c intension x[20] != x[28] using generic constraint 1.22/1.37 c intension x[20] != x[29] using generic constraint 1.22/1.37 c intension x[20] != x[30] using generic constraint 1.22/1.37 c intension x[20] != x[31] using generic constraint 1.22/1.38 c intension x[20] != x[32] using generic constraint 1.22/1.38 c intension x[20] != x[33] using generic constraint 1.22/1.38 c intension x[20] != x[34] using generic constraint 1.22/1.38 c intension x[20] != x[35] using generic constraint 1.22/1.38 c intension x[20] != x[36] using generic constraint 1.22/1.38 c intension x[20] != x[37] using generic constraint 1.22/1.38 c intension x[20] != x[38] using generic constraint 1.22/1.38 c intension x[20] != x[39] using generic constraint 1.22/1.38 c intension x[20] != x[40] using generic constraint 1.22/1.38 c intension x[20] != x[41] using generic constraint 1.22/1.38 c intension x[20] != x[42] using generic constraint 1.22/1.39 c intension x[20] != x[43] using generic constraint 1.22/1.39 c intension x[20] != x[44] using generic constraint 1.22/1.39 c intension x[20] != x[45] using generic constraint 1.22/1.39 c intension x[20] != x[46] using generic constraint 1.22/1.39 c intension x[20] != x[47] using generic constraint 1.22/1.39 c intension x[20] != x[48] using generic constraint 1.22/1.39 c intension x[20] != x[49] using generic constraint 1.22/1.39 c intension x[20] != x[50] using generic constraint 1.22/1.39 c intension x[20] != x[51] using generic constraint 1.22/1.39 c intension x[20] != x[52] using generic constraint 1.22/1.39 c intension x[20] != x[53] using generic constraint 1.33/1.40 c intension x[20] != x[54] using generic constraint 1.33/1.40 c intension x[20] != x[55] using generic constraint 1.33/1.40 c intension x[20] != x[56] using generic constraint 1.33/1.40 c intension x[20] != x[57] using generic constraint 1.33/1.40 c intension x[20] != x[58] using generic constraint 1.33/1.40 c intension x[20] != x[59] using generic constraint 1.33/1.40 c intension x[20] != x[60] using generic constraint 1.33/1.40 c intension x[20] != x[61] using generic constraint 1.33/1.40 c intension x[20] != x[62] using generic constraint 1.33/1.40 c intension x[20] != x[63] using generic constraint 1.33/1.41 c intension x[20] != x[64] using generic constraint 1.33/1.41 c intension x[20] != x[65] using generic constraint 1.33/1.41 c intension x[20] != x[66] using generic constraint 1.33/1.41 c intension x[20] != x[67] using generic constraint 1.33/1.41 c intension x[20] != x[68] using generic constraint 1.33/1.41 c intension x[20] != x[69] using generic constraint 1.33/1.41 c intension x[20] != x[70] using generic constraint 1.33/1.41 c intension x[20] != x[71] using generic constraint 1.33/1.41 c intension x[20] != x[72] using generic constraint 1.33/1.41 c intension x[20] != x[73] using generic constraint 1.33/1.41 c intension x[20] != x[74] using generic constraint 1.33/1.42 c intension x[20] != x[75] using generic constraint 1.33/1.42 c intension x[20] != x[76] using generic constraint 1.33/1.42 c intension x[20] != x[77] using generic constraint 1.33/1.42 c intension x[20] != x[78] using generic constraint 1.33/1.42 c intension x[20] != x[79] using generic constraint 1.33/1.42 c intension x[20] != x[80] using generic constraint 1.33/1.42 c intension x[21] != x[23] using generic constraint 1.33/1.42 c intension x[21] != x[24] using generic constraint 1.33/1.42 c intension x[21] != x[25] using generic constraint 1.33/1.42 c intension x[21] != x[26] using generic constraint 1.33/1.43 c intension x[21] != x[27] using generic constraint 1.33/1.43 c intension x[21] != x[28] using generic constraint 1.33/1.43 c intension x[21] != x[29] using generic constraint 1.33/1.43 c intension x[21] != x[30] using generic constraint 1.33/1.43 c intension x[21] != x[31] using generic constraint 1.33/1.43 c intension x[21] != x[32] using generic constraint 1.33/1.43 c intension x[21] != x[33] using generic constraint 1.33/1.43 c intension x[21] != x[34] using generic constraint 1.33/1.43 c intension x[21] != x[35] using generic constraint 1.33/1.43 c intension x[21] != x[36] using generic constraint 1.33/1.43 c intension x[21] != x[37] using generic constraint 1.33/1.44 c intension x[21] != x[38] using generic constraint 1.33/1.44 c intension x[21] != x[39] using generic constraint 1.33/1.44 c intension x[21] != x[40] using generic constraint 1.33/1.44 c intension x[21] != x[41] using generic constraint 1.33/1.44 c intension x[21] != x[42] using generic constraint 1.33/1.44 c intension x[21] != x[43] using generic constraint 1.33/1.44 c intension x[21] != x[44] using generic constraint 1.33/1.44 c intension x[21] != x[45] using generic constraint 1.33/1.44 c intension x[21] != x[46] using generic constraint 1.33/1.44 c intension x[21] != x[47] using generic constraint 1.33/1.45 c intension x[21] != x[48] using generic constraint 1.33/1.45 c intension x[21] != x[49] using generic constraint 1.33/1.45 c intension x[21] != x[50] using generic constraint 1.33/1.45 c intension x[21] != x[51] using generic constraint 1.33/1.45 c intension x[21] != x[52] using generic constraint 1.33/1.45 c intension x[21] != x[53] using generic constraint 1.33/1.45 c intension x[21] != x[54] using generic constraint 1.33/1.45 c intension x[21] != x[55] using generic constraint 1.33/1.45 c intension x[21] != x[56] using generic constraint 1.33/1.45 c intension x[21] != x[57] using generic constraint 1.33/1.45 c intension x[21] != x[58] using generic constraint 1.33/1.46 c intension x[21] != x[59] using generic constraint 1.33/1.46 c intension x[21] != x[60] using generic constraint 1.33/1.46 c intension x[21] != x[61] using generic constraint 1.33/1.46 c intension x[21] != x[62] using generic constraint 1.33/1.46 c intension x[21] != x[63] using generic constraint 1.33/1.46 c intension x[21] != x[64] using generic constraint 1.33/1.46 c intension x[21] != x[65] using generic constraint 1.33/1.46 c intension x[21] != x[66] using generic constraint 1.33/1.46 c intension x[21] != x[67] using generic constraint 1.33/1.46 c intension x[21] != x[68] using generic constraint 1.33/1.46 c intension x[21] != x[69] using generic constraint 1.33/1.47 c intension x[21] != x[70] using generic constraint 1.33/1.47 c intension x[21] != x[71] using generic constraint 1.33/1.47 c intension x[21] != x[72] using generic constraint 1.33/1.47 c intension x[21] != x[73] using generic constraint 1.33/1.47 c intension x[21] != x[74] using generic constraint 1.33/1.47 c intension x[21] != x[75] using generic constraint 1.33/1.47 c intension x[21] != x[76] using generic constraint 1.33/1.47 c intension x[21] != x[77] using generic constraint 1.33/1.47 c intension x[21] != x[78] using generic constraint 1.33/1.47 c intension x[21] != x[79] using generic constraint 1.33/1.48 c intension x[21] != x[80] using generic constraint 1.33/1.48 c intension x[22] != x[24] using generic constraint 1.33/1.48 c intension x[22] != x[25] using generic constraint 1.33/1.48 c intension x[22] != x[26] using generic constraint 1.33/1.48 c intension x[22] != x[27] using generic constraint 1.33/1.48 c intension x[22] != x[28] using generic constraint 1.33/1.48 c intension x[22] != x[29] using generic constraint 1.33/1.48 c intension x[22] != x[30] using generic constraint 1.33/1.48 c intension x[22] != x[31] using generic constraint 1.33/1.48 c intension x[22] != x[32] using generic constraint 1.33/1.48 c intension x[22] != x[33] using generic constraint 1.33/1.49 c intension x[22] != x[34] using generic constraint 1.33/1.49 c intension x[22] != x[35] using generic constraint 1.33/1.49 c intension x[22] != x[36] using generic constraint 1.33/1.49 c intension x[22] != x[37] using generic constraint 1.33/1.49 c intension x[22] != x[38] using generic constraint 1.33/1.49 c intension x[22] != x[39] using generic constraint 1.33/1.49 c intension x[22] != x[40] using generic constraint 1.33/1.49 c intension x[22] != x[41] using generic constraint 1.33/1.49 c intension x[22] != x[42] using generic constraint 1.33/1.49 c intension x[22] != x[43] using generic constraint 1.33/1.50 c intension x[22] != x[44] using generic constraint 1.43/1.50 c intension x[22] != x[45] using generic constraint 1.43/1.50 c intension x[22] != x[46] using generic constraint 1.43/1.50 c intension x[22] != x[47] using generic constraint 1.43/1.50 c intension x[22] != x[48] using generic constraint 1.43/1.50 c intension x[22] != x[49] using generic constraint 1.43/1.50 c intension x[22] != x[50] using generic constraint 1.43/1.50 c intension x[22] != x[51] using generic constraint 1.43/1.50 c intension x[22] != x[52] using generic constraint 1.43/1.50 c intension x[22] != x[53] using generic constraint 1.43/1.50 c intension x[22] != x[54] using generic constraint 1.43/1.51 c intension x[22] != x[55] using generic constraint 1.43/1.51 c intension x[22] != x[56] using generic constraint 1.43/1.51 c intension x[22] != x[57] using generic constraint 1.43/1.51 c intension x[22] != x[58] using generic constraint 1.43/1.51 c intension x[22] != x[59] using generic constraint 1.43/1.51 c intension x[22] != x[60] using generic constraint 1.43/1.51 c intension x[22] != x[61] using generic constraint 1.43/1.51 c intension x[22] != x[62] using generic constraint 1.43/1.51 c intension x[22] != x[63] using generic constraint 1.43/1.51 c intension x[22] != x[64] using generic constraint 1.43/1.52 c intension x[22] != x[65] using generic constraint 1.43/1.52 c intension x[22] != x[66] using generic constraint 1.43/1.52 c intension x[22] != x[67] using generic constraint 1.43/1.52 c intension x[22] != x[68] using generic constraint 1.43/1.52 c intension x[22] != x[69] using generic constraint 1.43/1.52 c intension x[22] != x[70] using generic constraint 1.43/1.52 c intension x[22] != x[71] using generic constraint 1.43/1.52 c intension x[22] != x[72] using generic constraint 1.43/1.52 c intension x[22] != x[73] using generic constraint 1.43/1.52 c intension x[22] != x[74] using generic constraint 1.43/1.52 c intension x[22] != x[75] using generic constraint 1.43/1.53 c intension x[22] != x[76] using generic constraint 1.43/1.53 c intension x[22] != x[77] using generic constraint 1.43/1.53 c intension x[22] != x[78] using generic constraint 1.43/1.53 c intension x[22] != x[79] using generic constraint 1.43/1.53 c intension x[22] != x[80] using generic constraint 1.43/1.53 c intension x[23] != x[25] using generic constraint 1.43/1.53 c intension x[23] != x[26] using generic constraint 1.43/1.53 c intension x[23] != x[27] using generic constraint 1.43/1.53 c intension x[23] != x[28] using generic constraint 1.43/1.53 c intension x[23] != x[29] using generic constraint 1.43/1.53 c intension x[23] != x[30] using generic constraint 1.43/1.54 c intension x[23] != x[31] using generic constraint 1.43/1.54 c intension x[23] != x[32] using generic constraint 1.43/1.54 c intension x[23] != x[33] using generic constraint 1.43/1.54 c intension x[23] != x[34] using generic constraint 1.43/1.54 c intension x[23] != x[35] using generic constraint 1.43/1.54 c intension x[23] != x[36] using generic constraint 1.43/1.54 c intension x[23] != x[37] using generic constraint 1.43/1.54 c intension x[23] != x[38] using generic constraint 1.43/1.54 c intension x[23] != x[39] using generic constraint 1.43/1.54 c intension x[23] != x[40] using generic constraint 1.43/1.55 c intension x[23] != x[41] using generic constraint 1.43/1.55 c intension x[23] != x[42] using generic constraint 1.43/1.55 c intension x[23] != x[43] using generic constraint 1.43/1.55 c intension x[23] != x[44] using generic constraint 1.43/1.55 c intension x[23] != x[45] using generic constraint 1.43/1.55 c intension x[23] != x[46] using generic constraint 1.43/1.55 c intension x[23] != x[47] using generic constraint 1.43/1.55 c intension x[23] != x[48] using generic constraint 1.43/1.55 c intension x[23] != x[49] using generic constraint 1.43/1.55 c intension x[23] != x[50] using generic constraint 1.43/1.55 c intension x[23] != x[51] using generic constraint 1.43/1.56 c intension x[23] != x[52] using generic constraint 1.43/1.56 c intension x[23] != x[53] using generic constraint 1.43/1.56 c intension x[23] != x[54] using generic constraint 1.43/1.56 c intension x[23] != x[55] using generic constraint 1.43/1.56 c intension x[23] != x[56] using generic constraint 1.43/1.56 c intension x[23] != x[57] using generic constraint 1.43/1.56 c intension x[23] != x[58] using generic constraint 1.43/1.56 c intension x[23] != x[59] using generic constraint 1.43/1.56 c intension x[23] != x[60] using generic constraint 1.43/1.56 c intension x[23] != x[61] using generic constraint 1.43/1.57 c intension x[23] != x[62] using generic constraint 1.43/1.57 c intension x[23] != x[63] using generic constraint 1.43/1.57 c intension x[23] != x[64] using generic constraint 1.43/1.57 c intension x[23] != x[65] using generic constraint 1.43/1.57 c intension x[23] != x[66] using generic constraint 1.43/1.57 c intension x[23] != x[67] using generic constraint 1.43/1.57 c intension x[23] != x[68] using generic constraint 1.43/1.57 c intension x[23] != x[69] using generic constraint 1.43/1.57 c intension x[23] != x[70] using generic constraint 1.43/1.57 c intension x[23] != x[71] using generic constraint 1.43/1.57 c intension x[23] != x[72] using generic constraint 1.43/1.58 c intension x[23] != x[73] using generic constraint 1.43/1.58 c intension x[23] != x[74] using generic constraint 1.43/1.58 c intension x[23] != x[75] using generic constraint 1.43/1.58 c intension x[23] != x[76] using generic constraint 1.43/1.58 c intension x[23] != x[77] using generic constraint 1.43/1.58 c intension x[23] != x[78] using generic constraint 1.43/1.58 c intension x[23] != x[79] using generic constraint 1.43/1.58 c intension x[23] != x[80] using generic constraint 1.43/1.58 c intension x[24] != x[26] using generic constraint 1.43/1.58 c intension x[24] != x[27] using generic constraint 1.43/1.59 c intension x[24] != x[28] using generic constraint 1.43/1.59 c intension x[24] != x[29] using generic constraint 1.43/1.59 c intension x[24] != x[30] using generic constraint 1.43/1.59 c intension x[24] != x[31] using generic constraint 1.43/1.59 c intension x[24] != x[32] using generic constraint 1.43/1.59 c intension x[24] != x[33] using generic constraint 1.43/1.59 c intension x[24] != x[34] using generic constraint 1.43/1.59 c intension x[24] != x[35] using generic constraint 1.43/1.59 c intension x[24] != x[36] using generic constraint 1.43/1.59 c intension x[24] != x[37] using generic constraint 1.43/1.59 c intension x[24] != x[38] using generic constraint 1.53/1.60 c intension x[24] != x[39] using generic constraint 1.53/1.60 c intension x[24] != x[40] using generic constraint 1.53/1.60 c intension x[24] != x[41] using generic constraint 1.53/1.60 c intension x[24] != x[42] using generic constraint 1.53/1.60 c intension x[24] != x[43] using generic constraint 1.53/1.60 c intension x[24] != x[44] using generic constraint 1.53/1.60 c intension x[24] != x[45] using generic constraint 1.53/1.60 c intension x[24] != x[46] using generic constraint 1.53/1.60 c intension x[24] != x[47] using generic constraint 1.53/1.60 c intension x[24] != x[48] using generic constraint 1.53/1.61 c intension x[24] != x[49] using generic constraint 1.53/1.61 c intension x[24] != x[50] using generic constraint 1.53/1.61 c intension x[24] != x[51] using generic constraint 1.53/1.61 c intension x[24] != x[52] using generic constraint 1.53/1.61 c intension x[24] != x[53] using generic constraint 1.53/1.61 c intension x[24] != x[54] using generic constraint 1.53/1.61 c intension x[24] != x[55] using generic constraint 1.53/1.61 c intension x[24] != x[56] using generic constraint 1.53/1.61 c intension x[24] != x[57] using generic constraint 1.53/1.61 c intension x[24] != x[58] using generic constraint 1.53/1.61 c intension x[24] != x[59] using generic constraint 1.53/1.62 c intension x[24] != x[60] using generic constraint 1.53/1.62 c intension x[24] != x[61] using generic constraint 1.53/1.62 c intension x[24] != x[62] using generic constraint 1.53/1.62 c intension x[24] != x[63] using generic constraint 1.53/1.62 c intension x[24] != x[64] using generic constraint 1.53/1.62 c intension x[24] != x[65] using generic constraint 1.53/1.62 c intension x[24] != x[66] using generic constraint 1.53/1.62 c intension x[24] != x[67] using generic constraint 1.53/1.62 c intension x[24] != x[68] using generic constraint 1.53/1.62 c intension x[24] != x[69] using generic constraint 1.53/1.63 c intension x[24] != x[70] using generic constraint 1.53/1.63 c intension x[24] != x[71] using generic constraint 1.53/1.63 c intension x[24] != x[72] using generic constraint 1.53/1.63 c intension x[24] != x[73] using generic constraint 1.53/1.63 c intension x[24] != x[74] using generic constraint 1.53/1.63 c intension x[24] != x[75] using generic constraint 1.53/1.63 c intension x[24] != x[76] using generic constraint 1.53/1.63 c intension x[24] != x[77] using generic constraint 1.53/1.63 c intension x[24] != x[78] using generic constraint 1.53/1.63 c intension x[24] != x[79] using generic constraint 1.53/1.63 c intension x[24] != x[80] using generic constraint 1.53/1.64 c intension x[25] != x[27] using generic constraint 1.53/1.64 c intension x[25] != x[28] using generic constraint 1.53/1.64 c intension x[25] != x[29] using generic constraint 1.53/1.64 c intension x[25] != x[30] using generic constraint 1.53/1.64 c intension x[25] != x[31] using generic constraint 1.53/1.64 c intension x[25] != x[32] using generic constraint 1.53/1.64 c intension x[25] != x[33] using generic constraint 1.53/1.64 c intension x[25] != x[34] using generic constraint 1.53/1.64 c intension x[25] != x[35] using generic constraint 1.53/1.64 c intension x[25] != x[36] using generic constraint 1.53/1.65 c intension x[25] != x[37] using generic constraint 1.53/1.65 c intension x[25] != x[38] using generic constraint 1.53/1.65 c intension x[25] != x[39] using generic constraint 1.53/1.65 c intension x[25] != x[40] using generic constraint 1.53/1.65 c intension x[25] != x[41] using generic constraint 1.53/1.65 c intension x[25] != x[42] using generic constraint 1.53/1.65 c intension x[25] != x[43] using generic constraint 1.53/1.65 c intension x[25] != x[44] using generic constraint 1.53/1.65 c intension x[25] != x[45] using generic constraint 1.53/1.65 c intension x[25] != x[46] using generic constraint 1.53/1.65 c intension x[25] != x[47] using generic constraint 1.53/1.66 c intension x[25] != x[48] using generic constraint 1.53/1.66 c intension x[25] != x[49] using generic constraint 1.53/1.66 c intension x[25] != x[50] using generic constraint 1.53/1.66 c intension x[25] != x[51] using generic constraint 1.53/1.66 c intension x[25] != x[52] using generic constraint 1.53/1.66 c intension x[25] != x[53] using generic constraint 1.53/1.66 c intension x[25] != x[54] using generic constraint 1.53/1.66 c intension x[25] != x[55] using generic constraint 1.53/1.66 c intension x[25] != x[56] using generic constraint 1.53/1.66 c intension x[25] != x[57] using generic constraint 1.53/1.67 c intension x[25] != x[58] using generic constraint 1.53/1.67 c intension x[25] != x[59] using generic constraint 1.53/1.67 c intension x[25] != x[60] using generic constraint 1.53/1.67 c intension x[25] != x[61] using generic constraint 1.53/1.67 c intension x[25] != x[62] using generic constraint 1.53/1.67 c intension x[25] != x[63] using generic constraint 1.53/1.67 c intension x[25] != x[64] using generic constraint 1.53/1.67 c intension x[25] != x[65] using generic constraint 1.53/1.67 c intension x[25] != x[66] using generic constraint 1.53/1.67 c intension x[25] != x[67] using generic constraint 1.53/1.67 c intension x[25] != x[68] using generic constraint 1.53/1.68 c intension x[25] != x[69] using generic constraint 1.53/1.68 c intension x[25] != x[70] using generic constraint 1.53/1.68 c intension x[25] != x[71] using generic constraint 1.53/1.68 c intension x[25] != x[72] using generic constraint 1.53/1.68 c intension x[25] != x[73] using generic constraint 1.53/1.68 c intension x[25] != x[74] using generic constraint 1.53/1.68 c intension x[25] != x[75] using generic constraint 1.53/1.68 c intension x[25] != x[76] using generic constraint 1.53/1.68 c intension x[25] != x[77] using generic constraint 1.53/1.68 c intension x[25] != x[78] using generic constraint 1.53/1.68 c intension x[25] != x[79] using generic constraint 1.63/1.71 c intension x[25] != x[80] using generic constraint 1.63/1.71 c intension x[26] != x[28] using generic constraint 1.63/1.71 c intension x[26] != x[29] using generic constraint 1.63/1.71 c intension x[26] != x[30] using generic constraint 1.63/1.71 c intension x[26] != x[31] using generic constraint 1.63/1.71 c intension x[26] != x[32] using generic constraint 1.63/1.71 c intension x[26] != x[33] using generic constraint 1.63/1.71 c intension x[26] != x[34] using generic constraint 1.63/1.71 c intension x[26] != x[35] using generic constraint 1.63/1.71 c intension x[26] != x[36] using generic constraint 1.63/1.71 c intension x[26] != x[37] using generic constraint 1.63/1.71 c intension x[26] != x[38] using generic constraint 1.63/1.71 c intension x[26] != x[39] using generic constraint 1.63/1.71 c intension x[26] != x[40] using generic constraint 1.63/1.71 c intension x[26] != x[41] using generic constraint 1.63/1.71 c intension x[26] != x[42] using generic constraint 1.63/1.71 c intension x[26] != x[43] using generic constraint 1.63/1.71 c intension x[26] != x[44] using generic constraint 1.63/1.71 c intension x[26] != x[45] using generic constraint 1.63/1.71 c intension x[26] != x[46] using generic constraint 1.63/1.71 c intension x[26] != x[47] using generic constraint 1.63/1.71 c intension x[26] != x[48] using generic constraint 1.63/1.71 c intension x[26] != x[49] using generic constraint 1.63/1.71 c intension x[26] != x[50] using generic constraint 1.63/1.71 c intension x[26] != x[51] using generic constraint 1.63/1.71 c intension x[26] != x[52] using generic constraint 1.63/1.71 c intension x[26] != x[53] using generic constraint 1.63/1.71 c intension x[26] != x[54] using generic constraint 1.63/1.71 c intension x[26] != x[55] using generic constraint 1.63/1.71 c intension x[26] != x[56] using generic constraint 1.63/1.71 c intension x[26] != x[57] using generic constraint 1.63/1.72 c intension x[26] != x[58] using generic constraint 1.63/1.72 c intension x[26] != x[59] using generic constraint 1.63/1.72 c intension x[26] != x[60] using generic constraint 1.63/1.72 c intension x[26] != x[61] using generic constraint 1.63/1.72 c intension x[26] != x[62] using generic constraint 1.63/1.72 c intension x[26] != x[63] using generic constraint 1.63/1.72 c intension x[26] != x[64] using generic constraint 1.63/1.72 c intension x[26] != x[65] using generic constraint 1.63/1.72 c intension x[26] != x[66] using generic constraint 1.63/1.72 c intension x[26] != x[67] using generic constraint 1.63/1.72 c intension x[26] != x[68] using generic constraint 1.63/1.73 c intension x[26] != x[69] using generic constraint 1.63/1.73 c intension x[26] != x[70] using generic constraint 1.63/1.73 c intension x[26] != x[71] using generic constraint 1.63/1.73 c intension x[26] != x[72] using generic constraint 1.63/1.73 c intension x[26] != x[73] using generic constraint 1.63/1.73 c intension x[26] != x[74] using generic constraint 1.63/1.73 c intension x[26] != x[75] using generic constraint 1.63/1.73 c intension x[26] != x[76] using generic constraint 1.63/1.73 c intension x[26] != x[77] using generic constraint 1.63/1.73 c intension x[26] != x[78] using generic constraint 1.63/1.74 c intension x[26] != x[79] using generic constraint 1.63/1.74 c intension x[26] != x[80] using generic constraint 1.63/1.74 c intension x[27] != x[29] using generic constraint 1.63/1.74 c intension x[27] != x[30] using generic constraint 1.63/1.74 c intension x[27] != x[31] using generic constraint 1.63/1.74 c intension x[27] != x[32] using generic constraint 1.63/1.74 c intension x[27] != x[33] using generic constraint 1.63/1.74 c intension x[27] != x[34] using generic constraint 1.63/1.74 c intension x[27] != x[35] using generic constraint 1.63/1.74 c intension x[27] != x[36] using generic constraint 1.63/1.74 c intension x[27] != x[37] using generic constraint 1.63/1.75 c intension x[27] != x[38] using generic constraint 1.63/1.75 c intension x[27] != x[39] using generic constraint 1.63/1.75 c intension x[27] != x[40] using generic constraint 1.63/1.75 c intension x[27] != x[41] using generic constraint 1.63/1.75 c intension x[27] != x[42] using generic constraint 1.63/1.75 c intension x[27] != x[43] using generic constraint 1.63/1.75 c intension x[27] != x[44] using generic constraint 1.63/1.75 c intension x[27] != x[45] using generic constraint 1.63/1.75 c intension x[27] != x[46] using generic constraint 1.63/1.75 c intension x[27] != x[47] using generic constraint 1.63/1.76 c intension x[27] != x[48] using generic constraint 1.63/1.76 c intension x[27] != x[49] using generic constraint 1.63/1.76 c intension x[27] != x[50] using generic constraint 1.63/1.76 c intension x[27] != x[51] using generic constraint 1.63/1.76 c intension x[27] != x[52] using generic constraint 1.63/1.76 c intension x[27] != x[53] using generic constraint 1.63/1.76 c intension x[27] != x[54] using generic constraint 1.63/1.76 c intension x[27] != x[55] using generic constraint 1.63/1.76 c intension x[27] != x[56] using generic constraint 1.63/1.76 c intension x[27] != x[57] using generic constraint 1.63/1.76 c intension x[27] != x[58] using generic constraint 1.63/1.77 c intension x[27] != x[59] using generic constraint 1.63/1.77 c intension x[27] != x[60] using generic constraint 1.63/1.77 c intension x[27] != x[61] using generic constraint 1.63/1.77 c intension x[27] != x[62] using generic constraint 1.63/1.77 c intension x[27] != x[63] using generic constraint 1.63/1.77 c intension x[27] != x[64] using generic constraint 1.63/1.77 c intension x[27] != x[65] using generic constraint 1.63/1.77 c intension x[27] != x[66] using generic constraint 1.63/1.77 c intension x[27] != x[67] using generic constraint 1.63/1.77 c intension x[27] != x[68] using generic constraint 1.63/1.78 c intension x[27] != x[69] using generic constraint 1.63/1.78 c intension x[27] != x[70] using generic constraint 1.63/1.78 c intension x[27] != x[71] using generic constraint 1.63/1.78 c intension x[27] != x[72] using generic constraint 1.63/1.78 c intension x[27] != x[73] using generic constraint 1.63/1.78 c intension x[27] != x[74] using generic constraint 1.63/1.78 c intension x[27] != x[75] using generic constraint 1.63/1.78 c intension x[27] != x[76] using generic constraint 1.63/1.78 c intension x[27] != x[77] using generic constraint 1.63/1.78 c intension x[27] != x[78] using generic constraint 1.63/1.78 c intension x[27] != x[79] using generic constraint 1.63/1.79 c intension x[27] != x[80] using generic constraint 1.63/1.79 c intension x[28] != x[30] using generic constraint 1.63/1.79 c intension x[28] != x[31] using generic constraint 1.63/1.79 c intension x[28] != x[32] using generic constraint 1.63/1.79 c intension x[28] != x[33] using generic constraint 1.63/1.79 c intension x[28] != x[34] using generic constraint 1.63/1.79 c intension x[28] != x[35] using generic constraint 1.63/1.79 c intension x[28] != x[36] using generic constraint 1.63/1.79 c intension x[28] != x[37] using generic constraint 1.63/1.79 c intension x[28] != x[38] using generic constraint 1.63/1.80 c intension x[28] != x[39] using generic constraint 1.73/1.80 c intension x[28] != x[40] using generic constraint 1.73/1.80 c intension x[28] != x[41] using generic constraint 1.73/1.80 c intension x[28] != x[42] using generic constraint 1.73/1.80 c intension x[28] != x[43] using generic constraint 1.73/1.80 c intension x[28] != x[44] using generic constraint 1.73/1.80 c intension x[28] != x[45] using generic constraint 1.73/1.80 c intension x[28] != x[46] using generic constraint 1.73/1.80 c intension x[28] != x[47] using generic constraint 1.73/1.80 c intension x[28] != x[48] using generic constraint 1.73/1.80 c intension x[28] != x[49] using generic constraint 1.73/1.81 c intension x[28] != x[50] using generic constraint 1.73/1.81 c intension x[28] != x[51] using generic constraint 1.73/1.81 c intension x[28] != x[52] using generic constraint 1.73/1.81 c intension x[28] != x[53] using generic constraint 1.73/1.81 c intension x[28] != x[54] using generic constraint 1.73/1.81 c intension x[28] != x[55] using generic constraint 1.73/1.81 c intension x[28] != x[56] using generic constraint 1.73/1.81 c intension x[28] != x[57] using generic constraint 1.73/1.81 c intension x[28] != x[58] using generic constraint 1.73/1.81 c intension x[28] != x[59] using generic constraint 1.73/1.82 c intension x[28] != x[60] using generic constraint 1.73/1.82 c intension x[28] != x[61] using generic constraint 1.73/1.82 c intension x[28] != x[62] using generic constraint 1.73/1.82 c intension x[28] != x[63] using generic constraint 1.73/1.82 c intension x[28] != x[64] using generic constraint 1.73/1.82 c intension x[28] != x[65] using generic constraint 1.73/1.82 c intension x[28] != x[66] using generic constraint 1.73/1.82 c intension x[28] != x[67] using generic constraint 1.73/1.82 c intension x[28] != x[68] using generic constraint 1.73/1.82 c intension x[28] != x[69] using generic constraint 1.73/1.82 c intension x[28] != x[70] using generic constraint 1.73/1.83 c intension x[28] != x[71] using generic constraint 1.73/1.83 c intension x[28] != x[72] using generic constraint 1.73/1.83 c intension x[28] != x[73] using generic constraint 1.73/1.83 c intension x[28] != x[74] using generic constraint 1.73/1.83 c intension x[28] != x[75] using generic constraint 1.73/1.83 c intension x[28] != x[76] using generic constraint 1.73/1.83 c intension x[28] != x[77] using generic constraint 1.73/1.83 c intension x[28] != x[78] using generic constraint 1.73/1.83 c intension x[28] != x[79] using generic constraint 1.73/1.83 c intension x[28] != x[80] using generic constraint 1.73/1.84 c intension x[29] != x[31] using generic constraint 1.73/1.84 c intension x[29] != x[32] using generic constraint 1.73/1.84 c intension x[29] != x[33] using generic constraint 1.73/1.84 c intension x[29] != x[34] using generic constraint 1.73/1.84 c intension x[29] != x[35] using generic constraint 1.73/1.84 c intension x[29] != x[36] using generic constraint 1.73/1.84 c intension x[29] != x[37] using generic constraint 1.73/1.84 c intension x[29] != x[38] using generic constraint 1.73/1.84 c intension x[29] != x[39] using generic constraint 1.73/1.84 c intension x[29] != x[40] using generic constraint 1.73/1.84 c intension x[29] != x[41] using generic constraint 1.73/1.85 c intension x[29] != x[42] using generic constraint 1.73/1.85 c intension x[29] != x[43] using generic constraint 1.73/1.85 c intension x[29] != x[44] using generic constraint 1.73/1.85 c intension x[29] != x[45] using generic constraint 1.73/1.85 c intension x[29] != x[46] using generic constraint 1.73/1.85 c intension x[29] != x[47] using generic constraint 1.73/1.85 c intension x[29] != x[48] using generic constraint 1.73/1.85 c intension x[29] != x[49] using generic constraint 1.73/1.85 c intension x[29] != x[50] using generic constraint 1.73/1.85 c intension x[29] != x[51] using generic constraint 1.73/1.86 c intension x[29] != x[52] using generic constraint 1.73/1.86 c intension x[29] != x[53] using generic constraint 1.73/1.86 c intension x[29] != x[54] using generic constraint 1.73/1.86 c intension x[29] != x[55] using generic constraint 1.73/1.86 c intension x[29] != x[56] using generic constraint 1.73/1.86 c intension x[29] != x[57] using generic constraint 1.73/1.86 c intension x[29] != x[58] using generic constraint 1.73/1.86 c intension x[29] != x[59] using generic constraint 1.73/1.86 c intension x[29] != x[60] using generic constraint 1.73/1.86 c intension x[29] != x[61] using generic constraint 1.73/1.86 c intension x[29] != x[62] using generic constraint 1.73/1.87 c intension x[29] != x[63] using generic constraint 1.73/1.87 c intension x[29] != x[64] using generic constraint 1.73/1.87 c intension x[29] != x[65] using generic constraint 1.73/1.87 c intension x[29] != x[66] using generic constraint 1.73/1.87 c intension x[29] != x[67] using generic constraint 1.73/1.87 c intension x[29] != x[68] using generic constraint 1.73/1.87 c intension x[29] != x[69] using generic constraint 1.73/1.87 c intension x[29] != x[70] using generic constraint 1.73/1.87 c intension x[29] != x[71] using generic constraint 1.73/1.87 c intension x[29] != x[72] using generic constraint 1.73/1.88 c intension x[29] != x[73] using generic constraint 1.73/1.88 c intension x[29] != x[74] using generic constraint 1.73/1.88 c intension x[29] != x[75] using generic constraint 1.73/1.88 c intension x[29] != x[76] using generic constraint 1.73/1.88 c intension x[29] != x[77] using generic constraint 1.73/1.88 c intension x[29] != x[78] using generic constraint 1.73/1.88 c intension x[29] != x[79] using generic constraint 1.73/1.88 c intension x[29] != x[80] using generic constraint 1.73/1.88 c intension x[30] != x[32] using generic constraint 1.73/1.88 c intension x[30] != x[33] using generic constraint 1.73/1.88 c intension x[30] != x[34] using generic constraint 1.73/1.89 c intension x[30] != x[35] using generic constraint 1.73/1.89 c intension x[30] != x[36] using generic constraint 1.73/1.89 c intension x[30] != x[37] using generic constraint 1.73/1.89 c intension x[30] != x[38] using generic constraint 1.73/1.89 c intension x[30] != x[39] using generic constraint 1.73/1.89 c intension x[30] != x[40] using generic constraint 1.73/1.89 c intension x[30] != x[41] using generic constraint 1.73/1.89 c intension x[30] != x[42] using generic constraint 1.73/1.89 c intension x[30] != x[43] using generic constraint 1.73/1.89 c intension x[30] != x[44] using generic constraint 1.73/1.90 c intension x[30] != x[45] using generic constraint 1.83/1.90 c intension x[30] != x[46] using generic constraint 1.83/1.90 c intension x[30] != x[47] using generic constraint 1.83/1.90 c intension x[30] != x[48] using generic constraint 1.83/1.90 c intension x[30] != x[49] using generic constraint 1.83/1.90 c intension x[30] != x[50] using generic constraint 1.83/1.90 c intension x[30] != x[51] using generic constraint 1.83/1.90 c intension x[30] != x[52] using generic constraint 1.83/1.90 c intension x[30] != x[53] using generic constraint 1.83/1.90 c intension x[30] != x[54] using generic constraint 1.83/1.91 c intension x[30] != x[55] using generic constraint 1.83/1.91 c intension x[30] != x[56] using generic constraint 1.83/1.91 c intension x[30] != x[57] using generic constraint 1.83/1.91 c intension x[30] != x[58] using generic constraint 1.83/1.91 c intension x[30] != x[59] using generic constraint 1.83/1.91 c intension x[30] != x[60] using generic constraint 1.83/1.91 c intension x[30] != x[61] using generic constraint 1.83/1.91 c intension x[30] != x[62] using generic constraint 1.83/1.91 c intension x[30] != x[63] using generic constraint 1.83/1.91 c intension x[30] != x[64] using generic constraint 1.83/1.91 c intension x[30] != x[65] using generic constraint 1.83/1.92 c intension x[30] != x[66] using generic constraint 1.83/1.92 c intension x[30] != x[67] using generic constraint 1.83/1.92 c intension x[30] != x[68] using generic constraint 1.83/1.92 c intension x[30] != x[69] using generic constraint 1.83/1.92 c intension x[30] != x[70] using generic constraint 1.83/1.92 c intension x[30] != x[71] using generic constraint 1.83/1.92 c intension x[30] != x[72] using generic constraint 1.83/1.92 c intension x[30] != x[73] using generic constraint 1.83/1.92 c intension x[30] != x[74] using generic constraint 1.83/1.92 c intension x[30] != x[75] using generic constraint 1.83/1.93 c intension x[30] != x[76] using generic constraint 1.83/1.93 c intension x[30] != x[77] using generic constraint 1.83/1.93 c intension x[30] != x[78] using generic constraint 1.83/1.93 c intension x[30] != x[79] using generic constraint 1.83/1.93 c intension x[30] != x[80] using generic constraint 1.83/1.93 c intension x[31] != x[33] using generic constraint 1.83/1.93 c intension x[31] != x[34] using generic constraint 1.83/1.93 c intension x[31] != x[35] using generic constraint 1.83/1.93 c intension x[31] != x[36] using generic constraint 1.83/1.93 c intension x[31] != x[37] using generic constraint 1.83/1.94 c intension x[31] != x[38] using generic constraint 1.83/1.94 c intension x[31] != x[39] using generic constraint 1.83/1.94 c intension x[31] != x[40] using generic constraint 1.83/1.94 c intension x[31] != x[41] using generic constraint 1.83/1.94 c intension x[31] != x[42] using generic constraint 1.83/1.94 c intension x[31] != x[43] using generic constraint 1.83/1.94 c intension x[31] != x[44] using generic constraint 1.83/1.94 c intension x[31] != x[45] using generic constraint 1.83/1.94 c intension x[31] != x[46] using generic constraint 1.83/1.94 c intension x[31] != x[47] using generic constraint 1.83/1.94 c intension x[31] != x[48] using generic constraint 1.83/1.95 c intension x[31] != x[49] using generic constraint 1.83/1.95 c intension x[31] != x[50] using generic constraint 1.83/1.95 c intension x[31] != x[51] using generic constraint 1.83/1.95 c intension x[31] != x[52] using generic constraint 1.83/1.95 c intension x[31] != x[53] using generic constraint 1.83/1.95 c intension x[31] != x[54] using generic constraint 1.83/1.95 c intension x[31] != x[55] using generic constraint 1.83/1.95 c intension x[31] != x[56] using generic constraint 1.83/1.95 c intension x[31] != x[57] using generic constraint 1.83/1.95 c intension x[31] != x[58] using generic constraint 1.83/1.96 c intension x[31] != x[59] using generic constraint 1.83/1.96 c intension x[31] != x[60] using generic constraint 1.83/1.96 c intension x[31] != x[61] using generic constraint 1.83/1.96 c intension x[31] != x[62] using generic constraint 1.83/1.96 c intension x[31] != x[63] using generic constraint 1.83/1.96 c intension x[31] != x[64] using generic constraint 1.83/1.96 c intension x[31] != x[65] using generic constraint 1.83/1.96 c intension x[31] != x[66] using generic constraint 1.83/1.96 c intension x[31] != x[67] using generic constraint 1.83/1.96 c intension x[31] != x[68] using generic constraint 1.83/1.97 c intension x[31] != x[69] using generic constraint 1.83/1.97 c intension x[31] != x[70] using generic constraint 1.83/1.97 c intension x[31] != x[71] using generic constraint 1.83/1.97 c intension x[31] != x[72] using generic constraint 1.83/1.97 c intension x[31] != x[73] using generic constraint 1.83/1.97 c intension x[31] != x[74] using generic constraint 1.83/1.97 c intension x[31] != x[75] using generic constraint 1.83/1.97 c intension x[31] != x[76] using generic constraint 1.83/1.97 c intension x[31] != x[77] using generic constraint 1.83/1.97 c intension x[31] != x[78] using generic constraint 1.83/1.97 c intension x[31] != x[79] using generic constraint 1.83/1.98 c intension x[31] != x[80] using generic constraint 1.83/1.98 c intension x[32] != x[34] using generic constraint 1.83/1.98 c intension x[32] != x[35] using generic constraint 1.83/1.98 c intension x[32] != x[36] using generic constraint 1.83/1.98 c intension x[32] != x[37] using generic constraint 1.83/1.98 c intension x[32] != x[38] using generic constraint 1.83/1.98 c intension x[32] != x[39] using generic constraint 1.83/1.98 c intension x[32] != x[40] using generic constraint 1.83/1.98 c intension x[32] != x[41] using generic constraint 1.83/1.98 c intension x[32] != x[42] using generic constraint 1.83/1.99 c intension x[32] != x[43] using generic constraint 1.83/1.99 c intension x[32] != x[44] using generic constraint 1.83/1.99 c intension x[32] != x[45] using generic constraint 1.83/1.99 c intension x[32] != x[46] using generic constraint 1.83/1.99 c intension x[32] != x[47] using generic constraint 1.83/1.99 c intension x[32] != x[48] using generic constraint 1.83/1.99 c intension x[32] != x[49] using generic constraint 1.83/1.99 c intension x[32] != x[50] using generic constraint 1.83/1.99 c intension x[32] != x[51] using generic constraint 1.83/1.99 c intension x[32] != x[52] using generic constraint 1.83/1.99 c intension x[32] != x[53] using generic constraint 1.93/2.00 c intension x[32] != x[54] using generic constraint 1.93/2.00 c intension x[32] != x[55] using generic constraint 1.93/2.00 c intension x[32] != x[56] using generic constraint 1.93/2.00 c intension x[32] != x[57] using generic constraint 1.93/2.00 c intension x[32] != x[58] using generic constraint 1.93/2.00 c intension x[32] != x[59] using generic constraint 1.93/2.00 c intension x[32] != x[60] using generic constraint 1.93/2.00 c intension x[32] != x[61] using generic constraint 1.93/2.00 c intension x[32] != x[62] using generic constraint 1.93/2.00 c intension x[32] != x[63] using generic constraint 1.93/2.01 c intension x[32] != x[64] using generic constraint 1.93/2.01 c intension x[32] != x[65] using generic constraint 1.93/2.01 c intension x[32] != x[66] using generic constraint 1.93/2.01 c intension x[32] != x[67] using generic constraint 1.93/2.01 c intension x[32] != x[68] using generic constraint 1.93/2.01 c intension x[32] != x[69] using generic constraint 1.93/2.01 c intension x[32] != x[70] using generic constraint 1.93/2.01 c intension x[32] != x[71] using generic constraint 1.93/2.01 c intension x[32] != x[72] using generic constraint 1.93/2.01 c intension x[32] != x[73] using generic constraint 1.93/2.01 c intension x[32] != x[74] using generic constraint 1.93/2.02 c intension x[32] != x[75] using generic constraint 1.93/2.02 c intension x[32] != x[76] using generic constraint 1.93/2.02 c intension x[32] != x[77] using generic constraint 1.93/2.02 c intension x[32] != x[78] using generic constraint 1.93/2.02 c intension x[32] != x[79] using generic constraint 1.93/2.02 c intension x[32] != x[80] using generic constraint 1.93/2.02 c intension x[33] != x[35] using generic constraint 1.93/2.02 c intension x[33] != x[36] using generic constraint 1.93/2.02 c intension x[33] != x[37] using generic constraint 1.93/2.02 c intension x[33] != x[38] using generic constraint 1.93/2.03 c intension x[33] != x[39] using generic constraint 1.93/2.03 c intension x[33] != x[40] using generic constraint 1.93/2.03 c intension x[33] != x[41] using generic constraint 1.93/2.03 c intension x[33] != x[42] using generic constraint 1.93/2.03 c intension x[33] != x[43] using generic constraint 1.93/2.03 c intension x[33] != x[44] using generic constraint 1.93/2.03 c intension x[33] != x[45] using generic constraint 1.93/2.03 c intension x[33] != x[46] using generic constraint 1.93/2.03 c intension x[33] != x[47] using generic constraint 1.93/2.03 c intension x[33] != x[48] using generic constraint 1.93/2.03 c intension x[33] != x[49] using generic constraint 1.93/2.04 c intension x[33] != x[50] using generic constraint 1.93/2.04 c intension x[33] != x[51] using generic constraint 1.93/2.04 c intension x[33] != x[52] using generic constraint 1.93/2.04 c intension x[33] != x[53] using generic constraint 1.93/2.04 c intension x[33] != x[54] using generic constraint 1.93/2.04 c intension x[33] != x[55] using generic constraint 1.93/2.04 c intension x[33] != x[56] using generic constraint 1.93/2.04 c intension x[33] != x[57] using generic constraint 1.93/2.04 c intension x[33] != x[58] using generic constraint 1.93/2.04 c intension x[33] != x[59] using generic constraint 1.93/2.05 c intension x[33] != x[60] using generic constraint 1.93/2.05 c intension x[33] != x[61] using generic constraint 1.93/2.05 c intension x[33] != x[62] using generic constraint 1.93/2.05 c intension x[33] != x[63] using generic constraint 1.93/2.05 c intension x[33] != x[64] using generic constraint 1.93/2.05 c intension x[33] != x[65] using generic constraint 1.93/2.05 c intension x[33] != x[66] using generic constraint 1.93/2.05 c intension x[33] != x[67] using generic constraint 1.93/2.05 c intension x[33] != x[68] using generic constraint 1.93/2.05 c intension x[33] != x[69] using generic constraint 1.93/2.05 c intension x[33] != x[70] using generic constraint 1.93/2.06 c intension x[33] != x[71] using generic constraint 1.93/2.06 c intension x[33] != x[72] using generic constraint 1.93/2.06 c intension x[33] != x[73] using generic constraint 1.93/2.06 c intension x[33] != x[74] using generic constraint 1.93/2.06 c intension x[33] != x[75] using generic constraint 1.93/2.06 c intension x[33] != x[76] using generic constraint 1.93/2.06 c intension x[33] != x[77] using generic constraint 1.93/2.06 c intension x[33] != x[78] using generic constraint 1.93/2.06 c intension x[33] != x[79] using generic constraint 1.93/2.06 c intension x[33] != x[80] using generic constraint 1.93/2.07 c intension x[34] != x[36] using generic constraint 1.93/2.07 c intension x[34] != x[37] using generic constraint 1.93/2.07 c intension x[34] != x[38] using generic constraint 1.93/2.07 c intension x[34] != x[39] using generic constraint 1.93/2.07 c intension x[34] != x[40] using generic constraint 1.93/2.07 c intension x[34] != x[41] using generic constraint 1.93/2.07 c intension x[34] != x[42] using generic constraint 1.93/2.07 c intension x[34] != x[43] using generic constraint 1.93/2.07 c intension x[34] != x[44] using generic constraint 1.93/2.07 c intension x[34] != x[45] using generic constraint 1.93/2.08 c intension x[34] != x[46] using generic constraint 1.93/2.08 c intension x[34] != x[47] using generic constraint 1.93/2.08 c intension x[34] != x[48] using generic constraint 1.93/2.08 c intension x[34] != x[49] using generic constraint 1.93/2.08 c intension x[34] != x[50] using generic constraint 1.93/2.08 c intension x[34] != x[51] using generic constraint 1.93/2.08 c intension x[34] != x[52] using generic constraint 1.93/2.08 c intension x[34] != x[53] using generic constraint 1.93/2.08 c intension x[34] != x[54] using generic constraint 1.93/2.08 c intension x[34] != x[55] using generic constraint 1.93/2.08 c intension x[34] != x[56] using generic constraint 1.93/2.09 c intension x[34] != x[57] using generic constraint 1.93/2.09 c intension x[34] != x[58] using generic constraint 1.93/2.09 c intension x[34] != x[59] using generic constraint 1.93/2.09 c intension x[34] != x[60] using generic constraint 1.93/2.09 c intension x[34] != x[61] using generic constraint 1.93/2.09 c intension x[34] != x[62] using generic constraint 1.93/2.09 c intension x[34] != x[63] using generic constraint 1.93/2.09 c intension x[34] != x[64] using generic constraint 1.93/2.09 c intension x[34] != x[65] using generic constraint 1.93/2.09 c intension x[34] != x[66] using generic constraint 1.93/2.10 c intension x[34] != x[67] using generic constraint 2.03/2.10 c intension x[34] != x[68] using generic constraint 2.03/2.10 c intension x[34] != x[69] using generic constraint 2.03/2.10 c intension x[34] != x[70] using generic constraint 2.03/2.10 c intension x[34] != x[71] using generic constraint 2.03/2.10 c intension x[34] != x[72] using generic constraint 2.03/2.10 c intension x[34] != x[73] using generic constraint 2.03/2.10 c intension x[34] != x[74] using generic constraint 2.03/2.10 c intension x[34] != x[75] using generic constraint 2.03/2.10 c intension x[34] != x[76] using generic constraint 2.03/2.11 c intension x[34] != x[77] using generic constraint 2.03/2.11 c intension x[34] != x[78] using generic constraint 2.03/2.11 c intension x[34] != x[79] using generic constraint 2.03/2.11 c intension x[34] != x[80] using generic constraint 2.03/2.11 c intension x[35] != x[37] using generic constraint 2.03/2.11 c intension x[35] != x[38] using generic constraint 2.03/2.11 c intension x[35] != x[39] using generic constraint 2.03/2.11 c intension x[35] != x[40] using generic constraint 2.03/2.11 c intension x[35] != x[41] using generic constraint 2.03/2.11 c intension x[35] != x[42] using generic constraint 2.03/2.11 c intension x[35] != x[43] using generic constraint 2.03/2.12 c intension x[35] != x[44] using generic constraint 2.03/2.12 c intension x[35] != x[45] using generic constraint 2.03/2.12 c intension x[35] != x[46] using generic constraint 2.03/2.12 c intension x[35] != x[47] using generic constraint 2.03/2.12 c intension x[35] != x[48] using generic constraint 2.03/2.12 c intension x[35] != x[49] using generic constraint 2.03/2.12 c intension x[35] != x[50] using generic constraint 2.03/2.12 c intension x[35] != x[51] using generic constraint 2.03/2.12 c intension x[35] != x[52] using generic constraint 2.03/2.12 c intension x[35] != x[53] using generic constraint 2.03/2.13 c intension x[35] != x[54] using generic constraint 2.03/2.13 c intension x[35] != x[55] using generic constraint 2.03/2.13 c intension x[35] != x[56] using generic constraint 2.03/2.13 c intension x[35] != x[57] using generic constraint 2.03/2.13 c intension x[35] != x[58] using generic constraint 2.03/2.13 c intension x[35] != x[59] using generic constraint 2.03/2.13 c intension x[35] != x[60] using generic constraint 2.03/2.13 c intension x[35] != x[61] using generic constraint 2.03/2.13 c intension x[35] != x[62] using generic constraint 2.03/2.13 c intension x[35] != x[63] using generic constraint 2.03/2.14 c intension x[35] != x[64] using generic constraint 2.03/2.14 c intension x[35] != x[65] using generic constraint 2.03/2.14 c intension x[35] != x[66] using generic constraint 2.03/2.14 c intension x[35] != x[67] using generic constraint 2.03/2.14 c intension x[35] != x[68] using generic constraint 2.03/2.14 c intension x[35] != x[69] using generic constraint 2.03/2.14 c intension x[35] != x[70] using generic constraint 2.03/2.14 c intension x[35] != x[71] using generic constraint 2.03/2.14 c intension x[35] != x[72] using generic constraint 2.03/2.14 c intension x[35] != x[73] using generic constraint 2.03/2.14 c intension x[35] != x[74] using generic constraint 2.03/2.15 c intension x[35] != x[75] using generic constraint 2.03/2.15 c intension x[35] != x[76] using generic constraint 2.03/2.15 c intension x[35] != x[77] using generic constraint 2.03/2.15 c intension x[35] != x[78] using generic constraint 2.03/2.15 c intension x[35] != x[79] using generic constraint 2.03/2.15 c intension x[35] != x[80] using generic constraint 2.03/2.15 c intension x[36] != x[38] using generic constraint 2.03/2.15 c intension x[36] != x[39] using generic constraint 2.03/2.15 c intension x[36] != x[40] using generic constraint 2.03/2.15 c intension x[36] != x[41] using generic constraint 2.03/2.16 c intension x[36] != x[42] using generic constraint 2.03/2.16 c intension x[36] != x[43] using generic constraint 2.03/2.16 c intension x[36] != x[44] using generic constraint 2.03/2.16 c intension x[36] != x[45] using generic constraint 2.03/2.16 c intension x[36] != x[46] using generic constraint 2.03/2.16 c intension x[36] != x[47] using generic constraint 2.03/2.16 c intension x[36] != x[48] using generic constraint 2.03/2.16 c intension x[36] != x[49] using generic constraint 2.03/2.16 c intension x[36] != x[50] using generic constraint 2.03/2.16 c intension x[36] != x[51] using generic constraint 2.03/2.17 c intension x[36] != x[52] using generic constraint 2.03/2.17 c intension x[36] != x[53] using generic constraint 2.03/2.17 c intension x[36] != x[54] using generic constraint 2.03/2.17 c intension x[36] != x[55] using generic constraint 2.03/2.17 c intension x[36] != x[56] using generic constraint 2.03/2.17 c intension x[36] != x[57] using generic constraint 2.03/2.17 c intension x[36] != x[58] using generic constraint 2.03/2.17 c intension x[36] != x[59] using generic constraint 2.03/2.17 c intension x[36] != x[60] using generic constraint 2.03/2.17 c intension x[36] != x[61] using generic constraint 2.03/2.17 c intension x[36] != x[62] using generic constraint 2.03/2.18 c intension x[36] != x[63] using generic constraint 2.03/2.18 c intension x[36] != x[64] using generic constraint 2.03/2.18 c intension x[36] != x[65] using generic constraint 2.03/2.18 c intension x[36] != x[66] using generic constraint 2.03/2.18 c intension x[36] != x[67] using generic constraint 2.03/2.18 c intension x[36] != x[68] using generic constraint 2.03/2.18 c intension x[36] != x[69] using generic constraint 2.03/2.18 c intension x[36] != x[70] using generic constraint 2.03/2.18 c intension x[36] != x[71] using generic constraint 2.03/2.18 c intension x[36] != x[72] using generic constraint 2.03/2.19 c intension x[36] != x[73] using generic constraint 2.03/2.19 c intension x[36] != x[74] using generic constraint 2.03/2.19 c intension x[36] != x[75] using generic constraint 2.03/2.19 c intension x[36] != x[76] using generic constraint 2.03/2.19 c intension x[36] != x[77] using generic constraint 2.03/2.19 c intension x[36] != x[78] using generic constraint 2.03/2.19 c intension x[36] != x[79] using generic constraint 2.03/2.19 c intension x[36] != x[80] using generic constraint 2.03/2.19 c intension x[37] != x[39] using generic constraint 2.03/2.19 c intension x[37] != x[40] using generic constraint 2.03/2.20 c intension x[37] != x[41] using generic constraint 2.03/2.20 c intension x[37] != x[42] using generic constraint 2.03/2.20 c intension x[37] != x[43] using generic constraint 2.03/2.20 c intension x[37] != x[44] using generic constraint 2.03/2.20 c intension x[37] != x[45] using generic constraint 2.03/2.20 c intension x[37] != x[46] using generic constraint 2.03/2.20 c intension x[37] != x[47] using generic constraint 2.13/2.20 c intension x[37] != x[48] using generic constraint 2.13/2.20 c intension x[37] != x[49] using generic constraint 2.13/2.20 c intension x[37] != x[50] using generic constraint 2.13/2.20 c intension x[37] != x[51] using generic constraint 2.13/2.21 c intension x[37] != x[52] using generic constraint 2.13/2.21 c intension x[37] != x[53] using generic constraint 2.13/2.21 c intension x[37] != x[54] using generic constraint 2.13/2.21 c intension x[37] != x[55] using generic constraint 2.13/2.21 c intension x[37] != x[56] using generic constraint 2.13/2.21 c intension x[37] != x[57] using generic constraint 2.13/2.21 c intension x[37] != x[58] using generic constraint 2.13/2.21 c intension x[37] != x[59] using generic constraint 2.13/2.21 c intension x[37] != x[60] using generic constraint 2.13/2.21 c intension x[37] != x[61] using generic constraint 2.13/2.22 c intension x[37] != x[62] using generic constraint 2.13/2.22 c intension x[37] != x[63] using generic constraint 2.13/2.22 c intension x[37] != x[64] using generic constraint 2.13/2.22 c intension x[37] != x[65] using generic constraint 2.13/2.22 c intension x[37] != x[66] using generic constraint 2.13/2.22 c intension x[37] != x[67] using generic constraint 2.13/2.22 c intension x[37] != x[68] using generic constraint 2.13/2.22 c intension x[37] != x[69] using generic constraint 2.13/2.22 c intension x[37] != x[70] using generic constraint 2.13/2.22 c intension x[37] != x[71] using generic constraint 2.13/2.23 c intension x[37] != x[72] using generic constraint 2.13/2.23 c intension x[37] != x[73] using generic constraint 2.13/2.23 c intension x[37] != x[74] using generic constraint 2.13/2.23 c intension x[37] != x[75] using generic constraint 2.13/2.23 c intension x[37] != x[76] using generic constraint 2.13/2.23 c intension x[37] != x[77] using generic constraint 2.13/2.23 c intension x[37] != x[78] using generic constraint 2.13/2.23 c intension x[37] != x[79] using generic constraint 2.13/2.23 c intension x[37] != x[80] using generic constraint 2.13/2.23 c intension x[38] != x[40] using generic constraint 2.13/2.23 c intension x[38] != x[41] using generic constraint 2.13/2.24 c intension x[38] != x[42] using generic constraint 2.13/2.24 c intension x[38] != x[43] using generic constraint 2.13/2.24 c intension x[38] != x[44] using generic constraint 2.13/2.24 c intension x[38] != x[45] using generic constraint 2.13/2.24 c intension x[38] != x[46] using generic constraint 2.13/2.24 c intension x[38] != x[47] using generic constraint 2.13/2.24 c intension x[38] != x[48] using generic constraint 2.13/2.24 c intension x[38] != x[49] using generic constraint 2.13/2.24 c intension x[38] != x[50] using generic constraint 2.13/2.24 c intension x[38] != x[51] using generic constraint 2.13/2.25 c intension x[38] != x[52] using generic constraint 2.13/2.25 c intension x[38] != x[53] using generic constraint 2.13/2.25 c intension x[38] != x[54] using generic constraint 2.13/2.25 c intension x[38] != x[55] using generic constraint 2.13/2.25 c intension x[38] != x[56] using generic constraint 2.13/2.25 c intension x[38] != x[57] using generic constraint 2.13/2.25 c intension x[38] != x[58] using generic constraint 2.13/2.25 c intension x[38] != x[59] using generic constraint 2.13/2.25 c intension x[38] != x[60] using generic constraint 2.13/2.25 c intension x[38] != x[61] using generic constraint 2.13/2.26 c intension x[38] != x[62] using generic constraint 2.13/2.26 c intension x[38] != x[63] using generic constraint 2.13/2.26 c intension x[38] != x[64] using generic constraint 2.13/2.26 c intension x[38] != x[65] using generic constraint 2.13/2.26 c intension x[38] != x[66] using generic constraint 2.13/2.26 c intension x[38] != x[67] using generic constraint 2.13/2.26 c intension x[38] != x[68] using generic constraint 2.13/2.26 c intension x[38] != x[69] using generic constraint 2.13/2.26 c intension x[38] != x[70] using generic constraint 2.13/2.26 c intension x[38] != x[71] using generic constraint 2.13/2.27 c intension x[38] != x[72] using generic constraint 2.13/2.27 c intension x[38] != x[73] using generic constraint 2.13/2.27 c intension x[38] != x[74] using generic constraint 2.13/2.27 c intension x[38] != x[75] using generic constraint 2.13/2.27 c intension x[38] != x[76] using generic constraint 2.13/2.27 c intension x[38] != x[77] using generic constraint 2.13/2.27 c intension x[38] != x[78] using generic constraint 2.13/2.27 c intension x[38] != x[79] using generic constraint 2.13/2.27 c intension x[38] != x[80] using generic constraint 2.13/2.27 c intension x[39] != x[41] using generic constraint 2.13/2.28 c intension x[39] != x[42] using generic constraint 2.13/2.28 c intension x[39] != x[43] using generic constraint 2.13/2.28 c intension x[39] != x[44] using generic constraint 2.13/2.28 c intension x[39] != x[45] using generic constraint 2.13/2.28 c intension x[39] != x[46] using generic constraint 2.13/2.28 c intension x[39] != x[47] using generic constraint 2.13/2.28 c intension x[39] != x[48] using generic constraint 2.13/2.28 c intension x[39] != x[49] using generic constraint 2.13/2.28 c intension x[39] != x[50] using generic constraint 2.13/2.28 c intension x[39] != x[51] using generic constraint 2.13/2.28 c intension x[39] != x[52] using generic constraint 2.13/2.29 c intension x[39] != x[53] using generic constraint 2.13/2.29 c intension x[39] != x[54] using generic constraint 2.13/2.29 c intension x[39] != x[55] using generic constraint 2.13/2.29 c intension x[39] != x[56] using generic constraint 2.13/2.29 c intension x[39] != x[57] using generic constraint 2.13/2.29 c intension x[39] != x[58] using generic constraint 2.13/2.29 c intension x[39] != x[59] using generic constraint 2.13/2.29 c intension x[39] != x[60] using generic constraint 2.13/2.29 c intension x[39] != x[61] using generic constraint 2.13/2.29 c intension x[39] != x[62] using generic constraint 2.13/2.30 c intension x[39] != x[63] using generic constraint 2.13/2.30 c intension x[39] != x[64] using generic constraint 2.13/2.30 c intension x[39] != x[65] using generic constraint 2.13/2.30 c intension x[39] != x[66] using generic constraint 2.13/2.30 c intension x[39] != x[67] using generic constraint 2.13/2.30 c intension x[39] != x[68] using generic constraint 2.23/2.30 c intension x[39] != x[69] using generic constraint 2.23/2.30 c intension x[39] != x[70] using generic constraint 2.23/2.30 c intension x[39] != x[71] using generic constraint 2.23/2.30 c intension x[39] != x[72] using generic constraint 2.23/2.31 c intension x[39] != x[73] using generic constraint 2.23/2.31 c intension x[39] != x[74] using generic constraint 2.23/2.31 c intension x[39] != x[75] using generic constraint 2.23/2.31 c intension x[39] != x[76] using generic constraint 2.23/2.31 c intension x[39] != x[77] using generic constraint 2.23/2.31 c intension x[39] != x[78] using generic constraint 2.23/2.31 c intension x[39] != x[79] using generic constraint 2.23/2.31 c intension x[39] != x[80] using generic constraint 2.23/2.31 c intension x[40] != x[42] using generic constraint 2.23/2.31 c intension x[40] != x[43] using generic constraint 2.23/2.32 c intension x[40] != x[44] using generic constraint 2.23/2.32 c intension x[40] != x[45] using generic constraint 2.23/2.32 c intension x[40] != x[46] using generic constraint 2.23/2.32 c intension x[40] != x[47] using generic constraint 2.23/2.32 c intension x[40] != x[48] using generic constraint 2.23/2.32 c intension x[40] != x[49] using generic constraint 2.23/2.32 c intension x[40] != x[50] using generic constraint 2.23/2.32 c intension x[40] != x[51] using generic constraint 2.23/2.32 c intension x[40] != x[52] using generic constraint 2.23/2.32 c intension x[40] != x[53] using generic constraint 2.23/2.32 c intension x[40] != x[54] using generic constraint 2.23/2.33 c intension x[40] != x[55] using generic constraint 2.23/2.33 c intension x[40] != x[56] using generic constraint 2.23/2.33 c intension x[40] != x[57] using generic constraint 2.23/2.33 c intension x[40] != x[58] using generic constraint 2.23/2.33 c intension x[40] != x[59] using generic constraint 2.23/2.33 c intension x[40] != x[60] using generic constraint 2.23/2.33 c intension x[40] != x[61] using generic constraint 2.23/2.33 c intension x[40] != x[62] using generic constraint 2.23/2.33 c intension x[40] != x[63] using generic constraint 2.23/2.33 c intension x[40] != x[64] using generic constraint 2.23/2.34 c intension x[40] != x[65] using generic constraint 2.23/2.34 c intension x[40] != x[66] using generic constraint 2.23/2.34 c intension x[40] != x[67] using generic constraint 2.23/2.34 c intension x[40] != x[68] using generic constraint 2.23/2.34 c intension x[40] != x[69] using generic constraint 2.23/2.34 c intension x[40] != x[70] using generic constraint 2.23/2.34 c intension x[40] != x[71] using generic constraint 2.23/2.34 c intension x[40] != x[72] using generic constraint 2.23/2.34 c intension x[40] != x[73] using generic constraint 2.23/2.34 c intension x[40] != x[74] using generic constraint 2.23/2.35 c intension x[40] != x[75] using generic constraint 2.23/2.35 c intension x[40] != x[76] using generic constraint 2.23/2.35 c intension x[40] != x[77] using generic constraint 2.23/2.35 c intension x[40] != x[78] using generic constraint 2.23/2.35 c intension x[40] != x[79] using generic constraint 2.23/2.35 c intension x[40] != x[80] using generic constraint 2.23/2.35 c intension x[41] != x[43] using generic constraint 2.23/2.35 c intension x[41] != x[44] using generic constraint 2.23/2.35 c intension x[41] != x[45] using generic constraint 2.23/2.35 c intension x[41] != x[46] using generic constraint 2.23/2.35 c intension x[41] != x[47] using generic constraint 2.23/2.36 c intension x[41] != x[48] using generic constraint 2.23/2.36 c intension x[41] != x[49] using generic constraint 2.23/2.36 c intension x[41] != x[50] using generic constraint 2.23/2.36 c intension x[41] != x[51] using generic constraint 2.23/2.36 c intension x[41] != x[52] using generic constraint 2.23/2.36 c intension x[41] != x[53] using generic constraint 2.23/2.36 c intension x[41] != x[54] using generic constraint 2.23/2.36 c intension x[41] != x[55] using generic constraint 2.23/2.36 c intension x[41] != x[56] using generic constraint 2.23/2.36 c intension x[41] != x[57] using generic constraint 2.23/2.37 c intension x[41] != x[58] using generic constraint 2.23/2.37 c intension x[41] != x[59] using generic constraint 2.23/2.37 c intension x[41] != x[60] using generic constraint 2.23/2.37 c intension x[41] != x[61] using generic constraint 2.23/2.37 c intension x[41] != x[62] using generic constraint 2.23/2.37 c intension x[41] != x[63] using generic constraint 2.23/2.37 c intension x[41] != x[64] using generic constraint 2.23/2.37 c intension x[41] != x[65] using generic constraint 2.23/2.37 c intension x[41] != x[66] using generic constraint 2.23/2.37 c intension x[41] != x[67] using generic constraint 2.23/2.38 c intension x[41] != x[68] using generic constraint 2.23/2.38 c intension x[41] != x[69] using generic constraint 2.23/2.38 c intension x[41] != x[70] using generic constraint 2.23/2.38 c intension x[41] != x[71] using generic constraint 2.23/2.38 c intension x[41] != x[72] using generic constraint 2.23/2.38 c intension x[41] != x[73] using generic constraint 2.23/2.38 c intension x[41] != x[74] using generic constraint 2.23/2.38 c intension x[41] != x[75] using generic constraint 2.23/2.38 c intension x[41] != x[76] using generic constraint 2.23/2.38 c intension x[41] != x[77] using generic constraint 2.23/2.38 c intension x[41] != x[78] using generic constraint 2.23/2.39 c intension x[41] != x[79] using generic constraint 2.23/2.39 c intension x[41] != x[80] using generic constraint 2.23/2.39 c intension x[42] != x[44] using generic constraint 2.23/2.39 c intension x[42] != x[45] using generic constraint 2.23/2.39 c intension x[42] != x[46] using generic constraint 2.23/2.39 c intension x[42] != x[47] using generic constraint 2.23/2.39 c intension x[42] != x[48] using generic constraint 2.23/2.39 c intension x[42] != x[49] using generic constraint 2.23/2.39 c intension x[42] != x[50] using generic constraint 2.23/2.39 c intension x[42] != x[51] using generic constraint 2.23/2.40 c intension x[42] != x[52] using generic constraint 2.32/2.40 c intension x[42] != x[53] using generic constraint 2.32/2.40 c intension x[42] != x[54] using generic constraint 2.32/2.40 c intension x[42] != x[55] using generic constraint 2.32/2.40 c intension x[42] != x[56] using generic constraint 2.32/2.40 c intension x[42] != x[57] using generic constraint 2.32/2.40 c intension x[42] != x[58] using generic constraint 2.32/2.40 c intension x[42] != x[59] using generic constraint 2.32/2.40 c intension x[42] != x[60] using generic constraint 2.32/2.40 c intension x[42] != x[61] using generic constraint 2.32/2.41 c intension x[42] != x[62] using generic constraint 2.32/2.41 c intension x[42] != x[63] using generic constraint 2.32/2.41 c intension x[42] != x[64] using generic constraint 2.32/2.41 c intension x[42] != x[65] using generic constraint 2.32/2.41 c intension x[42] != x[66] using generic constraint 2.32/2.41 c intension x[42] != x[67] using generic constraint 2.32/2.41 c intension x[42] != x[68] using generic constraint 2.32/2.41 c intension x[42] != x[69] using generic constraint 2.32/2.41 c intension x[42] != x[70] using generic constraint 2.32/2.41 c intension x[42] != x[71] using generic constraint 2.32/2.42 c intension x[42] != x[72] using generic constraint 2.32/2.42 c intension x[42] != x[73] using generic constraint 2.32/2.42 c intension x[42] != x[74] using generic constraint 2.32/2.42 c intension x[42] != x[75] using generic constraint 2.32/2.42 c intension x[42] != x[76] using generic constraint 2.32/2.42 c intension x[42] != x[77] using generic constraint 2.32/2.42 c intension x[42] != x[78] using generic constraint 2.32/2.42 c intension x[42] != x[79] using generic constraint 2.32/2.42 c intension x[42] != x[80] using generic constraint 2.32/2.42 c intension x[43] != x[45] using generic constraint 2.32/2.42 c intension x[43] != x[46] using generic constraint 2.32/2.43 c intension x[43] != x[47] using generic constraint 2.32/2.43 c intension x[43] != x[48] using generic constraint 2.32/2.43 c intension x[43] != x[49] using generic constraint 2.32/2.43 c intension x[43] != x[50] using generic constraint 2.32/2.43 c intension x[43] != x[51] using generic constraint 2.32/2.43 c intension x[43] != x[52] using generic constraint 2.32/2.43 c intension x[43] != x[53] using generic constraint 2.32/2.43 c intension x[43] != x[54] using generic constraint 2.32/2.43 c intension x[43] != x[55] using generic constraint 2.32/2.43 c intension x[43] != x[56] using generic constraint 2.32/2.44 c intension x[43] != x[57] using generic constraint 2.32/2.44 c intension x[43] != x[58] using generic constraint 2.32/2.44 c intension x[43] != x[59] using generic constraint 2.32/2.44 c intension x[43] != x[60] using generic constraint 2.32/2.44 c intension x[43] != x[61] using generic constraint 2.32/2.44 c intension x[43] != x[62] using generic constraint 2.32/2.44 c intension x[43] != x[63] using generic constraint 2.32/2.44 c intension x[43] != x[64] using generic constraint 2.32/2.44 c intension x[43] != x[65] using generic constraint 2.32/2.44 c intension x[43] != x[66] using generic constraint 2.32/2.44 c intension x[43] != x[67] using generic constraint 2.32/2.45 c intension x[43] != x[68] using generic constraint 2.32/2.45 c intension x[43] != x[69] using generic constraint 2.32/2.45 c intension x[43] != x[70] using generic constraint 2.32/2.45 c intension x[43] != x[71] using generic constraint 2.32/2.45 c intension x[43] != x[72] using generic constraint 2.32/2.45 c intension x[43] != x[73] using generic constraint 2.32/2.45 c intension x[43] != x[74] using generic constraint 2.32/2.45 c intension x[43] != x[75] using generic constraint 2.32/2.45 c intension x[43] != x[76] using generic constraint 2.32/2.45 c intension x[43] != x[77] using generic constraint 2.32/2.46 c intension x[43] != x[78] using generic constraint 2.32/2.46 c intension x[43] != x[79] using generic constraint 2.32/2.46 c intension x[43] != x[80] using generic constraint 2.32/2.46 c intension x[44] != x[46] using generic constraint 2.32/2.46 c intension x[44] != x[47] using generic constraint 2.32/2.46 c intension x[44] != x[48] using generic constraint 2.32/2.46 c intension x[44] != x[49] using generic constraint 2.32/2.46 c intension x[44] != x[50] using generic constraint 2.32/2.46 c intension x[44] != x[51] using generic constraint 2.32/2.46 c intension x[44] != x[52] using generic constraint 2.32/2.47 c intension x[44] != x[53] using generic constraint 2.32/2.47 c intension x[44] != x[54] using generic constraint 2.32/2.47 c intension x[44] != x[55] using generic constraint 2.32/2.47 c intension x[44] != x[56] using generic constraint 2.32/2.47 c intension x[44] != x[57] using generic constraint 2.32/2.47 c intension x[44] != x[58] using generic constraint 2.32/2.47 c intension x[44] != x[59] using generic constraint 2.32/2.47 c intension x[44] != x[60] using generic constraint 2.32/2.47 c intension x[44] != x[61] using generic constraint 2.32/2.47 c intension x[44] != x[62] using generic constraint 2.32/2.47 c intension x[44] != x[63] using generic constraint 2.32/2.48 c intension x[44] != x[64] using generic constraint 2.32/2.48 c intension x[44] != x[65] using generic constraint 2.32/2.48 c intension x[44] != x[66] using generic constraint 2.32/2.48 c intension x[44] != x[67] using generic constraint 2.32/2.48 c intension x[44] != x[68] using generic constraint 2.32/2.48 c intension x[44] != x[69] using generic constraint 2.32/2.48 c intension x[44] != x[70] using generic constraint 2.32/2.48 c intension x[44] != x[71] using generic constraint 2.32/2.48 c intension x[44] != x[72] using generic constraint 2.32/2.48 c intension x[44] != x[73] using generic constraint 2.32/2.49 c intension x[44] != x[74] using generic constraint 2.32/2.49 c intension x[44] != x[75] using generic constraint 2.32/2.49 c intension x[44] != x[76] using generic constraint 2.32/2.49 c intension x[44] != x[77] using generic constraint 2.32/2.49 c intension x[44] != x[78] using generic constraint 2.32/2.49 c intension x[44] != x[79] using generic constraint 2.32/2.49 c intension x[44] != x[80] using generic constraint 2.32/2.49 c intension x[45] != x[47] using generic constraint 2.32/2.49 c intension x[45] != x[48] using generic constraint 2.32/2.49 c intension x[45] != x[49] using generic constraint 2.32/2.50 c intension x[45] != x[50] using generic constraint 2.42/2.50 c intension x[45] != x[51] using generic constraint 2.42/2.50 c intension x[45] != x[52] using generic constraint 2.42/2.50 c intension x[45] != x[53] using generic constraint 2.42/2.50 c intension x[45] != x[54] using generic constraint 2.42/2.50 c intension x[45] != x[55] using generic constraint 2.42/2.50 c intension x[45] != x[56] using generic constraint 2.42/2.50 c intension x[45] != x[57] using generic constraint 2.42/2.50 c intension x[45] != x[58] using generic constraint 2.42/2.50 c intension x[45] != x[59] using generic constraint 2.42/2.50 c intension x[45] != x[60] using generic constraint 2.42/2.51 c intension x[45] != x[61] using generic constraint 2.42/2.51 c intension x[45] != x[62] using generic constraint 2.42/2.51 c intension x[45] != x[63] using generic constraint 2.42/2.51 c intension x[45] != x[64] using generic constraint 2.42/2.51 c intension x[45] != x[65] using generic constraint 2.42/2.51 c intension x[45] != x[66] using generic constraint 2.42/2.51 c intension x[45] != x[67] using generic constraint 2.42/2.51 c intension x[45] != x[68] using generic constraint 2.42/2.51 c intension x[45] != x[69] using generic constraint 2.42/2.51 c intension x[45] != x[70] using generic constraint 2.42/2.52 c intension x[45] != x[71] using generic constraint 2.42/2.52 c intension x[45] != x[72] using generic constraint 2.42/2.52 c intension x[45] != x[73] using generic constraint 2.42/2.52 c intension x[45] != x[74] using generic constraint 2.42/2.52 c intension x[45] != x[75] using generic constraint 2.42/2.52 c intension x[45] != x[76] using generic constraint 2.42/2.52 c intension x[45] != x[77] using generic constraint 2.42/2.52 c intension x[45] != x[78] using generic constraint 2.42/2.52 c intension x[45] != x[79] using generic constraint 2.42/2.52 c intension x[45] != x[80] using generic constraint 2.42/2.53 c intension x[46] != x[48] using generic constraint 2.42/2.53 c intension x[46] != x[49] using generic constraint 2.42/2.53 c intension x[46] != x[50] using generic constraint 2.42/2.53 c intension x[46] != x[51] using generic constraint 2.42/2.53 c intension x[46] != x[52] using generic constraint 2.42/2.53 c intension x[46] != x[53] using generic constraint 2.42/2.53 c intension x[46] != x[54] using generic constraint 2.42/2.53 c intension x[46] != x[55] using generic constraint 2.42/2.53 c intension x[46] != x[56] using generic constraint 2.42/2.53 c intension x[46] != x[57] using generic constraint 2.42/2.53 c intension x[46] != x[58] using generic constraint 2.42/2.54 c intension x[46] != x[59] using generic constraint 2.42/2.54 c intension x[46] != x[60] using generic constraint 2.42/2.54 c intension x[46] != x[61] using generic constraint 2.42/2.54 c intension x[46] != x[62] using generic constraint 2.42/2.54 c intension x[46] != x[63] using generic constraint 2.42/2.54 c intension x[46] != x[64] using generic constraint 2.42/2.54 c intension x[46] != x[65] using generic constraint 2.42/2.54 c intension x[46] != x[66] using generic constraint 2.42/2.54 c intension x[46] != x[67] using generic constraint 2.42/2.54 c intension x[46] != x[68] using generic constraint 2.42/2.55 c intension x[46] != x[69] using generic constraint 2.42/2.55 c intension x[46] != x[70] using generic constraint 2.42/2.55 c intension x[46] != x[71] using generic constraint 2.42/2.55 c intension x[46] != x[72] using generic constraint 2.42/2.55 c intension x[46] != x[73] using generic constraint 2.42/2.55 c intension x[46] != x[74] using generic constraint 2.42/2.55 c intension x[46] != x[75] using generic constraint 2.42/2.55 c intension x[46] != x[76] using generic constraint 2.42/2.55 c intension x[46] != x[77] using generic constraint 2.42/2.55 c intension x[46] != x[78] using generic constraint 2.42/2.56 c intension x[46] != x[79] using generic constraint 2.42/2.56 c intension x[46] != x[80] using generic constraint 2.42/2.56 c intension x[47] != x[49] using generic constraint 2.42/2.56 c intension x[47] != x[50] using generic constraint 2.42/2.56 c intension x[47] != x[51] using generic constraint 2.42/2.56 c intension x[47] != x[52] using generic constraint 2.42/2.56 c intension x[47] != x[53] using generic constraint 2.42/2.56 c intension x[47] != x[54] using generic constraint 2.42/2.56 c intension x[47] != x[55] using generic constraint 2.42/2.56 c intension x[47] != x[56] using generic constraint 2.42/2.56 c intension x[47] != x[57] using generic constraint 2.42/2.57 c intension x[47] != x[58] using generic constraint 2.42/2.57 c intension x[47] != x[59] using generic constraint 2.42/2.57 c intension x[47] != x[60] using generic constraint 2.42/2.57 c intension x[47] != x[61] using generic constraint 2.42/2.57 c intension x[47] != x[62] using generic constraint 2.42/2.57 c intension x[47] != x[63] using generic constraint 2.42/2.57 c intension x[47] != x[64] using generic constraint 2.42/2.57 c intension x[47] != x[65] using generic constraint 2.42/2.57 c intension x[47] != x[66] using generic constraint 2.42/2.57 c intension x[47] != x[67] using generic constraint 2.42/2.58 c intension x[47] != x[68] using generic constraint 2.42/2.58 c intension x[47] != x[69] using generic constraint 2.42/2.58 c intension x[47] != x[70] using generic constraint 2.42/2.58 c intension x[47] != x[71] using generic constraint 2.42/2.58 c intension x[47] != x[72] using generic constraint 2.42/2.58 c intension x[47] != x[73] using generic constraint 2.42/2.58 c intension x[47] != x[74] using generic constraint 2.42/2.58 c intension x[47] != x[75] using generic constraint 2.42/2.58 c intension x[47] != x[76] using generic constraint 2.42/2.58 c intension x[47] != x[77] using generic constraint 2.42/2.59 c intension x[47] != x[78] using generic constraint 2.42/2.59 c intension x[47] != x[79] using generic constraint 2.42/2.59 c intension x[47] != x[80] using generic constraint 2.42/2.59 c intension x[48] != x[50] using generic constraint 2.42/2.59 c intension x[48] != x[51] using generic constraint 2.42/2.59 c intension x[48] != x[52] using generic constraint 2.42/2.59 c intension x[48] != x[53] using generic constraint 2.42/2.59 c intension x[48] != x[54] using generic constraint 2.42/2.59 c intension x[48] != x[55] using generic constraint 2.42/2.59 c intension x[48] != x[56] using generic constraint 2.42/2.60 c intension x[48] != x[57] using generic constraint 2.52/2.60 c intension x[48] != x[58] using generic constraint 2.52/2.60 c intension x[48] != x[59] using generic constraint 2.52/2.60 c intension x[48] != x[60] using generic constraint 2.52/2.60 c intension x[48] != x[61] using generic constraint 2.52/2.60 c intension x[48] != x[62] using generic constraint 2.52/2.60 c intension x[48] != x[63] using generic constraint 2.52/2.60 c intension x[48] != x[64] using generic constraint 2.52/2.60 c intension x[48] != x[65] using generic constraint 2.52/2.60 c intension x[48] != x[66] using generic constraint 2.52/2.61 c intension x[48] != x[67] using generic constraint 2.52/2.61 c intension x[48] != x[68] using generic constraint 2.52/2.61 c intension x[48] != x[69] using generic constraint 2.52/2.61 c intension x[48] != x[70] using generic constraint 2.52/2.61 c intension x[48] != x[71] using generic constraint 2.52/2.61 c intension x[48] != x[72] using generic constraint 2.52/2.61 c intension x[48] != x[73] using generic constraint 2.52/2.61 c intension x[48] != x[74] using generic constraint 2.52/2.61 c intension x[48] != x[75] using generic constraint 2.52/2.61 c intension x[48] != x[76] using generic constraint 2.52/2.62 c intension x[48] != x[77] using generic constraint 2.52/2.62 c intension x[48] != x[78] using generic constraint 2.52/2.62 c intension x[48] != x[79] using generic constraint 2.52/2.62 c intension x[48] != x[80] using generic constraint 2.52/2.62 c intension x[49] != x[51] using generic constraint 2.52/2.62 c intension x[49] != x[52] using generic constraint 2.52/2.62 c intension x[49] != x[53] using generic constraint 2.52/2.62 c intension x[49] != x[54] using generic constraint 2.52/2.62 c intension x[49] != x[55] using generic constraint 2.52/2.62 c intension x[49] != x[56] using generic constraint 2.52/2.62 c intension x[49] != x[57] using generic constraint 2.52/2.63 c intension x[49] != x[58] using generic constraint 2.52/2.63 c intension x[49] != x[59] using generic constraint 2.52/2.63 c intension x[49] != x[60] using generic constraint 2.52/2.63 c intension x[49] != x[61] using generic constraint 2.52/2.63 c intension x[49] != x[62] using generic constraint 2.52/2.63 c intension x[49] != x[63] using generic constraint 2.52/2.63 c intension x[49] != x[64] using generic constraint 2.52/2.63 c intension x[49] != x[65] using generic constraint 2.52/2.63 c intension x[49] != x[66] using generic constraint 2.52/2.63 c intension x[49] != x[67] using generic constraint 2.52/2.64 c intension x[49] != x[68] using generic constraint 2.52/2.64 c intension x[49] != x[69] using generic constraint 2.52/2.64 c intension x[49] != x[70] using generic constraint 2.52/2.64 c intension x[49] != x[71] using generic constraint 2.52/2.64 c intension x[49] != x[72] using generic constraint 2.52/2.64 c intension x[49] != x[73] using generic constraint 2.52/2.64 c intension x[49] != x[74] using generic constraint 2.52/2.64 c intension x[49] != x[75] using generic constraint 2.52/2.64 c intension x[49] != x[76] using generic constraint 2.52/2.64 c intension x[49] != x[77] using generic constraint 2.52/2.65 c intension x[49] != x[78] using generic constraint 2.52/2.65 c intension x[49] != x[79] using generic constraint 2.52/2.65 c intension x[49] != x[80] using generic constraint 2.52/2.65 c intension x[50] != x[52] using generic constraint 2.52/2.65 c intension x[50] != x[53] using generic constraint 2.52/2.65 c intension x[50] != x[54] using generic constraint 2.52/2.65 c intension x[50] != x[55] using generic constraint 2.52/2.65 c intension x[50] != x[56] using generic constraint 2.52/2.65 c intension x[50] != x[57] using generic constraint 2.52/2.65 c intension x[50] != x[58] using generic constraint 2.52/2.66 c intension x[50] != x[59] using generic constraint 2.52/2.66 c intension x[50] != x[60] using generic constraint 2.52/2.66 c intension x[50] != x[61] using generic constraint 2.52/2.66 c intension x[50] != x[62] using generic constraint 2.52/2.66 c intension x[50] != x[63] using generic constraint 2.52/2.66 c intension x[50] != x[64] using generic constraint 2.52/2.66 c intension x[50] != x[65] using generic constraint 2.52/2.66 c intension x[50] != x[66] using generic constraint 2.52/2.66 c intension x[50] != x[67] using generic constraint 2.52/2.66 c intension x[50] != x[68] using generic constraint 2.52/2.66 c intension x[50] != x[69] using generic constraint 2.52/2.67 c intension x[50] != x[70] using generic constraint 2.52/2.67 c intension x[50] != x[71] using generic constraint 2.52/2.67 c intension x[50] != x[72] using generic constraint 2.52/2.67 c intension x[50] != x[73] using generic constraint 2.52/2.67 c intension x[50] != x[74] using generic constraint 2.52/2.67 c intension x[50] != x[75] using generic constraint 2.52/2.67 c intension x[50] != x[76] using generic constraint 2.52/2.67 c intension x[50] != x[77] using generic constraint 2.52/2.67 c intension x[50] != x[78] using generic constraint 2.52/2.67 c intension x[50] != x[79] using generic constraint 2.52/2.68 c intension x[50] != x[80] using generic constraint 2.52/2.68 c intension x[51] != x[53] using generic constraint 2.52/2.68 c intension x[51] != x[54] using generic constraint 2.52/2.68 c intension x[51] != x[55] using generic constraint 2.52/2.68 c intension x[51] != x[56] using generic constraint 2.52/2.68 c intension x[51] != x[57] using generic constraint 2.52/2.68 c intension x[51] != x[58] using generic constraint 2.52/2.68 c intension x[51] != x[59] using generic constraint 2.52/2.68 c intension x[51] != x[60] using generic constraint 2.52/2.68 c intension x[51] != x[61] using generic constraint 2.52/2.69 c intension x[51] != x[62] using generic constraint 2.52/2.69 c intension x[51] != x[63] using generic constraint 2.52/2.69 c intension x[51] != x[64] using generic constraint 2.52/2.69 c intension x[51] != x[65] using generic constraint 2.52/2.69 c intension x[51] != x[66] using generic constraint 2.52/2.69 c intension x[51] != x[67] using generic constraint 2.52/2.69 c intension x[51] != x[68] using generic constraint 2.52/2.69 c intension x[51] != x[69] using generic constraint 2.52/2.69 c intension x[51] != x[70] using generic constraint 2.52/2.69 c intension x[51] != x[71] using generic constraint 2.52/2.69 c intension x[51] != x[72] using generic constraint 2.62/2.70 c intension x[51] != x[73] using generic constraint 2.62/2.70 c intension x[51] != x[74] using generic constraint 2.62/2.70 c intension x[51] != x[75] using generic constraint 2.62/2.70 c intension x[51] != x[76] using generic constraint 2.62/2.70 c intension x[51] != x[77] using generic constraint 2.62/2.70 c intension x[51] != x[78] using generic constraint 2.62/2.70 c intension x[51] != x[79] using generic constraint 2.62/2.70 c intension x[51] != x[80] using generic constraint 2.62/2.70 c intension x[52] != x[54] using generic constraint 2.62/2.70 c intension x[52] != x[55] using generic constraint 2.62/2.71 c intension x[52] != x[56] using generic constraint 2.62/2.71 c intension x[52] != x[57] using generic constraint 2.62/2.71 c intension x[52] != x[58] using generic constraint 2.62/2.71 c intension x[52] != x[59] using generic constraint 2.62/2.71 c intension x[52] != x[60] using generic constraint 2.62/2.71 c intension x[52] != x[61] using generic constraint 2.62/2.71 c intension x[52] != x[62] using generic constraint 2.62/2.71 c intension x[52] != x[63] using generic constraint 2.62/2.71 c intension x[52] != x[64] using generic constraint 2.62/2.71 c intension x[52] != x[65] using generic constraint 2.62/2.71 c intension x[52] != x[66] using generic constraint 2.62/2.72 c intension x[52] != x[67] using generic constraint 2.62/2.72 c intension x[52] != x[68] using generic constraint 2.62/2.72 c intension x[52] != x[69] using generic constraint 2.62/2.72 c intension x[52] != x[70] using generic constraint 2.62/2.72 c intension x[52] != x[71] using generic constraint 2.62/2.72 c intension x[52] != x[72] using generic constraint 2.62/2.72 c intension x[52] != x[73] using generic constraint 2.62/2.72 c intension x[52] != x[74] using generic constraint 2.62/2.72 c intension x[52] != x[75] using generic constraint 2.62/2.72 c intension x[52] != x[76] using generic constraint 2.62/2.73 c intension x[52] != x[77] using generic constraint 2.62/2.73 c intension x[52] != x[78] using generic constraint 2.62/2.73 c intension x[52] != x[79] using generic constraint 2.62/2.73 c intension x[52] != x[80] using generic constraint 2.62/2.73 c intension x[53] != x[55] using generic constraint 2.62/2.73 c intension x[53] != x[56] using generic constraint 2.62/2.73 c intension x[53] != x[57] using generic constraint 2.62/2.73 c intension x[53] != x[58] using generic constraint 2.62/2.73 c intension x[53] != x[59] using generic constraint 2.62/2.73 c intension x[53] != x[60] using generic constraint 2.62/2.74 c intension x[53] != x[61] using generic constraint 2.62/2.74 c intension x[53] != x[62] using generic constraint 2.62/2.74 c intension x[53] != x[63] using generic constraint 2.62/2.74 c intension x[53] != x[64] using generic constraint 2.62/2.74 c intension x[53] != x[65] using generic constraint 2.62/2.74 c intension x[53] != x[66] using generic constraint 2.62/2.74 c intension x[53] != x[67] using generic constraint 2.62/2.74 c intension x[53] != x[68] using generic constraint 2.62/2.74 c intension x[53] != x[69] using generic constraint 2.62/2.74 c intension x[53] != x[70] using generic constraint 2.62/2.75 c intension x[53] != x[71] using generic constraint 2.62/2.75 c intension x[53] != x[72] using generic constraint 2.62/2.75 c intension x[53] != x[73] using generic constraint 2.62/2.75 c intension x[53] != x[74] using generic constraint 2.62/2.75 c intension x[53] != x[75] using generic constraint 2.62/2.75 c intension x[53] != x[76] using generic constraint 2.62/2.75 c intension x[53] != x[77] using generic constraint 2.62/2.75 c intension x[53] != x[78] using generic constraint 2.62/2.75 c intension x[53] != x[79] using generic constraint 2.62/2.75 c intension x[53] != x[80] using generic constraint 2.62/2.75 c intension x[54] != x[56] using generic constraint 2.62/2.76 c intension x[54] != x[57] using generic constraint 2.62/2.76 c intension x[54] != x[58] using generic constraint 2.62/2.76 c intension x[54] != x[59] using generic constraint 2.62/2.76 c intension x[54] != x[60] using generic constraint 2.62/2.76 c intension x[54] != x[61] using generic constraint 2.62/2.76 c intension x[54] != x[62] using generic constraint 2.62/2.76 c intension x[54] != x[63] using generic constraint 2.62/2.76 c intension x[54] != x[64] using generic constraint 2.62/2.76 c intension x[54] != x[65] using generic constraint 2.62/2.76 c intension x[54] != x[66] using generic constraint 2.62/2.77 c intension x[54] != x[67] using generic constraint 2.62/2.77 c intension x[54] != x[68] using generic constraint 2.62/2.77 c intension x[54] != x[69] using generic constraint 2.62/2.77 c intension x[54] != x[70] using generic constraint 2.62/2.77 c intension x[54] != x[71] using generic constraint 2.62/2.77 c intension x[54] != x[72] using generic constraint 2.62/2.77 c intension x[54] != x[73] using generic constraint 2.62/2.77 c intension x[54] != x[74] using generic constraint 2.62/2.77 c intension x[54] != x[75] using generic constraint 2.62/2.77 c intension x[54] != x[76] using generic constraint 2.62/2.78 c intension x[54] != x[77] using generic constraint 2.62/2.78 c intension x[54] != x[78] using generic constraint 2.62/2.78 c intension x[54] != x[79] using generic constraint 2.62/2.78 c intension x[54] != x[80] using generic constraint 2.62/2.78 c intension x[55] != x[57] using generic constraint 2.62/2.78 c intension x[55] != x[58] using generic constraint 2.62/2.78 c intension x[55] != x[59] using generic constraint 2.62/2.78 c intension x[55] != x[60] using generic constraint 2.62/2.78 c intension x[55] != x[61] using generic constraint 2.62/2.78 c intension x[55] != x[62] using generic constraint 2.62/2.78 c intension x[55] != x[63] using generic constraint 2.62/2.79 c intension x[55] != x[64] using generic constraint 2.62/2.79 c intension x[55] != x[65] using generic constraint 2.62/2.79 c intension x[55] != x[66] using generic constraint 2.62/2.79 c intension x[55] != x[67] using generic constraint 2.62/2.79 c intension x[55] != x[68] using generic constraint 2.62/2.79 c intension x[55] != x[69] using generic constraint 2.62/2.79 c intension x[55] != x[70] using generic constraint 2.62/2.79 c intension x[55] != x[71] using generic constraint 2.62/2.79 c intension x[55] != x[72] using generic constraint 2.62/2.79 c intension x[55] != x[73] using generic constraint 2.72/2.80 c intension x[55] != x[74] using generic constraint 2.72/2.80 c intension x[55] != x[75] using generic constraint 2.72/2.80 c intension x[55] != x[76] using generic constraint 2.72/2.80 c intension x[55] != x[77] using generic constraint 2.72/2.80 c intension x[55] != x[78] using generic constraint 2.72/2.80 c intension x[55] != x[79] using generic constraint 2.72/2.80 c intension x[55] != x[80] using generic constraint 2.72/2.80 c intension x[56] != x[58] using generic constraint 2.72/2.80 c intension x[56] != x[59] using generic constraint 2.72/2.80 c intension x[56] != x[60] using generic constraint 2.72/2.81 c intension x[56] != x[61] using generic constraint 2.72/2.81 c intension x[56] != x[62] using generic constraint 2.72/2.81 c intension x[56] != x[63] using generic constraint 2.72/2.81 c intension x[56] != x[64] using generic constraint 2.72/2.81 c intension x[56] != x[65] using generic constraint 2.72/2.81 c intension x[56] != x[66] using generic constraint 2.72/2.81 c intension x[56] != x[67] using generic constraint 2.72/2.81 c intension x[56] != x[68] using generic constraint 2.72/2.81 c intension x[56] != x[69] using generic constraint 2.72/2.81 c intension x[56] != x[70] using generic constraint 2.72/2.81 c intension x[56] != x[71] using generic constraint 2.72/2.82 c intension x[56] != x[72] using generic constraint 2.72/2.82 c intension x[56] != x[73] using generic constraint 2.72/2.82 c intension x[56] != x[74] using generic constraint 2.72/2.82 c intension x[56] != x[75] using generic constraint 2.72/2.82 c intension x[56] != x[76] using generic constraint 2.72/2.82 c intension x[56] != x[77] using generic constraint 2.72/2.82 c intension x[56] != x[78] using generic constraint 2.72/2.82 c intension x[56] != x[79] using generic constraint 2.72/2.82 c intension x[56] != x[80] using generic constraint 2.72/2.82 c intension x[57] != x[59] using generic constraint 2.72/2.83 c intension x[57] != x[60] using generic constraint 2.72/2.83 c intension x[57] != x[61] using generic constraint 2.72/2.83 c intension x[57] != x[62] using generic constraint 2.72/2.83 c intension x[57] != x[63] using generic constraint 2.72/2.83 c intension x[57] != x[64] using generic constraint 2.72/2.83 c intension x[57] != x[65] using generic constraint 2.72/2.83 c intension x[57] != x[66] using generic constraint 2.72/2.83 c intension x[57] != x[67] using generic constraint 2.72/2.83 c intension x[57] != x[68] using generic constraint 2.72/2.83 c intension x[57] != x[69] using generic constraint 2.72/2.84 c intension x[57] != x[70] using generic constraint 2.72/2.84 c intension x[57] != x[71] using generic constraint 2.72/2.84 c intension x[57] != x[72] using generic constraint 2.72/2.84 c intension x[57] != x[73] using generic constraint 2.72/2.84 c intension x[57] != x[74] using generic constraint 2.72/2.84 c intension x[57] != x[75] using generic constraint 2.72/2.84 c intension x[57] != x[76] using generic constraint 2.72/2.84 c intension x[57] != x[77] using generic constraint 2.72/2.84 c intension x[57] != x[78] using generic constraint 2.72/2.84 c intension x[57] != x[79] using generic constraint 2.72/2.84 c intension x[57] != x[80] using generic constraint 2.72/2.85 c intension x[58] != x[60] using generic constraint 2.72/2.85 c intension x[58] != x[61] using generic constraint 2.72/2.85 c intension x[58] != x[62] using generic constraint 2.72/2.85 c intension x[58] != x[63] using generic constraint 2.72/2.85 c intension x[58] != x[64] using generic constraint 2.72/2.85 c intension x[58] != x[65] using generic constraint 2.72/2.85 c intension x[58] != x[66] using generic constraint 2.72/2.85 c intension x[58] != x[67] using generic constraint 2.72/2.85 c intension x[58] != x[68] using generic constraint 2.72/2.85 c intension x[58] != x[69] using generic constraint 2.72/2.86 c intension x[58] != x[70] using generic constraint 2.72/2.86 c intension x[58] != x[71] using generic constraint 2.72/2.86 c intension x[58] != x[72] using generic constraint 2.72/2.86 c intension x[58] != x[73] using generic constraint 2.72/2.86 c intension x[58] != x[74] using generic constraint 2.72/2.86 c intension x[58] != x[75] using generic constraint 2.72/2.86 c intension x[58] != x[76] using generic constraint 2.72/2.86 c intension x[58] != x[77] using generic constraint 2.72/2.86 c intension x[58] != x[78] using generic constraint 2.72/2.86 c intension x[58] != x[79] using generic constraint 2.72/2.87 c intension x[58] != x[80] using generic constraint 2.72/2.87 c intension x[59] != x[61] using generic constraint 2.72/2.87 c intension x[59] != x[62] using generic constraint 2.72/2.87 c intension x[59] != x[63] using generic constraint 2.72/2.87 c intension x[59] != x[64] using generic constraint 2.72/2.87 c intension x[59] != x[65] using generic constraint 2.72/2.87 c intension x[59] != x[66] using generic constraint 2.72/2.87 c intension x[59] != x[67] using generic constraint 2.72/2.87 c intension x[59] != x[68] using generic constraint 2.72/2.87 c intension x[59] != x[69] using generic constraint 2.72/2.87 c intension x[59] != x[70] using generic constraint 2.72/2.88 c intension x[59] != x[71] using generic constraint 2.72/2.88 c intension x[59] != x[72] using generic constraint 2.72/2.88 c intension x[59] != x[73] using generic constraint 2.72/2.88 c intension x[59] != x[74] using generic constraint 2.72/2.88 c intension x[59] != x[75] using generic constraint 2.72/2.88 c intension x[59] != x[76] using generic constraint 2.72/2.88 c intension x[59] != x[77] using generic constraint 2.72/2.88 c intension x[59] != x[78] using generic constraint 2.72/2.88 c intension x[59] != x[79] using generic constraint 2.72/2.88 c intension x[59] != x[80] using generic constraint 2.72/2.89 c intension x[60] != x[62] using generic constraint 2.72/2.89 c intension x[60] != x[63] using generic constraint 2.72/2.89 c intension x[60] != x[64] using generic constraint 2.72/2.89 c intension x[60] != x[65] using generic constraint 2.72/2.89 c intension x[60] != x[66] using generic constraint 2.72/2.89 c intension x[60] != x[67] using generic constraint 2.72/2.89 c intension x[60] != x[68] using generic constraint 2.72/2.89 c intension x[60] != x[69] using generic constraint 2.72/2.89 c intension x[60] != x[70] using generic constraint 2.72/2.89 c intension x[60] != x[71] using generic constraint 2.72/2.90 c intension x[60] != x[72] using generic constraint 2.82/2.90 c intension x[60] != x[73] using generic constraint 2.82/2.90 c intension x[60] != x[74] using generic constraint 2.82/2.90 c intension x[60] != x[75] using generic constraint 2.82/2.90 c intension x[60] != x[76] using generic constraint 2.82/2.90 c intension x[60] != x[77] using generic constraint 2.82/2.90 c intension x[60] != x[78] using generic constraint 2.82/2.90 c intension x[60] != x[79] using generic constraint 2.82/2.90 c intension x[60] != x[80] using generic constraint 2.82/2.90 c intension x[61] != x[63] using generic constraint 2.82/2.90 c intension x[61] != x[64] using generic constraint 2.82/2.91 c intension x[61] != x[65] using generic constraint 2.82/2.91 c intension x[61] != x[66] using generic constraint 2.82/2.91 c intension x[61] != x[67] using generic constraint 2.82/2.91 c intension x[61] != x[68] using generic constraint 2.82/2.91 c intension x[61] != x[69] using generic constraint 2.82/2.91 c intension x[61] != x[70] using generic constraint 2.82/2.91 c intension x[61] != x[71] using generic constraint 2.82/2.91 c intension x[61] != x[72] using generic constraint 2.82/2.91 c intension x[61] != x[73] using generic constraint 2.82/2.91 c intension x[61] != x[74] using generic constraint 2.82/2.92 c intension x[61] != x[75] using generic constraint 2.82/2.92 c intension x[61] != x[76] using generic constraint 2.82/2.92 c intension x[61] != x[77] using generic constraint 2.82/2.92 c intension x[61] != x[78] using generic constraint 2.82/2.92 c intension x[61] != x[79] using generic constraint 2.82/2.92 c intension x[61] != x[80] using generic constraint 2.82/2.92 c intension x[62] != x[64] using generic constraint 2.82/2.92 c intension x[62] != x[65] using generic constraint 2.82/2.92 c intension x[62] != x[66] using generic constraint 2.82/2.92 c intension x[62] != x[67] using generic constraint 2.82/2.93 c intension x[62] != x[68] using generic constraint 2.82/2.93 c intension x[62] != x[69] using generic constraint 2.82/2.93 c intension x[62] != x[70] using generic constraint 2.82/2.93 c intension x[62] != x[71] using generic constraint 2.82/2.93 c intension x[62] != x[72] using generic constraint 2.82/2.93 c intension x[62] != x[73] using generic constraint 2.82/2.93 c intension x[62] != x[74] using generic constraint 2.82/2.93 c intension x[62] != x[75] using generic constraint 2.82/2.93 c intension x[62] != x[76] using generic constraint 2.82/2.93 c intension x[62] != x[77] using generic constraint 2.82/2.94 c intension x[62] != x[78] using generic constraint 2.82/2.94 c intension x[62] != x[79] using generic constraint 2.82/2.94 c intension x[62] != x[80] using generic constraint 2.82/2.94 c intension x[63] != x[65] using generic constraint 2.82/2.94 c intension x[63] != x[66] using generic constraint 2.82/2.94 c intension x[63] != x[67] using generic constraint 2.82/2.94 c intension x[63] != x[68] using generic constraint 2.82/2.94 c intension x[63] != x[69] using generic constraint 2.82/2.94 c intension x[63] != x[70] using generic constraint 2.82/2.94 c intension x[63] != x[71] using generic constraint 2.82/2.94 c intension x[63] != x[72] using generic constraint 2.82/2.95 c intension x[63] != x[73] using generic constraint 2.82/2.95 c intension x[63] != x[74] using generic constraint 2.82/2.95 c intension x[63] != x[75] using generic constraint 2.82/2.95 c intension x[63] != x[76] using generic constraint 2.82/2.95 c intension x[63] != x[77] using generic constraint 2.82/2.95 c intension x[63] != x[78] using generic constraint 2.82/2.95 c intension x[63] != x[79] using generic constraint 2.82/2.95 c intension x[63] != x[80] using generic constraint 2.82/2.95 c intension x[64] != x[66] using generic constraint 2.82/2.95 c intension x[64] != x[67] using generic constraint 2.82/2.96 c intension x[64] != x[68] using generic constraint 2.82/2.96 c intension x[64] != x[69] using generic constraint 2.82/2.96 c intension x[64] != x[70] using generic constraint 2.82/2.96 c intension x[64] != x[71] using generic constraint 2.82/2.96 c intension x[64] != x[72] using generic constraint 2.82/2.96 c intension x[64] != x[73] using generic constraint 2.82/2.96 c intension x[64] != x[74] using generic constraint 2.82/2.96 c intension x[64] != x[75] using generic constraint 2.82/2.96 c intension x[64] != x[76] using generic constraint 2.82/2.96 c intension x[64] != x[77] using generic constraint 2.82/2.97 c intension x[64] != x[78] using generic constraint 2.82/2.97 c intension x[64] != x[79] using generic constraint 2.82/2.97 c intension x[64] != x[80] using generic constraint 2.82/2.97 c intension x[65] != x[67] using generic constraint 2.82/2.97 c intension x[65] != x[68] using generic constraint 2.82/2.97 c intension x[65] != x[69] using generic constraint 2.82/2.97 c intension x[65] != x[70] using generic constraint 2.82/2.97 c intension x[65] != x[71] using generic constraint 2.82/2.97 c intension x[65] != x[72] using generic constraint 2.82/2.97 c intension x[65] != x[73] using generic constraint 2.82/2.97 c intension x[65] != x[74] using generic constraint 2.82/2.98 c intension x[65] != x[75] using generic constraint 2.82/2.98 c intension x[65] != x[76] using generic constraint 2.82/2.98 c intension x[65] != x[77] using generic constraint 2.82/2.98 c intension x[65] != x[78] using generic constraint 2.82/2.98 c intension x[65] != x[79] using generic constraint 2.82/2.98 c intension x[65] != x[80] using generic constraint 2.82/2.98 c intension x[66] != x[68] using generic constraint 2.82/2.98 c intension x[66] != x[69] using generic constraint 2.82/2.98 c intension x[66] != x[70] using generic constraint 2.82/2.98 c intension x[66] != x[71] using generic constraint 2.82/2.99 c intension x[66] != x[72] using generic constraint 2.82/2.99 c intension x[66] != x[73] using generic constraint 2.82/2.99 c intension x[66] != x[74] using generic constraint 2.82/2.99 c intension x[66] != x[75] using generic constraint 2.82/2.99 c intension x[66] != x[76] using generic constraint 2.82/2.99 c intension x[66] != x[77] using generic constraint 2.82/2.99 c intension x[66] != x[78] using generic constraint 2.82/2.99 c intension x[66] != x[79] using generic constraint 2.82/2.99 c intension x[66] != x[80] using generic constraint 2.82/2.99 c intension x[67] != x[69] using generic constraint 2.82/3.00 c intension x[67] != x[70] using generic constraint 2.92/3.00 c intension x[67] != x[71] using generic constraint 2.92/3.00 c intension x[67] != x[72] using generic constraint 2.92/3.00 c intension x[67] != x[73] using generic constraint 2.92/3.00 c intension x[67] != x[74] using generic constraint 2.92/3.00 c intension x[67] != x[75] using generic constraint 2.92/3.00 c intension x[67] != x[76] using generic constraint 2.92/3.00 c intension x[67] != x[77] using generic constraint 2.92/3.00 c intension x[67] != x[78] using generic constraint 2.92/3.00 c intension x[67] != x[79] using generic constraint 2.92/3.00 c intension x[67] != x[80] using generic constraint 2.92/3.01 c intension x[68] != x[70] using generic constraint 2.92/3.01 c intension x[68] != x[71] using generic constraint 2.92/3.01 c intension x[68] != x[72] using generic constraint 2.92/3.01 c intension x[68] != x[73] using generic constraint 2.92/3.01 c intension x[68] != x[74] using generic constraint 2.92/3.01 c intension x[68] != x[75] using generic constraint 2.92/3.01 c intension x[68] != x[76] using generic constraint 2.92/3.01 c intension x[68] != x[77] using generic constraint 2.92/3.01 c intension x[68] != x[78] using generic constraint 2.92/3.01 c intension x[68] != x[79] using generic constraint 2.92/3.02 c intension x[68] != x[80] using generic constraint 2.92/3.02 c intension x[69] != x[71] using generic constraint 2.92/3.02 c intension x[69] != x[72] using generic constraint 2.92/3.02 c intension x[69] != x[73] using generic constraint 2.92/3.02 c intension x[69] != x[74] using generic constraint 2.92/3.02 c intension x[69] != x[75] using generic constraint 2.92/3.02 c intension x[69] != x[76] using generic constraint 2.92/3.02 c intension x[69] != x[77] using generic constraint 2.92/3.02 c intension x[69] != x[78] using generic constraint 2.92/3.02 c intension x[69] != x[79] using generic constraint 2.92/3.03 c intension x[69] != x[80] using generic constraint 2.92/3.03 c intension x[70] != x[72] using generic constraint 2.92/3.03 c intension x[70] != x[73] using generic constraint 2.92/3.03 c intension x[70] != x[74] using generic constraint 2.92/3.03 c intension x[70] != x[75] using generic constraint 2.92/3.03 c intension x[70] != x[76] using generic constraint 2.92/3.03 c intension x[70] != x[77] using generic constraint 2.92/3.03 c intension x[70] != x[78] using generic constraint 2.92/3.03 c intension x[70] != x[79] using generic constraint 2.92/3.03 c intension x[70] != x[80] using generic constraint 2.92/3.03 c intension x[71] != x[73] using generic constraint 2.92/3.04 c intension x[71] != x[74] using generic constraint 2.92/3.04 c intension x[71] != x[75] using generic constraint 2.92/3.04 c intension x[71] != x[76] using generic constraint 2.92/3.04 c intension x[71] != x[77] using generic constraint 2.92/3.04 c intension x[71] != x[78] using generic constraint 2.92/3.04 c intension x[71] != x[79] using generic constraint 2.92/3.04 c intension x[71] != x[80] using generic constraint 2.92/3.04 c intension x[72] != x[74] using generic constraint 2.92/3.04 c intension x[72] != x[75] using generic constraint 2.92/3.04 c intension x[72] != x[76] using generic constraint 2.92/3.05 c intension x[72] != x[77] using generic constraint 2.92/3.05 c intension x[72] != x[78] using generic constraint 2.92/3.05 c intension x[72] != x[79] using generic constraint 2.92/3.05 c intension x[72] != x[80] using generic constraint 2.92/3.05 c intension x[73] != x[75] using generic constraint 2.92/3.05 c intension x[73] != x[76] using generic constraint 2.92/3.05 c intension x[73] != x[77] using generic constraint 2.92/3.05 c intension x[73] != x[78] using generic constraint 2.92/3.05 c intension x[73] != x[79] using generic constraint 2.92/3.05 c intension x[73] != x[80] using generic constraint 2.92/3.05 c intension x[74] != x[76] using generic constraint 2.92/3.06 c intension x[74] != x[77] using generic constraint 2.92/3.06 c intension x[74] != x[78] using generic constraint 2.92/3.06 c intension x[74] != x[79] using generic constraint 2.92/3.06 c intension x[74] != x[80] using generic constraint 2.92/3.06 c intension x[75] != x[77] using generic constraint 2.92/3.06 c intension x[75] != x[78] using generic constraint 2.92/3.06 c intension x[75] != x[79] using generic constraint 2.92/3.06 c intension x[75] != x[80] using generic constraint 2.92/3.06 c intension x[76] != x[78] using generic constraint 2.92/3.06 c intension x[76] != x[79] using generic constraint 2.92/3.07 c intension x[76] != x[80] using generic constraint 2.92/3.07 c intension x[77] != x[79] using generic constraint 2.92/3.07 c intension x[77] != x[80] using generic constraint 2.92/3.07 c intension x[78] != x[80] using generic constraint 3.12/3.22 c root propagations : 132 3.12/3.22 c restarts enabled, print stats at every restarts 3.12/3.22 c 3.12/3.22 c 3.12/3.22 c 3.12/3.22 c This is cosoco 1.12 -- 3.12/3.22 c 3.12/3.22 c command line: cosoco -lc -model -restarts HOME/instance-4268218-1502535337.xml 3.12/3.22 c ========================================[ Problem Statistics ]=========================================== 3.12/3.22 c | 3.12/3.22 c | Parse time : 3.11 s 3.12/3.22 c | 3.12/3.22 c | Variables: 82 3.12/3.22 c | Domain Sizes: 15..81 3.12/3.22 c | 3.12/3.22 c | Constraints: 3262 3.12/3.22 c | Arity: 2..2 -- Binary: 3262 3.12/3.22 c | 3.12/3.22 c | Types: 3.12/3.22 c | (X != Y): 3160 3.12/3.22 c | Intension: 102 3.12/3.22 c | 3.12/3.22 c ========================================================================================================= 3.12/3.22 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 3.12/3.29 c 101 247 416597 31649 22 0 26 31 28 3.23/3.35 c 211 486 831822 61800 22 0 18 26 21 3.33/3.43 c 332 728 1234810 106560 22 0 4 26 11 3.42/3.52 c 465 1076 1842406 143901 22 0 13 17 15 3.52/3.60 c 611 1427 2414959 184514 22 0 7 23 19 3.52/3.69 c 771 1843 3043134 231010 22 0 7 22 18 3.62/3.78 c 947 2265 3637628 278122 22 0 7 21 17 3.72/3.87 c 1140 2665 4241734 332263 22 0 6 20 15 3.82/3.97 c 1352 3229 5031979 382874 22 0 7 23 21 3.92/4.06 c 1585 3695 5663560 440666 22 0 6 22 16 4.02/4.18 c 1841 4323 6575530 502935 22 0 7 21 17 4.22/4.30 c 2122 4996 7513296 569121 22 0 6 21 17 4.33/4.44 c 2431 5739 8606820 648256 22 0 7 24 19 4.43/4.56 c 2770 6421 9493194 718192 22 0 6 24 18 4.62/4.74 c 3142 7372 11021890 804268 22 0 15 21 18 4.72/4.89 c 3551 8285 12251883 885490 22 0 6 21 18 4.92/5.03 c 4000 9251 13436089 971672 22 0 8 25 21 5.12/5.20 c 4493 10395 15046053 1067072 22 0 7 23 20 5.32/5.41 c 5035 11774 16876272 1176017 22 0 7 26 23 5.43/5.58 c 5631 12943 18320573 1292148 22 0 6 25 20 5.72/5.80 c 6286 14383 20352655 1417878 22 0 5 23 20 5.92/6.00 c 7006 15832 22210655 1560702 22 0 8 25 20 6.12/6.28 c 7798 17949 24907836 1705814 22 0 10 26 24 6.42/6.52 c 8669 19647 26793303 1854705 22 0 6 24 18 6.72/6.89 c 9627 22028 30212976 2064698 22 0 8 24 20 7.32/7.47 c 10680 24862 34722053 2387957 22 0 13 23 19 7.73/7.88 c 11838 27817 38535857 2592438 22 0 7 23 21 8.12/8.27 c 13111 30758 42250097 2816478 22 0 6 26 23 8.83/8.91 c 14511 34694 48082307 3199565 22 0 13 23 20 9.22/9.38 c 16051 38012 52211385 3463886 22 0 5 24 21 9.82/9.91 c 17745 41740 57039532 3764580 22 0 6 24 21 10.52/10.64 c 19608 46053 63700832 4163651 22 0 13 21 18 11.42/11.58 c 21657 51074 71189658 4701280 22 0 12 19 17 12.13/12.25 c 23910 56501 77600493 5096193 22 0 7 24 21 12.73/12.84 c 26388 61646 83459746 5447565 22 0 7 25 20 13.73/13.82 c 29113 68893 92664489 5957275 22 0 6 26 23 14.34/14.46 c 32110 74678 98916076 6382129 22 0 5 23 18 15.44/15.52 c 35406 82739 109343686 7008456 22 0 6 24 20 16.73/16.82 c 39031 91926 122827925 7772433 22 0 7 24 21 18.43/18.55 c 43018 102385 138375523 8702648 22 0 13 21 18 20.03/20.15 c 47403 113683 153174791 9522163 22 0 7 24 21 21.63/21.70 c 52226 126059 168582792 10404450 22 0 6 25 21 23.43/23.50 c 57531 139250 185635115 11365158 22 0 6 24 21 25.13/25.25 c 63366 153272 203476679 12374323 22 0 9 23 20 27.23/27.32 c 69784 168717 223873568 13547025 22 0 7 24 21 29.23/29.33 c 76843 185577 243672256 14706439 22 0 10 25 22 31.63/31.72 c 84607 204607 268024004 16044718 22 0 7 26 22 35.33/35.44 c 93147 227317 302273673 18001859 22 0 10 19 16 38.33/38.48 c 102541 250046 331541069 19651811 22 0 7 24 20 42.84/42.91 c 112874 276277 371140093 22069089 22 0 10 20 16 47.13/47.20 c 124240 305653 411158782 24326935 22 0 7 24 21 50.54/50.62 c 136742 334141 445337503 26361753 22 0 4 25 20 54.43/54.57 c 150494 366566 483931608 28655990 22 0 6 24 20 59.73/59.85 c 165621 406224 534747333 31494775 22 0 7 23 20 64.03/64.13 c 182260 441380 579389351 34527969 22 0 7 25 19 70.13/70.28 c 200562 487028 639944807 38035794 22 0 7 25 21 78.93/79.02 c 220694 539410 719884646 42802798 22 0 10 20 16 86.53/86.68 c 242839 597830 795890729 46916239 22 0 7 25 21 92.44/92.56 c 267198 652297 858504943 50700185 22 0 6 25 20 102.03/102.13 c 293992 725532 953793734 55805000 22 0 7 25 22 109.73/109.82 c 323465 794667 1034283160 60489587 22 0 6 24 19 125.63/125.70 c 355885 884241 1176281336 68606278 22 0 11 20 17 134.83/134.92 c 391547 966889 1269387692 74189352 22 0 4 25 20 145.93/146.07 c 430775 1063433 1385826929 80851066 22 0 7 24 21 158.44/158.54 c 473925 1169716 1522161095 88094488 22 0 7 25 21 174.73/174.84 c 521390 1274908 1675747024 98238080 22 0 10 21 17 192.23/192.36 c 573601 1411729 1851980141 108408130 22 0 6 24 20 207.13/207.21 c 631033 1544622 2020518429 118003920 22 0 7 25 20 229.53/229.61 c 694208 1715030 2252756913 130434563 22 0 7 25 22 249.43/249.54 c 763700 1893550 2468590821 142765879 22 0 6 25 20 286.44/286.50 c 840141 2103831 2794792892 162372550 22 0 9 20 16 313.24/313.35 c 924226 2336229 3089185427 177500975 22 0 7 27 24 336.54/336.69 c 1016719 2550436 3334331024 191432844 22 0 6 23 20 368.64/368.75 c 1118461 2812193 3649827361 208912737 22 0 7 26 22 395.84/395.99 c 1230377 3066065 3944058237 226522780 22 0 5 25 20 432.44/432.53 c 1353484 3375115 4334264197 247866837 22 0 7 25 21 470.14/470.29 c 1488901 3703747 4731684751 270723848 22 0 6 24 20 516.24/516.34 c 1637859 4072564 5215597752 297269482 22 0 7 25 21 590.04/590.11 c 1801712 4520821 5883013149 338031862 22 0 8 19 16 647.04/647.14 c 1981950 5010246 6490256193 370446824 22 0 13 24 21 722.15/722.28 c 2180211 5561130 7244250046 411763075 22 0 7 24 20 777.55/777.67 c 2398298 6077126 7887509708 446164744 22 0 5 25 21 896.45/896.57 c 2638193 6726616 8946468038 507691866 22 0 9 20 16 974.15/974.22 c 2902077 7369333 9742738717 555001498 22 0 6 25 20 1058.26/1058.36 c 3192349 8038480 10625598084 609703103 22 0 6 25 20 1157.86/1157.93 c 3511648 8853774 11662831394 667467616 22 0 7 25 20 1330.87/1330.96 c 3862876 9831474 13205970576 759226271 22 0 9 20 16 1444.58/1444.66 c 4249226 10793228 14400802344 828161289 22 0 6 25 20 1575.58/1575.60 c 4674211 11834094 15755525851 906872317 22 0 6 25 20 1711.78/1711.89 c 5141694 12954774 17132044165 989683285 22 0 6 25 20 1904.29/1904.37 c 5655925 14383292 19064997125 1090624567 22 0 10 27 24 2037.69/2037.76 c 6221579 15645557 20458679910 1172489215 22 0 5 25 20 2226.50/2226.58 c 6843798 17222746 22551168948 1284909237 22 0 6 26 21 2378.00/2378.00 c 7528238 18662227 24130006091 1381112471 22 0 4 26 20 2520.01/2520.00 2520.01/2520.00 c *** INTERRUPTED *** 2520.01/2520.00 c restarts : 94 2520.01/2520.00 c conflicts : 8033703 (3188 /sec) 2520.01/2520.00 c decisions : 19894407 (7895 /sec) 2520.01/2520.00 c propagations : 1469392000 (583097 /sec) 2520.01/2520.00 c root propagations : 132 2520.01/2520.00 c filter calls : 25675177206 (10188641 /sec) 2520.01/2520.00 c useless filter calls : 24841289288 (96 %) 2520.01/2520.00 c Memory used : 29.81 MB 2520.01/2520.00 c CPU time : 2519.98 s 2520.01/2520.00 2520.01/2520.00 s UNKNOWN
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-4268218-1502535337/watcher-4268218-1502535337 -o /tmp/evaluation-result-4268218-1502535337/solver-4268218-1502535337 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268218-1502535337.xml pid=949 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 2.08 2.04 2.05 2/187 952 /proc/meminfo: memFree=30849280/32770624 swapFree=0/590256 [pid=952] ppid=949 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/952/stat : 952 (runsolver) D 949 952 24445 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 101040008 24240128 107 18446744073709551615 4194304 4338465 140720416863504 140720416861144 139974565548759 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 10489856 140720416866497 140720416866889 140720416866889 140720416870346 0 /proc/952/statm: 5918 107 54 36 0 2156 0 [startup+0.100155 s] /proc/loadavg: 2.08 2.04 2.05 2/187 952 /proc/meminfo: memFree=30849280/32770624 swapFree=0/590256 [pid=952] ppid=949 vsize=27260 CPUtime=0.03 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 1031 0 0 0 3 0 0 0 20 0 1 0 101040008 27914240 832 18446744073709551615 4194304 5972588 140725472725168 140725472721816 5402111 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 6815 832 717 435 0 178 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 27260 [startup+0.200193 s] /proc/loadavg: 2.08 2.04 2.05 2/187 952 /proc/meminfo: memFree=30849280/32770624 swapFree=0/590256 [pid=952] ppid=949 vsize=27384 CPUtime=0.13 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 1086 0 0 0 13 0 0 0 20 0 1 0 101040008 28041216 916 18446744073709551615 4194304 5972588 140725472725168 140725472721816 139769419852896 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 6846 916 750 435 0 209 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 27384 [startup+0.300238 s] /proc/loadavg: 2.08 2.04 2.05 2/187 952 /proc/meminfo: memFree=30849280/32770624 swapFree=0/590256 [pid=952] ppid=949 vsize=27504 CPUtime=0.23 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 1107 0 0 0 23 0 0 0 20 0 1 0 101040008 28164096 947 18446744073709551615 4194304 5972588 140725472725168 140725472721816 139769428759832 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 6876 947 750 435 0 239 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 27504 [startup+0.700139 s] /proc/loadavg: 2.08 2.04 2.05 2/187 952 /proc/meminfo: memFree=30849280/32770624 swapFree=0/590256 [pid=952] ppid=949 vsize=27756 CPUtime=0.62 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 1188 0 0 0 62 0 0 0 20 0 1 0 101040008 28422144 1009 18446744073709551615 4194304 5972588 140725472725168 140725472721816 139769419852896 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 6939 1009 750 435 0 302 0 Current children cumulated CPU time (s) 0.62 Current children cumulated vsize (KiB) 27756 [startup+1.50022 s] /proc/loadavg: 2.08 2.04 2.05 3/186 953 /proc/meminfo: memFree=30850016/32770624 swapFree=0/590264 [pid=952] ppid=949 vsize=28392 CPUtime=1.43 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 1343 0 0 0 142 1 0 0 20 0 1 0 101040008 29073408 1133 18446744073709551615 4194304 5972588 140725472725168 140725472708888 139769419852896 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7098 1133 750 435 0 461 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 28392 [startup+3.10021 s] /proc/loadavg: 2.08 2.04 2.05 3/186 953 /proc/meminfo: memFree=30848244/32770624 swapFree=0/590264 [pid=952] ppid=949 vsize=29620 CPUtime=3.02 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 2147 0 0 0 301 1 0 0 20 0 1 0 101040008 30330880 1495 18446744073709551615 4194304 5972588 140725472725168 140725472708888 139769419423684 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7405 1495 764 435 0 768 0 Current children cumulated CPU time (s) 3.02 Current children cumulated vsize (KiB) 29620 [startup+6.30022 s] /proc/loadavg: 2.08 2.04 2.05 3/185 953 /proc/meminfo: memFree=30848168/32770624 swapFree=0/590264 [pid=952] ppid=949 vsize=30520 CPUtime=6.22 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 3350 0 0 0 621 1 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 4962251 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 30520 [startup+12.7002 s] /proc/loadavg: 2.06 2.04 2.05 3/185 953 /proc/meminfo: memFree=30848108/32770624 swapFree=0/590264 [pid=952] ppid=949 vsize=30520 CPUtime=12.62 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 4243 0 0 0 1261 1 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5077421 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 30520 [startup+25.5003 s] /proc/loadavg: 2.05 2.04 2.05 3/185 953 /proc/meminfo: memFree=30848232/32770624 swapFree=0/590256 [pid=952] ppid=949 vsize=30520 CPUtime=25.43 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 6027 0 0 0 2541 2 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5070984 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 30520 [startup+51.1003 s] /proc/loadavg: 2.04 2.04 2.05 3/185 953 /proc/meminfo: memFree=30848660/32770624 swapFree=0/590256 [pid=952] ppid=949 vsize=30520 CPUtime=51.03 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 6919 0 0 0 5101 2 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5328649 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 30520 [startup+102.3 s] /proc/loadavg: 2.05 2.04 2.05 3/185 1017 /proc/meminfo: memFree=30979208/32770624 swapFree=0/590268 [pid=952] ppid=949 vsize=30520 CPUtime=102.23 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 7302 0 0 0 10221 2 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5077413 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 30520 [startup+162.3 s] /proc/loadavg: 2.02 2.04 2.05 3/185 1019 /proc/meminfo: memFree=30978504/32770624 swapFree=0/590276 [pid=952] ppid=949 vsize=30520 CPUtime=162.23 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 7683 0 0 0 16221 2 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5321128 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 30520 [startup+222.306 s] /proc/loadavg: 2.01 2.03 2.05 3/186 1022 /proc/meminfo: memFree=30978372/32770624 swapFree=0/590268 [pid=952] ppid=949 vsize=30520 CPUtime=222.24 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 8064 0 0 0 22222 2 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 4908987 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 30520 [startup+282.3 s] /proc/loadavg: 2.05 2.04 2.05 3/185 1024 /proc/meminfo: memFree=30978112/32770624 swapFree=0/590268 [pid=952] ppid=949 vsize=30520 CPUtime=282.24 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 8445 0 0 0 28222 2 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5070984 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 30520 [startup+342.3 s] /proc/loadavg: 2.16 2.08 2.06 3/185 1026 /proc/meminfo: memFree=30978232/32770624 swapFree=0/590292 [pid=952] ppid=949 vsize=30520 CPUtime=342.24 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 8826 0 0 0 34222 2 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5070896 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 30520 [startup+402.3 s] /proc/loadavg: 2.10 2.08 2.06 3/185 1028 /proc/meminfo: memFree=30978240/32770624 swapFree=0/590292 [pid=952] ppid=949 vsize=30520 CPUtime=402.24 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 9207 0 0 0 40222 2 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 4965480 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 402.24 Current children cumulated vsize (KiB) 30520 [startup+462.3 s] /proc/loadavg: 2.04 2.07 2.05 3/185 1030 /proc/meminfo: memFree=30978240/32770624 swapFree=0/590296 [pid=952] ppid=949 vsize=30520 CPUtime=462.24 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 9588 0 0 0 46222 2 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 4909660 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 462.24 Current children cumulated vsize (KiB) 30520 [startup+522.3 s] /proc/loadavg: 2.11 2.08 2.06 3/188 1047 /proc/meminfo: memFree=30972336/32770624 swapFree=0/590320 [pid=952] ppid=949 vsize=30520 CPUtime=522.24 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 9969 0 0 0 52222 2 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 4965342 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 522.24 Current children cumulated vsize (KiB) 30520 [startup+582.3 s] /proc/loadavg: 2.04 2.07 2.05 3/188 1049 /proc/meminfo: memFree=30972608/32770624 swapFree=0/590324 [pid=952] ppid=949 vsize=30520 CPUtime=582.24 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 10331 0 0 0 58222 2 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5328649 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 582.24 Current children cumulated vsize (KiB) 30520 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 1130 /proc/meminfo: memFree=30976464/32770624 swapFree=0/590416 [pid=952] ppid=949 vsize=30520 CPUtime=1602.28 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 16659 0 0 0 160225 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5071309 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 1602.28 Current children cumulated vsize (KiB) 30520 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 1133 /proc/meminfo: memFree=30976464/32770624 swapFree=0/590436 [pid=952] ppid=949 vsize=30520 CPUtime=1662.28 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 16659 0 0 0 166225 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 4965342 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 1662.28 Current children cumulated vsize (KiB) 30520 [startup+1722.3 s] /proc/loadavg: 2.05 2.03 2.05 3/188 1149 /proc/meminfo: memFree=30972588/32770624 swapFree=0/590468 [pid=952] ppid=949 vsize=30520 CPUtime=1722.28 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 17040 0 0 0 172225 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 4909639 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 30520 [startup+1782.3 s] /proc/loadavg: 2.02 2.02 2.05 3/189 1152 /proc/meminfo: memFree=30972448/32770624 swapFree=0/590484 [pid=952] ppid=949 vsize=30520 CPUtime=1782.29 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 17390 0 0 0 178226 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5071903 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 30520 [startup+1842.3 s] /proc/loadavg: 2.09 2.03 2.05 3/185 1154 /proc/meminfo: memFree=30975736/32770624 swapFree=0/590492 [pid=952] ppid=949 vsize=30520 CPUtime=1842.29 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 17740 0 0 0 184226 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 4909679 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 1842.29 Current children cumulated vsize (KiB) 30520 [startup+1902.3 s] /proc/loadavg: 2.03 2.03 2.05 3/185 1156 /proc/meminfo: memFree=30976232/32770624 swapFree=0/590500 [pid=952] ppid=949 vsize=30520 CPUtime=1902.29 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 18090 0 0 0 190226 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5070944 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 1902.29 Current children cumulated vsize (KiB) 30520 [startup+1962.3 s] /proc/loadavg: 2.01 2.02 2.05 3/185 1158 /proc/meminfo: memFree=30976480/32770624 swapFree=0/590512 [pid=952] ppid=949 vsize=30520 CPUtime=1962.29 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 18482 0 0 0 196226 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5071010 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 1962.29 Current children cumulated vsize (KiB) 30520 [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/186 1161 /proc/meminfo: memFree=30976464/32770624 swapFree=0/590516 [pid=952] ppid=949 vsize=30520 CPUtime=2022.29 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 18843 0 0 0 202226 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5070704 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 2022.29 Current children cumulated vsize (KiB) 30520 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 1163 /proc/meminfo: memFree=30976852/32770624 swapFree=0/590516 [pid=952] ppid=949 vsize=30520 CPUtime=2082.3 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 19224 0 0 0 208227 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5070984 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 2082.3 Current children cumulated vsize (KiB) 30520 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 1165 /proc/meminfo: memFree=30976728/32770624 swapFree=0/590520 [pid=952] ppid=949 vsize=30520 CPUtime=2142.3 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 19580 0 0 0 214227 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5071820 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 2142.3 Current children cumulated vsize (KiB) 30520 [startup+2202.31 s] /proc/loadavg: 1.99 2.01 2.04 3/185 1236 /proc/meminfo: memFree=30966752/32770624 swapFree=0/590544 [pid=952] ppid=949 vsize=30520 CPUtime=2202.3 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 19936 0 0 0 220227 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5077416 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 2202.3 Current children cumulated vsize (KiB) 30520 [startup+2262.3 s] /proc/loadavg: 2.05 2.03 2.05 3/186 1239 /proc/meminfo: memFree=30967528/32770624 swapFree=0/590556 [pid=952] ppid=949 vsize=30520 CPUtime=2262.3 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 20317 0 0 0 226227 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5077385 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 2262.3 Current children cumulated vsize (KiB) 30520 [startup+2322.3 s] /proc/loadavg: 2.02 2.02 2.05 3/188 1255 /proc/meminfo: memFree=30962892/32770624 swapFree=0/590568 [pid=952] ppid=949 vsize=30520 CPUtime=2322.3 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 20317 0 0 0 232227 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5328670 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 2322.3 Current children cumulated vsize (KiB) 30520 [startup+2382.3 s] /proc/loadavg: 2.01 2.02 2.05 3/188 1257 /proc/meminfo: memFree=30962780/32770624 swapFree=0/590588 [pid=952] ppid=949 vsize=30520 CPUtime=2382.3 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 20698 0 0 0 238227 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5070912 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 2382.3 Current children cumulated vsize (KiB) 30520 [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 1259 /proc/meminfo: memFree=30964876/32770624 swapFree=0/590600 [pid=952] ppid=949 vsize=30520 CPUtime=2442.3 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 21053 0 0 0 244227 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 4909594 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 2442.3 Current children cumulated vsize (KiB) 30520 [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 1261 /proc/meminfo: memFree=30966444/32770624 swapFree=0/590616 [pid=952] ppid=949 vsize=30520 CPUtime=2502.3 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 21053 0 0 0 250227 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 4965428 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 2502.3 Current children cumulated vsize (KiB) 30520 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 2.00 2.01 2.05 3/186 1262 /proc/meminfo: memFree=30966304/32770624 swapFree=0/590612 [pid=952] ppid=949 vsize=30520 CPUtime=2520.01 cores=1,3,5,7 /proc/952/stat : 952 (cosoco) R 949 952 24445 0 -1 4202496 21406 0 0 0 251998 3 0 0 20 0 1 0 101040008 31252480 1791 18446744073709551615 4194304 5972588 140725472725168 140725472722472 5077461 0 0 1 8405026 0 0 0 17 3 0 0 6 0 0 8070896 8075904 27004928 140725472731630 140725472731725 140725472731725 140725472735182 0 /proc/952/statm: 7630 1791 831 435 0 993 0 Current children cumulated CPU time (s) 2520.01 Current children cumulated vsize (KiB) 30520 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 952 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520 CPU time (s): 2520.02 CPU user time (s): 2519.98 CPU system time (s): 0.035001 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 30520 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.98 system time used= 0.035001 maximum resident set size= 7236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21458 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= 7 involuntary context switches= 1814 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.72846 second user time and 7.80082 second system time The end
Begin job on node134 at 2017-08-12 12:41:41 IDJOB=4268218 IDBENCH=130604 IDSOLVER=2658 FILE ID=node134/4268218-1502535337 RUNJOBID= node134-1502500343-24509 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-xcsp2-s1/QueenAttacking-09_X2.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268218-1502535337/watcher-4268218-1502535337 -o /tmp/evaluation-result-4268218-1502535337/solver-4268218-1502535337 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502500343-24509 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268218-1502535337.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b61d3737b957190caa39e86626214229 RANDOM SEED=2141468130 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30849020 kB MemAvailable: 31836648 kB Buffers: 301088 kB Cached: 986808 kB SwapCached: 0 kB Active: 852012 kB Inactive: 629664 kB Active(anon): 196024 kB Inactive(anon): 39408 kB Active(file): 655988 kB Inactive(file): 590256 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2500 kB Writeback: 4 kB AnonPages: 193924 kB Mapped: 56348 kB Shmem: 41660 kB Slab: 140580 kB SReclaimable: 114436 kB SUnreclaim: 26144 kB KernelStack: 3312 kB PageTables: 6152 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 470188 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 139264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node134 at 2017-08-12 13:23:42