Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-mini 1.1 (2017-07-29) | SAT (TO) | 8 | 2400.1001 | 2400.1001 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml |
MD5SUM | 4a78676e15c4a516bf0316b10322151a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 2400.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 250 |
Number of constraints | 3218 |
Number of domains | 1 |
Minimum domain size | 250 |
Maximum domain size | 250 |
Distribution of domain sizes | [{"size":250,"count":250}] |
Minimum variable degree | 14 |
Maximum variable degree | 39 |
Distribution of variable degrees | [{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":3},{"degree":17,"count":5},{"degree":18,"count":6},{"degree":19,"count":5},{"degree":20,"count":6},{"degree":21,"count":11},{"degree":22,"count":14},{"degree":23,"count":16},{"degree":24,"count":14},{"degree":25,"count":25},{"degree":26,"count":17},{"degree":27,"count":14},{"degree":28,"count":12},{"degree":29,"count":25},{"degree":30,"count":21},{"degree":31,"count":11},{"degree":32,"count":9},{"degree":33,"count":9},{"degree":34,"count":4},{"degree":35,"count":6},{"degree":36,"count":9},{"degree":37,"count":3},{"degree":38,"count":2},{"degree":39,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":3218}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3218 |
Distribution of constraint types | [{"type":"intension","count":3218}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.02/0.11 c intension x[0] != x[20] using generic constraint 0.02/0.11 c intension x[0] != x[33] using generic constraint 0.02/0.11 c intension x[0] != x[44] using generic constraint 0.02/0.11 c intension x[0] != x[47] using generic constraint 0.02/0.11 c intension x[0] != x[64] using generic constraint 0.02/0.11 c intension x[0] != x[69] using generic constraint 0.02/0.12 c intension x[0] != x[73] using generic constraint 0.02/0.12 c intension x[0] != x[78] using generic constraint 0.02/0.12 c intension x[0] != x[84] using generic constraint 0.02/0.12 c intension x[0] != x[87] using generic constraint 0.02/0.12 c intension x[0] != x[89] using generic constraint 0.02/0.12 c intension x[0] != x[92] using generic constraint 0.02/0.12 c intension x[0] != x[96] using generic constraint 0.02/0.12 c intension x[0] != x[102] using generic constraint 0.02/0.12 c intension x[0] != x[109] using generic constraint 0.02/0.12 c intension x[0] != x[111] using generic constraint 0.02/0.12 c intension x[0] != x[116] using generic constraint 0.02/0.12 c intension x[0] != x[122] using generic constraint 0.02/0.13 c intension x[0] != x[130] using generic constraint 0.02/0.13 c intension x[0] != x[131] using generic constraint 0.02/0.13 c intension x[0] != x[132] using generic constraint 0.02/0.13 c intension x[0] != x[133] using generic constraint 0.02/0.13 c intension x[0] != x[152] using generic constraint 0.02/0.13 c intension x[0] != x[166] using generic constraint 0.02/0.13 c intension x[0] != x[167] using generic constraint 0.02/0.13 c intension x[0] != x[173] using generic constraint 0.02/0.13 c intension x[0] != x[176] using generic constraint 0.02/0.13 c intension x[0] != x[191] using generic constraint 0.02/0.13 c intension x[0] != x[194] using generic constraint 0.02/0.14 c intension x[0] != x[195] using generic constraint 0.02/0.14 c intension x[0] != x[197] using generic constraint 0.02/0.14 c intension x[0] != x[202] using generic constraint 0.02/0.14 c intension x[0] != x[221] using generic constraint 0.02/0.14 c intension x[0] != x[230] using generic constraint 0.02/0.14 c intension x[0] != x[240] using generic constraint 0.02/0.14 c intension x[0] != x[241] using generic constraint 0.02/0.14 c intension x[0] != x[244] using generic constraint 0.02/0.14 c intension x[1] != x[4] using generic constraint 0.02/0.14 c intension x[1] != x[16] using generic constraint 0.02/0.14 c intension x[1] != x[40] using generic constraint 0.02/0.14 c intension x[1] != x[43] using generic constraint 0.02/0.15 c intension x[1] != x[50] using generic constraint 0.02/0.15 c intension x[1] != x[60] using generic constraint 0.02/0.15 c intension x[1] != x[77] using generic constraint 0.02/0.15 c intension x[1] != x[80] using generic constraint 0.02/0.15 c intension x[1] != x[86] using generic constraint 0.02/0.15 c intension x[1] != x[97] using generic constraint 0.02/0.15 c intension x[1] != x[127] using generic constraint 0.02/0.15 c intension x[1] != x[152] using generic constraint 0.02/0.15 c intension x[1] != x[163] using generic constraint 0.02/0.15 c intension x[1] != x[186] using generic constraint 0.02/0.15 c intension x[1] != x[195] using generic constraint 0.02/0.15 c intension x[1] != x[196] using generic constraint 0.02/0.16 c intension x[1] != x[199] using generic constraint 0.02/0.16 c intension x[1] != x[205] using generic constraint 0.02/0.16 c intension x[1] != x[210] using generic constraint 0.02/0.16 c intension x[1] != x[217] using generic constraint 0.02/0.16 c intension x[1] != x[241] using generic constraint 0.02/0.16 c intension x[1] != x[248] using generic constraint 0.02/0.16 c intension x[2] != x[5] using generic constraint 0.02/0.16 c intension x[2] != x[6] using generic constraint 0.02/0.16 c intension x[2] != x[12] using generic constraint 0.02/0.16 c intension x[2] != x[13] using generic constraint 0.02/0.16 c intension x[2] != x[19] using generic constraint 0.02/0.16 c intension x[2] != x[33] using generic constraint 0.02/0.17 c intension x[2] != x[44] using generic constraint 0.02/0.17 c intension x[2] != x[47] using generic constraint 0.02/0.17 c intension x[2] != x[51] using generic constraint 0.02/0.17 c intension x[2] != x[58] using generic constraint 0.02/0.17 c intension x[2] != x[65] using generic constraint 0.02/0.17 c intension x[2] != x[68] using generic constraint 0.02/0.17 c intension x[2] != x[79] using generic constraint 0.02/0.17 c intension x[2] != x[93] using generic constraint 0.02/0.17 c intension x[2] != x[111] using generic constraint 0.02/0.17 c intension x[2] != x[116] using generic constraint 0.02/0.17 c intension x[2] != x[117] using generic constraint 0.02/0.17 c intension x[2] != x[127] using generic constraint 0.02/0.18 c intension x[2] != x[157] using generic constraint 0.02/0.18 c intension x[2] != x[173] using generic constraint 0.02/0.18 c intension x[2] != x[176] using generic constraint 0.02/0.18 c intension x[2] != x[183] using generic constraint 0.02/0.18 c intension x[2] != x[188] using generic constraint 0.02/0.18 c intension x[2] != x[220] using generic constraint 0.02/0.18 c intension x[3] != x[5] using generic constraint 0.02/0.18 c intension x[3] != x[18] using generic constraint 0.02/0.18 c intension x[3] != x[39] using generic constraint 0.02/0.18 c intension x[3] != x[40] using generic constraint 0.02/0.18 c intension x[3] != x[56] using generic constraint 0.02/0.18 c intension x[3] != x[68] using generic constraint 0.02/0.19 c intension x[3] != x[70] using generic constraint 0.02/0.19 c intension x[3] != x[89] using generic constraint 0.02/0.19 c intension x[3] != x[108] using generic constraint 0.02/0.19 c intension x[3] != x[116] using generic constraint 0.02/0.19 c intension x[3] != x[129] using generic constraint 0.02/0.19 c intension x[3] != x[131] using generic constraint 0.02/0.19 c intension x[3] != x[140] using generic constraint 0.02/0.19 c intension x[3] != x[144] using generic constraint 0.02/0.19 c intension x[3] != x[185] using generic constraint 0.02/0.19 c intension x[3] != x[189] using generic constraint 0.02/0.19 c intension x[3] != x[190] using generic constraint 0.02/0.19 c intension x[3] != x[194] using generic constraint 0.02/0.20 c intension x[3] != x[209] using generic constraint 0.12/0.20 c intension x[3] != x[219] using generic constraint 0.12/0.20 c intension x[3] != x[223] using generic constraint 0.12/0.20 c intension x[3] != x[237] using generic constraint 0.12/0.20 c intension x[3] != x[242] using generic constraint 0.12/0.20 c intension x[3] != x[248] using generic constraint 0.12/0.20 c intension x[4] != x[18] using generic constraint 0.12/0.20 c intension x[4] != x[19] using generic constraint 0.12/0.20 c intension x[4] != x[23] using generic constraint 0.12/0.20 c intension x[4] != x[34] using generic constraint 0.12/0.20 c intension x[4] != x[37] using generic constraint 0.12/0.20 c intension x[4] != x[49] using generic constraint 0.12/0.21 c intension x[4] != x[57] using generic constraint 0.12/0.21 c intension x[4] != x[65] using generic constraint 0.12/0.21 c intension x[4] != x[68] using generic constraint 0.12/0.21 c intension x[4] != x[84] using generic constraint 0.12/0.21 c intension x[4] != x[92] using generic constraint 0.12/0.21 c intension x[4] != x[93] using generic constraint 0.12/0.21 c intension x[4] != x[94] using generic constraint 0.12/0.21 c intension x[4] != x[102] using generic constraint 0.12/0.21 c intension x[4] != x[111] using generic constraint 0.12/0.21 c intension x[4] != x[112] using generic constraint 0.12/0.21 c intension x[4] != x[115] using generic constraint 0.12/0.21 c intension x[4] != x[129] using generic constraint 0.12/0.22 c intension x[4] != x[134] using generic constraint 0.12/0.22 c intension x[4] != x[137] using generic constraint 0.12/0.22 c intension x[4] != x[139] using generic constraint 0.12/0.22 c intension x[4] != x[146] using generic constraint 0.12/0.22 c intension x[4] != x[163] using generic constraint 0.12/0.22 c intension x[4] != x[168] using generic constraint 0.12/0.22 c intension x[4] != x[185] using generic constraint 0.12/0.22 c intension x[4] != x[192] using generic constraint 0.12/0.22 c intension x[4] != x[198] using generic constraint 0.12/0.22 c intension x[4] != x[199] using generic constraint 0.12/0.22 c intension x[4] != x[208] using generic constraint 0.12/0.23 c intension x[4] != x[210] using generic constraint 0.12/0.23 c intension x[4] != x[217] using generic constraint 0.12/0.23 c intension x[4] != x[223] using generic constraint 0.12/0.23 c intension x[4] != x[237] using generic constraint 0.12/0.23 c intension x[4] != x[247] using generic constraint 0.12/0.23 c intension x[5] != x[7] using generic constraint 0.12/0.23 c intension x[5] != x[27] using generic constraint 0.12/0.23 c intension x[5] != x[33] using generic constraint 0.12/0.23 c intension x[5] != x[38] using generic constraint 0.12/0.23 c intension x[5] != x[52] using generic constraint 0.12/0.23 c intension x[5] != x[61] using generic constraint 0.12/0.23 c intension x[5] != x[62] using generic constraint 0.12/0.24 c intension x[5] != x[92] using generic constraint 0.12/0.24 c intension x[5] != x[93] using generic constraint 0.12/0.24 c intension x[5] != x[96] using generic constraint 0.12/0.24 c intension x[5] != x[99] using generic constraint 0.12/0.24 c intension x[5] != x[108] using generic constraint 0.12/0.24 c intension x[5] != x[110] using generic constraint 0.12/0.24 c intension x[5] != x[116] using generic constraint 0.12/0.24 c intension x[5] != x[117] using generic constraint 0.12/0.24 c intension x[5] != x[144] using generic constraint 0.12/0.24 c intension x[5] != x[159] using generic constraint 0.12/0.24 c intension x[5] != x[168] using generic constraint 0.12/0.24 c intension x[5] != x[177] using generic constraint 0.12/0.25 c intension x[5] != x[233] using generic constraint 0.12/0.25 c intension x[5] != x[243] using generic constraint 0.12/0.25 c intension x[6] != x[15] using generic constraint 0.12/0.25 c intension x[6] != x[48] using generic constraint 0.12/0.25 c intension x[6] != x[58] using generic constraint 0.12/0.25 c intension x[6] != x[66] using generic constraint 0.12/0.25 c intension x[6] != x[68] using generic constraint 0.12/0.25 c intension x[6] != x[83] using generic constraint 0.12/0.25 c intension x[6] != x[98] using generic constraint 0.12/0.25 c intension x[6] != x[105] using generic constraint 0.12/0.25 c intension x[6] != x[106] using generic constraint 0.12/0.25 c intension x[6] != x[118] using generic constraint 0.12/0.26 c intension x[6] != x[122] using generic constraint 0.12/0.26 c intension x[6] != x[153] using generic constraint 0.12/0.26 c intension x[6] != x[164] using generic constraint 0.12/0.26 c intension x[6] != x[165] using generic constraint 0.12/0.26 c intension x[6] != x[168] using generic constraint 0.12/0.26 c intension x[6] != x[177] using generic constraint 0.12/0.26 c intension x[6] != x[194] using generic constraint 0.12/0.26 c intension x[6] != x[205] using generic constraint 0.12/0.26 c intension x[6] != x[213] using generic constraint 0.12/0.26 c intension x[6] != x[217] using generic constraint 0.12/0.26 c intension x[6] != x[220] using generic constraint 0.12/0.26 c intension x[6] != x[225] using generic constraint 0.12/0.27 c intension x[6] != x[228] using generic constraint 0.12/0.27 c intension x[6] != x[229] using generic constraint 0.12/0.27 c intension x[6] != x[245] using generic constraint 0.12/0.27 c intension x[7] != x[9] using generic constraint 0.12/0.27 c intension x[7] != x[14] using generic constraint 0.12/0.27 c intension x[7] != x[38] using generic constraint 0.12/0.27 c intension x[7] != x[48] using generic constraint 0.12/0.27 c intension x[7] != x[61] using generic constraint 0.12/0.27 c intension x[7] != x[67] using generic constraint 0.12/0.27 c intension x[7] != x[80] using generic constraint 0.12/0.27 c intension x[7] != x[89] using generic constraint 0.12/0.27 c intension x[7] != x[100] using generic constraint 0.12/0.28 c intension x[7] != x[106] using generic constraint 0.12/0.28 c intension x[7] != x[120] using generic constraint 0.12/0.28 c intension x[7] != x[138] using generic constraint 0.12/0.28 c intension x[7] != x[147] using generic constraint 0.12/0.28 c intension x[7] != x[149] using generic constraint 0.12/0.28 c intension x[7] != x[168] using generic constraint 0.12/0.28 c intension x[7] != x[174] using generic constraint 0.12/0.28 c intension x[7] != x[176] using generic constraint 0.12/0.28 c intension x[7] != x[195] using generic constraint 0.12/0.28 c intension x[7] != x[196] using generic constraint 0.12/0.28 c intension x[7] != x[207] using generic constraint 0.12/0.29 c intension x[7] != x[225] using generic constraint 0.12/0.29 c intension x[7] != x[231] using generic constraint 0.12/0.29 c intension x[7] != x[240] using generic constraint 0.12/0.29 c intension x[7] != x[242] using generic constraint 0.12/0.29 c intension x[8] != x[20] using generic constraint 0.12/0.29 c intension x[8] != x[32] using generic constraint 0.12/0.29 c intension x[8] != x[50] using generic constraint 0.12/0.29 c intension x[8] != x[59] using generic constraint 0.12/0.29 c intension x[8] != x[65] using generic constraint 0.12/0.29 c intension x[8] != x[66] using generic constraint 0.12/0.29 c intension x[8] != x[86] using generic constraint 0.12/0.29 c intension x[8] != x[108] using generic constraint 0.12/0.30 c intension x[8] != x[109] using generic constraint 0.22/0.30 c intension x[8] != x[110] using generic constraint 0.22/0.30 c intension x[8] != x[123] using generic constraint 0.22/0.30 c intension x[8] != x[145] using generic constraint 0.22/0.30 c intension x[8] != x[155] using generic constraint 0.22/0.30 c intension x[8] != x[157] using generic constraint 0.22/0.30 c intension x[8] != x[158] using generic constraint 0.22/0.30 c intension x[8] != x[159] using generic constraint 0.22/0.30 c intension x[8] != x[171] using generic constraint 0.22/0.30 c intension x[8] != x[174] using generic constraint 0.22/0.30 c intension x[8] != x[200] using generic constraint 0.22/0.30 c intension x[8] != x[231] using generic constraint 0.22/0.31 c intension x[8] != x[240] using generic constraint 0.22/0.31 c intension x[8] != x[247] using generic constraint 0.22/0.31 c intension x[8] != x[248] using generic constraint 0.22/0.31 c intension x[9] != x[17] using generic constraint 0.22/0.31 c intension x[9] != x[38] using generic constraint 0.22/0.31 c intension x[9] != x[43] using generic constraint 0.22/0.31 c intension x[9] != x[54] using generic constraint 0.22/0.31 c intension x[9] != x[64] using generic constraint 0.22/0.31 c intension x[9] != x[69] using generic constraint 0.22/0.31 c intension x[9] != x[75] using generic constraint 0.22/0.31 c intension x[9] != x[77] using generic constraint 0.22/0.31 c intension x[9] != x[90] using generic constraint 0.22/0.32 c intension x[9] != x[93] using generic constraint 0.22/0.32 c intension x[9] != x[94] using generic constraint 0.22/0.32 c intension x[9] != x[97] using generic constraint 0.22/0.32 c intension x[9] != x[107] using generic constraint 0.22/0.32 c intension x[9] != x[142] using generic constraint 0.22/0.32 c intension x[9] != x[173] using generic constraint 0.22/0.32 c intension x[9] != x[183] using generic constraint 0.22/0.32 c intension x[9] != x[197] using generic constraint 0.22/0.32 c intension x[9] != x[204] using generic constraint 0.22/0.32 c intension x[9] != x[218] using generic constraint 0.22/0.32 c intension x[9] != x[220] using generic constraint 0.22/0.33 c intension x[9] != x[222] using generic constraint 0.22/0.33 c intension x[9] != x[228] using generic constraint 0.22/0.33 c intension x[10] != x[27] using generic constraint 0.22/0.33 c intension x[10] != x[33] using generic constraint 0.22/0.33 c intension x[10] != x[45] using generic constraint 0.22/0.33 c intension x[10] != x[64] using generic constraint 0.22/0.33 c intension x[10] != x[84] using generic constraint 0.22/0.33 c intension x[10] != x[87] using generic constraint 0.22/0.33 c intension x[10] != x[88] using generic constraint 0.22/0.33 c intension x[10] != x[106] using generic constraint 0.22/0.33 c intension x[10] != x[109] using generic constraint 0.22/0.33 c intension x[10] != x[114] using generic constraint 0.22/0.34 c intension x[10] != x[116] using generic constraint 0.22/0.34 c intension x[10] != x[143] using generic constraint 0.22/0.34 c intension x[10] != x[146] using generic constraint 0.22/0.34 c intension x[10] != x[159] using generic constraint 0.22/0.34 c intension x[10] != x[163] using generic constraint 0.22/0.34 c intension x[10] != x[168] using generic constraint 0.22/0.34 c intension x[10] != x[182] using generic constraint 0.22/0.34 c intension x[10] != x[204] using generic constraint 0.22/0.34 c intension x[10] != x[229] using generic constraint 0.22/0.34 c intension x[10] != x[237] using generic constraint 0.22/0.34 c intension x[10] != x[239] using generic constraint 0.22/0.34 c intension x[11] != x[23] using generic constraint 0.22/0.35 c intension x[11] != x[26] using generic constraint 0.22/0.35 c intension x[11] != x[28] using generic constraint 0.22/0.35 c intension x[11] != x[60] using generic constraint 0.22/0.35 c intension x[11] != x[61] using generic constraint 0.22/0.35 c intension x[11] != x[71] using generic constraint 0.22/0.35 c intension x[11] != x[83] using generic constraint 0.22/0.35 c intension x[11] != x[101] using generic constraint 0.22/0.35 c intension x[11] != x[103] using generic constraint 0.22/0.35 c intension x[11] != x[111] using generic constraint 0.22/0.35 c intension x[11] != x[113] using generic constraint 0.22/0.35 c intension x[11] != x[116] using generic constraint 0.22/0.35 c intension x[11] != x[123] using generic constraint 0.22/0.36 c intension x[11] != x[147] using generic constraint 0.22/0.36 c intension x[11] != x[171] using generic constraint 0.22/0.36 c intension x[11] != x[185] using generic constraint 0.22/0.36 c intension x[11] != x[188] using generic constraint 0.22/0.36 c intension x[11] != x[190] using generic constraint 0.22/0.36 c intension x[11] != x[203] using generic constraint 0.22/0.36 c intension x[11] != x[242] using generic constraint 0.22/0.36 c intension x[12] != x[28] using generic constraint 0.22/0.36 c intension x[12] != x[31] using generic constraint 0.22/0.36 c intension x[12] != x[34] using generic constraint 0.22/0.36 c intension x[12] != x[35] using generic constraint 0.22/0.37 c intension x[12] != x[44] using generic constraint 0.22/0.37 c intension x[12] != x[45] using generic constraint 0.22/0.37 c intension x[12] != x[49] using generic constraint 0.22/0.37 c intension x[12] != x[56] using generic constraint 0.22/0.37 c intension x[12] != x[70] using generic constraint 0.22/0.37 c intension x[12] != x[75] using generic constraint 0.22/0.37 c intension x[12] != x[82] using generic constraint 0.22/0.37 c intension x[12] != x[87] using generic constraint 0.22/0.37 c intension x[12] != x[88] using generic constraint 0.22/0.37 c intension x[12] != x[92] using generic constraint 0.22/0.37 c intension x[12] != x[100] using generic constraint 0.22/0.37 c intension x[12] != x[102] using generic constraint 0.22/0.38 c intension x[12] != x[114] using generic constraint 0.22/0.38 c intension x[12] != x[118] using generic constraint 0.22/0.38 c intension x[12] != x[119] using generic constraint 0.22/0.38 c intension x[12] != x[132] using generic constraint 0.22/0.38 c intension x[12] != x[134] using generic constraint 0.22/0.38 c intension x[12] != x[143] using generic constraint 0.22/0.38 c intension x[12] != x[153] using generic constraint 0.22/0.38 c intension x[12] != x[171] using generic constraint 0.22/0.38 c intension x[12] != x[172] using generic constraint 0.22/0.38 c intension x[12] != x[178] using generic constraint 0.22/0.38 c intension x[12] != x[186] using generic constraint 0.22/0.38 c intension x[12] != x[212] using generic constraint 0.22/0.39 c intension x[12] != x[229] using generic constraint 0.22/0.39 c intension x[12] != x[238] using generic constraint 0.22/0.39 c intension x[13] != x[18] using generic constraint 0.22/0.39 c intension x[13] != x[36] using generic constraint 0.22/0.39 c intension x[13] != x[37] using generic constraint 0.22/0.39 c intension x[13] != x[38] using generic constraint 0.22/0.39 c intension x[13] != x[39] using generic constraint 0.22/0.39 c intension x[13] != x[56] using generic constraint 0.22/0.39 c intension x[13] != x[81] using generic constraint 0.22/0.39 c intension x[13] != x[97] using generic constraint 0.22/0.39 c intension x[13] != x[102] using generic constraint 0.22/0.39 c intension x[13] != x[110] using generic constraint 0.32/0.40 c intension x[13] != x[113] using generic constraint 0.32/0.40 c intension x[13] != x[114] using generic constraint 0.32/0.40 c intension x[13] != x[128] using generic constraint 0.32/0.40 c intension x[13] != x[132] using generic constraint 0.32/0.40 c intension x[13] != x[133] using generic constraint 0.32/0.40 c intension x[13] != x[150] using generic constraint 0.32/0.40 c intension x[13] != x[152] using generic constraint 0.32/0.40 c intension x[13] != x[163] using generic constraint 0.32/0.40 c intension x[13] != x[165] using generic constraint 0.32/0.40 c intension x[13] != x[174] using generic constraint 0.32/0.40 c intension x[13] != x[187] using generic constraint 0.32/0.41 c intension x[13] != x[188] using generic constraint 0.32/0.41 c intension x[13] != x[214] using generic constraint 0.32/0.41 c intension x[13] != x[227] using generic constraint 0.32/0.41 c intension x[13] != x[236] using generic constraint 0.32/0.41 c intension x[14] != x[25] using generic constraint 0.32/0.41 c intension x[14] != x[27] using generic constraint 0.32/0.41 c intension x[14] != x[32] using generic constraint 0.32/0.41 c intension x[14] != x[45] using generic constraint 0.32/0.41 c intension x[14] != x[52] using generic constraint 0.32/0.41 c intension x[14] != x[55] using generic constraint 0.32/0.41 c intension x[14] != x[57] using generic constraint 0.32/0.41 c intension x[14] != x[70] using generic constraint 0.32/0.42 c intension x[14] != x[86] using generic constraint 0.32/0.42 c intension x[14] != x[90] using generic constraint 0.32/0.42 c intension x[14] != x[94] using generic constraint 0.32/0.42 c intension x[14] != x[100] using generic constraint 0.32/0.42 c intension x[14] != x[115] using generic constraint 0.32/0.42 c intension x[14] != x[128] using generic constraint 0.32/0.42 c intension x[14] != x[137] using generic constraint 0.32/0.42 c intension x[14] != x[140] using generic constraint 0.32/0.42 c intension x[14] != x[142] using generic constraint 0.32/0.42 c intension x[14] != x[144] using generic constraint 0.32/0.42 c intension x[14] != x[152] using generic constraint 0.32/0.42 c intension x[14] != x[158] using generic constraint 0.32/0.43 c intension x[14] != x[160] using generic constraint 0.32/0.43 c intension x[14] != x[221] using generic constraint 0.32/0.43 c intension x[14] != x[231] using generic constraint 0.32/0.43 c intension x[15] != x[28] using generic constraint 0.32/0.43 c intension x[15] != x[30] using generic constraint 0.32/0.43 c intension x[15] != x[62] using generic constraint 0.32/0.43 c intension x[15] != x[70] using generic constraint 0.32/0.43 c intension x[15] != x[90] using generic constraint 0.32/0.43 c intension x[15] != x[98] using generic constraint 0.32/0.43 c intension x[15] != x[101] using generic constraint 0.32/0.43 c intension x[15] != x[116] using generic constraint 0.32/0.44 c intension x[15] != x[121] using generic constraint 0.32/0.44 c intension x[15] != x[125] using generic constraint 0.32/0.44 c intension x[15] != x[131] using generic constraint 0.32/0.44 c intension x[15] != x[139] using generic constraint 0.32/0.44 c intension x[15] != x[145] using generic constraint 0.32/0.44 c intension x[15] != x[148] using generic constraint 0.32/0.44 c intension x[15] != x[149] using generic constraint 0.32/0.44 c intension x[15] != x[170] using generic constraint 0.32/0.44 c intension x[15] != x[173] using generic constraint 0.32/0.44 c intension x[15] != x[187] using generic constraint 0.32/0.44 c intension x[15] != x[188] using generic constraint 0.32/0.44 c intension x[15] != x[225] using generic constraint 0.32/0.45 c intension x[15] != x[229] using generic constraint 0.32/0.45 c intension x[15] != x[240] using generic constraint 0.32/0.45 c intension x[15] != x[248] using generic constraint 0.32/0.45 c intension x[16] != x[18] using generic constraint 0.32/0.45 c intension x[16] != x[21] using generic constraint 0.32/0.45 c intension x[16] != x[32] using generic constraint 0.32/0.45 c intension x[16] != x[39] using generic constraint 0.32/0.45 c intension x[16] != x[45] using generic constraint 0.32/0.45 c intension x[16] != x[51] using generic constraint 0.32/0.45 c intension x[16] != x[68] using generic constraint 0.32/0.45 c intension x[16] != x[70] using generic constraint 0.32/0.45 c intension x[16] != x[72] using generic constraint 0.32/0.46 c intension x[16] != x[86] using generic constraint 0.32/0.46 c intension x[16] != x[95] using generic constraint 0.32/0.46 c intension x[16] != x[97] using generic constraint 0.32/0.46 c intension x[16] != x[113] using generic constraint 0.32/0.46 c intension x[16] != x[120] using generic constraint 0.32/0.46 c intension x[16] != x[138] using generic constraint 0.32/0.46 c intension x[16] != x[156] using generic constraint 0.32/0.46 c intension x[16] != x[158] using generic constraint 0.32/0.46 c intension x[16] != x[187] using generic constraint 0.32/0.46 c intension x[16] != x[203] using generic constraint 0.32/0.46 c intension x[16] != x[208] using generic constraint 0.32/0.47 c intension x[16] != x[211] using generic constraint 0.32/0.47 c intension x[16] != x[216] using generic constraint 0.32/0.47 c intension x[16] != x[225] using generic constraint 0.32/0.47 c intension x[16] != x[243] using generic constraint 0.32/0.47 c intension x[17] != x[28] using generic constraint 0.32/0.47 c intension x[17] != x[37] using generic constraint 0.32/0.47 c intension x[17] != x[40] using generic constraint 0.32/0.47 c intension x[17] != x[54] using generic constraint 0.32/0.47 c intension x[17] != x[62] using generic constraint 0.32/0.47 c intension x[17] != x[63] using generic constraint 0.32/0.47 c intension x[17] != x[79] using generic constraint 0.32/0.47 c intension x[17] != x[84] using generic constraint 0.32/0.48 c intension x[17] != x[91] using generic constraint 0.32/0.48 c intension x[17] != x[127] using generic constraint 0.32/0.48 c intension x[17] != x[145] using generic constraint 0.32/0.48 c intension x[17] != x[147] using generic constraint 0.32/0.48 c intension x[17] != x[159] using generic constraint 0.32/0.48 c intension x[17] != x[161] using generic constraint 0.32/0.48 c intension x[17] != x[162] using generic constraint 0.32/0.48 c intension x[17] != x[165] using generic constraint 0.32/0.48 c intension x[17] != x[167] using generic constraint 0.32/0.48 c intension x[17] != x[177] using generic constraint 0.32/0.48 c intension x[17] != x[181] using generic constraint 0.32/0.48 c intension x[17] != x[187] using generic constraint 0.32/0.49 c intension x[17] != x[188] using generic constraint 0.32/0.49 c intension x[17] != x[190] using generic constraint 0.32/0.49 c intension x[17] != x[195] using generic constraint 0.32/0.49 c intension x[17] != x[203] using generic constraint 0.32/0.49 c intension x[17] != x[207] using generic constraint 0.32/0.49 c intension x[17] != x[208] using generic constraint 0.32/0.49 c intension x[17] != x[214] using generic constraint 0.32/0.49 c intension x[17] != x[225] using generic constraint 0.32/0.49 c intension x[17] != x[239] using generic constraint 0.32/0.49 c intension x[17] != x[240] using generic constraint 0.32/0.49 c intension x[18] != x[23] using generic constraint 0.32/0.50 c intension x[18] != x[26] using generic constraint 0.42/0.50 c intension x[18] != x[35] using generic constraint 0.42/0.50 c intension x[18] != x[44] using generic constraint 0.42/0.50 c intension x[18] != x[49] using generic constraint 0.42/0.50 c intension x[18] != x[55] using generic constraint 0.42/0.50 c intension x[18] != x[68] using generic constraint 0.42/0.50 c intension x[18] != x[80] using generic constraint 0.42/0.50 c intension x[18] != x[90] using generic constraint 0.42/0.50 c intension x[18] != x[96] using generic constraint 0.42/0.50 c intension x[18] != x[97] using generic constraint 0.42/0.50 c intension x[18] != x[98] using generic constraint 0.42/0.50 c intension x[18] != x[102] using generic constraint 0.42/0.51 c intension x[18] != x[110] using generic constraint 0.42/0.51 c intension x[18] != x[121] using generic constraint 0.42/0.51 c intension x[18] != x[124] using generic constraint 0.42/0.51 c intension x[18] != x[129] using generic constraint 0.42/0.51 c intension x[18] != x[130] using generic constraint 0.42/0.51 c intension x[18] != x[139] using generic constraint 0.42/0.51 c intension x[18] != x[140] using generic constraint 0.42/0.51 c intension x[18] != x[142] using generic constraint 0.42/0.51 c intension x[18] != x[145] using generic constraint 0.42/0.51 c intension x[18] != x[159] using generic constraint 0.42/0.51 c intension x[18] != x[177] using generic constraint 0.42/0.51 c intension x[18] != x[196] using generic constraint 0.42/0.52 c intension x[18] != x[205] using generic constraint 0.42/0.52 c intension x[18] != x[216] using generic constraint 0.42/0.52 c intension x[18] != x[240] using generic constraint 0.42/0.52 c intension x[18] != x[241] using generic constraint 0.42/0.52 c intension x[18] != x[246] using generic constraint 0.42/0.52 c intension x[19] != x[26] using generic constraint 0.42/0.52 c intension x[19] != x[38] using generic constraint 0.42/0.52 c intension x[19] != x[42] using generic constraint 0.42/0.52 c intension x[19] != x[61] using generic constraint 0.42/0.52 c intension x[19] != x[113] using generic constraint 0.42/0.52 c intension x[19] != x[118] using generic constraint 0.42/0.53 c intension x[19] != x[123] using generic constraint 0.42/0.53 c intension x[19] != x[127] using generic constraint 0.42/0.53 c intension x[19] != x[128] using generic constraint 0.42/0.53 c intension x[19] != x[131] using generic constraint 0.42/0.53 c intension x[19] != x[134] using generic constraint 0.42/0.53 c intension x[19] != x[140] using generic constraint 0.42/0.53 c intension x[19] != x[152] using generic constraint 0.42/0.53 c intension x[19] != x[161] using generic constraint 0.42/0.53 c intension x[19] != x[162] using generic constraint 0.42/0.53 c intension x[19] != x[165] using generic constraint 0.42/0.53 c intension x[19] != x[168] using generic constraint 0.42/0.53 c intension x[19] != x[170] using generic constraint 0.42/0.54 c intension x[19] != x[186] using generic constraint 0.42/0.54 c intension x[19] != x[193] using generic constraint 0.42/0.54 c intension x[19] != x[198] using generic constraint 0.42/0.54 c intension x[19] != x[217] using generic constraint 0.42/0.54 c intension x[19] != x[218] using generic constraint 0.42/0.54 c intension x[19] != x[219] using generic constraint 0.42/0.54 c intension x[19] != x[227] using generic constraint 0.42/0.54 c intension x[19] != x[230] using generic constraint 0.42/0.54 c intension x[19] != x[241] using generic constraint 0.42/0.54 c intension x[19] != x[249] using generic constraint 0.42/0.54 c intension x[20] != x[31] using generic constraint 0.42/0.55 c intension x[20] != x[41] using generic constraint 0.42/0.55 c intension x[20] != x[55] using generic constraint 0.42/0.55 c intension x[20] != x[57] using generic constraint 0.42/0.55 c intension x[20] != x[60] using generic constraint 0.42/0.55 c intension x[20] != x[89] using generic constraint 0.42/0.55 c intension x[20] != x[99] using generic constraint 0.42/0.55 c intension x[20] != x[100] using generic constraint 0.42/0.55 c intension x[20] != x[110] using generic constraint 0.42/0.55 c intension x[20] != x[119] using generic constraint 0.42/0.55 c intension x[20] != x[133] using generic constraint 0.42/0.55 c intension x[20] != x[152] using generic constraint 0.42/0.55 c intension x[20] != x[156] using generic constraint 0.42/0.56 c intension x[20] != x[163] using generic constraint 0.42/0.56 c intension x[20] != x[172] using generic constraint 0.42/0.56 c intension x[20] != x[203] using generic constraint 0.42/0.56 c intension x[20] != x[218] using generic constraint 0.42/0.56 c intension x[20] != x[222] using generic constraint 0.42/0.56 c intension x[20] != x[238] using generic constraint 0.42/0.56 c intension x[20] != x[239] using generic constraint 0.42/0.56 c intension x[20] != x[243] using generic constraint 0.42/0.56 c intension x[21] != x[27] using generic constraint 0.42/0.56 c intension x[21] != x[40] using generic constraint 0.42/0.56 c intension x[21] != x[44] using generic constraint 0.42/0.56 c intension x[21] != x[48] using generic constraint 0.42/0.57 c intension x[21] != x[64] using generic constraint 0.42/0.57 c intension x[21] != x[67] using generic constraint 0.42/0.57 c intension x[21] != x[70] using generic constraint 0.42/0.57 c intension x[21] != x[84] using generic constraint 0.42/0.57 c intension x[21] != x[108] using generic constraint 0.42/0.57 c intension x[21] != x[120] using generic constraint 0.42/0.57 c intension x[21] != x[121] using generic constraint 0.42/0.57 c intension x[21] != x[125] using generic constraint 0.42/0.57 c intension x[21] != x[126] using generic constraint 0.42/0.57 c intension x[21] != x[128] using generic constraint 0.42/0.57 c intension x[21] != x[131] using generic constraint 0.42/0.58 c intension x[21] != x[140] using generic constraint 0.42/0.58 c intension x[21] != x[143] using generic constraint 0.42/0.58 c intension x[21] != x[161] using generic constraint 0.42/0.58 c intension x[21] != x[207] using generic constraint 0.42/0.58 c intension x[21] != x[213] using generic constraint 0.42/0.58 c intension x[21] != x[224] using generic constraint 0.42/0.58 c intension x[21] != x[244] using generic constraint 0.42/0.58 c intension x[22] != x[23] using generic constraint 0.42/0.58 c intension x[22] != x[28] using generic constraint 0.42/0.58 c intension x[22] != x[35] using generic constraint 0.42/0.58 c intension x[22] != x[39] using generic constraint 0.42/0.58 c intension x[22] != x[56] using generic constraint 0.42/0.59 c intension x[22] != x[57] using generic constraint 0.42/0.59 c intension x[22] != x[74] using generic constraint 0.42/0.59 c intension x[22] != x[83] using generic constraint 0.42/0.59 c intension x[22] != x[85] using generic constraint 0.42/0.59 c intension x[22] != x[90] using generic constraint 0.42/0.59 c intension x[22] != x[100] using generic constraint 0.42/0.59 c intension x[22] != x[102] using generic constraint 0.42/0.59 c intension x[22] != x[114] using generic constraint 0.42/0.59 c intension x[22] != x[120] using generic constraint 0.42/0.59 c intension x[22] != x[138] using generic constraint 0.42/0.59 c intension x[22] != x[143] using generic constraint 0.42/0.59 c intension x[22] != x[152] using generic constraint 0.52/0.60 c intension x[22] != x[153] using generic constraint 0.52/0.60 c intension x[22] != x[156] using generic constraint 0.52/0.60 c intension x[22] != x[178] using generic constraint 0.52/0.60 c intension x[22] != x[187] using generic constraint 0.52/0.60 c intension x[22] != x[190] using generic constraint 0.52/0.60 c intension x[22] != x[201] using generic constraint 0.52/0.60 c intension x[22] != x[211] using generic constraint 0.52/0.60 c intension x[22] != x[223] using generic constraint 0.52/0.60 c intension x[22] != x[237] using generic constraint 0.52/0.60 c intension x[22] != x[239] using generic constraint 0.52/0.60 c intension x[22] != x[246] using generic constraint 0.52/0.61 c intension x[23] != x[31] using generic constraint 0.52/0.61 c intension x[23] != x[53] using generic constraint 0.52/0.61 c intension x[23] != x[65] using generic constraint 0.52/0.61 c intension x[23] != x[70] using generic constraint 0.52/0.61 c intension x[23] != x[73] using generic constraint 0.52/0.61 c intension x[23] != x[100] using generic constraint 0.52/0.61 c intension x[23] != x[107] using generic constraint 0.52/0.61 c intension x[23] != x[118] using generic constraint 0.52/0.61 c intension x[23] != x[121] using generic constraint 0.52/0.61 c intension x[23] != x[127] using generic constraint 0.52/0.61 c intension x[23] != x[133] using generic constraint 0.52/0.61 c intension x[23] != x[135] using generic constraint 0.52/0.62 c intension x[23] != x[153] using generic constraint 0.52/0.62 c intension x[23] != x[154] using generic constraint 0.52/0.62 c intension x[23] != x[156] using generic constraint 0.52/0.62 c intension x[23] != x[168] using generic constraint 0.52/0.62 c intension x[23] != x[179] using generic constraint 0.52/0.62 c intension x[23] != x[248] using generic constraint 0.52/0.62 c intension x[24] != x[40] using generic constraint 0.52/0.62 c intension x[24] != x[43] using generic constraint 0.52/0.62 c intension x[24] != x[51] using generic constraint 0.52/0.62 c intension x[24] != x[56] using generic constraint 0.52/0.62 c intension x[24] != x[66] using generic constraint 0.52/0.62 c intension x[24] != x[83] using generic constraint 0.52/0.63 c intension x[24] != x[87] using generic constraint 0.52/0.63 c intension x[24] != x[92] using generic constraint 0.52/0.63 c intension x[24] != x[93] using generic constraint 0.52/0.63 c intension x[24] != x[99] using generic constraint 0.52/0.63 c intension x[24] != x[103] using generic constraint 0.52/0.63 c intension x[24] != x[104] using generic constraint 0.52/0.63 c intension x[24] != x[111] using generic constraint 0.52/0.63 c intension x[24] != x[126] using generic constraint 0.52/0.63 c intension x[24] != x[190] using generic constraint 0.52/0.63 c intension x[24] != x[240] using generic constraint 0.52/0.63 c intension x[24] != x[242] using generic constraint 0.52/0.64 c intension x[24] != x[248] using generic constraint 0.52/0.64 c intension x[25] != x[39] using generic constraint 0.52/0.64 c intension x[25] != x[40] using generic constraint 0.52/0.64 c intension x[25] != x[47] using generic constraint 0.52/0.64 c intension x[25] != x[55] using generic constraint 0.52/0.64 c intension x[25] != x[96] using generic constraint 0.52/0.64 c intension x[25] != x[101] using generic constraint 0.52/0.64 c intension x[25] != x[103] using generic constraint 0.52/0.64 c intension x[25] != x[106] using generic constraint 0.52/0.64 c intension x[25] != x[112] using generic constraint 0.52/0.64 c intension x[25] != x[123] using generic constraint 0.52/0.64 c intension x[25] != x[157] using generic constraint 0.52/0.65 c intension x[25] != x[159] using generic constraint 0.52/0.65 c intension x[25] != x[173] using generic constraint 0.52/0.65 c intension x[25] != x[179] using generic constraint 0.52/0.65 c intension x[25] != x[182] using generic constraint 0.52/0.65 c intension x[25] != x[197] using generic constraint 0.52/0.65 c intension x[25] != x[200] using generic constraint 0.52/0.65 c intension x[25] != x[247] using generic constraint 0.52/0.65 c intension x[26] != x[32] using generic constraint 0.52/0.65 c intension x[26] != x[35] using generic constraint 0.52/0.65 c intension x[26] != x[41] using generic constraint 0.52/0.65 c intension x[26] != x[47] using generic constraint 0.52/0.65 c intension x[26] != x[49] using generic constraint 0.52/0.66 c intension x[26] != x[70] using generic constraint 0.52/0.66 c intension x[26] != x[78] using generic constraint 0.52/0.66 c intension x[26] != x[95] using generic constraint 0.52/0.66 c intension x[26] != x[109] using generic constraint 0.52/0.66 c intension x[26] != x[126] using generic constraint 0.52/0.66 c intension x[26] != x[144] using generic constraint 0.52/0.66 c intension x[26] != x[151] using generic constraint 0.52/0.66 c intension x[26] != x[158] using generic constraint 0.52/0.66 c intension x[26] != x[176] using generic constraint 0.52/0.66 c intension x[26] != x[199] using generic constraint 0.52/0.66 c intension x[26] != x[204] using generic constraint 0.52/0.67 c intension x[26] != x[212] using generic constraint 0.52/0.67 c intension x[26] != x[215] using generic constraint 0.52/0.67 c intension x[26] != x[221] using generic constraint 0.52/0.67 c intension x[26] != x[237] using generic constraint 0.52/0.67 c intension x[26] != x[244] using generic constraint 0.52/0.67 c intension x[27] != x[34] using generic constraint 0.52/0.67 c intension x[27] != x[41] using generic constraint 0.52/0.67 c intension x[27] != x[45] using generic constraint 0.52/0.67 c intension x[27] != x[50] using generic constraint 0.52/0.67 c intension x[27] != x[51] using generic constraint 0.52/0.67 c intension x[27] != x[52] using generic constraint 0.52/0.67 c intension x[27] != x[60] using generic constraint 0.52/0.68 c intension x[27] != x[72] using generic constraint 0.52/0.68 c intension x[27] != x[73] using generic constraint 0.52/0.68 c intension x[27] != x[94] using generic constraint 0.52/0.68 c intension x[27] != x[120] using generic constraint 0.52/0.68 c intension x[27] != x[124] using generic constraint 0.52/0.68 c intension x[27] != x[125] using generic constraint 0.52/0.68 c intension x[27] != x[128] using generic constraint 0.52/0.68 c intension x[27] != x[132] using generic constraint 0.52/0.68 c intension x[27] != x[136] using generic constraint 0.52/0.68 c intension x[27] != x[144] using generic constraint 0.52/0.68 c intension x[27] != x[153] using generic constraint 0.52/0.69 c intension x[27] != x[154] using generic constraint 0.52/0.69 c intension x[27] != x[167] using generic constraint 0.52/0.69 c intension x[27] != x[195] using generic constraint 0.52/0.69 c intension x[27] != x[201] using generic constraint 0.52/0.69 c intension x[27] != x[204] using generic constraint 0.52/0.69 c intension x[27] != x[214] using generic constraint 0.52/0.69 c intension x[27] != x[215] using generic constraint 0.52/0.69 c intension x[27] != x[218] using generic constraint 0.52/0.69 c intension x[27] != x[223] using generic constraint 0.52/0.69 c intension x[27] != x[241] using generic constraint 0.52/0.69 c intension x[28] != x[39] using generic constraint 0.52/0.69 c intension x[28] != x[54] using generic constraint 0.52/0.70 c intension x[28] != x[57] using generic constraint 0.62/0.70 c intension x[28] != x[66] using generic constraint 0.62/0.70 c intension x[28] != x[68] using generic constraint 0.62/0.70 c intension x[28] != x[71] using generic constraint 0.62/0.70 c intension x[28] != x[79] using generic constraint 0.62/0.70 c intension x[28] != x[93] using generic constraint 0.62/0.70 c intension x[28] != x[100] using generic constraint 0.62/0.70 c intension x[28] != x[114] using generic constraint 0.62/0.70 c intension x[28] != x[115] using generic constraint 0.62/0.70 c intension x[28] != x[130] using generic constraint 0.62/0.70 c intension x[28] != x[138] using generic constraint 0.62/0.70 c intension x[28] != x[147] using generic constraint 0.62/0.71 c intension x[28] != x[160] using generic constraint 0.62/0.71 c intension x[28] != x[165] using generic constraint 0.62/0.71 c intension x[28] != x[169] using generic constraint 0.62/0.71 c intension x[28] != x[172] using generic constraint 0.62/0.71 c intension x[28] != x[191] using generic constraint 0.62/0.71 c intension x[28] != x[198] using generic constraint 0.62/0.71 c intension x[28] != x[212] using generic constraint 0.62/0.71 c intension x[28] != x[216] using generic constraint 0.62/0.71 c intension x[28] != x[226] using generic constraint 0.62/0.71 c intension x[28] != x[231] using generic constraint 0.62/0.71 c intension x[28] != x[233] using generic constraint 0.62/0.72 c intension x[28] != x[234] using generic constraint 0.62/0.72 c intension x[28] != x[239] using generic constraint 0.62/0.72 c intension x[28] != x[244] using generic constraint 0.62/0.72 c intension x[28] != x[249] using generic constraint 0.62/0.72 c intension x[29] != x[39] using generic constraint 0.62/0.72 c intension x[29] != x[50] using generic constraint 0.62/0.72 c intension x[29] != x[52] using generic constraint 0.62/0.72 c intension x[29] != x[58] using generic constraint 0.62/0.72 c intension x[29] != x[67] using generic constraint 0.62/0.72 c intension x[29] != x[75] using generic constraint 0.62/0.72 c intension x[29] != x[86] using generic constraint 0.62/0.72 c intension x[29] != x[96] using generic constraint 0.62/0.73 c intension x[29] != x[102] using generic constraint 0.62/0.73 c intension x[29] != x[117] using generic constraint 0.62/0.73 c intension x[29] != x[118] using generic constraint 0.62/0.73 c intension x[29] != x[129] using generic constraint 0.62/0.73 c intension x[29] != x[132] using generic constraint 0.62/0.73 c intension x[29] != x[137] using generic constraint 0.62/0.73 c intension x[29] != x[141] using generic constraint 0.62/0.73 c intension x[29] != x[147] using generic constraint 0.62/0.73 c intension x[29] != x[154] using generic constraint 0.62/0.73 c intension x[29] != x[157] using generic constraint 0.62/0.73 c intension x[29] != x[182] using generic constraint 0.62/0.73 c intension x[29] != x[186] using generic constraint 0.62/0.74 c intension x[29] != x[193] using generic constraint 0.62/0.74 c intension x[29] != x[204] using generic constraint 0.62/0.74 c intension x[29] != x[223] using generic constraint 0.62/0.74 c intension x[29] != x[228] using generic constraint 0.62/0.74 c intension x[29] != x[231] using generic constraint 0.62/0.74 c intension x[29] != x[234] using generic constraint 0.62/0.74 c intension x[29] != x[240] using generic constraint 0.62/0.74 c intension x[30] != x[31] using generic constraint 0.62/0.74 c intension x[30] != x[32] using generic constraint 0.62/0.74 c intension x[30] != x[34] using generic constraint 0.62/0.74 c intension x[30] != x[45] using generic constraint 0.62/0.75 c intension x[30] != x[57] using generic constraint 0.62/0.75 c intension x[30] != x[58] using generic constraint 0.62/0.75 c intension x[30] != x[62] using generic constraint 0.62/0.75 c intension x[30] != x[104] using generic constraint 0.62/0.75 c intension x[30] != x[110] using generic constraint 0.62/0.75 c intension x[30] != x[116] using generic constraint 0.62/0.75 c intension x[30] != x[119] using generic constraint 0.62/0.75 c intension x[30] != x[142] using generic constraint 0.62/0.75 c intension x[30] != x[147] using generic constraint 0.62/0.75 c intension x[30] != x[159] using generic constraint 0.62/0.75 c intension x[30] != x[178] using generic constraint 0.62/0.75 c intension x[30] != x[199] using generic constraint 0.62/0.76 c intension x[30] != x[202] using generic constraint 0.62/0.76 c intension x[30] != x[216] using generic constraint 0.62/0.76 c intension x[30] != x[218] using generic constraint 0.62/0.76 c intension x[30] != x[249] using generic constraint 0.62/0.76 c intension x[31] != x[32] using generic constraint 0.62/0.76 c intension x[31] != x[33] using generic constraint 0.62/0.76 c intension x[31] != x[39] using generic constraint 0.62/0.76 c intension x[31] != x[48] using generic constraint 0.62/0.76 c intension x[31] != x[49] using generic constraint 0.62/0.76 c intension x[31] != x[55] using generic constraint 0.62/0.76 c intension x[31] != x[58] using generic constraint 0.62/0.77 c intension x[31] != x[62] using generic constraint 0.62/0.77 c intension x[31] != x[68] using generic constraint 0.62/0.77 c intension x[31] != x[76] using generic constraint 0.62/0.77 c intension x[31] != x[87] using generic constraint 0.62/0.77 c intension x[31] != x[94] using generic constraint 0.62/0.77 c intension x[31] != x[118] using generic constraint 0.62/0.77 c intension x[31] != x[122] using generic constraint 0.62/0.77 c intension x[31] != x[124] using generic constraint 0.62/0.77 c intension x[31] != x[131] using generic constraint 0.62/0.77 c intension x[31] != x[142] using generic constraint 0.62/0.77 c intension x[31] != x[147] using generic constraint 0.62/0.77 c intension x[31] != x[152] using generic constraint 0.62/0.78 c intension x[31] != x[160] using generic constraint 0.62/0.78 c intension x[31] != x[162] using generic constraint 0.62/0.78 c intension x[31] != x[172] using generic constraint 0.62/0.78 c intension x[31] != x[202] using generic constraint 0.62/0.78 c intension x[31] != x[207] using generic constraint 0.62/0.78 c intension x[31] != x[215] using generic constraint 0.62/0.78 c intension x[31] != x[227] using generic constraint 0.62/0.78 c intension x[31] != x[235] using generic constraint 0.62/0.78 c intension x[31] != x[237] using generic constraint 0.62/0.78 c intension x[32] != x[33] using generic constraint 0.62/0.78 c intension x[32] != x[42] using generic constraint 0.62/0.78 c intension x[32] != x[49] using generic constraint 0.62/0.79 c intension x[32] != x[58] using generic constraint 0.62/0.79 c intension x[32] != x[64] using generic constraint 0.62/0.79 c intension x[32] != x[68] using generic constraint 0.62/0.79 c intension x[32] != x[80] using generic constraint 0.62/0.79 c intension x[32] != x[101] using generic constraint 0.62/0.79 c intension x[32] != x[123] using generic constraint 0.62/0.79 c intension x[32] != x[142] using generic constraint 0.62/0.79 c intension x[32] != x[148] using generic constraint 0.62/0.79 c intension x[32] != x[155] using generic constraint 0.62/0.79 c intension x[32] != x[173] using generic constraint 0.62/0.79 c intension x[32] != x[186] using generic constraint 0.62/0.80 c intension x[32] != x[191] using generic constraint 0.72/0.80 c intension x[32] != x[194] using generic constraint 0.72/0.80 c intension x[32] != x[209] using generic constraint 0.72/0.80 c intension x[32] != x[210] using generic constraint 0.72/0.80 c intension x[32] != x[214] using generic constraint 0.72/0.80 c intension x[32] != x[233] using generic constraint 0.72/0.80 c intension x[32] != x[237] using generic constraint 0.72/0.80 c intension x[32] != x[242] using generic constraint 0.72/0.80 c intension x[32] != x[245] using generic constraint 0.72/0.80 c intension x[33] != x[47] using generic constraint 0.72/0.80 c intension x[33] != x[52] using generic constraint 0.72/0.80 c intension x[33] != x[57] using generic constraint 0.72/0.81 c intension x[33] != x[64] using generic constraint 0.72/0.81 c intension x[33] != x[68] using generic constraint 0.72/0.81 c intension x[33] != x[93] using generic constraint 0.72/0.81 c intension x[33] != x[118] using generic constraint 0.72/0.81 c intension x[33] != x[120] using generic constraint 0.72/0.81 c intension x[33] != x[156] using generic constraint 0.72/0.81 c intension x[33] != x[165] using generic constraint 0.72/0.81 c intension x[33] != x[170] using generic constraint 0.72/0.81 c intension x[33] != x[181] using generic constraint 0.72/0.81 c intension x[33] != x[203] using generic constraint 0.72/0.81 c intension x[33] != x[205] using generic constraint 0.72/0.81 c intension x[33] != x[211] using generic constraint 0.72/0.82 c intension x[33] != x[227] using generic constraint 0.72/0.82 c intension x[34] != x[35] using generic constraint 0.72/0.82 c intension x[34] != x[47] using generic constraint 0.72/0.82 c intension x[34] != x[55] using generic constraint 0.72/0.82 c intension x[34] != x[59] using generic constraint 0.72/0.82 c intension x[34] != x[60] using generic constraint 0.72/0.82 c intension x[34] != x[61] using generic constraint 0.72/0.82 c intension x[34] != x[71] using generic constraint 0.72/0.82 c intension x[34] != x[73] using generic constraint 0.72/0.82 c intension x[34] != x[78] using generic constraint 0.72/0.82 c intension x[34] != x[91] using generic constraint 0.72/0.83 c intension x[34] != x[95] using generic constraint 0.72/0.83 c intension x[34] != x[98] using generic constraint 0.72/0.83 c intension x[34] != x[127] using generic constraint 0.72/0.83 c intension x[34] != x[128] using generic constraint 0.72/0.83 c intension x[34] != x[129] using generic constraint 0.72/0.83 c intension x[34] != x[134] using generic constraint 0.72/0.83 c intension x[34] != x[151] using generic constraint 0.72/0.83 c intension x[34] != x[153] using generic constraint 0.72/0.83 c intension x[34] != x[154] using generic constraint 0.72/0.83 c intension x[34] != x[171] using generic constraint 0.72/0.83 c intension x[34] != x[175] using generic constraint 0.72/0.83 c intension x[34] != x[182] using generic constraint 0.72/0.84 c intension x[34] != x[187] using generic constraint 0.72/0.84 c intension x[34] != x[193] using generic constraint 0.72/0.84 c intension x[34] != x[206] using generic constraint 0.72/0.84 c intension x[34] != x[207] using generic constraint 0.72/0.84 c intension x[34] != x[208] using generic constraint 0.72/0.84 c intension x[34] != x[212] using generic constraint 0.72/0.84 c intension x[34] != x[218] using generic constraint 0.72/0.84 c intension x[34] != x[230] using generic constraint 0.72/0.84 c intension x[34] != x[242] using generic constraint 0.72/0.84 c intension x[35] != x[63] using generic constraint 0.72/0.84 c intension x[35] != x[71] using generic constraint 0.72/0.84 c intension x[35] != x[86] using generic constraint 0.72/0.85 c intension x[35] != x[87] using generic constraint 0.72/0.85 c intension x[35] != x[89] using generic constraint 0.72/0.85 c intension x[35] != x[92] using generic constraint 0.72/0.85 c intension x[35] != x[101] using generic constraint 0.72/0.85 c intension x[35] != x[103] using generic constraint 0.72/0.85 c intension x[35] != x[106] using generic constraint 0.72/0.85 c intension x[35] != x[113] using generic constraint 0.72/0.85 c intension x[35] != x[130] using generic constraint 0.72/0.85 c intension x[35] != x[139] using generic constraint 0.72/0.85 c intension x[35] != x[140] using generic constraint 0.72/0.85 c intension x[35] != x[146] using generic constraint 0.72/0.86 c intension x[35] != x[153] using generic constraint 0.72/0.86 c intension x[35] != x[156] using generic constraint 0.72/0.86 c intension x[35] != x[185] using generic constraint 0.72/0.86 c intension x[35] != x[229] using generic constraint 0.72/0.86 c intension x[35] != x[243] using generic constraint 0.72/0.86 c intension x[36] != x[47] using generic constraint 0.72/0.86 c intension x[36] != x[53] using generic constraint 0.72/0.86 c intension x[36] != x[55] using generic constraint 0.72/0.86 c intension x[36] != x[60] using generic constraint 0.72/0.86 c intension x[36] != x[64] using generic constraint 0.72/0.86 c intension x[36] != x[74] using generic constraint 0.72/0.86 c intension x[36] != x[81] using generic constraint 0.72/0.87 c intension x[36] != x[87] using generic constraint 0.72/0.87 c intension x[36] != x[97] using generic constraint 0.72/0.87 c intension x[36] != x[104] using generic constraint 0.72/0.87 c intension x[36] != x[120] using generic constraint 0.72/0.87 c intension x[36] != x[126] using generic constraint 0.72/0.87 c intension x[36] != x[132] using generic constraint 0.72/0.87 c intension x[36] != x[133] using generic constraint 0.72/0.87 c intension x[36] != x[139] using generic constraint 0.72/0.87 c intension x[36] != x[151] using generic constraint 0.72/0.87 c intension x[36] != x[155] using generic constraint 0.72/0.87 c intension x[36] != x[160] using generic constraint 0.72/0.87 c intension x[36] != x[166] using generic constraint 0.72/0.88 c intension x[36] != x[182] using generic constraint 0.72/0.88 c intension x[36] != x[189] using generic constraint 0.72/0.88 c intension x[36] != x[201] using generic constraint 0.72/0.88 c intension x[36] != x[204] using generic constraint 0.72/0.88 c intension x[36] != x[224] using generic constraint 0.72/0.88 c intension x[36] != x[232] using generic constraint 0.72/0.88 c intension x[36] != x[239] using generic constraint 0.72/0.88 c intension x[36] != x[243] using generic constraint 0.72/0.88 c intension x[37] != x[38] using generic constraint 0.72/0.88 c intension x[37] != x[84] using generic constraint 0.72/0.88 c intension x[37] != x[86] using generic constraint 0.72/0.89 c intension x[37] != x[100] using generic constraint 0.72/0.89 c intension x[37] != x[113] using generic constraint 0.72/0.89 c intension x[37] != x[123] using generic constraint 0.72/0.89 c intension x[37] != x[129] using generic constraint 0.72/0.89 c intension x[37] != x[132] using generic constraint 0.72/0.89 c intension x[37] != x[148] using generic constraint 0.72/0.89 c intension x[37] != x[152] using generic constraint 0.72/0.89 c intension x[37] != x[153] using generic constraint 0.72/0.89 c intension x[37] != x[154] using generic constraint 0.72/0.89 c intension x[37] != x[160] using generic constraint 0.72/0.89 c intension x[37] != x[161] using generic constraint 0.72/0.89 c intension x[37] != x[168] using generic constraint 0.82/0.90 c intension x[37] != x[189] using generic constraint 0.82/0.90 c intension x[37] != x[200] using generic constraint 0.82/0.90 c intension x[37] != x[212] using generic constraint 0.82/0.90 c intension x[37] != x[243] using generic constraint 0.82/0.90 c intension x[38] != x[40] using generic constraint 0.82/0.90 c intension x[38] != x[42] using generic constraint 0.82/0.90 c intension x[38] != x[56] using generic constraint 0.82/0.90 c intension x[38] != x[67] using generic constraint 0.82/0.90 c intension x[38] != x[72] using generic constraint 0.82/0.90 c intension x[38] != x[75] using generic constraint 0.82/0.90 c intension x[38] != x[77] using generic constraint 0.82/0.91 c intension x[38] != x[88] using generic constraint 0.82/0.91 c intension x[38] != x[89] using generic constraint 0.82/0.91 c intension x[38] != x[92] using generic constraint 0.82/0.91 c intension x[38] != x[93] using generic constraint 0.82/0.91 c intension x[38] != x[98] using generic constraint 0.82/0.91 c intension x[38] != x[114] using generic constraint 0.82/0.91 c intension x[38] != x[122] using generic constraint 0.82/0.91 c intension x[38] != x[129] using generic constraint 0.82/0.91 c intension x[38] != x[138] using generic constraint 0.82/0.91 c intension x[38] != x[160] using generic constraint 0.82/0.91 c intension x[38] != x[197] using generic constraint 0.82/0.91 c intension x[38] != x[206] using generic constraint 0.82/0.92 c intension x[38] != x[212] using generic constraint 0.82/0.92 c intension x[38] != x[231] using generic constraint 0.82/0.92 c intension x[38] != x[245] using generic constraint 0.82/0.92 c intension x[38] != x[249] using generic constraint 0.82/0.92 c intension x[39] != x[46] using generic constraint 0.82/0.92 c intension x[39] != x[54] using generic constraint 0.82/0.92 c intension x[39] != x[70] using generic constraint 0.82/0.92 c intension x[39] != x[75] using generic constraint 0.82/0.92 c intension x[39] != x[84] using generic constraint 0.82/0.92 c intension x[39] != x[99] using generic constraint 0.82/0.92 c intension x[39] != x[103] using generic constraint 0.82/0.93 c intension x[39] != x[165] using generic constraint 0.82/0.93 c intension x[39] != x[168] using generic constraint 0.82/0.93 c intension x[39] != x[190] using generic constraint 0.82/0.93 c intension x[39] != x[197] using generic constraint 0.82/0.93 c intension x[39] != x[198] using generic constraint 0.82/0.93 c intension x[39] != x[199] using generic constraint 0.82/0.93 c intension x[39] != x[211] using generic constraint 0.82/0.93 c intension x[39] != x[226] using generic constraint 0.82/0.93 c intension x[39] != x[227] using generic constraint 0.82/0.93 c intension x[39] != x[231] using generic constraint 0.82/0.93 c intension x[39] != x[232] using generic constraint 0.82/0.93 c intension x[39] != x[236] using generic constraint 0.82/0.94 c intension x[40] != x[59] using generic constraint 0.82/0.94 c intension x[40] != x[70] using generic constraint 0.82/0.94 c intension x[40] != x[72] using generic constraint 0.82/0.94 c intension x[40] != x[74] using generic constraint 0.82/0.94 c intension x[40] != x[99] using generic constraint 0.82/0.94 c intension x[40] != x[104] using generic constraint 0.82/0.94 c intension x[40] != x[121] using generic constraint 0.82/0.94 c intension x[40] != x[151] using generic constraint 0.82/0.94 c intension x[40] != x[187] using generic constraint 0.82/0.94 c intension x[40] != x[201] using generic constraint 0.82/0.94 c intension x[40] != x[217] using generic constraint 0.82/0.94 c intension x[40] != x[218] using generic constraint 0.82/0.95 c intension x[40] != x[222] using generic constraint 0.82/0.95 c intension x[40] != x[223] using generic constraint 0.82/0.95 c intension x[40] != x[232] using generic constraint 0.82/0.95 c intension x[40] != x[237] using generic constraint 0.82/0.95 c intension x[40] != x[239] using generic constraint 0.82/0.95 c intension x[41] != x[53] using generic constraint 0.82/0.95 c intension x[41] != x[55] using generic constraint 0.82/0.95 c intension x[41] != x[65] using generic constraint 0.82/0.95 c intension x[41] != x[66] using generic constraint 0.82/0.95 c intension x[41] != x[86] using generic constraint 0.82/0.95 c intension x[41] != x[91] using generic constraint 0.82/0.96 c intension x[41] != x[96] using generic constraint 0.82/0.96 c intension x[41] != x[97] using generic constraint 0.82/0.96 c intension x[41] != x[110] using generic constraint 0.82/0.96 c intension x[41] != x[120] using generic constraint 0.82/0.96 c intension x[41] != x[161] using generic constraint 0.82/0.96 c intension x[41] != x[162] using generic constraint 0.82/0.96 c intension x[41] != x[166] using generic constraint 0.82/0.96 c intension x[41] != x[171] using generic constraint 0.82/0.96 c intension x[41] != x[185] using generic constraint 0.82/0.96 c intension x[41] != x[207] using generic constraint 0.82/0.96 c intension x[41] != x[218] using generic constraint 0.82/0.96 c intension x[41] != x[231] using generic constraint 0.82/0.97 c intension x[41] != x[245] using generic constraint 0.82/0.97 c intension x[42] != x[43] using generic constraint 0.82/0.97 c intension x[42] != x[69] using generic constraint 0.82/0.97 c intension x[42] != x[84] using generic constraint 0.82/0.97 c intension x[42] != x[86] using generic constraint 0.82/0.97 c intension x[42] != x[98] using generic constraint 0.82/0.97 c intension x[42] != x[125] using generic constraint 0.82/0.97 c intension x[42] != x[129] using generic constraint 0.82/0.97 c intension x[42] != x[144] using generic constraint 0.82/0.97 c intension x[42] != x[146] using generic constraint 0.82/0.97 c intension x[42] != x[153] using generic constraint 0.82/0.97 c intension x[42] != x[164] using generic constraint 0.82/0.98 c intension x[42] != x[171] using generic constraint 0.82/0.98 c intension x[42] != x[186] using generic constraint 0.82/0.98 c intension x[42] != x[193] using generic constraint 0.82/0.98 c intension x[42] != x[202] using generic constraint 0.82/0.98 c intension x[42] != x[223] using generic constraint 0.82/0.98 c intension x[42] != x[226] using generic constraint 0.82/0.98 c intension x[42] != x[243] using generic constraint 0.82/0.98 c intension x[42] != x[246] using generic constraint 0.82/0.98 c intension x[43] != x[52] using generic constraint 0.82/0.98 c intension x[43] != x[53] using generic constraint 0.82/0.98 c intension x[43] != x[55] using generic constraint 0.82/0.99 c intension x[43] != x[56] using generic constraint 0.82/0.99 c intension x[43] != x[57] using generic constraint 0.82/0.99 c intension x[43] != x[71] using generic constraint 0.82/0.99 c intension x[43] != x[75] using generic constraint 0.82/0.99 c intension x[43] != x[90] using generic constraint 0.82/0.99 c intension x[43] != x[92] using generic constraint 0.82/0.99 c intension x[43] != x[93] using generic constraint 0.82/0.99 c intension x[43] != x[101] using generic constraint 0.82/0.99 c intension x[43] != x[103] using generic constraint 0.82/0.99 c intension x[43] != x[109] using generic constraint 0.82/0.99 c intension x[43] != x[114] using generic constraint 0.82/0.99 c intension x[43] != x[156] using generic constraint 0.91/1.00 c intension x[43] != x[157] using generic constraint 0.91/1.00 c intension x[43] != x[163] using generic constraint 0.91/1.00 c intension x[43] != x[175] using generic constraint 0.91/1.00 c intension x[43] != x[190] using generic constraint 0.91/1.00 c intension x[43] != x[198] using generic constraint 0.91/1.00 c intension x[43] != x[199] using generic constraint 0.91/1.00 c intension x[43] != x[205] using generic constraint 0.91/1.00 c intension x[43] != x[210] using generic constraint 0.91/1.00 c intension x[43] != x[219] using generic constraint 0.91/1.00 c intension x[43] != x[226] using generic constraint 0.91/1.00 c intension x[43] != x[243] using generic constraint 0.91/1.01 c intension x[43] != x[248] using generic constraint 0.91/1.01 c intension x[43] != x[249] using generic constraint 0.91/1.01 c intension x[44] != x[56] using generic constraint 0.91/1.01 c intension x[44] != x[58] using generic constraint 0.91/1.01 c intension x[44] != x[90] using generic constraint 0.91/1.01 c intension x[44] != x[99] using generic constraint 0.91/1.01 c intension x[44] != x[103] using generic constraint 0.91/1.01 c intension x[44] != x[132] using generic constraint 0.91/1.01 c intension x[44] != x[202] using generic constraint 0.91/1.01 c intension x[44] != x[210] using generic constraint 0.91/1.01 c intension x[44] != x[220] using generic constraint 0.91/1.01 c intension x[44] != x[221] using generic constraint 0.91/1.02 c intension x[44] != x[222] using generic constraint 0.91/1.02 c intension x[44] != x[225] using generic constraint 0.91/1.02 c intension x[44] != x[226] using generic constraint 0.91/1.02 c intension x[44] != x[231] using generic constraint 0.91/1.02 c intension x[44] != x[235] using generic constraint 0.91/1.02 c intension x[44] != x[237] using generic constraint 0.91/1.02 c intension x[44] != x[242] using generic constraint 0.91/1.02 c intension x[44] != x[248] using generic constraint 0.91/1.02 c intension x[45] != x[56] using generic constraint 0.91/1.02 c intension x[45] != x[60] using generic constraint 0.91/1.02 c intension x[45] != x[62] using generic constraint 0.91/1.02 c intension x[45] != x[80] using generic constraint 0.91/1.03 c intension x[45] != x[96] using generic constraint 0.91/1.03 c intension x[45] != x[112] using generic constraint 0.91/1.03 c intension x[45] != x[113] using generic constraint 0.91/1.03 c intension x[45] != x[127] using generic constraint 0.91/1.03 c intension x[45] != x[143] using generic constraint 0.91/1.03 c intension x[45] != x[151] using generic constraint 0.91/1.03 c intension x[45] != x[157] using generic constraint 0.91/1.03 c intension x[45] != x[167] using generic constraint 0.91/1.03 c intension x[45] != x[168] using generic constraint 0.91/1.03 c intension x[45] != x[172] using generic constraint 0.91/1.03 c intension x[45] != x[203] using generic constraint 0.91/1.04 c intension x[45] != x[204] using generic constraint 0.91/1.04 c intension x[45] != x[206] using generic constraint 0.91/1.04 c intension x[45] != x[209] using generic constraint 0.91/1.04 c intension x[45] != x[213] using generic constraint 0.91/1.04 c intension x[45] != x[227] using generic constraint 0.91/1.04 c intension x[45] != x[237] using generic constraint 0.91/1.04 c intension x[45] != x[239] using generic constraint 0.91/1.04 c intension x[46] != x[52] using generic constraint 0.91/1.04 c intension x[46] != x[55] using generic constraint 0.91/1.04 c intension x[46] != x[56] using generic constraint 0.91/1.04 c intension x[46] != x[87] using generic constraint 0.91/1.04 c intension x[46] != x[111] using generic constraint 0.91/1.05 c intension x[46] != x[117] using generic constraint 0.91/1.05 c intension x[46] != x[140] using generic constraint 0.91/1.05 c intension x[46] != x[148] using generic constraint 0.91/1.05 c intension x[46] != x[186] using generic constraint 0.91/1.05 c intension x[46] != x[197] using generic constraint 0.91/1.05 c intension x[46] != x[207] using generic constraint 0.91/1.05 c intension x[46] != x[218] using generic constraint 0.91/1.05 c intension x[46] != x[219] using generic constraint 0.91/1.05 c intension x[46] != x[230] using generic constraint 0.91/1.05 c intension x[46] != x[235] using generic constraint 0.91/1.05 c intension x[46] != x[244] using generic constraint 0.91/1.05 c intension x[47] != x[48] using generic constraint 0.91/1.06 c intension x[47] != x[58] using generic constraint 0.91/1.06 c intension x[47] != x[73] using generic constraint 0.91/1.06 c intension x[47] != x[75] using generic constraint 0.91/1.06 c intension x[47] != x[84] using generic constraint 0.91/1.06 c intension x[47] != x[85] using generic constraint 0.91/1.06 c intension x[47] != x[94] using generic constraint 0.91/1.06 c intension x[47] != x[110] using generic constraint 0.91/1.06 c intension x[47] != x[129] using generic constraint 0.91/1.06 c intension x[47] != x[131] using generic constraint 0.91/1.06 c intension x[47] != x[132] using generic constraint 0.91/1.06 c intension x[47] != x[145] using generic constraint 0.91/1.07 c intension x[47] != x[158] using generic constraint 0.91/1.07 c intension x[47] != x[173] using generic constraint 0.91/1.07 c intension x[47] != x[176] using generic constraint 0.91/1.07 c intension x[47] != x[188] using generic constraint 0.91/1.07 c intension x[47] != x[200] using generic constraint 0.91/1.07 c intension x[47] != x[212] using generic constraint 0.91/1.07 c intension x[47] != x[217] using generic constraint 0.91/1.07 c intension x[47] != x[224] using generic constraint 0.91/1.07 c intension x[47] != x[225] using generic constraint 0.91/1.07 c intension x[47] != x[230] using generic constraint 0.91/1.07 c intension x[47] != x[233] using generic constraint 0.91/1.07 c intension x[47] != x[240] using generic constraint 0.91/1.08 c intension x[48] != x[51] using generic constraint 0.91/1.08 c intension x[48] != x[80] using generic constraint 0.91/1.08 c intension x[48] != x[85] using generic constraint 0.91/1.08 c intension x[48] != x[100] using generic constraint 0.91/1.08 c intension x[48] != x[104] using generic constraint 0.91/1.08 c intension x[48] != x[113] using generic constraint 0.91/1.08 c intension x[48] != x[123] using generic constraint 0.91/1.08 c intension x[48] != x[126] using generic constraint 0.91/1.08 c intension x[48] != x[134] using generic constraint 0.91/1.08 c intension x[48] != x[157] using generic constraint 0.91/1.08 c intension x[48] != x[167] using generic constraint 0.91/1.08 c intension x[48] != x[168] using generic constraint 0.91/1.09 c intension x[48] != x[170] using generic constraint 0.91/1.09 c intension x[48] != x[177] using generic constraint 0.91/1.09 c intension x[48] != x[187] using generic constraint 0.91/1.09 c intension x[48] != x[202] using generic constraint 0.91/1.09 c intension x[48] != x[203] using generic constraint 0.91/1.09 c intension x[48] != x[207] using generic constraint 0.91/1.09 c intension x[48] != x[210] using generic constraint 0.91/1.09 c intension x[48] != x[215] using generic constraint 0.91/1.09 c intension x[48] != x[235] using generic constraint 0.91/1.09 c intension x[48] != x[244] using generic constraint 0.91/1.09 c intension x[49] != x[76] using generic constraint 0.91/1.10 c intension x[49] != x[82] using generic constraint 0.91/1.10 c intension x[49] != x[100] using generic constraint 0.91/1.10 c intension x[49] != x[127] using generic constraint 0.91/1.10 c intension x[49] != x[132] using generic constraint 0.91/1.10 c intension x[49] != x[135] using generic constraint 0.91/1.10 c intension x[49] != x[142] using generic constraint 0.91/1.10 c intension x[49] != x[170] using generic constraint 1.02/1.10 c intension x[49] != x[182] using generic constraint 1.02/1.10 c intension x[49] != x[191] using generic constraint 1.02/1.10 c intension x[49] != x[201] using generic constraint 1.02/1.10 c intension x[49] != x[212] using generic constraint 1.02/1.10 c intension x[49] != x[226] using generic constraint 1.02/1.11 c intension x[49] != x[227] using generic constraint 1.02/1.11 c intension x[49] != x[241] using generic constraint 1.02/1.11 c intension x[49] != x[244] using generic constraint 1.02/1.11 c intension x[50] != x[63] using generic constraint 1.02/1.11 c intension x[50] != x[80] using generic constraint 1.02/1.11 c intension x[50] != x[89] using generic constraint 1.02/1.11 c intension x[50] != x[112] using generic constraint 1.02/1.11 c intension x[50] != x[124] using generic constraint 1.02/1.11 c intension x[50] != x[133] using generic constraint 1.02/1.11 c intension x[50] != x[134] using generic constraint 1.02/1.11 c intension x[50] != x[168] using generic constraint 1.02/1.12 c intension x[50] != x[171] using generic constraint 1.02/1.12 c intension x[50] != x[180] using generic constraint 1.02/1.12 c intension x[50] != x[184] using generic constraint 1.02/1.12 c intension x[50] != x[197] using generic constraint 1.02/1.12 c intension x[50] != x[199] using generic constraint 1.02/1.12 c intension x[50] != x[202] using generic constraint 1.02/1.12 c intension x[50] != x[206] using generic constraint 1.02/1.12 c intension x[50] != x[211] using generic constraint 1.02/1.12 c intension x[50] != x[233] using generic constraint 1.02/1.12 c intension x[50] != x[235] using generic constraint 1.02/1.12 c intension x[51] != x[70] using generic constraint 1.02/1.12 c intension x[51] != x[93] using generic constraint 1.02/1.13 c intension x[51] != x[124] using generic constraint 1.02/1.13 c intension x[51] != x[138] using generic constraint 1.02/1.13 c intension x[51] != x[149] using generic constraint 1.02/1.13 c intension x[51] != x[152] using generic constraint 1.02/1.13 c intension x[51] != x[161] using generic constraint 1.02/1.13 c intension x[51] != x[170] using generic constraint 1.02/1.13 c intension x[51] != x[180] using generic constraint 1.02/1.13 c intension x[51] != x[183] using generic constraint 1.02/1.13 c intension x[51] != x[195] using generic constraint 1.02/1.13 c intension x[51] != x[199] using generic constraint 1.02/1.13 c intension x[51] != x[202] using generic constraint 1.02/1.13 c intension x[51] != x[207] using generic constraint 1.02/1.14 c intension x[51] != x[223] using generic constraint 1.02/1.14 c intension x[51] != x[232] using generic constraint 1.02/1.14 c intension x[51] != x[236] using generic constraint 1.02/1.14 c intension x[51] != x[246] using generic constraint 1.02/1.14 c intension x[51] != x[249] using generic constraint 1.02/1.14 c intension x[52] != x[65] using generic constraint 1.02/1.14 c intension x[52] != x[87] using generic constraint 1.02/1.14 c intension x[52] != x[89] using generic constraint 1.02/1.14 c intension x[52] != x[128] using generic constraint 1.02/1.14 c intension x[52] != x[136] using generic constraint 1.02/1.14 c intension x[52] != x[140] using generic constraint 1.02/1.15 c intension x[52] != x[143] using generic constraint 1.02/1.15 c intension x[52] != x[149] using generic constraint 1.02/1.15 c intension x[52] != x[151] using generic constraint 1.02/1.15 c intension x[52] != x[155] using generic constraint 1.02/1.15 c intension x[52] != x[193] using generic constraint 1.02/1.15 c intension x[52] != x[194] using generic constraint 1.02/1.15 c intension x[52] != x[198] using generic constraint 1.02/1.15 c intension x[52] != x[217] using generic constraint 1.02/1.15 c intension x[52] != x[237] using generic constraint 1.02/1.15 c intension x[53] != x[60] using generic constraint 1.02/1.15 c intension x[53] != x[65] using generic constraint 1.02/1.15 c intension x[53] != x[68] using generic constraint 1.02/1.16 c intension x[53] != x[90] using generic constraint 1.02/1.16 c intension x[53] != x[101] using generic constraint 1.02/1.16 c intension x[53] != x[109] using generic constraint 1.02/1.16 c intension x[53] != x[110] using generic constraint 1.02/1.16 c intension x[53] != x[112] using generic constraint 1.02/1.16 c intension x[53] != x[122] using generic constraint 1.02/1.16 c intension x[53] != x[123] using generic constraint 1.02/1.16 c intension x[53] != x[125] using generic constraint 1.02/1.16 c intension x[53] != x[132] using generic constraint 1.02/1.16 c intension x[53] != x[159] using generic constraint 1.02/1.16 c intension x[53] != x[168] using generic constraint 1.02/1.16 c intension x[53] != x[181] using generic constraint 1.02/1.17 c intension x[53] != x[188] using generic constraint 1.02/1.17 c intension x[53] != x[198] using generic constraint 1.02/1.17 c intension x[53] != x[199] using generic constraint 1.02/1.17 c intension x[53] != x[207] using generic constraint 1.02/1.17 c intension x[53] != x[219] using generic constraint 1.02/1.17 c intension x[53] != x[223] using generic constraint 1.02/1.17 c intension x[53] != x[224] using generic constraint 1.02/1.17 c intension x[54] != x[55] using generic constraint 1.02/1.17 c intension x[54] != x[84] using generic constraint 1.02/1.17 c intension x[54] != x[97] using generic constraint 1.02/1.17 c intension x[54] != x[99] using generic constraint 1.02/1.18 c intension x[54] != x[101] using generic constraint 1.02/1.18 c intension x[54] != x[104] using generic constraint 1.02/1.18 c intension x[54] != x[106] using generic constraint 1.02/1.18 c intension x[54] != x[128] using generic constraint 1.02/1.18 c intension x[54] != x[131] using generic constraint 1.02/1.18 c intension x[54] != x[143] using generic constraint 1.02/1.18 c intension x[54] != x[146] using generic constraint 1.02/1.18 c intension x[54] != x[152] using generic constraint 1.02/1.18 c intension x[54] != x[171] using generic constraint 1.02/1.18 c intension x[54] != x[196] using generic constraint 1.02/1.18 c intension x[54] != x[201] using generic constraint 1.02/1.18 c intension x[54] != x[204] using generic constraint 1.02/1.19 c intension x[54] != x[210] using generic constraint 1.02/1.19 c intension x[54] != x[214] using generic constraint 1.02/1.19 c intension x[54] != x[216] using generic constraint 1.02/1.19 c intension x[54] != x[223] using generic constraint 1.02/1.19 c intension x[55] != x[60] using generic constraint 1.02/1.19 c intension x[55] != x[65] using generic constraint 1.02/1.19 c intension x[55] != x[69] using generic constraint 1.02/1.19 c intension x[55] != x[73] using generic constraint 1.02/1.19 c intension x[55] != x[74] using generic constraint 1.02/1.19 c intension x[55] != x[77] using generic constraint 1.02/1.19 c intension x[55] != x[78] using generic constraint 1.02/1.19 c intension x[55] != x[80] using generic constraint 1.02/1.20 c intension x[55] != x[83] using generic constraint 1.02/1.20 c intension x[55] != x[103] using generic constraint 1.02/1.20 c intension x[55] != x[105] using generic constraint 1.02/1.20 c intension x[55] != x[122] using generic constraint 1.02/1.20 c intension x[55] != x[129] using generic constraint 1.02/1.20 c intension x[55] != x[143] using generic constraint 1.02/1.20 c intension x[55] != x[150] using generic constraint 1.12/1.20 c intension x[55] != x[159] using generic constraint 1.12/1.20 c intension x[55] != x[183] using generic constraint 1.12/1.20 c intension x[55] != x[185] using generic constraint 1.12/1.20 c intension x[55] != x[206] using generic constraint 1.12/1.21 c intension x[56] != x[62] using generic constraint 1.12/1.21 c intension x[56] != x[78] using generic constraint 1.12/1.21 c intension x[56] != x[91] using generic constraint 1.12/1.21 c intension x[56] != x[94] using generic constraint 1.12/1.21 c intension x[56] != x[99] using generic constraint 1.12/1.21 c intension x[56] != x[103] using generic constraint 1.12/1.21 c intension x[56] != x[107] using generic constraint 1.12/1.21 c intension x[56] != x[110] using generic constraint 1.12/1.21 c intension x[56] != x[111] using generic constraint 1.12/1.21 c intension x[56] != x[112] using generic constraint 1.12/1.21 c intension x[56] != x[116] using generic constraint 1.12/1.21 c intension x[56] != x[118] using generic constraint 1.12/1.22 c intension x[56] != x[132] using generic constraint 1.12/1.22 c intension x[56] != x[136] using generic constraint 1.12/1.22 c intension x[56] != x[141] using generic constraint 1.12/1.22 c intension x[56] != x[151] using generic constraint 1.12/1.22 c intension x[56] != x[165] using generic constraint 1.12/1.22 c intension x[56] != x[177] using generic constraint 1.12/1.22 c intension x[56] != x[208] using generic constraint 1.12/1.22 c intension x[56] != x[215] using generic constraint 1.12/1.22 c intension x[56] != x[222] using generic constraint 1.12/1.22 c intension x[57] != x[60] using generic constraint 1.12/1.22 c intension x[57] != x[65] using generic constraint 1.12/1.23 c intension x[57] != x[78] using generic constraint 1.12/1.23 c intension x[57] != x[79] using generic constraint 1.12/1.23 c intension x[57] != x[109] using generic constraint 1.12/1.23 c intension x[57] != x[113] using generic constraint 1.12/1.23 c intension x[57] != x[126] using generic constraint 1.12/1.23 c intension x[57] != x[128] using generic constraint 1.12/1.23 c intension x[57] != x[130] using generic constraint 1.12/1.23 c intension x[57] != x[145] using generic constraint 1.12/1.23 c intension x[57] != x[165] using generic constraint 1.12/1.23 c intension x[57] != x[169] using generic constraint 1.12/1.23 c intension x[57] != x[173] using generic constraint 1.12/1.23 c intension x[57] != x[187] using generic constraint 1.12/1.24 c intension x[57] != x[203] using generic constraint 1.12/1.24 c intension x[57] != x[205] using generic constraint 1.12/1.24 c intension x[57] != x[227] using generic constraint 1.12/1.24 c intension x[57] != x[239] using generic constraint 1.12/1.24 c intension x[57] != x[242] using generic constraint 1.12/1.24 c intension x[57] != x[243] using generic constraint 1.12/1.24 c intension x[58] != x[62] using generic constraint 1.12/1.24 c intension x[58] != x[73] using generic constraint 1.12/1.24 c intension x[58] != x[75] using generic constraint 1.12/1.24 c intension x[58] != x[86] using generic constraint 1.12/1.24 c intension x[58] != x[93] using generic constraint 1.12/1.24 c intension x[58] != x[120] using generic constraint 1.12/1.25 c intension x[58] != x[127] using generic constraint 1.12/1.25 c intension x[58] != x[137] using generic constraint 1.12/1.25 c intension x[58] != x[173] using generic constraint 1.12/1.25 c intension x[58] != x[178] using generic constraint 1.12/1.25 c intension x[58] != x[181] using generic constraint 1.12/1.25 c intension x[58] != x[186] using generic constraint 1.12/1.25 c intension x[58] != x[188] using generic constraint 1.12/1.25 c intension x[58] != x[225] using generic constraint 1.12/1.25 c intension x[58] != x[230] using generic constraint 1.12/1.25 c intension x[58] != x[247] using generic constraint 1.12/1.25 c intension x[59] != x[61] using generic constraint 1.12/1.26 c intension x[59] != x[70] using generic constraint 1.12/1.26 c intension x[59] != x[83] using generic constraint 1.12/1.26 c intension x[59] != x[84] using generic constraint 1.12/1.26 c intension x[59] != x[86] using generic constraint 1.12/1.26 c intension x[59] != x[102] using generic constraint 1.12/1.26 c intension x[59] != x[112] using generic constraint 1.12/1.26 c intension x[59] != x[126] using generic constraint 1.12/1.26 c intension x[59] != x[127] using generic constraint 1.12/1.26 c intension x[59] != x[147] using generic constraint 1.12/1.26 c intension x[59] != x[156] using generic constraint 1.12/1.26 c intension x[59] != x[160] using generic constraint 1.12/1.26 c intension x[59] != x[204] using generic constraint 1.12/1.27 c intension x[59] != x[219] using generic constraint 1.12/1.27 c intension x[59] != x[224] using generic constraint 1.12/1.27 c intension x[59] != x[229] using generic constraint 1.12/1.27 c intension x[59] != x[233] using generic constraint 1.12/1.27 c intension x[59] != x[235] using generic constraint 1.12/1.27 c intension x[59] != x[237] using generic constraint 1.12/1.27 c intension x[60] != x[62] using generic constraint 1.12/1.27 c intension x[60] != x[78] using generic constraint 1.12/1.27 c intension x[60] != x[79] using generic constraint 1.12/1.27 c intension x[60] != x[84] using generic constraint 1.12/1.27 c intension x[60] != x[91] using generic constraint 1.12/1.27 c intension x[60] != x[92] using generic constraint 1.12/1.28 c intension x[60] != x[100] using generic constraint 1.12/1.28 c intension x[60] != x[106] using generic constraint 1.12/1.28 c intension x[60] != x[126] using generic constraint 1.12/1.28 c intension x[60] != x[127] using generic constraint 1.12/1.28 c intension x[60] != x[132] using generic constraint 1.12/1.28 c intension x[60] != x[143] using generic constraint 1.12/1.28 c intension x[60] != x[172] using generic constraint 1.12/1.28 c intension x[60] != x[190] using generic constraint 1.12/1.28 c intension x[60] != x[210] using generic constraint 1.12/1.28 c intension x[60] != x[217] using generic constraint 1.12/1.28 c intension x[60] != x[218] using generic constraint 1.12/1.29 c intension x[60] != x[234] using generic constraint 1.12/1.29 c intension x[60] != x[236] using generic constraint 1.12/1.29 c intension x[61] != x[86] using generic constraint 1.12/1.29 c intension x[61] != x[97] using generic constraint 1.12/1.29 c intension x[61] != x[99] using generic constraint 1.12/1.29 c intension x[61] != x[102] using generic constraint 1.12/1.29 c intension x[61] != x[105] using generic constraint 1.12/1.29 c intension x[61] != x[106] using generic constraint 1.12/1.29 c intension x[61] != x[115] using generic constraint 1.12/1.29 c intension x[61] != x[118] using generic constraint 1.12/1.29 c intension x[61] != x[122] using generic constraint 1.12/1.29 c intension x[61] != x[123] using generic constraint 1.21/1.30 c intension x[61] != x[131] using generic constraint 1.21/1.30 c intension x[61] != x[135] using generic constraint 1.21/1.30 c intension x[61] != x[145] using generic constraint 1.21/1.30 c intension x[61] != x[149] using generic constraint 1.21/1.30 c intension x[61] != x[154] using generic constraint 1.21/1.30 c intension x[61] != x[173] using generic constraint 1.21/1.30 c intension x[61] != x[178] using generic constraint 1.21/1.30 c intension x[61] != x[183] using generic constraint 1.21/1.30 c intension x[61] != x[188] using generic constraint 1.21/1.30 c intension x[61] != x[196] using generic constraint 1.21/1.30 c intension x[61] != x[197] using generic constraint 1.21/1.31 c intension x[61] != x[198] using generic constraint 1.21/1.31 c intension x[61] != x[202] using generic constraint 1.21/1.31 c intension x[61] != x[212] using generic constraint 1.21/1.31 c intension x[61] != x[215] using generic constraint 1.21/1.31 c intension x[61] != x[224] using generic constraint 1.21/1.31 c intension x[61] != x[234] using generic constraint 1.21/1.31 c intension x[61] != x[237] using generic constraint 1.21/1.31 c intension x[62] != x[71] using generic constraint 1.21/1.31 c intension x[62] != x[86] using generic constraint 1.21/1.31 c intension x[62] != x[90] using generic constraint 1.21/1.31 c intension x[62] != x[108] using generic constraint 1.21/1.31 c intension x[62] != x[114] using generic constraint 1.21/1.32 c intension x[62] != x[118] using generic constraint 1.21/1.32 c intension x[62] != x[137] using generic constraint 1.21/1.32 c intension x[62] != x[140] using generic constraint 1.21/1.32 c intension x[62] != x[142] using generic constraint 1.21/1.32 c intension x[62] != x[148] using generic constraint 1.21/1.32 c intension x[62] != x[150] using generic constraint 1.21/1.32 c intension x[62] != x[157] using generic constraint 1.21/1.32 c intension x[62] != x[158] using generic constraint 1.21/1.32 c intension x[62] != x[187] using generic constraint 1.21/1.32 c intension x[62] != x[188] using generic constraint 1.21/1.32 c intension x[62] != x[204] using generic constraint 1.21/1.32 c intension x[62] != x[213] using generic constraint 1.21/1.33 c intension x[62] != x[214] using generic constraint 1.21/1.33 c intension x[62] != x[223] using generic constraint 1.21/1.33 c intension x[63] != x[64] using generic constraint 1.21/1.33 c intension x[63] != x[68] using generic constraint 1.21/1.33 c intension x[63] != x[70] using generic constraint 1.21/1.33 c intension x[63] != x[75] using generic constraint 1.21/1.33 c intension x[63] != x[82] using generic constraint 1.21/1.33 c intension x[63] != x[91] using generic constraint 1.21/1.33 c intension x[63] != x[95] using generic constraint 1.21/1.33 c intension x[63] != x[112] using generic constraint 1.21/1.33 c intension x[63] != x[118] using generic constraint 1.21/1.34 c intension x[63] != x[119] using generic constraint 1.21/1.34 c intension x[63] != x[122] using generic constraint 1.21/1.34 c intension x[63] != x[145] using generic constraint 1.21/1.34 c intension x[63] != x[153] using generic constraint 1.21/1.34 c intension x[63] != x[155] using generic constraint 1.21/1.34 c intension x[63] != x[182] using generic constraint 1.21/1.34 c intension x[63] != x[189] using generic constraint 1.21/1.34 c intension x[63] != x[198] using generic constraint 1.21/1.34 c intension x[63] != x[209] using generic constraint 1.21/1.34 c intension x[63] != x[218] using generic constraint 1.21/1.34 c intension x[63] != x[220] using generic constraint 1.21/1.34 c intension x[63] != x[221] using generic constraint 1.21/1.35 c intension x[63] != x[244] using generic constraint 1.21/1.35 c intension x[64] != x[75] using generic constraint 1.21/1.35 c intension x[64] != x[85] using generic constraint 1.21/1.35 c intension x[64] != x[94] using generic constraint 1.21/1.35 c intension x[64] != x[96] using generic constraint 1.21/1.35 c intension x[64] != x[97] using generic constraint 1.21/1.35 c intension x[64] != x[99] using generic constraint 1.21/1.35 c intension x[64] != x[100] using generic constraint 1.21/1.35 c intension x[64] != x[106] using generic constraint 1.21/1.35 c intension x[64] != x[114] using generic constraint 1.21/1.35 c intension x[64] != x[125] using generic constraint 1.21/1.36 c intension x[64] != x[127] using generic constraint 1.21/1.36 c intension x[64] != x[134] using generic constraint 1.21/1.36 c intension x[64] != x[144] using generic constraint 1.21/1.36 c intension x[64] != x[145] using generic constraint 1.21/1.36 c intension x[64] != x[151] using generic constraint 1.21/1.36 c intension x[64] != x[169] using generic constraint 1.21/1.36 c intension x[64] != x[179] using generic constraint 1.21/1.36 c intension x[64] != x[181] using generic constraint 1.21/1.36 c intension x[64] != x[186] using generic constraint 1.21/1.36 c intension x[64] != x[193] using generic constraint 1.21/1.36 c intension x[64] != x[199] using generic constraint 1.21/1.36 c intension x[64] != x[204] using generic constraint 1.21/1.37 c intension x[64] != x[205] using generic constraint 1.21/1.37 c intension x[64] != x[220] using generic constraint 1.21/1.37 c intension x[64] != x[222] using generic constraint 1.21/1.37 c intension x[64] != x[227] using generic constraint 1.21/1.37 c intension x[64] != x[235] using generic constraint 1.21/1.37 c intension x[65] != x[82] using generic constraint 1.21/1.37 c intension x[65] != x[97] using generic constraint 1.21/1.37 c intension x[65] != x[156] using generic constraint 1.21/1.37 c intension x[65] != x[174] using generic constraint 1.21/1.37 c intension x[65] != x[178] using generic constraint 1.21/1.37 c intension x[65] != x[179] using generic constraint 1.21/1.37 c intension x[65] != x[181] using generic constraint 1.21/1.38 c intension x[65] != x[193] using generic constraint 1.21/1.38 c intension x[65] != x[199] using generic constraint 1.21/1.38 c intension x[65] != x[210] using generic constraint 1.21/1.38 c intension x[65] != x[211] using generic constraint 1.21/1.38 c intension x[65] != x[220] using generic constraint 1.21/1.38 c intension x[65] != x[227] using generic constraint 1.21/1.38 c intension x[65] != x[228] using generic constraint 1.21/1.38 c intension x[65] != x[230] using generic constraint 1.21/1.38 c intension x[65] != x[234] using generic constraint 1.21/1.38 c intension x[66] != x[80] using generic constraint 1.21/1.38 c intension x[66] != x[87] using generic constraint 1.21/1.39 c intension x[66] != x[108] using generic constraint 1.21/1.39 c intension x[66] != x[113] using generic constraint 1.21/1.39 c intension x[66] != x[141] using generic constraint 1.21/1.39 c intension x[66] != x[148] using generic constraint 1.21/1.39 c intension x[66] != x[160] using generic constraint 1.21/1.39 c intension x[66] != x[170] using generic constraint 1.21/1.39 c intension x[66] != x[190] using generic constraint 1.21/1.39 c intension x[66] != x[213] using generic constraint 1.21/1.39 c intension x[66] != x[218] using generic constraint 1.21/1.39 c intension x[66] != x[247] using generic constraint 1.21/1.39 c intension x[67] != x[69] using generic constraint 1.21/1.39 c intension x[67] != x[86] using generic constraint 1.21/1.40 c intension x[67] != x[113] using generic constraint 1.31/1.40 c intension x[67] != x[136] using generic constraint 1.31/1.40 c intension x[67] != x[138] using generic constraint 1.31/1.40 c intension x[67] != x[163] using generic constraint 1.31/1.40 c intension x[67] != x[165] using generic constraint 1.31/1.40 c intension x[67] != x[169] using generic constraint 1.31/1.40 c intension x[67] != x[193] using generic constraint 1.31/1.40 c intension x[67] != x[198] using generic constraint 1.31/1.40 c intension x[67] != x[225] using generic constraint 1.31/1.40 c intension x[67] != x[231] using generic constraint 1.31/1.40 c intension x[67] != x[235] using generic constraint 1.31/1.40 c intension x[67] != x[242] using generic constraint 1.31/1.41 c intension x[67] != x[243] using generic constraint 1.31/1.41 c intension x[67] != x[244] using generic constraint 1.31/1.41 c intension x[68] != x[78] using generic constraint 1.31/1.41 c intension x[68] != x[96] using generic constraint 1.31/1.41 c intension x[68] != x[107] using generic constraint 1.31/1.41 c intension x[68] != x[108] using generic constraint 1.31/1.41 c intension x[68] != x[121] using generic constraint 1.31/1.41 c intension x[68] != x[128] using generic constraint 1.31/1.41 c intension x[68] != x[130] using generic constraint 1.31/1.41 c intension x[68] != x[135] using generic constraint 1.31/1.41 c intension x[68] != x[136] using generic constraint 1.31/1.42 c intension x[68] != x[153] using generic constraint 1.31/1.42 c intension x[68] != x[157] using generic constraint 1.31/1.42 c intension x[68] != x[186] using generic constraint 1.31/1.42 c intension x[68] != x[188] using generic constraint 1.31/1.42 c intension x[68] != x[193] using generic constraint 1.31/1.42 c intension x[68] != x[194] using generic constraint 1.31/1.42 c intension x[68] != x[196] using generic constraint 1.31/1.42 c intension x[68] != x[212] using generic constraint 1.31/1.42 c intension x[68] != x[222] using generic constraint 1.31/1.42 c intension x[68] != x[224] using generic constraint 1.31/1.42 c intension x[68] != x[229] using generic constraint 1.31/1.42 c intension x[68] != x[235] using generic constraint 1.31/1.43 c intension x[68] != x[240] using generic constraint 1.31/1.43 c intension x[68] != x[244] using generic constraint 1.31/1.43 c intension x[68] != x[249] using generic constraint 1.31/1.43 c intension x[69] != x[78] using generic constraint 1.31/1.43 c intension x[69] != x[108] using generic constraint 1.31/1.43 c intension x[69] != x[116] using generic constraint 1.31/1.43 c intension x[69] != x[119] using generic constraint 1.31/1.43 c intension x[69] != x[121] using generic constraint 1.31/1.43 c intension x[69] != x[136] using generic constraint 1.31/1.43 c intension x[69] != x[138] using generic constraint 1.31/1.43 c intension x[69] != x[146] using generic constraint 1.31/1.43 c intension x[69] != x[158] using generic constraint 1.31/1.44 c intension x[69] != x[178] using generic constraint 1.31/1.44 c intension x[69] != x[179] using generic constraint 1.31/1.44 c intension x[69] != x[184] using generic constraint 1.31/1.44 c intension x[69] != x[189] using generic constraint 1.31/1.44 c intension x[69] != x[190] using generic constraint 1.31/1.44 c intension x[69] != x[194] using generic constraint 1.31/1.44 c intension x[69] != x[205] using generic constraint 1.31/1.44 c intension x[69] != x[210] using generic constraint 1.31/1.44 c intension x[69] != x[213] using generic constraint 1.31/1.44 c intension x[69] != x[221] using generic constraint 1.31/1.44 c intension x[69] != x[234] using generic constraint 1.31/1.45 c intension x[69] != x[236] using generic constraint 1.31/1.45 c intension x[69] != x[240] using generic constraint 1.31/1.45 c intension x[69] != x[248] using generic constraint 1.31/1.45 c intension x[70] != x[74] using generic constraint 1.31/1.45 c intension x[70] != x[75] using generic constraint 1.31/1.45 c intension x[70] != x[93] using generic constraint 1.31/1.45 c intension x[70] != x[103] using generic constraint 1.31/1.45 c intension x[70] != x[134] using generic constraint 1.31/1.45 c intension x[70] != x[137] using generic constraint 1.31/1.45 c intension x[70] != x[144] using generic constraint 1.31/1.45 c intension x[70] != x[147] using generic constraint 1.31/1.45 c intension x[70] != x[148] using generic constraint 1.31/1.46 c intension x[70] != x[152] using generic constraint 1.31/1.46 c intension x[70] != x[156] using generic constraint 1.31/1.46 c intension x[70] != x[158] using generic constraint 1.31/1.46 c intension x[70] != x[193] using generic constraint 1.31/1.46 c intension x[70] != x[200] using generic constraint 1.31/1.46 c intension x[70] != x[212] using generic constraint 1.31/1.46 c intension x[70] != x[229] using generic constraint 1.31/1.46 c intension x[70] != x[231] using generic constraint 1.31/1.46 c intension x[70] != x[239] using generic constraint 1.31/1.46 c intension x[70] != x[241] using generic constraint 1.31/1.46 c intension x[70] != x[242] using generic constraint 1.31/1.47 c intension x[70] != x[246] using generic constraint 1.31/1.47 c intension x[71] != x[89] using generic constraint 1.31/1.47 c intension x[71] != x[94] using generic constraint 1.31/1.47 c intension x[71] != x[95] using generic constraint 1.31/1.47 c intension x[71] != x[99] using generic constraint 1.31/1.47 c intension x[71] != x[116] using generic constraint 1.31/1.47 c intension x[71] != x[117] using generic constraint 1.31/1.47 c intension x[71] != x[123] using generic constraint 1.31/1.47 c intension x[71] != x[130] using generic constraint 1.31/1.47 c intension x[71] != x[131] using generic constraint 1.31/1.47 c intension x[71] != x[142] using generic constraint 1.31/1.47 c intension x[71] != x[145] using generic constraint 1.31/1.48 c intension x[71] != x[151] using generic constraint 1.31/1.48 c intension x[71] != x[154] using generic constraint 1.31/1.48 c intension x[71] != x[165] using generic constraint 1.31/1.48 c intension x[71] != x[184] using generic constraint 1.31/1.48 c intension x[71] != x[188] using generic constraint 1.31/1.48 c intension x[71] != x[194] using generic constraint 1.31/1.48 c intension x[71] != x[204] using generic constraint 1.31/1.48 c intension x[71] != x[207] using generic constraint 1.31/1.48 c intension x[71] != x[208] using generic constraint 1.31/1.48 c intension x[71] != x[234] using generic constraint 1.31/1.48 c intension x[71] != x[244] using generic constraint 1.31/1.48 c intension x[71] != x[246] using generic constraint 1.31/1.49 c intension x[72] != x[79] using generic constraint 1.31/1.49 c intension x[72] != x[81] using generic constraint 1.31/1.49 c intension x[72] != x[92] using generic constraint 1.31/1.49 c intension x[72] != x[94] using generic constraint 1.31/1.49 c intension x[72] != x[95] using generic constraint 1.31/1.49 c intension x[72] != x[111] using generic constraint 1.31/1.49 c intension x[72] != x[112] using generic constraint 1.31/1.49 c intension x[72] != x[116] using generic constraint 1.31/1.49 c intension x[72] != x[118] using generic constraint 1.31/1.49 c intension x[72] != x[119] using generic constraint 1.31/1.49 c intension x[72] != x[126] using generic constraint 1.31/1.50 c intension x[72] != x[136] using generic constraint 1.41/1.50 c intension x[72] != x[146] using generic constraint 1.41/1.50 c intension x[72] != x[154] using generic constraint 1.41/1.50 c intension x[72] != x[228] using generic constraint 1.41/1.50 c intension x[72] != x[233] using generic constraint 1.41/1.50 c intension x[72] != x[247] using generic constraint 1.41/1.50 c intension x[73] != x[90] using generic constraint 1.41/1.50 c intension x[73] != x[112] using generic constraint 1.41/1.50 c intension x[73] != x[115] using generic constraint 1.41/1.50 c intension x[73] != x[130] using generic constraint 1.41/1.50 c intension x[73] != x[148] using generic constraint 1.41/1.50 c intension x[73] != x[169] using generic constraint 1.41/1.51 c intension x[73] != x[172] using generic constraint 1.41/1.51 c intension x[73] != x[177] using generic constraint 1.41/1.51 c intension x[73] != x[178] using generic constraint 1.41/1.51 c intension x[73] != x[181] using generic constraint 1.41/1.51 c intension x[73] != x[198] using generic constraint 1.41/1.51 c intension x[73] != x[200] using generic constraint 1.41/1.51 c intension x[73] != x[204] using generic constraint 1.41/1.51 c intension x[73] != x[218] using generic constraint 1.41/1.51 c intension x[73] != x[220] using generic constraint 1.41/1.51 c intension x[73] != x[240] using generic constraint 1.41/1.51 c intension x[74] != x[75] using generic constraint 1.41/1.51 c intension x[74] != x[85] using generic constraint 1.41/1.52 c intension x[74] != x[87] using generic constraint 1.41/1.52 c intension x[74] != x[103] using generic constraint 1.41/1.52 c intension x[74] != x[108] using generic constraint 1.41/1.52 c intension x[74] != x[113] using generic constraint 1.41/1.52 c intension x[74] != x[122] using generic constraint 1.41/1.52 c intension x[74] != x[128] using generic constraint 1.41/1.52 c intension x[74] != x[141] using generic constraint 1.41/1.52 c intension x[74] != x[144] using generic constraint 1.41/1.52 c intension x[74] != x[148] using generic constraint 1.41/1.52 c intension x[74] != x[168] using generic constraint 1.41/1.52 c intension x[74] != x[173] using generic constraint 1.41/1.53 c intension x[74] != x[207] using generic constraint 1.41/1.53 c intension x[74] != x[210] using generic constraint 1.41/1.53 c intension x[74] != x[224] using generic constraint 1.41/1.53 c intension x[74] != x[226] using generic constraint 1.41/1.53 c intension x[74] != x[232] using generic constraint 1.41/1.53 c intension x[74] != x[233] using generic constraint 1.41/1.53 c intension x[74] != x[237] using generic constraint 1.41/1.53 c intension x[74] != x[240] using generic constraint 1.41/1.53 c intension x[74] != x[242] using generic constraint 1.41/1.53 c intension x[74] != x[244] using generic constraint 1.41/1.53 c intension x[75] != x[108] using generic constraint 1.41/1.53 c intension x[75] != x[124] using generic constraint 1.41/1.54 c intension x[75] != x[125] using generic constraint 1.41/1.54 c intension x[75] != x[150] using generic constraint 1.41/1.54 c intension x[75] != x[155] using generic constraint 1.41/1.54 c intension x[75] != x[160] using generic constraint 1.41/1.54 c intension x[75] != x[164] using generic constraint 1.41/1.54 c intension x[75] != x[170] using generic constraint 1.41/1.54 c intension x[75] != x[176] using generic constraint 1.41/1.54 c intension x[75] != x[177] using generic constraint 1.41/1.54 c intension x[75] != x[179] using generic constraint 1.41/1.54 c intension x[75] != x[187] using generic constraint 1.41/1.54 c intension x[75] != x[204] using generic constraint 1.41/1.54 c intension x[75] != x[233] using generic constraint 1.41/1.55 c intension x[75] != x[234] using generic constraint 1.41/1.55 c intension x[75] != x[240] using generic constraint 1.41/1.55 c intension x[76] != x[87] using generic constraint 1.41/1.55 c intension x[76] != x[88] using generic constraint 1.41/1.55 c intension x[76] != x[91] using generic constraint 1.41/1.55 c intension x[76] != x[93] using generic constraint 1.41/1.55 c intension x[76] != x[102] using generic constraint 1.41/1.55 c intension x[76] != x[103] using generic constraint 1.41/1.55 c intension x[76] != x[109] using generic constraint 1.41/1.55 c intension x[76] != x[123] using generic constraint 1.41/1.55 c intension x[76] != x[125] using generic constraint 1.41/1.56 c intension x[76] != x[137] using generic constraint 1.41/1.56 c intension x[76] != x[177] using generic constraint 1.41/1.56 c intension x[76] != x[203] using generic constraint 1.41/1.56 c intension x[76] != x[204] using generic constraint 1.41/1.56 c intension x[76] != x[213] using generic constraint 1.41/1.56 c intension x[76] != x[222] using generic constraint 1.41/1.56 c intension x[76] != x[233] using generic constraint 1.41/1.56 c intension x[76] != x[247] using generic constraint 1.41/1.56 c intension x[77] != x[96] using generic constraint 1.41/1.56 c intension x[77] != x[143] using generic constraint 1.41/1.56 c intension x[77] != x[150] using generic constraint 1.41/1.56 c intension x[77] != x[172] using generic constraint 1.41/1.57 c intension x[77] != x[183] using generic constraint 1.41/1.57 c intension x[77] != x[185] using generic constraint 1.41/1.57 c intension x[77] != x[195] using generic constraint 1.41/1.57 c intension x[77] != x[200] using generic constraint 1.41/1.57 c intension x[77] != x[201] using generic constraint 1.41/1.57 c intension x[77] != x[233] using generic constraint 1.41/1.57 c intension x[77] != x[235] using generic constraint 1.41/1.57 c intension x[78] != x[88] using generic constraint 1.41/1.57 c intension x[78] != x[100] using generic constraint 1.41/1.57 c intension x[78] != x[109] using generic constraint 1.41/1.57 c intension x[78] != x[124] using generic constraint 1.41/1.57 c intension x[78] != x[133] using generic constraint 1.41/1.58 c intension x[78] != x[153] using generic constraint 1.41/1.58 c intension x[78] != x[171] using generic constraint 1.41/1.58 c intension x[78] != x[174] using generic constraint 1.41/1.58 c intension x[78] != x[215] using generic constraint 1.41/1.58 c intension x[78] != x[225] using generic constraint 1.41/1.58 c intension x[78] != x[237] using generic constraint 1.41/1.58 c intension x[79] != x[82] using generic constraint 1.41/1.58 c intension x[79] != x[84] using generic constraint 1.41/1.58 c intension x[79] != x[107] using generic constraint 1.41/1.58 c intension x[79] != x[110] using generic constraint 1.41/1.58 c intension x[79] != x[134] using generic constraint 1.41/1.59 c intension x[79] != x[157] using generic constraint 1.41/1.59 c intension x[79] != x[158] using generic constraint 1.41/1.59 c intension x[79] != x[181] using generic constraint 1.41/1.59 c intension x[79] != x[184] using generic constraint 1.41/1.59 c intension x[79] != x[185] using generic constraint 1.41/1.59 c intension x[79] != x[186] using generic constraint 1.41/1.59 c intension x[79] != x[192] using generic constraint 1.41/1.59 c intension x[79] != x[199] using generic constraint 1.41/1.59 c intension x[79] != x[200] using generic constraint 1.41/1.59 c intension x[79] != x[206] using generic constraint 1.41/1.59 c intension x[79] != x[214] using generic constraint 1.41/1.59 c intension x[79] != x[216] using generic constraint 1.51/1.60 c intension x[79] != x[222] using generic constraint 1.51/1.60 c intension x[80] != x[85] using generic constraint 1.51/1.60 c intension x[80] != x[88] using generic constraint 1.51/1.60 c intension x[80] != x[95] using generic constraint 1.51/1.60 c intension x[80] != x[103] using generic constraint 1.51/1.60 c intension x[80] != x[113] using generic constraint 1.51/1.60 c intension x[80] != x[130] using generic constraint 1.51/1.60 c intension x[80] != x[134] using generic constraint 1.51/1.60 c intension x[80] != x[150] using generic constraint 1.51/1.60 c intension x[80] != x[157] using generic constraint 1.51/1.60 c intension x[80] != x[158] using generic constraint 1.51/1.60 c intension x[80] != x[171] using generic constraint 1.51/1.61 c intension x[80] != x[181] using generic constraint 1.51/1.61 c intension x[80] != x[186] using generic constraint 1.51/1.61 c intension x[80] != x[195] using generic constraint 1.51/1.61 c intension x[80] != x[203] using generic constraint 1.51/1.61 c intension x[80] != x[213] using generic constraint 1.51/1.61 c intension x[80] != x[217] using generic constraint 1.51/1.61 c intension x[80] != x[244] using generic constraint 1.51/1.61 c intension x[80] != x[247] using generic constraint 1.51/1.61 c intension x[81] != x[96] using generic constraint 1.51/1.61 c intension x[81] != x[106] using generic constraint 1.51/1.61 c intension x[81] != x[107] using generic constraint 1.51/1.62 c intension x[81] != x[113] using generic constraint 1.51/1.62 c intension x[81] != x[125] using generic constraint 1.51/1.62 c intension x[81] != x[134] using generic constraint 1.51/1.62 c intension x[81] != x[138] using generic constraint 1.51/1.62 c intension x[81] != x[153] using generic constraint 1.51/1.62 c intension x[81] != x[162] using generic constraint 1.51/1.62 c intension x[81] != x[166] using generic constraint 1.51/1.62 c intension x[81] != x[167] using generic constraint 1.51/1.62 c intension x[81] != x[200] using generic constraint 1.51/1.62 c intension x[81] != x[203] using generic constraint 1.51/1.62 c intension x[81] != x[206] using generic constraint 1.51/1.62 c intension x[81] != x[233] using generic constraint 1.51/1.63 c intension x[81] != x[235] using generic constraint 1.51/1.63 c intension x[81] != x[237] using generic constraint 1.51/1.63 c intension x[81] != x[238] using generic constraint 1.51/1.63 c intension x[82] != x[89] using generic constraint 1.51/1.63 c intension x[82] != x[139] using generic constraint 1.51/1.63 c intension x[82] != x[160] using generic constraint 1.51/1.63 c intension x[82] != x[161] using generic constraint 1.51/1.63 c intension x[82] != x[175] using generic constraint 1.51/1.63 c intension x[82] != x[176] using generic constraint 1.51/1.63 c intension x[82] != x[181] using generic constraint 1.51/1.63 c intension x[82] != x[190] using generic constraint 1.51/1.64 c intension x[82] != x[192] using generic constraint 1.51/1.64 c intension x[82] != x[197] using generic constraint 1.51/1.64 c intension x[82] != x[214] using generic constraint 1.51/1.64 c intension x[82] != x[216] using generic constraint 1.51/1.64 c intension x[82] != x[223] using generic constraint 1.51/1.64 c intension x[82] != x[227] using generic constraint 1.51/1.64 c intension x[82] != x[246] using generic constraint 1.51/1.64 c intension x[82] != x[247] using generic constraint 1.51/1.64 c intension x[83] != x[86] using generic constraint 1.51/1.64 c intension x[83] != x[105] using generic constraint 1.51/1.64 c intension x[83] != x[115] using generic constraint 1.51/1.64 c intension x[83] != x[117] using generic constraint 1.51/1.65 c intension x[83] != x[129] using generic constraint 1.51/1.65 c intension x[83] != x[134] using generic constraint 1.51/1.65 c intension x[83] != x[139] using generic constraint 1.51/1.65 c intension x[83] != x[145] using generic constraint 1.51/1.65 c intension x[83] != x[150] using generic constraint 1.51/1.65 c intension x[83] != x[155] using generic constraint 1.51/1.65 c intension x[83] != x[178] using generic constraint 1.51/1.65 c intension x[83] != x[182] using generic constraint 1.51/1.65 c intension x[83] != x[185] using generic constraint 1.51/1.65 c intension x[83] != x[188] using generic constraint 1.51/1.65 c intension x[83] != x[206] using generic constraint 1.51/1.65 c intension x[83] != x[232] using generic constraint 1.51/1.66 c intension x[83] != x[244] using generic constraint 1.51/1.66 c intension x[83] != x[248] using generic constraint 1.51/1.66 c intension x[83] != x[249] using generic constraint 1.51/1.66 c intension x[84] != x[119] using generic constraint 1.51/1.66 c intension x[84] != x[130] using generic constraint 1.51/1.66 c intension x[84] != x[134] using generic constraint 1.51/1.66 c intension x[84] != x[147] using generic constraint 1.51/1.66 c intension x[84] != x[151] using generic constraint 1.51/1.66 c intension x[84] != x[161] using generic constraint 1.51/1.66 c intension x[84] != x[176] using generic constraint 1.51/1.66 c intension x[84] != x[185] using generic constraint 1.51/1.67 c intension x[84] != x[186] using generic constraint 1.51/1.67 c intension x[84] != x[198] using generic constraint 1.51/1.67 c intension x[84] != x[204] using generic constraint 1.51/1.67 c intension x[84] != x[209] using generic constraint 1.51/1.67 c intension x[84] != x[219] using generic constraint 1.51/1.67 c intension x[84] != x[224] using generic constraint 1.51/1.67 c intension x[84] != x[229] using generic constraint 1.51/1.67 c intension x[84] != x[239] using generic constraint 1.51/1.67 c intension x[85] != x[90] using generic constraint 1.51/1.67 c intension x[85] != x[97] using generic constraint 1.51/1.67 c intension x[85] != x[98] using generic constraint 1.51/1.67 c intension x[85] != x[107] using generic constraint 1.51/1.68 c intension x[85] != x[122] using generic constraint 1.51/1.68 c intension x[85] != x[123] using generic constraint 1.51/1.68 c intension x[85] != x[134] using generic constraint 1.51/1.68 c intension x[85] != x[142] using generic constraint 1.51/1.68 c intension x[85] != x[173] using generic constraint 1.51/1.68 c intension x[85] != x[183] using generic constraint 1.51/1.68 c intension x[85] != x[197] using generic constraint 1.51/1.68 c intension x[85] != x[213] using generic constraint 1.51/1.68 c intension x[85] != x[215] using generic constraint 1.51/1.68 c intension x[85] != x[231] using generic constraint 1.51/1.68 c intension x[86] != x[111] using generic constraint 1.51/1.68 c intension x[86] != x[114] using generic constraint 1.51/1.69 c intension x[86] != x[118] using generic constraint 1.51/1.69 c intension x[86] != x[120] using generic constraint 1.51/1.69 c intension x[86] != x[124] using generic constraint 1.51/1.69 c intension x[86] != x[127] using generic constraint 1.51/1.69 c intension x[86] != x[129] using generic constraint 1.51/1.69 c intension x[86] != x[143] using generic constraint 1.51/1.69 c intension x[86] != x[153] using generic constraint 1.51/1.69 c intension x[86] != x[156] using generic constraint 1.51/1.69 c intension x[86] != x[163] using generic constraint 1.51/1.69 c intension x[86] != x[194] using generic constraint 1.51/1.69 c intension x[86] != x[207] using generic constraint 1.51/1.70 c intension x[86] != x[208] using generic constraint 1.61/1.70 c intension x[86] != x[209] using generic constraint 1.61/1.70 c intension x[86] != x[210] using generic constraint 1.61/1.70 c intension x[86] != x[214] using generic constraint 1.61/1.70 c intension x[86] != x[218] using generic constraint 1.61/1.70 c intension x[86] != x[235] using generic constraint 1.61/1.70 c intension x[86] != x[247] using generic constraint 1.61/1.70 c intension x[87] != x[90] using generic constraint 1.61/1.70 c intension x[87] != x[91] using generic constraint 1.61/1.70 c intension x[87] != x[101] using generic constraint 1.61/1.70 c intension x[87] != x[107] using generic constraint 1.61/1.70 c intension x[87] != x[128] using generic constraint 1.61/1.71 c intension x[87] != x[133] using generic constraint 1.61/1.71 c intension x[87] != x[152] using generic constraint 1.61/1.71 c intension x[87] != x[153] using generic constraint 1.61/1.71 c intension x[87] != x[166] using generic constraint 1.61/1.71 c intension x[87] != x[168] using generic constraint 1.61/1.71 c intension x[87] != x[195] using generic constraint 1.61/1.71 c intension x[87] != x[199] using generic constraint 1.61/1.71 c intension x[87] != x[202] using generic constraint 1.61/1.71 c intension x[88] != x[106] using generic constraint 1.61/1.71 c intension x[88] != x[119] using generic constraint 1.61/1.71 c intension x[88] != x[124] using generic constraint 1.61/1.71 c intension x[88] != x[127] using generic constraint 1.61/1.72 c intension x[88] != x[129] using generic constraint 1.61/1.72 c intension x[88] != x[132] using generic constraint 1.61/1.72 c intension x[88] != x[139] using generic constraint 1.61/1.72 c intension x[88] != x[145] using generic constraint 1.61/1.72 c intension x[88] != x[150] using generic constraint 1.61/1.72 c intension x[88] != x[172] using generic constraint 1.61/1.72 c intension x[88] != x[178] using generic constraint 1.61/1.72 c intension x[88] != x[190] using generic constraint 1.61/1.72 c intension x[88] != x[192] using generic constraint 1.61/1.72 c intension x[88] != x[233] using generic constraint 1.61/1.72 c intension x[88] != x[243] using generic constraint 1.61/1.73 c intension x[89] != x[90] using generic constraint 1.61/1.73 c intension x[89] != x[97] using generic constraint 1.61/1.73 c intension x[89] != x[102] using generic constraint 1.61/1.73 c intension x[89] != x[105] using generic constraint 1.61/1.73 c intension x[89] != x[136] using generic constraint 1.61/1.73 c intension x[89] != x[144] using generic constraint 1.61/1.73 c intension x[89] != x[150] using generic constraint 1.61/1.73 c intension x[89] != x[151] using generic constraint 1.61/1.73 c intension x[89] != x[158] using generic constraint 1.61/1.73 c intension x[89] != x[160] using generic constraint 1.61/1.73 c intension x[89] != x[163] using generic constraint 1.61/1.73 c intension x[89] != x[176] using generic constraint 1.61/1.74 c intension x[89] != x[197] using generic constraint 1.61/1.74 c intension x[89] != x[198] using generic constraint 1.61/1.74 c intension x[89] != x[207] using generic constraint 1.61/1.74 c intension x[89] != x[211] using generic constraint 1.61/1.74 c intension x[89] != x[228] using generic constraint 1.61/1.74 c intension x[89] != x[229] using generic constraint 1.61/1.74 c intension x[89] != x[231] using generic constraint 1.61/1.74 c intension x[89] != x[239] using generic constraint 1.61/1.74 c intension x[89] != x[243] using generic constraint 1.61/1.74 c intension x[89] != x[244] using generic constraint 1.61/1.74 c intension x[90] != x[91] using generic constraint 1.61/1.75 c intension x[90] != x[96] using generic constraint 1.61/1.75 c intension x[90] != x[138] using generic constraint 1.61/1.75 c intension x[90] != x[146] using generic constraint 1.61/1.75 c intension x[90] != x[152] using generic constraint 1.61/1.75 c intension x[90] != x[155] using generic constraint 1.61/1.75 c intension x[90] != x[164] using generic constraint 1.61/1.75 c intension x[90] != x[172] using generic constraint 1.61/1.75 c intension x[90] != x[174] using generic constraint 1.61/1.75 c intension x[90] != x[202] using generic constraint 1.61/1.75 c intension x[90] != x[223] using generic constraint 1.61/1.75 c intension x[90] != x[227] using generic constraint 1.61/1.75 c intension x[90] != x[235] using generic constraint 1.61/1.76 c intension x[90] != x[247] using generic constraint 1.61/1.76 c intension x[90] != x[248] using generic constraint 1.61/1.76 c intension x[91] != x[95] using generic constraint 1.61/1.76 c intension x[91] != x[96] using generic constraint 1.61/1.76 c intension x[91] != x[104] using generic constraint 1.61/1.76 c intension x[91] != x[106] using generic constraint 1.61/1.76 c intension x[91] != x[132] using generic constraint 1.61/1.76 c intension x[91] != x[133] using generic constraint 1.61/1.76 c intension x[91] != x[148] using generic constraint 1.61/1.76 c intension x[91] != x[159] using generic constraint 1.61/1.76 c intension x[91] != x[173] using generic constraint 1.61/1.76 c intension x[91] != x[175] using generic constraint 1.61/1.77 c intension x[91] != x[181] using generic constraint 1.61/1.77 c intension x[91] != x[190] using generic constraint 1.61/1.77 c intension x[91] != x[209] using generic constraint 1.61/1.77 c intension x[91] != x[225] using generic constraint 1.61/1.77 c intension x[91] != x[232] using generic constraint 1.61/1.77 c intension x[91] != x[235] using generic constraint 1.61/1.77 c intension x[92] != x[108] using generic constraint 1.61/1.77 c intension x[92] != x[114] using generic constraint 1.61/1.77 c intension x[92] != x[117] using generic constraint 1.61/1.77 c intension x[92] != x[118] using generic constraint 1.61/1.77 c intension x[92] != x[119] using generic constraint 1.61/1.78 c intension x[92] != x[128] using generic constraint 1.61/1.78 c intension x[92] != x[134] using generic constraint 1.61/1.78 c intension x[92] != x[137] using generic constraint 1.61/1.78 c intension x[92] != x[138] using generic constraint 1.61/1.78 c intension x[92] != x[150] using generic constraint 1.61/1.78 c intension x[92] != x[153] using generic constraint 1.61/1.78 c intension x[92] != x[160] using generic constraint 1.61/1.78 c intension x[92] != x[170] using generic constraint 1.61/1.78 c intension x[92] != x[174] using generic constraint 1.61/1.78 c intension x[92] != x[200] using generic constraint 1.61/1.78 c intension x[92] != x[204] using generic constraint 1.61/1.78 c intension x[92] != x[212] using generic constraint 1.61/1.79 c intension x[92] != x[226] using generic constraint 1.61/1.79 c intension x[92] != x[243] using generic constraint 1.61/1.79 c intension x[93] != x[94] using generic constraint 1.61/1.79 c intension x[93] != x[102] using generic constraint 1.61/1.79 c intension x[93] != x[105] using generic constraint 1.61/1.79 c intension x[93] != x[114] using generic constraint 1.61/1.79 c intension x[93] != x[125] using generic constraint 1.61/1.79 c intension x[93] != x[134] using generic constraint 1.61/1.79 c intension x[93] != x[147] using generic constraint 1.61/1.79 c intension x[93] != x[148] using generic constraint 1.61/1.79 c intension x[93] != x[175] using generic constraint 1.61/1.80 c intension x[93] != x[194] using generic constraint 1.71/1.80 c intension x[93] != x[199] using generic constraint 1.71/1.80 c intension x[93] != x[204] using generic constraint 1.71/1.80 c intension x[93] != x[207] using generic constraint 1.71/1.80 c intension x[93] != x[220] using generic constraint 1.71/1.80 c intension x[93] != x[240] using generic constraint 1.71/1.80 c intension x[94] != x[101] using generic constraint 1.71/1.80 c intension x[94] != x[114] using generic constraint 1.71/1.80 c intension x[94] != x[118] using generic constraint 1.71/1.80 c intension x[94] != x[124] using generic constraint 1.71/1.80 c intension x[94] != x[133] using generic constraint 1.71/1.80 c intension x[94] != x[134] using generic constraint 1.71/1.81 c intension x[94] != x[135] using generic constraint 1.71/1.81 c intension x[94] != x[155] using generic constraint 1.71/1.81 c intension x[94] != x[165] using generic constraint 1.71/1.81 c intension x[94] != x[189] using generic constraint 1.71/1.81 c intension x[94] != x[217] using generic constraint 1.71/1.81 c intension x[94] != x[221] using generic constraint 1.71/1.81 c intension x[94] != x[228] using generic constraint 1.71/1.81 c intension x[95] != x[97] using generic constraint 1.71/1.81 c intension x[95] != x[104] using generic constraint 1.71/1.81 c intension x[95] != x[109] using generic constraint 1.71/1.81 c intension x[95] != x[145] using generic constraint 1.71/1.81 c intension x[95] != x[151] using generic constraint 1.71/1.82 c intension x[95] != x[157] using generic constraint 1.71/1.82 c intension x[95] != x[167] using generic constraint 1.71/1.82 c intension x[95] != x[192] using generic constraint 1.71/1.82 c intension x[95] != x[211] using generic constraint 1.71/1.82 c intension x[95] != x[219] using generic constraint 1.71/1.82 c intension x[95] != x[236] using generic constraint 1.71/1.82 c intension x[96] != x[102] using generic constraint 1.71/1.82 c intension x[96] != x[118] using generic constraint 1.71/1.82 c intension x[96] != x[125] using generic constraint 1.71/1.82 c intension x[96] != x[130] using generic constraint 1.71/1.82 c intension x[96] != x[136] using generic constraint 1.71/1.83 c intension x[96] != x[169] using generic constraint 1.71/1.83 c intension x[96] != x[205] using generic constraint 1.71/1.83 c intension x[96] != x[245] using generic constraint 1.71/1.83 c intension x[96] != x[249] using generic constraint 1.71/1.83 c intension x[97] != x[102] using generic constraint 1.71/1.83 c intension x[97] != x[117] using generic constraint 1.71/1.83 c intension x[97] != x[123] using generic constraint 1.71/1.83 c intension x[97] != x[147] using generic constraint 1.71/1.83 c intension x[97] != x[148] using generic constraint 1.71/1.83 c intension x[97] != x[164] using generic constraint 1.71/1.83 c intension x[97] != x[172] using generic constraint 1.71/1.83 c intension x[97] != x[198] using generic constraint 1.71/1.84 c intension x[97] != x[200] using generic constraint 1.71/1.84 c intension x[97] != x[208] using generic constraint 1.71/1.84 c intension x[97] != x[210] using generic constraint 1.71/1.84 c intension x[97] != x[217] using generic constraint 1.71/1.84 c intension x[97] != x[221] using generic constraint 1.71/1.84 c intension x[97] != x[243] using generic constraint 1.71/1.84 c intension x[97] != x[246] using generic constraint 1.71/1.84 c intension x[98] != x[112] using generic constraint 1.71/1.84 c intension x[98] != x[119] using generic constraint 1.71/1.84 c intension x[98] != x[148] using generic constraint 1.71/1.84 c intension x[98] != x[154] using generic constraint 1.71/1.84 c intension x[98] != x[159] using generic constraint 1.71/1.85 c intension x[98] != x[161] using generic constraint 1.71/1.85 c intension x[98] != x[173] using generic constraint 1.71/1.85 c intension x[98] != x[175] using generic constraint 1.71/1.85 c intension x[98] != x[187] using generic constraint 1.71/1.85 c intension x[98] != x[195] using generic constraint 1.71/1.85 c intension x[98] != x[201] using generic constraint 1.71/1.85 c intension x[98] != x[222] using generic constraint 1.71/1.85 c intension x[98] != x[226] using generic constraint 1.71/1.85 c intension x[98] != x[229] using generic constraint 1.71/1.85 c intension x[99] != x[104] using generic constraint 1.71/1.85 c intension x[99] != x[108] using generic constraint 1.71/1.86 c intension x[99] != x[140] using generic constraint 1.71/1.86 c intension x[99] != x[142] using generic constraint 1.71/1.86 c intension x[99] != x[162] using generic constraint 1.71/1.86 c intension x[99] != x[167] using generic constraint 1.71/1.86 c intension x[99] != x[170] using generic constraint 1.71/1.86 c intension x[99] != x[182] using generic constraint 1.71/1.86 c intension x[99] != x[183] using generic constraint 1.71/1.86 c intension x[99] != x[185] using generic constraint 1.71/1.86 c intension x[99] != x[203] using generic constraint 1.71/1.86 c intension x[99] != x[204] using generic constraint 1.71/1.86 c intension x[99] != x[212] using generic constraint 1.71/1.86 c intension x[99] != x[214] using generic constraint 1.71/1.87 c intension x[99] != x[227] using generic constraint 1.71/1.87 c intension x[99] != x[238] using generic constraint 1.71/1.87 c intension x[99] != x[247] using generic constraint 1.71/1.87 c intension x[99] != x[248] using generic constraint 1.71/1.87 c intension x[100] != x[102] using generic constraint 1.71/1.87 c intension x[100] != x[114] using generic constraint 1.71/1.87 c intension x[100] != x[117] using generic constraint 1.71/1.87 c intension x[100] != x[120] using generic constraint 1.71/1.87 c intension x[100] != x[138] using generic constraint 1.71/1.87 c intension x[100] != x[147] using generic constraint 1.71/1.87 c intension x[100] != x[153] using generic constraint 1.71/1.87 c intension x[100] != x[156] using generic constraint 1.71/1.88 c intension x[100] != x[157] using generic constraint 1.71/1.88 c intension x[100] != x[158] using generic constraint 1.71/1.88 c intension x[100] != x[162] using generic constraint 1.71/1.88 c intension x[100] != x[166] using generic constraint 1.71/1.88 c intension x[100] != x[168] using generic constraint 1.71/1.88 c intension x[100] != x[171] using generic constraint 1.71/1.88 c intension x[100] != x[173] using generic constraint 1.71/1.88 c intension x[100] != x[175] using generic constraint 1.71/1.88 c intension x[100] != x[218] using generic constraint 1.71/1.88 c intension x[100] != x[219] using generic constraint 1.71/1.88 c intension x[100] != x[227] using generic constraint 1.71/1.89 c intension x[101] != x[108] using generic constraint 1.71/1.89 c intension x[101] != x[118] using generic constraint 1.71/1.89 c intension x[101] != x[123] using generic constraint 1.71/1.89 c intension x[101] != x[141] using generic constraint 1.71/1.89 c intension x[101] != x[161] using generic constraint 1.71/1.89 c intension x[101] != x[167] using generic constraint 1.71/1.89 c intension x[101] != x[182] using generic constraint 1.71/1.89 c intension x[101] != x[198] using generic constraint 1.71/1.89 c intension x[101] != x[220] using generic constraint 1.71/1.89 c intension x[101] != x[222] using generic constraint 1.71/1.89 c intension x[101] != x[230] using generic constraint 1.71/1.89 c intension x[101] != x[233] using generic constraint 1.81/1.90 c intension x[101] != x[238] using generic constraint 1.81/1.90 c intension x[101] != x[249] using generic constraint 1.81/1.90 c intension x[102] != x[125] using generic constraint 1.81/1.90 c intension x[102] != x[145] using generic constraint 1.81/1.90 c intension x[102] != x[169] using generic constraint 1.81/1.90 c intension x[102] != x[181] using generic constraint 1.81/1.90 c intension x[102] != x[187] using generic constraint 1.81/1.90 c intension x[102] != x[189] using generic constraint 1.81/1.90 c intension x[102] != x[198] using generic constraint 1.81/1.90 c intension x[102] != x[199] using generic constraint 1.91/2.03 c intension x[102] != x[214] using generic constraint 1.91/2.03 c intension x[102] != x[220] using generic constraint 1.91/2.03 c intension x[102] != x[223] using generic constraint 1.91/2.03 c intension x[102] != x[227] using generic constraint 1.91/2.03 c intension x[102] != x[244] using generic constraint 1.91/2.03 c intension x[103] != x[110] using generic constraint 1.91/2.03 c intension x[103] != x[120] using generic constraint 1.91/2.03 c intension x[103] != x[121] using generic constraint 1.91/2.03 c intension x[103] != x[124] using generic constraint 1.91/2.03 c intension x[103] != x[128] using generic constraint 1.91/2.03 c intension x[103] != x[159] using generic constraint 1.91/2.03 c intension x[103] != x[170] using generic constraint 1.91/2.03 c intension x[103] != x[181] using generic constraint 1.91/2.03 c intension x[103] != x[182] using generic constraint 1.91/2.03 c intension x[103] != x[195] using generic constraint 1.91/2.03 c intension x[103] != x[208] using generic constraint 1.91/2.03 c intension x[103] != x[223] using generic constraint 1.91/2.03 c intension x[103] != x[248] using generic constraint 1.91/2.03 c intension x[104] != x[112] using generic constraint 1.91/2.03 c intension x[104] != x[114] using generic constraint 1.91/2.03 c intension x[104] != x[116] using generic constraint 1.91/2.03 c intension x[104] != x[147] using generic constraint 1.91/2.03 c intension x[104] != x[151] using generic constraint 1.91/2.03 c intension x[104] != x[155] using generic constraint 1.91/2.03 c intension x[104] != x[157] using generic constraint 1.91/2.03 c intension x[104] != x[159] using generic constraint 1.91/2.03 c intension x[104] != x[172] using generic constraint 1.91/2.03 c intension x[104] != x[182] using generic constraint 1.91/2.03 c intension x[104] != x[208] using generic constraint 1.91/2.03 c intension x[104] != x[214] using generic constraint 1.91/2.03 c intension x[104] != x[222] using generic constraint 1.91/2.03 c intension x[104] != x[225] using generic constraint 1.91/2.03 c intension x[104] != x[239] using generic constraint 1.91/2.03 c intension x[105] != x[109] using generic constraint 1.91/2.03 c intension x[105] != x[111] using generic constraint 1.91/2.03 c intension x[105] != x[124] using generic constraint 1.91/2.03 c intension x[105] != x[128] using generic constraint 1.91/2.03 c intension x[105] != x[135] using generic constraint 1.91/2.03 c intension x[105] != x[137] using generic constraint 1.91/2.03 c intension x[105] != x[145] using generic constraint 1.91/2.03 c intension x[105] != x[153] using generic constraint 1.91/2.03 c intension x[105] != x[158] using generic constraint 1.91/2.03 c intension x[105] != x[167] using generic constraint 1.91/2.03 c intension x[105] != x[179] using generic constraint 1.91/2.03 c intension x[105] != x[181] using generic constraint 1.91/2.03 c intension x[105] != x[186] using generic constraint 1.91/2.03 c intension x[105] != x[197] using generic constraint 1.91/2.03 c intension x[105] != x[198] using generic constraint 1.91/2.03 c intension x[105] != x[208] using generic constraint 1.91/2.03 c intension x[105] != x[209] using generic constraint 1.91/2.03 c intension x[105] != x[210] using generic constraint 1.91/2.03 c intension x[105] != x[215] using generic constraint 1.91/2.03 c intension x[105] != x[217] using generic constraint 1.91/2.03 c intension x[105] != x[222] using generic constraint 1.91/2.03 c intension x[105] != x[228] using generic constraint 1.91/2.03 c intension x[105] != x[234] using generic constraint 1.91/2.03 c intension x[105] != x[237] using generic constraint 1.91/2.03 c intension x[105] != x[239] using generic constraint 1.91/2.03 c intension x[105] != x[241] using generic constraint 1.91/2.03 c intension x[105] != x[242] using generic constraint 1.91/2.03 c intension x[106] != x[109] using generic constraint 1.91/2.03 c intension x[106] != x[114] using generic constraint 1.91/2.03 c intension x[106] != x[121] using generic constraint 1.91/2.03 c intension x[106] != x[145] using generic constraint 1.91/2.03 c intension x[106] != x[147] using generic constraint 1.91/2.03 c intension x[106] != x[151] using generic constraint 1.91/2.03 c intension x[106] != x[154] using generic constraint 1.91/2.03 c intension x[106] != x[156] using generic constraint 1.91/2.03 c intension x[106] != x[178] using generic constraint 1.91/2.03 c intension x[106] != x[196] using generic constraint 1.91/2.03 c intension x[106] != x[202] using generic constraint 1.91/2.03 c intension x[106] != x[205] using generic constraint 1.91/2.03 c intension x[107] != x[125] using generic constraint 1.91/2.03 c intension x[107] != x[126] using generic constraint 1.91/2.03 c intension x[107] != x[133] using generic constraint 1.91/2.03 c intension x[107] != x[148] using generic constraint 1.91/2.03 c intension x[107] != x[156] using generic constraint 1.91/2.03 c intension x[107] != x[168] using generic constraint 1.91/2.03 c intension x[107] != x[173] using generic constraint 1.91/2.03 c intension x[107] != x[180] using generic constraint 1.91/2.03 c intension x[107] != x[182] using generic constraint 1.91/2.03 c intension x[107] != x[184] using generic constraint 1.91/2.03 c intension x[107] != x[191] using generic constraint 1.91/2.03 c intension x[107] != x[193] using generic constraint 1.91/2.03 c intension x[107] != x[195] using generic constraint 1.91/2.03 c intension x[107] != x[205] using generic constraint 1.91/2.03 c intension x[107] != x[209] using generic constraint 1.91/2.03 c intension x[107] != x[214] using generic constraint 1.91/2.03 c intension x[107] != x[229] using generic constraint 1.91/2.03 c intension x[107] != x[234] using generic constraint 1.91/2.03 c intension x[107] != x[244] using generic constraint 1.91/2.03 c intension x[108] != x[150] using generic constraint 1.91/2.03 c intension x[108] != x[153] using generic constraint 1.91/2.03 c intension x[108] != x[157] using generic constraint 1.91/2.03 c intension x[108] != x[167] using generic constraint 1.91/2.03 c intension x[108] != x[172] using generic constraint 1.91/2.03 c intension x[108] != x[175] using generic constraint 1.91/2.03 c intension x[108] != x[210] using generic constraint 1.91/2.03 c intension x[108] != x[223] using generic constraint 1.91/2.03 c intension x[108] != x[231] using generic constraint 1.91/2.03 c intension x[109] != x[114] using generic constraint 1.91/2.03 c intension x[109] != x[117] using generic constraint 1.91/2.03 c intension x[109] != x[124] using generic constraint 1.91/2.03 c intension x[109] != x[133] using generic constraint 1.91/2.03 c intension x[109] != x[138] using generic constraint 1.91/2.03 c intension x[109] != x[146] using generic constraint 1.91/2.03 c intension x[109] != x[155] using generic constraint 1.91/2.03 c intension x[109] != x[156] using generic constraint 1.91/2.03 c intension x[109] != x[179] using generic constraint 1.91/2.03 c intension x[109] != x[191] using generic constraint 1.91/2.03 c intension x[109] != x[228] using generic constraint 1.91/2.03 c intension x[109] != x[241] using generic constraint 1.91/2.03 c intension x[110] != x[119] using generic constraint 1.91/2.03 c intension x[110] != x[125] using generic constraint 1.91/2.03 c intension x[110] != x[131] using generic constraint 1.91/2.03 c intension x[110] != x[171] using generic constraint 1.91/2.03 c intension x[110] != x[175] using generic constraint 1.91/2.03 c intension x[110] != x[176] using generic constraint 1.91/2.03 c intension x[110] != x[200] using generic constraint 1.91/2.03 c intension x[110] != x[204] using generic constraint 1.91/2.03 c intension x[111] != x[113] using generic constraint 1.91/2.03 c intension x[111] != x[131] using generic constraint 1.91/2.03 c intension x[111] != x[133] using generic constraint 1.91/2.03 c intension x[111] != x[142] using generic constraint 1.91/2.03 c intension x[111] != x[150] using generic constraint 1.91/2.03 c intension x[111] != x[161] using generic constraint 1.91/2.03 c intension x[111] != x[164] using generic constraint 1.91/2.03 c intension x[111] != x[180] using generic constraint 1.91/2.03 c intension x[111] != x[188] using generic constraint 1.91/2.03 c intension x[111] != x[196] using generic constraint 1.91/2.03 c intension x[111] != x[197] using generic constraint 1.91/2.03 c intension x[111] != x[217] using generic constraint 1.91/2.03 c intension x[111] != x[226] using generic constraint 1.91/2.03 c intension x[111] != x[237] using generic constraint 1.91/2.03 c intension x[111] != x[246] using generic constraint 1.91/2.03 c intension x[112] != x[131] using generic constraint 1.91/2.03 c intension x[112] != x[135] using generic constraint 1.91/2.03 c intension x[112] != x[148] using generic constraint 1.91/2.03 c intension x[112] != x[154] using generic constraint 1.91/2.03 c intension x[112] != x[160] using generic constraint 1.91/2.03 c intension x[112] != x[173] using generic constraint 1.91/2.03 c intension x[112] != x[178] using generic constraint 1.91/2.03 c intension x[112] != x[193] using generic constraint 1.91/2.03 c intension x[113] != x[128] using generic constraint 1.91/2.03 c intension x[113] != x[191] using generic constraint 1.91/2.03 c intension x[113] != x[193] using generic constraint 1.91/2.03 c intension x[113] != x[198] using generic constraint 1.91/2.03 c intension x[113] != x[200] using generic constraint 1.91/2.03 c intension x[113] != x[214] using generic constraint 1.91/2.03 c intension x[113] != x[225] using generic constraint 1.91/2.03 c intension x[113] != x[229] using generic constraint 1.91/2.03 c intension x[113] != x[230] using generic constraint 1.91/2.03 c intension x[113] != x[240] using generic constraint 1.91/2.04 c intension x[113] != x[247] using generic constraint 1.91/2.04 c intension x[114] != x[119] using generic constraint 1.91/2.04 c intension x[114] != x[135] using generic constraint 1.91/2.04 c intension x[114] != x[143] using generic constraint 1.91/2.04 c intension x[114] != x[144] using generic constraint 1.91/2.04 c intension x[114] != x[149] using generic constraint 1.91/2.04 c intension x[114] != x[150] using generic constraint 1.91/2.04 c intension x[114] != x[160] using generic constraint 1.91/2.04 c intension x[114] != x[162] using generic constraint 1.91/2.04 c intension x[114] != x[167] using generic constraint 1.91/2.04 c intension x[114] != x[174] using generic constraint 1.91/2.05 c intension x[114] != x[179] using generic constraint 1.91/2.05 c intension x[114] != x[198] using generic constraint 1.91/2.05 c intension x[114] != x[201] using generic constraint 1.91/2.05 c intension x[114] != x[210] using generic constraint 1.91/2.05 c intension x[114] != x[217] using generic constraint 1.91/2.05 c intension x[114] != x[218] using generic constraint 1.91/2.05 c intension x[114] != x[227] using generic constraint 1.91/2.05 c intension x[114] != x[240] using generic constraint 1.91/2.05 c intension x[115] != x[127] using generic constraint 1.91/2.05 c intension x[115] != x[131] using generic constraint 1.91/2.05 c intension x[115] != x[149] using generic constraint 1.91/2.05 c intension x[115] != x[153] using generic constraint 1.91/2.06 c intension x[115] != x[156] using generic constraint 1.91/2.06 c intension x[115] != x[172] using generic constraint 1.91/2.06 c intension x[115] != x[174] using generic constraint 1.91/2.06 c intension x[115] != x[196] using generic constraint 1.91/2.06 c intension x[115] != x[202] using generic constraint 1.91/2.06 c intension x[115] != x[203] using generic constraint 1.91/2.06 c intension x[115] != x[204] using generic constraint 1.91/2.06 c intension x[115] != x[218] using generic constraint 1.91/2.06 c intension x[115] != x[224] using generic constraint 1.91/2.06 c intension x[115] != x[227] using generic constraint 1.91/2.06 c intension x[115] != x[230] using generic constraint 1.91/2.06 c intension x[115] != x[233] using generic constraint 1.91/2.07 c intension x[115] != x[238] using generic constraint 1.91/2.07 c intension x[116] != x[122] using generic constraint 1.91/2.07 c intension x[116] != x[127] using generic constraint 1.91/2.07 c intension x[116] != x[133] using generic constraint 1.91/2.07 c intension x[116] != x[135] using generic constraint 1.91/2.07 c intension x[116] != x[142] using generic constraint 1.91/2.07 c intension x[116] != x[146] using generic constraint 1.91/2.07 c intension x[116] != x[152] using generic constraint 1.91/2.07 c intension x[116] != x[158] using generic constraint 1.91/2.07 c intension x[116] != x[162] using generic constraint 1.91/2.07 c intension x[116] != x[167] using generic constraint 1.91/2.08 c intension x[116] != x[174] using generic constraint 1.91/2.08 c intension x[116] != x[175] using generic constraint 1.91/2.08 c intension x[116] != x[176] using generic constraint 1.91/2.08 c intension x[116] != x[182] using generic constraint 1.91/2.08 c intension x[116] != x[187] using generic constraint 1.91/2.08 c intension x[116] != x[198] using generic constraint 1.91/2.08 c intension x[116] != x[210] using generic constraint 1.91/2.08 c intension x[116] != x[225] using generic constraint 1.91/2.08 c intension x[116] != x[231] using generic constraint 1.91/2.08 c intension x[116] != x[238] using generic constraint 1.91/2.08 c intension x[116] != x[239] using generic constraint 1.91/2.08 c intension x[116] != x[241] using generic constraint 1.91/2.09 c intension x[116] != x[243] using generic constraint 1.91/2.09 c intension x[117] != x[118] using generic constraint 1.91/2.09 c intension x[117] != x[124] using generic constraint 1.91/2.09 c intension x[117] != x[126] using generic constraint 1.91/2.09 c intension x[117] != x[128] using generic constraint 1.91/2.09 c intension x[117] != x[137] using generic constraint 1.91/2.09 c intension x[117] != x[142] using generic constraint 1.91/2.09 c intension x[117] != x[148] using generic constraint 1.91/2.09 c intension x[117] != x[154] using generic constraint 1.91/2.09 c intension x[117] != x[163] using generic constraint 1.91/2.09 c intension x[117] != x[177] using generic constraint 1.91/2.10 c intension x[117] != x[182] using generic constraint 2.01/2.10 c intension x[117] != x[184] using generic constraint 2.01/2.10 c intension x[117] != x[191] using generic constraint 2.01/2.10 c intension x[117] != x[201] using generic constraint 2.01/2.10 c intension x[117] != x[217] using generic constraint 2.01/2.10 c intension x[117] != x[222] using generic constraint 2.01/2.10 c intension x[117] != x[228] using generic constraint 2.01/2.10 c intension x[117] != x[246] using generic constraint 2.01/2.10 c intension x[118] != x[122] using generic constraint 2.01/2.10 c intension x[118] != x[129] using generic constraint 2.01/2.10 c intension x[118] != x[131] using generic constraint 2.01/2.10 c intension x[118] != x[158] using generic constraint 2.01/2.11 c intension x[118] != x[159] using generic constraint 2.01/2.11 c intension x[118] != x[161] using generic constraint 2.01/2.11 c intension x[118] != x[162] using generic constraint 2.01/2.11 c intension x[118] != x[163] using generic constraint 2.01/2.11 c intension x[118] != x[166] using generic constraint 2.01/2.11 c intension x[118] != x[181] using generic constraint 2.01/2.11 c intension x[118] != x[186] using generic constraint 2.01/2.11 c intension x[118] != x[198] using generic constraint 2.01/2.11 c intension x[118] != x[205] using generic constraint 2.01/2.11 c intension x[118] != x[223] using generic constraint 2.01/2.11 c intension x[118] != x[225] using generic constraint 2.01/2.12 c intension x[118] != x[232] using generic constraint 2.01/2.12 c intension x[119] != x[122] using generic constraint 2.01/2.12 c intension x[119] != x[143] using generic constraint 2.01/2.12 c intension x[119] != x[155] using generic constraint 2.01/2.12 c intension x[119] != x[156] using generic constraint 2.01/2.12 c intension x[119] != x[170] using generic constraint 2.01/2.12 c intension x[119] != x[186] using generic constraint 2.01/2.12 c intension x[119] != x[191] using generic constraint 2.01/2.12 c intension x[119] != x[195] using generic constraint 2.01/2.12 c intension x[119] != x[199] using generic constraint 2.01/2.12 c intension x[119] != x[200] using generic constraint 2.01/2.12 c intension x[119] != x[218] using generic constraint 2.01/2.13 c intension x[119] != x[222] using generic constraint 2.01/2.13 c intension x[119] != x[235] using generic constraint 2.01/2.13 c intension x[119] != x[240] using generic constraint 2.01/2.13 c intension x[120] != x[121] using generic constraint 2.01/2.13 c intension x[120] != x[122] using generic constraint 2.01/2.13 c intension x[120] != x[140] using generic constraint 2.01/2.13 c intension x[120] != x[151] using generic constraint 2.01/2.13 c intension x[120] != x[154] using generic constraint 2.01/2.13 c intension x[120] != x[163] using generic constraint 2.01/2.13 c intension x[120] != x[186] using generic constraint 2.01/2.13 c intension x[120] != x[196] using generic constraint 2.01/2.13 c intension x[120] != x[203] using generic constraint 2.01/2.14 c intension x[120] != x[208] using generic constraint 2.01/2.14 c intension x[120] != x[211] using generic constraint 2.01/2.14 c intension x[120] != x[241] using generic constraint 2.01/2.14 c intension x[121] != x[160] using generic constraint 2.01/2.14 c intension x[121] != x[163] using generic constraint 2.01/2.14 c intension x[121] != x[165] using generic constraint 2.01/2.14 c intension x[121] != x[169] using generic constraint 2.01/2.14 c intension x[121] != x[185] using generic constraint 2.01/2.14 c intension x[121] != x[195] using generic constraint 2.01/2.14 c intension x[121] != x[207] using generic constraint 2.01/2.14 c intension x[121] != x[211] using generic constraint 2.01/2.15 c intension x[121] != x[214] using generic constraint 2.01/2.15 c intension x[121] != x[239] using generic constraint 2.01/2.15 c intension x[121] != x[244] using generic constraint 2.01/2.15 c intension x[122] != x[129] using generic constraint 2.01/2.15 c intension x[122] != x[133] using generic constraint 2.01/2.15 c intension x[122] != x[139] using generic constraint 2.01/2.15 c intension x[122] != x[142] using generic constraint 2.01/2.15 c intension x[122] != x[146] using generic constraint 2.01/2.15 c intension x[122] != x[148] using generic constraint 2.01/2.15 c intension x[122] != x[162] using generic constraint 2.01/2.15 c intension x[122] != x[166] using generic constraint 2.01/2.15 c intension x[122] != x[169] using generic constraint 2.01/2.16 c intension x[122] != x[175] using generic constraint 2.01/2.16 c intension x[122] != x[198] using generic constraint 2.01/2.16 c intension x[122] != x[199] using generic constraint 2.01/2.16 c intension x[122] != x[203] using generic constraint 2.01/2.16 c intension x[122] != x[225] using generic constraint 2.01/2.16 c intension x[122] != x[229] using generic constraint 2.01/2.16 c intension x[122] != x[237] using generic constraint 2.01/2.16 c intension x[122] != x[239] using generic constraint 2.01/2.16 c intension x[122] != x[240] using generic constraint 2.01/2.16 c intension x[122] != x[242] using generic constraint 2.01/2.16 c intension x[123] != x[125] using generic constraint 2.01/2.16 c intension x[123] != x[143] using generic constraint 2.01/2.17 c intension x[123] != x[150] using generic constraint 2.01/2.17 c intension x[123] != x[151] using generic constraint 2.01/2.17 c intension x[123] != x[166] using generic constraint 2.01/2.17 c intension x[123] != x[168] using generic constraint 2.01/2.17 c intension x[123] != x[171] using generic constraint 2.01/2.17 c intension x[123] != x[173] using generic constraint 2.01/2.17 c intension x[123] != x[182] using generic constraint 2.01/2.17 c intension x[123] != x[196] using generic constraint 2.01/2.17 c intension x[123] != x[207] using generic constraint 2.01/2.17 c intension x[123] != x[215] using generic constraint 2.01/2.17 c intension x[123] != x[222] using generic constraint 2.01/2.18 c intension x[123] != x[242] using generic constraint 2.01/2.18 c intension x[123] != x[245] using generic constraint 2.01/2.18 c intension x[124] != x[125] using generic constraint 2.01/2.18 c intension x[124] != x[136] using generic constraint 2.01/2.18 c intension x[124] != x[162] using generic constraint 2.01/2.18 c intension x[124] != x[174] using generic constraint 2.01/2.18 c intension x[124] != x[181] using generic constraint 2.01/2.18 c intension x[124] != x[189] using generic constraint 2.01/2.18 c intension x[124] != x[196] using generic constraint 2.01/2.18 c intension x[124] != x[205] using generic constraint 2.01/2.18 c intension x[124] != x[218] using generic constraint 2.01/2.18 c intension x[124] != x[229] using generic constraint 2.01/2.19 c intension x[124] != x[234] using generic constraint 2.01/2.19 c intension x[124] != x[248] using generic constraint 2.01/2.19 c intension x[125] != x[131] using generic constraint 2.01/2.19 c intension x[125] != x[147] using generic constraint 2.01/2.19 c intension x[125] != x[152] using generic constraint 2.01/2.19 c intension x[125] != x[166] using generic constraint 2.01/2.19 c intension x[125] != x[187] using generic constraint 2.01/2.19 c intension x[125] != x[193] using generic constraint 2.01/2.19 c intension x[125] != x[194] using generic constraint 2.01/2.19 c intension x[125] != x[215] using generic constraint 2.01/2.19 c intension x[125] != x[229] using generic constraint 2.01/2.20 c intension x[125] != x[237] using generic constraint 2.01/2.20 c intension x[125] != x[245] using generic constraint 2.01/2.20 c intension x[126] != x[153] using generic constraint 2.01/2.20 c intension x[126] != x[164] using generic constraint 2.01/2.20 c intension x[126] != x[171] using generic constraint 2.01/2.20 c intension x[126] != x[187] using generic constraint 2.01/2.20 c intension x[126] != x[197] using generic constraint 2.01/2.20 c intension x[126] != x[199] using generic constraint 2.12/2.20 c intension x[126] != x[216] using generic constraint 2.12/2.20 c intension x[126] != x[218] using generic constraint 2.12/2.20 c intension x[126] != x[227] using generic constraint 2.12/2.20 c intension x[126] != x[242] using generic constraint 2.12/2.21 c intension x[127] != x[129] using generic constraint 2.12/2.21 c intension x[127] != x[140] using generic constraint 2.12/2.21 c intension x[127] != x[153] using generic constraint 2.12/2.21 c intension x[127] != x[190] using generic constraint 2.12/2.21 c intension x[127] != x[192] using generic constraint 2.12/2.21 c intension x[127] != x[206] using generic constraint 2.12/2.21 c intension x[127] != x[218] using generic constraint 2.12/2.21 c intension x[127] != x[241] using generic constraint 2.12/2.21 c intension x[127] != x[242] using generic constraint 2.12/2.21 c intension x[128] != x[131] using generic constraint 2.12/2.21 c intension x[128] != x[146] using generic constraint 2.12/2.21 c intension x[128] != x[149] using generic constraint 2.12/2.22 c intension x[128] != x[170] using generic constraint 2.12/2.22 c intension x[128] != x[180] using generic constraint 2.12/2.22 c intension x[128] != x[184] using generic constraint 2.12/2.22 c intension x[128] != x[187] using generic constraint 2.12/2.22 c intension x[128] != x[189] using generic constraint 2.12/2.22 c intension x[128] != x[191] using generic constraint 2.12/2.22 c intension x[128] != x[193] using generic constraint 2.12/2.22 c intension x[128] != x[209] using generic constraint 2.12/2.22 c intension x[128] != x[243] using generic constraint 2.12/2.22 c intension x[128] != x[245] using generic constraint 2.12/2.22 c intension x[128] != x[248] using generic constraint 2.12/2.23 c intension x[129] != x[141] using generic constraint 2.12/2.23 c intension x[129] != x[152] using generic constraint 2.12/2.23 c intension x[129] != x[156] using generic constraint 2.12/2.23 c intension x[129] != x[160] using generic constraint 2.12/2.23 c intension x[129] != x[168] using generic constraint 2.12/2.23 c intension x[129] != x[175] using generic constraint 2.12/2.23 c intension x[129] != x[200] using generic constraint 2.12/2.23 c intension x[129] != x[214] using generic constraint 2.12/2.23 c intension x[129] != x[231] using generic constraint 2.12/2.23 c intension x[130] != x[135] using generic constraint 2.12/2.23 c intension x[130] != x[148] using generic constraint 2.12/2.23 c intension x[130] != x[178] using generic constraint 2.12/2.24 c intension x[130] != x[180] using generic constraint 2.12/2.24 c intension x[130] != x[205] using generic constraint 2.12/2.24 c intension x[130] != x[209] using generic constraint 2.12/2.24 c intension x[130] != x[214] using generic constraint 2.12/2.24 c intension x[130] != x[241] using generic constraint 2.12/2.24 c intension x[131] != x[149] using generic constraint 2.12/2.24 c intension x[131] != x[153] using generic constraint 2.12/2.24 c intension x[131] != x[163] using generic constraint 2.12/2.24 c intension x[131] != x[165] using generic constraint 2.12/2.24 c intension x[131] != x[200] using generic constraint 2.12/2.24 c intension x[131] != x[205] using generic constraint 2.12/2.25 c intension x[131] != x[216] using generic constraint 2.12/2.25 c intension x[131] != x[245] using generic constraint 2.12/2.25 c intension x[131] != x[249] using generic constraint 2.12/2.25 c intension x[132] != x[148] using generic constraint 2.12/2.25 c intension x[132] != x[152] using generic constraint 2.12/2.25 c intension x[132] != x[177] using generic constraint 2.12/2.25 c intension x[132] != x[202] using generic constraint 2.12/2.25 c intension x[132] != x[213] using generic constraint 2.12/2.25 c intension x[132] != x[221] using generic constraint 2.12/2.25 c intension x[132] != x[223] using generic constraint 2.12/2.25 c intension x[132] != x[231] using generic constraint 2.12/2.25 c intension x[132] != x[234] using generic constraint 2.12/2.26 c intension x[132] != x[244] using generic constraint 2.12/2.26 c intension x[133] != x[145] using generic constraint 2.12/2.26 c intension x[133] != x[146] using generic constraint 2.12/2.26 c intension x[133] != x[147] using generic constraint 2.12/2.26 c intension x[133] != x[157] using generic constraint 2.12/2.26 c intension x[133] != x[159] using generic constraint 2.12/2.26 c intension x[133] != x[160] using generic constraint 2.12/2.26 c intension x[133] != x[174] using generic constraint 2.12/2.26 c intension x[133] != x[184] using generic constraint 2.12/2.26 c intension x[133] != x[187] using generic constraint 2.12/2.26 c intension x[133] != x[211] using generic constraint 2.12/2.26 c intension x[133] != x[227] using generic constraint 2.12/2.27 c intension x[133] != x[233] using generic constraint 2.12/2.27 c intension x[133] != x[244] using generic constraint 2.12/2.27 c intension x[133] != x[248] using generic constraint 2.12/2.27 c intension x[134] != x[143] using generic constraint 2.12/2.27 c intension x[134] != x[151] using generic constraint 2.12/2.27 c intension x[134] != x[158] using generic constraint 2.12/2.27 c intension x[134] != x[166] using generic constraint 2.12/2.27 c intension x[134] != x[170] using generic constraint 2.12/2.27 c intension x[134] != x[195] using generic constraint 2.12/2.27 c intension x[134] != x[196] using generic constraint 2.12/2.27 c intension x[134] != x[209] using generic constraint 2.12/2.28 c intension x[134] != x[212] using generic constraint 2.12/2.28 c intension x[134] != x[213] using generic constraint 2.12/2.28 c intension x[134] != x[222] using generic constraint 2.12/2.28 c intension x[134] != x[233] using generic constraint 2.12/2.28 c intension x[134] != x[238] using generic constraint 2.12/2.28 c intension x[134] != x[246] using generic constraint 2.12/2.28 c intension x[135] != x[145] using generic constraint 2.12/2.28 c intension x[135] != x[151] using generic constraint 2.12/2.28 c intension x[135] != x[176] using generic constraint 2.12/2.28 c intension x[135] != x[179] using generic constraint 2.12/2.28 c intension x[135] != x[188] using generic constraint 2.12/2.28 c intension x[135] != x[210] using generic constraint 2.12/2.29 c intension x[135] != x[220] using generic constraint 2.12/2.29 c intension x[135] != x[224] using generic constraint 2.12/2.29 c intension x[135] != x[230] using generic constraint 2.12/2.29 c intension x[135] != x[247] using generic constraint 2.12/2.29 c intension x[136] != x[138] using generic constraint 2.12/2.29 c intension x[136] != x[142] using generic constraint 2.12/2.29 c intension x[136] != x[143] using generic constraint 2.12/2.29 c intension x[136] != x[150] using generic constraint 2.12/2.29 c intension x[136] != x[151] using generic constraint 2.12/2.29 c intension x[136] != x[155] using generic constraint 2.12/2.29 c intension x[136] != x[170] using generic constraint 2.12/2.29 c intension x[136] != x[178] using generic constraint 2.12/2.30 c intension x[136] != x[184] using generic constraint 2.12/2.30 c intension x[136] != x[185] using generic constraint 2.12/2.30 c intension x[136] != x[201] using generic constraint 2.12/2.30 c intension x[136] != x[202] using generic constraint 2.12/2.30 c intension x[136] != x[213] using generic constraint 2.12/2.30 c intension x[136] != x[214] using generic constraint 2.12/2.30 c intension x[136] != x[229] using generic constraint 2.22/2.30 c intension x[136] != x[249] using generic constraint 2.22/2.30 c intension x[137] != x[170] using generic constraint 2.22/2.30 c intension x[137] != x[178] using generic constraint 2.22/2.30 c intension x[137] != x[181] using generic constraint 2.22/2.31 c intension x[137] != x[189] using generic constraint 2.22/2.31 c intension x[137] != x[190] using generic constraint 2.22/2.31 c intension x[137] != x[205] using generic constraint 2.22/2.31 c intension x[137] != x[230] using generic constraint 2.22/2.31 c intension x[137] != x[236] using generic constraint 2.22/2.31 c intension x[137] != x[238] using generic constraint 2.22/2.31 c intension x[137] != x[249] using generic constraint 2.22/2.31 c intension x[138] != x[143] using generic constraint 2.22/2.31 c intension x[138] != x[148] using generic constraint 2.22/2.31 c intension x[138] != x[154] using generic constraint 2.22/2.31 c intension x[138] != x[156] using generic constraint 2.22/2.31 c intension x[138] != x[170] using generic constraint 2.22/2.32 c intension x[138] != x[178] using generic constraint 2.22/2.32 c intension x[138] != x[189] using generic constraint 2.22/2.32 c intension x[138] != x[192] using generic constraint 2.22/2.32 c intension x[138] != x[196] using generic constraint 2.22/2.32 c intension x[138] != x[204] using generic constraint 2.22/2.32 c intension x[138] != x[222] using generic constraint 2.22/2.32 c intension x[138] != x[237] using generic constraint 2.22/2.32 c intension x[138] != x[239] using generic constraint 2.22/2.32 c intension x[139] != x[140] using generic constraint 2.22/2.32 c intension x[139] != x[160] using generic constraint 2.22/2.32 c intension x[139] != x[170] using generic constraint 2.22/2.33 c intension x[139] != x[173] using generic constraint 2.22/2.33 c intension x[139] != x[181] using generic constraint 2.22/2.33 c intension x[139] != x[196] using generic constraint 2.22/2.33 c intension x[139] != x[203] using generic constraint 2.22/2.33 c intension x[139] != x[234] using generic constraint 2.22/2.33 c intension x[139] != x[244] using generic constraint 2.22/2.33 c intension x[140] != x[143] using generic constraint 2.22/2.33 c intension x[140] != x[156] using generic constraint 2.22/2.33 c intension x[140] != x[157] using generic constraint 2.22/2.33 c intension x[140] != x[175] using generic constraint 2.22/2.33 c intension x[140] != x[178] using generic constraint 2.22/2.33 c intension x[140] != x[183] using generic constraint 2.22/2.34 c intension x[140] != x[188] using generic constraint 2.22/2.34 c intension x[140] != x[196] using generic constraint 2.22/2.34 c intension x[140] != x[205] using generic constraint 2.22/2.34 c intension x[140] != x[226] using generic constraint 2.22/2.34 c intension x[140] != x[239] using generic constraint 2.22/2.34 c intension x[141] != x[148] using generic constraint 2.22/2.34 c intension x[141] != x[189] using generic constraint 2.22/2.34 c intension x[141] != x[191] using generic constraint 2.22/2.34 c intension x[141] != x[192] using generic constraint 2.22/2.34 c intension x[141] != x[200] using generic constraint 2.22/2.34 c intension x[141] != x[223] using generic constraint 2.22/2.34 c intension x[141] != x[226] using generic constraint 2.22/2.35 c intension x[141] != x[247] using generic constraint 2.22/2.35 c intension x[142] != x[164] using generic constraint 2.22/2.35 c intension x[142] != x[167] using generic constraint 2.22/2.35 c intension x[142] != x[175] using generic constraint 2.22/2.35 c intension x[142] != x[179] using generic constraint 2.22/2.35 c intension x[142] != x[194] using generic constraint 2.22/2.35 c intension x[142] != x[195] using generic constraint 2.22/2.35 c intension x[142] != x[196] using generic constraint 2.22/2.35 c intension x[142] != x[207] using generic constraint 2.22/2.35 c intension x[142] != x[214] using generic constraint 2.22/2.35 c intension x[142] != x[219] using generic constraint 2.22/2.36 c intension x[142] != x[237] using generic constraint 2.22/2.36 c intension x[142] != x[238] using generic constraint 2.22/2.36 c intension x[143] != x[150] using generic constraint 2.22/2.36 c intension x[143] != x[151] using generic constraint 2.22/2.36 c intension x[143] != x[152] using generic constraint 2.22/2.36 c intension x[143] != x[158] using generic constraint 2.22/2.36 c intension x[143] != x[179] using generic constraint 2.22/2.36 c intension x[143] != x[205] using generic constraint 2.22/2.36 c intension x[143] != x[212] using generic constraint 2.22/2.36 c intension x[143] != x[223] using generic constraint 2.22/2.36 c intension x[143] != x[235] using generic constraint 2.22/2.36 c intension x[143] != x[244] using generic constraint 2.22/2.37 c intension x[143] != x[247] using generic constraint 2.22/2.37 c intension x[144] != x[149] using generic constraint 2.22/2.37 c intension x[144] != x[154] using generic constraint 2.22/2.37 c intension x[144] != x[171] using generic constraint 2.22/2.37 c intension x[144] != x[176] using generic constraint 2.22/2.37 c intension x[144] != x[182] using generic constraint 2.22/2.37 c intension x[144] != x[186] using generic constraint 2.22/2.37 c intension x[144] != x[196] using generic constraint 2.22/2.37 c intension x[144] != x[202] using generic constraint 2.22/2.37 c intension x[144] != x[204] using generic constraint 2.22/2.37 c intension x[144] != x[218] using generic constraint 2.22/2.37 c intension x[144] != x[227] using generic constraint 2.22/2.38 c intension x[145] != x[153] using generic constraint 2.22/2.38 c intension x[145] != x[164] using generic constraint 2.22/2.38 c intension x[145] != x[190] using generic constraint 2.22/2.38 c intension x[145] != x[191] using generic constraint 2.22/2.38 c intension x[145] != x[201] using generic constraint 2.22/2.38 c intension x[145] != x[211] using generic constraint 2.22/2.38 c intension x[145] != x[220] using generic constraint 2.22/2.38 c intension x[145] != x[228] using generic constraint 2.22/2.38 c intension x[145] != x[230] using generic constraint 2.22/2.38 c intension x[145] != x[234] using generic constraint 2.22/2.38 c intension x[145] != x[240] using generic constraint 2.22/2.39 c intension x[146] != x[150] using generic constraint 2.22/2.39 c intension x[146] != x[151] using generic constraint 2.22/2.39 c intension x[146] != x[155] using generic constraint 2.22/2.39 c intension x[146] != x[159] using generic constraint 2.22/2.39 c intension x[146] != x[165] using generic constraint 2.22/2.39 c intension x[146] != x[174] using generic constraint 2.22/2.39 c intension x[146] != x[182] using generic constraint 2.22/2.39 c intension x[146] != x[183] using generic constraint 2.22/2.39 c intension x[146] != x[197] using generic constraint 2.22/2.39 c intension x[146] != x[219] using generic constraint 2.22/2.39 c intension x[146] != x[221] using generic constraint 2.22/2.39 c intension x[146] != x[227] using generic constraint 2.31/2.40 c intension x[146] != x[237] using generic constraint 2.31/2.40 c intension x[146] != x[240] using generic constraint 2.31/2.40 c intension x[146] != x[246] using generic constraint 2.31/2.40 c intension x[147] != x[165] using generic constraint 2.31/2.40 c intension x[147] != x[166] using generic constraint 2.31/2.40 c intension x[147] != x[171] using generic constraint 2.31/2.40 c intension x[147] != x[208] using generic constraint 2.31/2.40 c intension x[147] != x[227] using generic constraint 2.31/2.40 c intension x[148] != x[159] using generic constraint 2.31/2.40 c intension x[148] != x[163] using generic constraint 2.31/2.40 c intension x[148] != x[179] using generic constraint 2.31/2.40 c intension x[148] != x[180] using generic constraint 2.31/2.41 c intension x[148] != x[186] using generic constraint 2.31/2.41 c intension x[149] != x[152] using generic constraint 2.31/2.41 c intension x[149] != x[164] using generic constraint 2.31/2.41 c intension x[149] != x[182] using generic constraint 2.31/2.41 c intension x[149] != x[205] using generic constraint 2.31/2.41 c intension x[149] != x[206] using generic constraint 2.31/2.41 c intension x[149] != x[213] using generic constraint 2.31/2.41 c intension x[149] != x[221] using generic constraint 2.31/2.41 c intension x[149] != x[222] using generic constraint 2.31/2.41 c intension x[149] != x[229] using generic constraint 2.31/2.41 c intension x[149] != x[231] using generic constraint 2.31/2.42 c intension x[149] != x[237] using generic constraint 2.31/2.42 c intension x[149] != x[240] using generic constraint 2.31/2.42 c intension x[149] != x[244] using generic constraint 2.31/2.42 c intension x[149] != x[249] using generic constraint 2.31/2.42 c intension x[150] != x[151] using generic constraint 2.31/2.42 c intension x[150] != x[163] using generic constraint 2.31/2.42 c intension x[150] != x[174] using generic constraint 2.31/2.42 c intension x[150] != x[177] using generic constraint 2.31/2.42 c intension x[150] != x[178] using generic constraint 2.31/2.42 c intension x[150] != x[180] using generic constraint 2.31/2.42 c intension x[150] != x[185] using generic constraint 2.31/2.42 c intension x[150] != x[192] using generic constraint 2.31/2.43 c intension x[150] != x[220] using generic constraint 2.31/2.43 c intension x[150] != x[224] using generic constraint 2.31/2.43 c intension x[150] != x[230] using generic constraint 2.31/2.43 c intension x[150] != x[243] using generic constraint 2.31/2.43 c intension x[151] != x[167] using generic constraint 2.31/2.43 c intension x[151] != x[168] using generic constraint 2.31/2.43 c intension x[151] != x[172] using generic constraint 2.31/2.43 c intension x[151] != x[190] using generic constraint 2.31/2.43 c intension x[151] != x[194] using generic constraint 2.31/2.43 c intension x[151] != x[218] using generic constraint 2.31/2.43 c intension x[151] != x[226] using generic constraint 2.31/2.44 c intension x[151] != x[234] using generic constraint 2.31/2.44 c intension x[152] != x[153] using generic constraint 2.31/2.44 c intension x[152] != x[155] using generic constraint 2.31/2.44 c intension x[152] != x[170] using generic constraint 2.31/2.44 c intension x[152] != x[172] using generic constraint 2.31/2.44 c intension x[152] != x[175] using generic constraint 2.31/2.44 c intension x[152] != x[179] using generic constraint 2.31/2.44 c intension x[152] != x[180] using generic constraint 2.31/2.44 c intension x[152] != x[188] using generic constraint 2.31/2.44 c intension x[152] != x[194] using generic constraint 2.31/2.44 c intension x[152] != x[209] using generic constraint 2.31/2.44 c intension x[152] != x[211] using generic constraint 2.31/2.45 c intension x[152] != x[237] using generic constraint 2.31/2.45 c intension x[152] != x[238] using generic constraint 2.31/2.45 c intension x[152] != x[243] using generic constraint 2.31/2.45 c intension x[152] != x[247] using generic constraint 2.31/2.45 c intension x[153] != x[166] using generic constraint 2.31/2.45 c intension x[153] != x[190] using generic constraint 2.31/2.45 c intension x[153] != x[192] using generic constraint 2.31/2.45 c intension x[153] != x[204] using generic constraint 2.31/2.45 c intension x[153] != x[211] using generic constraint 2.31/2.45 c intension x[153] != x[218] using generic constraint 2.31/2.45 c intension x[153] != x[225] using generic constraint 2.31/2.45 c intension x[153] != x[226] using generic constraint 2.31/2.46 c intension x[153] != x[230] using generic constraint 2.31/2.46 c intension x[153] != x[234] using generic constraint 2.31/2.46 c intension x[153] != x[239] using generic constraint 2.31/2.46 c intension x[153] != x[248] using generic constraint 2.31/2.46 c intension x[154] != x[156] using generic constraint 2.31/2.46 c intension x[154] != x[160] using generic constraint 2.31/2.46 c intension x[154] != x[168] using generic constraint 2.31/2.46 c intension x[154] != x[180] using generic constraint 2.31/2.46 c intension x[154] != x[196] using generic constraint 2.31/2.46 c intension x[154] != x[235] using generic constraint 2.31/2.46 c intension x[154] != x[239] using generic constraint 2.31/2.47 c intension x[154] != x[242] using generic constraint 2.31/2.47 c intension x[154] != x[246] using generic constraint 2.31/2.47 c intension x[155] != x[157] using generic constraint 2.31/2.47 c intension x[155] != x[163] using generic constraint 2.31/2.47 c intension x[155] != x[166] using generic constraint 2.31/2.47 c intension x[155] != x[169] using generic constraint 2.31/2.47 c intension x[155] != x[170] using generic constraint 2.31/2.47 c intension x[155] != x[185] using generic constraint 2.31/2.47 c intension x[155] != x[186] using generic constraint 2.31/2.47 c intension x[155] != x[188] using generic constraint 2.31/2.47 c intension x[155] != x[190] using generic constraint 2.31/2.47 c intension x[155] != x[191] using generic constraint 2.31/2.48 c intension x[155] != x[199] using generic constraint 2.31/2.48 c intension x[155] != x[203] using generic constraint 2.31/2.48 c intension x[155] != x[207] using generic constraint 2.31/2.48 c intension x[155] != x[228] using generic constraint 2.31/2.48 c intension x[155] != x[236] using generic constraint 2.31/2.48 c intension x[155] != x[238] using generic constraint 2.31/2.48 c intension x[155] != x[242] using generic constraint 2.31/2.48 c intension x[155] != x[243] using generic constraint 2.31/2.48 c intension x[156] != x[157] using generic constraint 2.31/2.48 c intension x[156] != x[161] using generic constraint 2.31/2.48 c intension x[156] != x[163] using generic constraint 2.31/2.49 c intension x[156] != x[165] using generic constraint 2.31/2.49 c intension x[156] != x[196] using generic constraint 2.31/2.49 c intension x[156] != x[198] using generic constraint 2.31/2.49 c intension x[156] != x[206] using generic constraint 2.31/2.49 c intension x[156] != x[208] using generic constraint 2.31/2.49 c intension x[156] != x[220] using generic constraint 2.31/2.49 c intension x[156] != x[224] using generic constraint 2.31/2.49 c intension x[156] != x[247] using generic constraint 2.31/2.49 c intension x[157] != x[162] using generic constraint 2.31/2.49 c intension x[157] != x[166] using generic constraint 2.31/2.49 c intension x[157] != x[178] using generic constraint 2.31/2.49 c intension x[157] != x[182] using generic constraint 2.31/2.50 c intension x[157] != x[185] using generic constraint 2.41/2.50 c intension x[157] != x[188] using generic constraint 2.41/2.50 c intension x[157] != x[195] using generic constraint 2.41/2.50 c intension x[157] != x[196] using generic constraint 2.41/2.50 c intension x[157] != x[207] using generic constraint 2.41/2.50 c intension x[157] != x[224] using generic constraint 2.41/2.50 c intension x[157] != x[234] using generic constraint 2.41/2.50 c intension x[158] != x[166] using generic constraint 2.41/2.50 c intension x[158] != x[167] using generic constraint 2.41/2.50 c intension x[158] != x[169] using generic constraint 2.41/2.50 c intension x[158] != x[181] using generic constraint 2.41/2.50 c intension x[158] != x[188] using generic constraint 2.41/2.51 c intension x[158] != x[200] using generic constraint 2.41/2.51 c intension x[158] != x[203] using generic constraint 2.41/2.51 c intension x[158] != x[211] using generic constraint 2.41/2.51 c intension x[158] != x[217] using generic constraint 2.41/2.51 c intension x[158] != x[223] using generic constraint 2.41/2.51 c intension x[158] != x[224] using generic constraint 2.41/2.51 c intension x[158] != x[233] using generic constraint 2.41/2.51 c intension x[158] != x[234] using generic constraint 2.41/2.51 c intension x[158] != x[237] using generic constraint 2.41/2.51 c intension x[158] != x[239] using generic constraint 2.41/2.51 c intension x[158] != x[244] using generic constraint 2.41/2.52 c intension x[158] != x[246] using generic constraint 2.41/2.52 c intension x[158] != x[249] using generic constraint 2.41/2.52 c intension x[159] != x[162] using generic constraint 2.41/2.52 c intension x[159] != x[180] using generic constraint 2.41/2.52 c intension x[159] != x[181] using generic constraint 2.41/2.52 c intension x[159] != x[189] using generic constraint 2.41/2.52 c intension x[159] != x[194] using generic constraint 2.41/2.52 c intension x[159] != x[223] using generic constraint 2.41/2.52 c intension x[159] != x[225] using generic constraint 2.41/2.52 c intension x[159] != x[227] using generic constraint 2.41/2.52 c intension x[160] != x[171] using generic constraint 2.41/2.52 c intension x[160] != x[180] using generic constraint 2.41/2.53 c intension x[160] != x[191] using generic constraint 2.41/2.53 c intension x[160] != x[202] using generic constraint 2.41/2.53 c intension x[160] != x[203] using generic constraint 2.41/2.53 c intension x[160] != x[207] using generic constraint 2.41/2.53 c intension x[160] != x[211] using generic constraint 2.41/2.53 c intension x[160] != x[216] using generic constraint 2.41/2.53 c intension x[160] != x[220] using generic constraint 2.41/2.53 c intension x[160] != x[226] using generic constraint 2.41/2.53 c intension x[160] != x[230] using generic constraint 2.41/2.53 c intension x[160] != x[235] using generic constraint 2.41/2.53 c intension x[160] != x[241] using generic constraint 2.41/2.53 c intension x[160] != x[243] using generic constraint 2.41/2.54 c intension x[161] != x[163] using generic constraint 2.41/2.54 c intension x[161] != x[174] using generic constraint 2.41/2.54 c intension x[161] != x[185] using generic constraint 2.41/2.54 c intension x[161] != x[187] using generic constraint 2.41/2.54 c intension x[161] != x[216] using generic constraint 2.41/2.54 c intension x[161] != x[237] using generic constraint 2.41/2.54 c intension x[161] != x[238] using generic constraint 2.41/2.54 c intension x[161] != x[240] using generic constraint 2.41/2.54 c intension x[161] != x[243] using generic constraint 2.41/2.54 c intension x[161] != x[245] using generic constraint 2.41/2.54 c intension x[161] != x[246] using generic constraint 2.41/2.55 c intension x[161] != x[249] using generic constraint 2.41/2.55 c intension x[162] != x[187] using generic constraint 2.41/2.55 c intension x[162] != x[197] using generic constraint 2.41/2.55 c intension x[162] != x[211] using generic constraint 2.41/2.55 c intension x[162] != x[216] using generic constraint 2.41/2.55 c intension x[162] != x[228] using generic constraint 2.41/2.55 c intension x[162] != x[248] using generic constraint 2.41/2.55 c intension x[163] != x[174] using generic constraint 2.41/2.55 c intension x[163] != x[178] using generic constraint 2.41/2.55 c intension x[163] != x[181] using generic constraint 2.41/2.55 c intension x[163] != x[185] using generic constraint 2.41/2.55 c intension x[163] != x[189] using generic constraint 2.41/2.56 c intension x[163] != x[203] using generic constraint 2.41/2.56 c intension x[163] != x[205] using generic constraint 2.41/2.56 c intension x[163] != x[216] using generic constraint 2.41/2.56 c intension x[163] != x[222] using generic constraint 2.41/2.56 c intension x[163] != x[229] using generic constraint 2.41/2.56 c intension x[163] != x[234] using generic constraint 2.41/2.56 c intension x[163] != x[240] using generic constraint 2.41/2.56 c intension x[163] != x[245] using generic constraint 2.41/2.56 c intension x[164] != x[167] using generic constraint 2.41/2.56 c intension x[164] != x[195] using generic constraint 2.41/2.56 c intension x[164] != x[231] using generic constraint 2.41/2.56 c intension x[164] != x[234] using generic constraint 2.41/2.57 c intension x[164] != x[244] using generic constraint 2.41/2.57 c intension x[164] != x[248] using generic constraint 2.41/2.57 c intension x[165] != x[177] using generic constraint 2.41/2.57 c intension x[165] != x[183] using generic constraint 2.41/2.57 c intension x[165] != x[197] using generic constraint 2.41/2.57 c intension x[165] != x[203] using generic constraint 2.41/2.57 c intension x[165] != x[205] using generic constraint 2.41/2.57 c intension x[165] != x[211] using generic constraint 2.41/2.57 c intension x[165] != x[221] using generic constraint 2.41/2.57 c intension x[165] != x[229] using generic constraint 2.41/2.57 c intension x[165] != x[239] using generic constraint 2.41/2.58 c intension x[165] != x[244] using generic constraint 2.41/2.58 c intension x[165] != x[247] using generic constraint 2.41/2.58 c intension x[165] != x[248] using generic constraint 2.41/2.58 c intension x[166] != x[197] using generic constraint 2.41/2.58 c intension x[166] != x[199] using generic constraint 2.41/2.58 c intension x[167] != x[169] using generic constraint 2.41/2.58 c intension x[167] != x[179] using generic constraint 2.41/2.58 c intension x[167] != x[181] using generic constraint 2.41/2.58 c intension x[167] != x[197] using generic constraint 2.41/2.58 c intension x[167] != x[209] using generic constraint 2.41/2.58 c intension x[167] != x[212] using generic constraint 2.41/2.58 c intension x[167] != x[235] using generic constraint 2.41/2.59 c intension x[168] != x[173] using generic constraint 2.41/2.59 c intension x[168] != x[188] using generic constraint 2.41/2.59 c intension x[168] != x[189] using generic constraint 2.41/2.59 c intension x[168] != x[209] using generic constraint 2.41/2.59 c intension x[168] != x[216] using generic constraint 2.41/2.59 c intension x[168] != x[219] using generic constraint 2.41/2.59 c intension x[168] != x[227] using generic constraint 2.41/2.59 c intension x[168] != x[232] using generic constraint 2.41/2.59 c intension x[168] != x[243] using generic constraint 2.41/2.59 c intension x[168] != x[249] using generic constraint 2.41/2.59 c intension x[169] != x[171] using generic constraint 2.41/2.59 c intension x[169] != x[175] using generic constraint 2.51/2.60 c intension x[169] != x[185] using generic constraint 2.51/2.60 c intension x[169] != x[235] using generic constraint 2.51/2.60 c intension x[170] != x[176] using generic constraint 2.51/2.60 c intension x[170] != x[210] using generic constraint 2.51/2.60 c intension x[170] != x[211] using generic constraint 2.51/2.60 c intension x[170] != x[228] using generic constraint 2.51/2.60 c intension x[170] != x[233] using generic constraint 2.51/2.60 c intension x[170] != x[234] using generic constraint 2.51/2.60 c intension x[170] != x[236] using generic constraint 2.51/2.60 c intension x[170] != x[242] using generic constraint 2.51/2.60 c intension x[170] != x[246] using generic constraint 2.51/2.61 c intension x[171] != x[182] using generic constraint 2.51/2.61 c intension x[171] != x[192] using generic constraint 2.51/2.61 c intension x[171] != x[203] using generic constraint 2.51/2.61 c intension x[171] != x[208] using generic constraint 2.51/2.61 c intension x[171] != x[212] using generic constraint 2.51/2.61 c intension x[171] != x[228] using generic constraint 2.51/2.61 c intension x[171] != x[231] using generic constraint 2.51/2.61 c intension x[171] != x[235] using generic constraint 2.51/2.61 c intension x[171] != x[246] using generic constraint 2.51/2.61 c intension x[172] != x[182] using generic constraint 2.51/2.61 c intension x[172] != x[188] using generic constraint 2.51/2.61 c intension x[172] != x[211] using generic constraint 2.51/2.62 c intension x[172] != x[221] using generic constraint 2.51/2.62 c intension x[172] != x[231] using generic constraint 2.51/2.62 c intension x[172] != x[249] using generic constraint 2.51/2.62 c intension x[173] != x[176] using generic constraint 2.51/2.62 c intension x[173] != x[183] using generic constraint 2.51/2.62 c intension x[173] != x[194] using generic constraint 2.51/2.62 c intension x[173] != x[203] using generic constraint 2.51/2.62 c intension x[173] != x[213] using generic constraint 2.51/2.62 c intension x[173] != x[217] using generic constraint 2.51/2.62 c intension x[173] != x[218] using generic constraint 2.51/2.62 c intension x[173] != x[233] using generic constraint 2.51/2.63 c intension x[173] != x[239] using generic constraint 2.51/2.63 c intension x[174] != x[203] using generic constraint 2.51/2.63 c intension x[174] != x[214] using generic constraint 2.51/2.63 c intension x[174] != x[215] using generic constraint 2.51/2.63 c intension x[174] != x[236] using generic constraint 2.51/2.63 c intension x[175] != x[176] using generic constraint 2.51/2.63 c intension x[175] != x[193] using generic constraint 2.51/2.63 c intension x[175] != x[206] using generic constraint 2.51/2.63 c intension x[175] != x[227] using generic constraint 2.51/2.63 c intension x[175] != x[236] using generic constraint 2.51/2.63 c intension x[175] != x[237] using generic constraint 2.51/2.63 c intension x[175] != x[241] using generic constraint 2.51/2.64 c intension x[176] != x[188] using generic constraint 2.51/2.64 c intension x[176] != x[192] using generic constraint 2.51/2.64 c intension x[176] != x[200] using generic constraint 2.51/2.64 c intension x[176] != x[219] using generic constraint 2.51/2.64 c intension x[176] != x[227] using generic constraint 2.51/2.64 c intension x[176] != x[231] using generic constraint 2.51/2.64 c intension x[176] != x[237] using generic constraint 2.51/2.64 c intension x[176] != x[240] using generic constraint 2.51/2.64 c intension x[176] != x[246] using generic constraint 2.51/2.64 c intension x[177] != x[194] using generic constraint 2.51/2.64 c intension x[177] != x[198] using generic constraint 2.51/2.64 c intension x[178] != x[183] using generic constraint 2.51/2.65 c intension x[178] != x[192] using generic constraint 2.51/2.65 c intension x[178] != x[211] using generic constraint 2.51/2.65 c intension x[178] != x[215] using generic constraint 2.51/2.65 c intension x[178] != x[241] using generic constraint 2.51/2.65 c intension x[178] != x[244] using generic constraint 2.51/2.65 c intension x[179] != x[197] using generic constraint 2.51/2.65 c intension x[179] != x[233] using generic constraint 2.51/2.65 c intension x[180] != x[188] using generic constraint 2.51/2.65 c intension x[180] != x[208] using generic constraint 2.51/2.65 c intension x[180] != x[209] using generic constraint 2.51/2.65 c intension x[180] != x[236] using generic constraint 2.51/2.66 c intension x[180] != x[237] using generic constraint 2.51/2.66 c intension x[181] != x[182] using generic constraint 2.51/2.66 c intension x[181] != x[190] using generic constraint 2.51/2.66 c intension x[181] != x[202] using generic constraint 2.51/2.66 c intension x[181] != x[205] using generic constraint 2.51/2.66 c intension x[181] != x[212] using generic constraint 2.51/2.66 c intension x[181] != x[216] using generic constraint 2.51/2.66 c intension x[181] != x[218] using generic constraint 2.51/2.66 c intension x[181] != x[224] using generic constraint 2.51/2.66 c intension x[181] != x[231] using generic constraint 2.51/2.66 c intension x[181] != x[233] using generic constraint 2.51/2.66 c intension x[181] != x[235] using generic constraint 2.51/2.67 c intension x[181] != x[239] using generic constraint 2.51/2.67 c intension x[181] != x[248] using generic constraint 2.51/2.67 c intension x[182] != x[188] using generic constraint 2.51/2.67 c intension x[182] != x[194] using generic constraint 2.51/2.67 c intension x[182] != x[202] using generic constraint 2.51/2.67 c intension x[182] != x[217] using generic constraint 2.51/2.67 c intension x[182] != x[234] using generic constraint 2.51/2.67 c intension x[182] != x[235] using generic constraint 2.51/2.67 c intension x[182] != x[239] using generic constraint 2.51/2.67 c intension x[182] != x[247] using generic constraint 2.51/2.67 c intension x[183] != x[223] using generic constraint 2.51/2.68 c intension x[183] != x[236] using generic constraint 2.51/2.68 c intension x[183] != x[240] using generic constraint 2.51/2.68 c intension x[184] != x[187] using generic constraint 2.51/2.68 c intension x[184] != x[204] using generic constraint 2.51/2.68 c intension x[184] != x[213] using generic constraint 2.51/2.68 c intension x[184] != x[230] using generic constraint 2.51/2.68 c intension x[185] != x[194] using generic constraint 2.51/2.68 c intension x[185] != x[216] using generic constraint 2.51/2.68 c intension x[185] != x[232] using generic constraint 2.51/2.68 c intension x[185] != x[237] using generic constraint 2.51/2.68 c intension x[186] != x[190] using generic constraint 2.51/2.68 c intension x[186] != x[224] using generic constraint 2.51/2.69 c intension x[186] != x[232] using generic constraint 2.51/2.69 c intension x[186] != x[235] using generic constraint 2.51/2.69 c intension x[186] != x[238] using generic constraint 2.51/2.69 c intension x[186] != x[239] using generic constraint 2.51/2.69 c intension x[186] != x[241] using generic constraint 2.51/2.69 c intension x[186] != x[244] using generic constraint 2.51/2.69 c intension x[186] != x[249] using generic constraint 2.51/2.69 c intension x[187] != x[192] using generic constraint 2.51/2.69 c intension x[187] != x[197] using generic constraint 2.51/2.69 c intension x[187] != x[209] using generic constraint 2.51/2.69 c intension x[187] != x[220] using generic constraint 2.51/2.69 c intension x[187] != x[224] using generic constraint 2.61/2.70 c intension x[187] != x[246] using generic constraint 2.61/2.70 c intension x[188] != x[202] using generic constraint 2.61/2.70 c intension x[188] != x[219] using generic constraint 2.61/2.70 c intension x[188] != x[226] using generic constraint 2.61/2.70 c intension x[188] != x[231] using generic constraint 2.61/2.70 c intension x[189] != x[213] using generic constraint 2.61/2.70 c intension x[189] != x[217] using generic constraint 2.61/2.70 c intension x[189] != x[224] using generic constraint 2.61/2.70 c intension x[189] != x[239] using generic constraint 2.61/2.70 c intension x[189] != x[241] using generic constraint 2.61/2.70 c intension x[189] != x[247] using generic constraint 2.61/2.71 c intension x[190] != x[197] using generic constraint 2.61/2.71 c intension x[190] != x[204] using generic constraint 2.61/2.71 c intension x[190] != x[208] using generic constraint 2.61/2.71 c intension x[191] != x[198] using generic constraint 2.61/2.71 c intension x[191] != x[200] using generic constraint 2.61/2.71 c intension x[191] != x[235] using generic constraint 2.61/2.71 c intension x[191] != x[243] using generic constraint 2.61/2.71 c intension x[192] != x[197] using generic constraint 2.61/2.71 c intension x[192] != x[230] using generic constraint 2.61/2.71 c intension x[192] != x[235] using generic constraint 2.61/2.71 c intension x[193] != x[205] using generic constraint 2.61/2.71 c intension x[193] != x[213] using generic constraint 2.61/2.72 c intension x[193] != x[219] using generic constraint 2.61/2.72 c intension x[193] != x[236] using generic constraint 2.61/2.72 c intension x[194] != x[199] using generic constraint 2.61/2.72 c intension x[194] != x[202] using generic constraint 2.61/2.72 c intension x[194] != x[205] using generic constraint 2.61/2.72 c intension x[194] != x[207] using generic constraint 2.61/2.72 c intension x[194] != x[209] using generic constraint 2.61/2.72 c intension x[194] != x[216] using generic constraint 2.61/2.72 c intension x[194] != x[239] using generic constraint 2.61/2.72 c intension x[194] != x[247] using generic constraint 2.61/2.72 c intension x[195] != x[199] using generic constraint 2.61/2.72 c intension x[195] != x[205] using generic constraint 2.61/2.73 c intension x[195] != x[212] using generic constraint 2.61/2.73 c intension x[195] != x[221] using generic constraint 2.61/2.73 c intension x[195] != x[222] using generic constraint 2.61/2.73 c intension x[195] != x[235] using generic constraint 2.61/2.73 c intension x[195] != x[237] using generic constraint 2.61/2.73 c intension x[195] != x[241] using generic constraint 2.61/2.73 c intension x[195] != x[243] using generic constraint 2.61/2.73 c intension x[195] != x[248] using generic constraint 2.61/2.73 c intension x[196] != x[201] using generic constraint 2.61/2.73 c intension x[196] != x[203] using generic constraint 2.61/2.73 c intension x[196] != x[210] using generic constraint 2.61/2.74 c intension x[196] != x[214] using generic constraint 2.61/2.74 c intension x[196] != x[232] using generic constraint 2.61/2.74 c intension x[196] != x[246] using generic constraint 2.61/2.74 c intension x[196] != x[249] using generic constraint 2.61/2.74 c intension x[197] != x[198] using generic constraint 2.61/2.74 c intension x[197] != x[209] using generic constraint 2.61/2.74 c intension x[197] != x[222] using generic constraint 2.61/2.74 c intension x[197] != x[231] using generic constraint 2.61/2.74 c intension x[197] != x[241] using generic constraint 2.61/2.74 c intension x[197] != x[244] using generic constraint 2.61/2.74 c intension x[197] != x[245] using generic constraint 2.61/2.74 c intension x[198] != x[204] using generic constraint 2.61/2.75 c intension x[198] != x[209] using generic constraint 2.61/2.75 c intension x[198] != x[224] using generic constraint 2.61/2.75 c intension x[198] != x[241] using generic constraint 2.61/2.75 c intension x[199] != x[202] using generic constraint 2.61/2.75 c intension x[199] != x[207] using generic constraint 2.61/2.75 c intension x[199] != x[213] using generic constraint 2.61/2.75 c intension x[199] != x[216] using generic constraint 2.61/2.75 c intension x[199] != x[229] using generic constraint 2.61/2.75 c intension x[199] != x[242] using generic constraint 2.61/2.75 c intension x[200] != x[201] using generic constraint 2.61/2.75 c intension x[200] != x[206] using generic constraint 2.61/2.76 c intension x[200] != x[207] using generic constraint 2.61/2.76 c intension x[200] != x[218] using generic constraint 2.61/2.76 c intension x[200] != x[240] using generic constraint 2.61/2.76 c intension x[200] != x[241] using generic constraint 2.61/2.76 c intension x[200] != x[242] using generic constraint 2.61/2.76 c intension x[201] != x[220] using generic constraint 2.61/2.76 c intension x[201] != x[225] using generic constraint 2.61/2.76 c intension x[201] != x[231] using generic constraint 2.61/2.76 c intension x[202] != x[214] using generic constraint 2.61/2.76 c intension x[202] != x[222] using generic constraint 2.61/2.76 c intension x[202] != x[226] using generic constraint 2.61/2.76 c intension x[202] != x[229] using generic constraint 2.61/2.77 c intension x[202] != x[231] using generic constraint 2.61/2.77 c intension x[202] != x[234] using generic constraint 2.61/2.77 c intension x[202] != x[236] using generic constraint 2.61/2.77 c intension x[203] != x[207] using generic constraint 2.61/2.77 c intension x[203] != x[213] using generic constraint 2.61/2.77 c intension x[203] != x[233] using generic constraint 2.61/2.77 c intension x[203] != x[237] using generic constraint 2.61/2.77 c intension x[203] != x[240] using generic constraint 2.61/2.77 c intension x[204] != x[220] using generic constraint 2.61/2.77 c intension x[204] != x[227] using generic constraint 2.61/2.77 c intension x[204] != x[244] using generic constraint 2.61/2.77 c intension x[204] != x[246] using generic constraint 2.61/2.78 c intension x[204] != x[247] using generic constraint 2.61/2.78 c intension x[205] != x[213] using generic constraint 2.61/2.78 c intension x[205] != x[218] using generic constraint 2.61/2.78 c intension x[205] != x[221] using generic constraint 2.61/2.78 c intension x[205] != x[237] using generic constraint 2.61/2.78 c intension x[205] != x[240] using generic constraint 2.61/2.78 c intension x[205] != x[243] using generic constraint 2.61/2.78 c intension x[206] != x[221] using generic constraint 2.61/2.78 c intension x[206] != x[232] using generic constraint 2.61/2.78 c intension x[206] != x[233] using generic constraint 2.61/2.78 c intension x[206] != x[238] using generic constraint 2.61/2.79 c intension x[206] != x[241] using generic constraint 2.61/2.79 c intension x[207] != x[249] using generic constraint 2.61/2.79 c intension x[208] != x[214] using generic constraint 2.61/2.79 c intension x[208] != x[216] using generic constraint 2.61/2.79 c intension x[208] != x[218] using generic constraint 2.61/2.79 c intension x[208] != x[233] using generic constraint 2.61/2.79 c intension x[208] != x[235] using generic constraint 2.61/2.79 c intension x[208] != x[244] using generic constraint 2.61/2.79 c intension x[208] != x[248] using generic constraint 2.61/2.79 c intension x[209] != x[215] using generic constraint 2.61/2.79 c intension x[209] != x[222] using generic constraint 2.61/2.79 c intension x[209] != x[230] using generic constraint 2.71/2.80 c intension x[209] != x[231] using generic constraint 2.71/2.80 c intension x[209] != x[232] using generic constraint 2.71/2.80 c intension x[209] != x[235] using generic constraint 2.71/2.80 c intension x[210] != x[218] using generic constraint 2.71/2.80 c intension x[210] != x[223] using generic constraint 2.71/2.80 c intension x[210] != x[224] using generic constraint 2.71/2.80 c intension x[210] != x[246] using generic constraint 2.71/2.80 c intension x[210] != x[247] using generic constraint 2.71/2.80 c intension x[211] != x[223] using generic constraint 2.71/2.80 c intension x[211] != x[243] using generic constraint 2.71/2.80 c intension x[212] != x[219] using generic constraint 2.71/2.81 c intension x[212] != x[223] using generic constraint 2.71/2.81 c intension x[212] != x[224] using generic constraint 2.71/2.81 c intension x[212] != x[232] using generic constraint 2.71/2.81 c intension x[212] != x[237] using generic constraint 2.71/2.81 c intension x[212] != x[240] using generic constraint 2.71/2.81 c intension x[212] != x[241] using generic constraint 2.71/2.81 c intension x[212] != x[243] using generic constraint 2.71/2.81 c intension x[212] != x[244] using generic constraint 2.71/2.81 c intension x[213] != x[222] using generic constraint 2.71/2.81 c intension x[213] != x[240] using generic constraint 2.71/2.81 c intension x[213] != x[248] using generic constraint 2.71/2.81 c intension x[214] != x[221] using generic constraint 2.71/2.82 c intension x[214] != x[233] using generic constraint 2.71/2.82 c intension x[214] != x[234] using generic constraint 2.71/2.82 c intension x[214] != x[248] using generic constraint 2.71/2.82 c intension x[214] != x[249] using generic constraint 2.71/2.82 c intension x[215] != x[231] using generic constraint 2.71/2.82 c intension x[215] != x[236] using generic constraint 2.71/2.82 c intension x[216] != x[219] using generic constraint 2.71/2.82 c intension x[216] != x[226] using generic constraint 2.71/2.82 c intension x[216] != x[228] using generic constraint 2.71/2.82 c intension x[216] != x[244] using generic constraint 2.71/2.82 c intension x[216] != x[246] using generic constraint 2.71/2.82 c intension x[217] != x[236] using generic constraint 2.71/2.83 c intension x[217] != x[242] using generic constraint 2.71/2.83 c intension x[219] != x[229] using generic constraint 2.71/2.83 c intension x[219] != x[232] using generic constraint 2.71/2.83 c intension x[219] != x[234] using generic constraint 2.71/2.83 c intension x[219] != x[237] using generic constraint 2.71/2.83 c intension x[219] != x[246] using generic constraint 2.71/2.83 c intension x[220] != x[236] using generic constraint 2.71/2.83 c intension x[220] != x[240] using generic constraint 2.71/2.83 c intension x[221] != x[228] using generic constraint 2.71/2.83 c intension x[221] != x[241] using generic constraint 2.71/2.83 c intension x[221] != x[242] using generic constraint 2.71/2.84 c intension x[221] != x[244] using generic constraint 2.71/2.84 c intension x[222] != x[233] using generic constraint 2.71/2.84 c intension x[222] != x[237] using generic constraint 2.71/2.84 c intension x[222] != x[242] using generic constraint 2.71/2.84 c intension x[222] != x[248] using generic constraint 2.71/2.84 c intension x[223] != x[234] using generic constraint 2.71/2.84 c intension x[224] != x[229] using generic constraint 2.71/2.84 c intension x[224] != x[233] using generic constraint 2.71/2.84 c intension x[224] != x[246] using generic constraint 2.71/2.84 c intension x[225] != x[226] using generic constraint 2.71/2.84 c intension x[225] != x[235] using generic constraint 2.71/2.84 c intension x[225] != x[239] using generic constraint 2.71/2.85 c intension x[225] != x[246] using generic constraint 2.71/2.85 c intension x[226] != x[232] using generic constraint 2.71/2.85 c intension x[226] != x[234] using generic constraint 2.71/2.85 c intension x[227] != x[242] using generic constraint 2.71/2.85 c intension x[228] != x[235] using generic constraint 2.71/2.85 c intension x[228] != x[236] using generic constraint 2.71/2.85 c intension x[229] != x[236] using generic constraint 2.71/2.85 c intension x[229] != x[240] using generic constraint 2.71/2.85 c intension x[229] != x[241] using generic constraint 2.71/2.85 c intension x[230] != x[236] using generic constraint 2.71/2.85 c intension x[230] != x[239] using generic constraint 2.71/2.86 c intension x[230] != x[240] using generic constraint 2.71/2.86 c intension x[230] != x[242] using generic constraint 2.71/2.86 c intension x[232] != x[239] using generic constraint 2.71/2.86 c intension x[232] != x[240] using generic constraint 2.71/2.86 c intension x[233] != x[236] using generic constraint 2.71/2.86 c intension x[233] != x[241] using generic constraint 2.71/2.86 c intension x[234] != x[237] using generic constraint 2.71/2.86 c intension x[234] != x[247] using generic constraint 2.71/2.86 c intension x[234] != x[249] using generic constraint 2.71/2.86 c intension x[235] != x[247] using generic constraint 2.71/2.86 c intension x[236] != x[240] using generic constraint 2.71/2.86 c intension x[236] != x[248] using generic constraint 2.71/2.87 c intension x[238] != x[243] using generic constraint 2.71/2.87 c intension x[239] != x[242] using generic constraint 2.71/2.87 c intension x[239] != x[245] using generic constraint 2.71/2.87 c intension x[239] != x[249] using generic constraint 2.71/2.87 c intension x[241] != x[245] using generic constraint 2.71/2.87 c intension x[242] != x[248] using generic constraint 2.71/2.87 c intension x[245] != x[247] using generic constraint 2.71/2.87 c intension x[247] != x[248] using generic constraint 2.71/2.87 c intension x[248] != x[249] using generic constraint 2.71/2.87 c best=?? lower=0 upper=249 2.71/2.87 c 2.71/2.87 c This is cosoco 1.1 -- 2.71/2.87 c 2.71/2.87 c command line: cosoco -lc -model -restarts HOME/instance-4259869-1502019628.xml 2.71/2.87 c enable optimization 2.71/2.87 c ========================================[ Problem Statistics ]=========================================== 2.71/2.87 c | 2.71/2.87 c | Parse time : 2.79 s 2.71/2.87 c | 2.71/2.87 c | Variables: 250 2.71/2.87 c | Domain Sizes: 250..250 2.71/2.87 c | 2.71/2.87 c | Constraints: 3219 2.71/2.87 c | Arity: 2..250 -- Binary: 3218 2.71/2.87 c | 2.71/2.87 c | Types: 2.71/2.87 c | (X != Y): 3218 2.71/2.87 c | Max constant: 1 2.71/2.87 c | 2.71/2.87 c ========================================================================================================= 2.71/2.87 del values >= 250 2.71/2.88 o 10 2.71/2.88 c 1 calls to solver: best=10 lower=0 upper=9 2.71/2.88 del values >= 10 2.71/2.88 o 9 2.71/2.88 del values >= 9 2.71/2.89 o 8 2.71/2.89 c 3 calls to solver: best=8 lower=0 upper=7 2.71/2.89 del values >= 8 2400.08/2400.10 2400.08/2400.10 c *** INTERRUPTED *** 2400.08/2400.10 c restarts : 105 2400.08/2400.10 c conflicts : 22885903 (9535 /sec) 2400.08/2400.10 c decisions : 156073026 (65028 /sec) 2400.08/2400.10 c propagations : 6161427344 (2567170 /sec) 2400.08/2400.10 c root propagations : 61947 2400.08/2400.10 c filter calls : 43505930516 (18126823 /sec) 2400.08/2400.10 c useless filter calls : 37679587111 (86 %) 2400.08/2400.10 c Memory used : 31.39 MB 2400.08/2400.10 c CPU time : 2400.09 s 2400.08/2400.10 2400.08/2400.10 c nb Solutions = 3 2400.08/2400.10 s SATISFIABLE 2400.08/2400.10 c Best value found: 8 2400.08/2400.10 2400.08/2400.10 2400.08/2400.10 v <instantiation type='solution' cost='8'> 2400.08/2400.10 v <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] </list> 2400.08/2400.10 v <values>3 4 7 1 6 3 1 5 5 1 0 3 7 4 4 7 7 2 1 7 2 6 2 2 1 0 3 5 0 2 8 2 6 3 4 1 6 2 6 2 4 2 7 1 3 7 1 3 2 6 4 4 6 2 0 0 5 1 7 5 1 2 3 8 5 7 8 5 1 6 4 1 8 7 4 2 7 4 0 8 0 7 0 5 4 3 1 5 0 0 8 2 0 3 3 8 7 1 6 2 3 8 3 6 6 4 0 0 4 8 5 6 3 1 0 3 1 3 2 7 5 3 1 5 3 0 1 2 2 0 3 0 8 3 0 5 5 4 1 6 8 0 3 6 6 0 5 6 4 3 0 1 2 0 4 0 5 7 6 6 4 5 3 4 7 6 1 1 3 8 1 0 6 2 4 1 7 4 8 0 8 1 7 5 8 4 7 2 1 5 1 2 1 5 7 1 2 5 5 6 8 0 5 5 7 0 7 6 6 7 2 2 8 2 3 0 4 1 0 0 6 3 6 7 7 1 4 3 0 1 6 0 5 4 1 6 2 2 6 3 1 4 3 1 2 8 8 0 5 4 </values> 2400.08/2400.10 v </instantiation> 2400.08/2400.10
OK 8
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-4259869-1502019628/watcher-4259869-1502019628 -o /tmp/evaluation-result-4259869-1502019628/solver-4259869-1502019628 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502013980-30675 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259869-1502019628.xml pid=31584 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.03 2.02 2.05 3/185 31587 /proc/meminfo: memFree=31471928/32770624 swapFree=0/398136 [pid=31587] ppid=31584 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/31587/stat : 31587 (runsolver) D 31584 31587 25139 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 49468779 24240128 106 18446744073709551615 4194304 4338465 140727907273824 140727907271464 140148353225431 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 14409728 140727907279041 140727907279433 140727907279433 140727907282890 0 /proc/31587/statm: 5918 106 53 36 0 2156 0 [startup+0.100523 s] /proc/loadavg: 2.03 2.02 2.05 3/185 31587 /proc/meminfo: memFree=31471928/32770624 swapFree=0/398136 [pid=31587] ppid=31584 vsize=27436 CPUtime=0.02 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 1126 0 0 0 2 0 0 0 20 0 1 0 49468779 28094464 957 18446744073709551615 4194304 5747388 140733050952720 140733050949368 5477327 0 0 1 0 0 0 0 17 7 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 6859 957 703 380 0 277 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 27436 [startup+0.200525 s] /proc/loadavg: 2.03 2.02 2.05 3/185 31587 /proc/meminfo: memFree=31471928/32770624 swapFree=0/398136 [pid=31587] ppid=31584 vsize=27780 CPUtime=0.12 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 1216 0 0 0 12 0 0 0 20 0 1 0 49468779 28446720 1054 18446744073709551615 4194304 5747388 140733050952720 140733050936504 139752831420904 0 0 1 0 0 0 0 17 7 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 6945 1054 734 380 0 363 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 27780 [startup+0.300524 s] /proc/loadavg: 2.03 2.02 2.05 3/185 31587 /proc/meminfo: memFree=31471928/32770624 swapFree=0/398136 [pid=31587] ppid=31584 vsize=27912 CPUtime=0.22 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 1257 0 0 0 22 0 0 0 20 0 1 0 49468779 28581888 1054 18446744073709551615 4194304 5747388 140733050952720 140733050936504 139752822523270 0 0 1 0 0 0 0 17 1 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 6978 1054 734 380 0 396 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 27912 [startup+0.700175 s] /proc/loadavg: 2.03 2.02 2.05 3/185 31587 /proc/meminfo: memFree=31471928/32770624 swapFree=0/398136 [pid=31587] ppid=31584 vsize=28568 CPUtime=0.62 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 1416 0 0 0 62 0 0 0 20 0 1 0 49468779 29253632 1251 18446744073709551615 4194304 5747388 140733050952720 140733050936504 139752822217824 0 0 1 0 0 0 0 17 1 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 7142 1251 734 380 0 560 0 Current children cumulated CPU time (s) 0.62 Current children cumulated vsize (KiB) 28568 [startup+1.50017 s] /proc/loadavg: 2.03 2.02 2.05 3/186 31588 /proc/meminfo: memFree=31457660/32770624 swapFree=0/397888 [pid=31587] ppid=31584 vsize=29752 CPUtime=1.41 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 1733 0 0 0 141 0 0 0 20 0 1 0 49468779 30466048 1546 18446744073709551615 4194304 5747388 140733050952720 140733050936504 139752822217824 0 0 1 0 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 7438 1546 734 380 0 856 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 29752 [startup+3.10022 s] /proc/loadavg: 1.95 2.01 2.04 3/186 31588 /proc/meminfo: memFree=31443580/32770624 swapFree=0/397888 [pid=31587] ppid=31584 vsize=32136 CPUtime=3.01 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 3311 0 0 0 301 0 0 0 20 0 1 0 49468779 32907264 2166 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4978480 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2166 771 380 0 1452 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 32136 [startup+6.3002 s] /proc/loadavg: 1.95 2.01 2.04 3/186 31588 /proc/meminfo: memFree=31405748/32770624 swapFree=0/397900 [pid=31587] ppid=31584 vsize=32136 CPUtime=6.21 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 4551 0 0 0 621 0 0 0 20 0 1 0 49468779 32907264 2188 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5121272 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2188 771 380 0 1452 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 32136 [startup+12.7002 s] /proc/loadavg: 1.95 2.01 2.04 4/186 31588 /proc/meminfo: memFree=31331100/32770624 swapFree=0/397912 [pid=31587] ppid=31584 vsize=32136 CPUtime=12.61 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 5786 0 0 0 1261 0 0 0 20 0 1 0 49468779 32907264 2188 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4978408 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2188 771 380 0 1452 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 32136 [startup+25.5003 s] /proc/loadavg: 1.96 2.01 2.04 3/186 31589 /proc/meminfo: memFree=31184024/32770624 swapFree=0/397928 [pid=31587] ppid=31584 vsize=32136 CPUtime=25.41 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 8260 0 0 0 2541 0 0 0 20 0 1 0 49468779 32907264 2188 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4978424 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2188 771 380 0 1452 0 Current children cumulated CPU time (s) 25.41 Current children cumulated vsize (KiB) 32136 [startup+51.1003 s] /proc/loadavg: 1.97 2.01 2.04 3/186 31589 /proc/meminfo: memFree=30899252/32770624 swapFree=0/397944 [pid=31587] ppid=31584 vsize=32136 CPUtime=51.01 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 9500 0 0 0 5101 0 0 0 20 0 1 0 49468779 32907264 2188 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5121272 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2188 771 380 0 1452 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 32136 [startup+102.3 s] /proc/loadavg: 1.99 2.01 2.04 3/185 31592 /proc/meminfo: memFree=30371996/32770624 swapFree=0/398004 [pid=31587] ppid=31584 vsize=32136 CPUtime=102.22 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 10736 0 0 0 10222 0 0 0 20 0 1 0 49468779 32907264 2189 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5121146 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2189 771 380 0 1452 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 32136 [startup+162.3 s] /proc/loadavg: 2.03 2.02 2.05 3/185 31594 /proc/meminfo: memFree=30371404/32770624 swapFree=0/398008 [pid=31587] ppid=31584 vsize=32136 CPUtime=162.22 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 11972 0 0 0 16222 0 0 0 20 0 1 0 49468779 32907264 2189 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4873226 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2189 771 380 0 1452 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 32136 [startup+222.306 s] /proc/loadavg: 2.01 2.01 2.05 3/189 31611 /proc/meminfo: memFree=30366008/32770624 swapFree=0/398040 [pid=31587] ppid=31584 vsize=32136 CPUtime=222.22 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 13212 0 0 0 22222 0 0 0 20 0 1 0 49468779 32907264 2189 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4978424 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2189 771 380 0 1452 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 32136 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 31614 /proc/meminfo: memFree=30365912/32770624 swapFree=0/398068 [pid=31587] ppid=31584 vsize=32136 CPUtime=282.22 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 14448 0 0 0 28222 0 0 0 20 0 1 0 49468779 32907264 2189 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5142941 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2189 771 380 0 1452 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 32136 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 31616 /proc/meminfo: memFree=30368432/32770624 swapFree=0/398084 [pid=31587] ppid=31584 vsize=32136 CPUtime=342.22 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 15684 0 0 0 34222 0 0 0 20 0 1 0 49468779 32907264 2189 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5000064 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2189 771 380 0 1452 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 32136 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 31619 /proc/meminfo: memFree=30368568/32770624 swapFree=0/398104 [pid=31587] ppid=31584 vsize=32136 CPUtime=402.22 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 16920 0 0 0 40222 0 0 0 20 0 1 0 49468779 32907264 2189 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4978523 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2189 771 380 0 1452 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 32136 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 31621 /proc/meminfo: memFree=30368984/32770624 swapFree=0/398136 [pid=31587] ppid=31584 vsize=32136 CPUtime=462.22 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 18156 0 0 0 46222 0 0 0 20 0 1 0 49468779 32907264 2189 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4873333 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2189 771 380 0 1452 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 32136 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 31623 /proc/meminfo: memFree=30368656/32770624 swapFree=0/398156 [pid=31587] ppid=31584 vsize=32136 CPUtime=522.23 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 19392 0 0 0 52223 0 0 0 20 0 1 0 49468779 32907264 2189 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5121272 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2189 771 380 0 1452 0 Current children cumulated CPU time (s) 522.23 Current children cumulated vsize (KiB) 32136 [startup+582.3 s] /proc/loadavg: 2.04 2.03 2.05 3/186 31626 /proc/meminfo: memFree=30369428/32770624 swapFree=0/398176 [pid=31587] ppid=31584 vsize=32136 CPUtime=582.23 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 20628 0 0 0 58223 0 0 0 20 0 1 0 49468779 32907264 2189 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4978408 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2189 771 380 0 1452 0 Current children cumulated CPU time (s) 582.23 Current children cumulated vsize (KiB) 32136 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.25 2.09 2.06 3/186 31691 /proc/meminfo: memFree=30369888/32770624 swapFree=0/398492 [pid=31587] ppid=31584 vsize=32136 CPUtime=1542.26 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 27512 0 0 0 154226 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4978404 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 1542.26 Current children cumulated vsize (KiB) 32136 [startup+1602.3 s] /proc/loadavg: 2.09 2.07 2.06 3/187 31694 /proc/meminfo: memFree=30370468/32770624 swapFree=0/398512 [pid=31587] ppid=31584 vsize=32136 CPUtime=1602.26 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 27829 0 0 0 160226 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4978525 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 1602.26 Current children cumulated vsize (KiB) 32136 [startup+1662.3 s] /proc/loadavg: 2.07 2.07 2.06 3/187 31697 /proc/meminfo: memFree=30370468/32770624 swapFree=0/398540 [pid=31587] ppid=31584 vsize=32136 CPUtime=1662.26 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 27829 0 0 0 166226 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4978404 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 1662.26 Current children cumulated vsize (KiB) 32136 [startup+1722.3 s] /proc/loadavg: 2.03 2.06 2.05 3/186 31700 /proc/meminfo: memFree=30370632/32770624 swapFree=0/398556 [pid=31587] ppid=31584 vsize=32136 CPUtime=1722.26 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 28146 0 0 0 172226 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5121272 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 1722.26 Current children cumulated vsize (KiB) 32136 [startup+1782.3 s] /proc/loadavg: 2.06 2.07 2.05 3/186 31702 /proc/meminfo: memFree=30370136/32770624 swapFree=0/398580 [pid=31587] ppid=31584 vsize=32136 CPUtime=1782.26 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 28462 0 0 0 178226 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5121143 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 1782.26 Current children cumulated vsize (KiB) 32136 [startup+1842.3 s] /proc/loadavg: 2.02 2.06 2.05 3/186 31704 /proc/meminfo: memFree=30370880/32770624 swapFree=0/398588 [pid=31587] ppid=31584 vsize=32136 CPUtime=1842.26 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 28778 0 0 0 184226 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4872987 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 1842.26 Current children cumulated vsize (KiB) 32136 [startup+1902.3 s] /proc/loadavg: 2.01 2.04 2.05 3/185 31707 /proc/meminfo: memFree=30370648/32770624 swapFree=0/398616 [pid=31587] ppid=31584 vsize=32136 CPUtime=1902.27 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 29095 0 0 0 190227 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5121248 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 1902.27 Current children cumulated vsize (KiB) 32136 [startup+1962.3 s] /proc/loadavg: 2.00 2.04 2.05 3/184 31709 /proc/meminfo: memFree=30371160/32770624 swapFree=0/398640 [pid=31587] ppid=31584 vsize=32136 CPUtime=1962.27 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 29410 0 0 0 196227 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5000064 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 1962.27 Current children cumulated vsize (KiB) 32136 [startup+2022.3 s] /proc/loadavg: 2.07 2.05 2.05 3/189 31727 /proc/meminfo: memFree=30366300/32770624 swapFree=0/398676 [pid=31587] ppid=31584 vsize=32136 CPUtime=2022.27 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 29725 0 0 0 202227 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5142941 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 2022.27 Current children cumulated vsize (KiB) 32136 [startup+2082.3 s] /proc/loadavg: 2.03 2.04 2.05 3/190 31754 /proc/meminfo: memFree=30365548/32770624 swapFree=0/398712 [pid=31587] ppid=31584 vsize=32136 CPUtime=2082.28 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 30042 0 0 0 208228 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5127075 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 2082.28 Current children cumulated vsize (KiB) 32136 [startup+2142.3 s] /proc/loadavg: 2.05 2.05 2.05 3/190 31756 /proc/meminfo: memFree=30365288/32770624 swapFree=0/398732 [pid=31587] ppid=31584 vsize=32136 CPUtime=2142.27 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 30358 0 0 0 214227 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4873226 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 2142.27 Current children cumulated vsize (KiB) 32136 [startup+2202.31 s] /proc/loadavg: 2.02 2.04 2.05 3/187 31758 /proc/meminfo: memFree=30369204/32770624 swapFree=0/398752 [pid=31587] ppid=31584 vsize=32136 CPUtime=2202.28 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 30358 0 0 0 220228 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5142941 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 2202.28 Current children cumulated vsize (KiB) 32136 [startup+2262.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 31760 /proc/meminfo: memFree=30369592/32770624 swapFree=0/398780 [pid=31587] ppid=31584 vsize=32136 CPUtime=2262.28 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 30674 0 0 0 226228 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4995160 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 2262.28 Current children cumulated vsize (KiB) 32136 [startup+2322.3 s] /proc/loadavg: 2.00 2.03 2.05 3/185 31762 /proc/meminfo: memFree=30370108/32770624 swapFree=0/398800 [pid=31587] ppid=31584 vsize=32136 CPUtime=2322.28 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 30991 0 0 0 232228 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 4995240 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 2322.28 Current children cumulated vsize (KiB) 32136 [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.05 3/184 31764 /proc/meminfo: memFree=30370236/32770624 swapFree=0/398824 [pid=31587] ppid=31584 vsize=32136 CPUtime=2382.28 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 30991 0 0 0 238228 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5121136 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 2382.28 Current children cumulated vsize (KiB) 32136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.1 s] /proc/loadavg: 2.00 2.02 2.05 2/197 31792 /proc/meminfo: memFree=31498752/32770624 swapFree=0/398832 [pid=31587] ppid=31584 vsize=32136 CPUtime=2400.08 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 31307 0 0 0 240008 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5000032 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 32136 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 31587 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.1 s] /proc/loadavg: 2.00 2.02 2.05 2/197 31792 /proc/meminfo: memFree=31498752/32770624 swapFree=0/398832 [pid=31587] ppid=31584 vsize=32136 CPUtime=2400.08 cores=1,3,5,7 /proc/31587/stat : 31587 (cosoco) R 31584 31587 25139 0 -1 4202496 31307 0 0 0 240008 0 0 0 20 0 1 0 49468779 32907264 2193 18446744073709551615 4194304 5747388 140733050952720 140733050950120 5000032 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 7845728 7850568 40574976 140733050954222 140733050954317 140733050954317 140733050957774 0 /proc/31587/statm: 8034 2193 771 380 0 1452 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 32136 Child status: 1 Real time (s): 2400.1 CPU time (s): 2400.1 CPU user time (s): 2400.09 CPU system time (s): 0.009 CPU usage (%): 99.9998 Max. virtual memory (cumulated for all children) (KiB): 32136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.09 system time used= 0.009 maximum resident set size= 8852 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31361 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= 8 involuntary context switches= 707 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.6813 second user time and 8.21134 second system time The end
Begin job on node134 at 2017-08-06 13:26:29 IDJOB=4259869 IDBENCH=120626 IDSOLVER=2647 FILE ID=node134/4259869-1502019628 RUNJOBID= node134-1502013980-30675 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-dsjc-250-1.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259869-1502019628/watcher-4259869-1502019628 -o /tmp/evaluation-result-4259869-1502019628/solver-4259869-1502019628 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502013980-30675 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259869-1502019628.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4a78676e15c4a516bf0316b10322151a RANDOM SEED=962038506 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: 31472276 kB MemAvailable: 31945936 kB Buffers: 172180 kB Cached: 592836 kB SwapCached: 0 kB Active: 456816 kB Inactive: 421168 kB Active(anon): 114820 kB Inactive(anon): 23032 kB Active(file): 341996 kB Inactive(file): 398136 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8096 kB Writeback: 0 kB AnonPages: 112004 kB Mapped: 40156 kB Shmem: 25276 kB Slab: 124456 kB SReclaimable: 98724 kB SUnreclaim: 25732 kB KernelStack: 3280 kB PageTables: 4956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 371508 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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= 62016 MiB End job on node134 at 2017-08-06 14:06:29