Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: cosoco-sat 1.1 | ? (TO) | 2400.05 | 2400.5 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml |
MD5SUM | 4a78676e15c4a516bf0316b10322151a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 2400.05 |
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.00/0.07 c intension x[0] != x[20] using generic constraint 0.00/0.07 c intension x[0] != x[33] using generic constraint 0.00/0.08 c intension x[0] != x[44] using generic constraint 0.00/0.08 c intension x[0] != x[47] using generic constraint 0.00/0.08 c intension x[0] != x[64] using generic constraint 0.00/0.08 c intension x[0] != x[69] using generic constraint 0.00/0.08 c intension x[0] != x[73] using generic constraint 0.00/0.08 c intension x[0] != x[78] using generic constraint 0.00/0.08 c intension x[0] != x[84] using generic constraint 0.00/0.09 c intension x[0] != x[87] using generic constraint 0.00/0.09 c intension x[0] != x[89] using generic constraint 0.00/0.09 c intension x[0] != x[92] using generic constraint 0.00/0.09 c intension x[0] != x[96] using generic constraint 0.00/0.09 c intension x[0] != x[102] using generic constraint 0.00/0.09 c intension x[0] != x[109] using generic constraint 0.00/0.09 c intension x[0] != x[111] using generic constraint 0.00/0.09 c intension x[0] != x[116] using generic constraint 0.09/0.10 c intension x[0] != x[122] using generic constraint 0.09/0.10 c intension x[0] != x[130] using generic constraint 0.09/0.10 c intension x[0] != x[131] using generic constraint 0.09/0.10 c intension x[0] != x[132] using generic constraint 0.09/0.10 c intension x[0] != x[133] using generic constraint 0.09/0.10 c intension x[0] != x[152] using generic constraint 0.09/0.10 c intension x[0] != x[166] using generic constraint 0.09/0.11 c intension x[0] != x[167] using generic constraint 0.09/0.11 c intension x[0] != x[173] using generic constraint 0.09/0.11 c intension x[0] != x[176] using generic constraint 0.09/0.11 c intension x[0] != x[191] using generic constraint 0.09/0.11 c intension x[0] != x[194] using generic constraint 0.09/0.11 c intension x[0] != x[195] using generic constraint 0.09/0.11 c intension x[0] != x[197] using generic constraint 0.09/0.11 c intension x[0] != x[202] using generic constraint 0.09/0.12 c intension x[0] != x[221] using generic constraint 0.09/0.12 c intension x[0] != x[230] using generic constraint 0.09/0.12 c intension x[0] != x[240] using generic constraint 0.09/0.12 c intension x[0] != x[241] using generic constraint 0.09/0.12 c intension x[0] != x[244] using generic constraint 0.09/0.12 c intension x[1] != x[4] using generic constraint 0.09/0.12 c intension x[1] != x[16] using generic constraint 0.09/0.13 c intension x[1] != x[40] using generic constraint 0.09/0.13 c intension x[1] != x[43] using generic constraint 0.09/0.13 c intension x[1] != x[50] using generic constraint 0.09/0.13 c intension x[1] != x[60] using generic constraint 0.09/0.13 c intension x[1] != x[77] using generic constraint 0.09/0.13 c intension x[1] != x[80] using generic constraint 0.09/0.13 c intension x[1] != x[86] using generic constraint 0.09/0.13 c intension x[1] != x[97] using generic constraint 0.09/0.14 c intension x[1] != x[127] using generic constraint 0.09/0.14 c intension x[1] != x[152] using generic constraint 0.09/0.14 c intension x[1] != x[163] using generic constraint 0.09/0.14 c intension x[1] != x[186] using generic constraint 0.09/0.14 c intension x[1] != x[195] using generic constraint 0.09/0.14 c intension x[1] != x[196] using generic constraint 0.09/0.14 c intension x[1] != x[199] using generic constraint 0.09/0.14 c intension x[1] != x[205] using generic constraint 0.09/0.15 c intension x[1] != x[210] using generic constraint 0.09/0.15 c intension x[1] != x[217] using generic constraint 0.09/0.15 c intension x[1] != x[241] using generic constraint 0.09/0.15 c intension x[1] != x[248] using generic constraint 0.09/0.15 c intension x[2] != x[5] using generic constraint 0.09/0.15 c intension x[2] != x[6] using generic constraint 0.09/0.15 c intension x[2] != x[12] using generic constraint 0.09/0.15 c intension x[2] != x[13] using generic constraint 0.09/0.15 c intension x[2] != x[19] using generic constraint 0.09/0.16 c intension x[2] != x[33] using generic constraint 0.09/0.16 c intension x[2] != x[44] using generic constraint 0.09/0.16 c intension x[2] != x[47] using generic constraint 0.09/0.16 c intension x[2] != x[51] using generic constraint 0.09/0.16 c intension x[2] != x[58] using generic constraint 0.09/0.16 c intension x[2] != x[65] using generic constraint 0.09/0.16 c intension x[2] != x[68] using generic constraint 0.09/0.16 c intension x[2] != x[79] using generic constraint 0.09/0.17 c intension x[2] != x[93] using generic constraint 0.09/0.17 c intension x[2] != x[111] using generic constraint 0.09/0.17 c intension x[2] != x[116] using generic constraint 0.09/0.17 c intension x[2] != x[117] using generic constraint 0.09/0.17 c intension x[2] != x[127] using generic constraint 0.09/0.17 c intension x[2] != x[157] using generic constraint 0.09/0.17 c intension x[2] != x[173] using generic constraint 0.09/0.17 c intension x[2] != x[176] using generic constraint 0.09/0.17 c intension x[2] != x[183] using generic constraint 0.09/0.18 c intension x[2] != x[188] using generic constraint 0.09/0.18 c intension x[2] != x[220] using generic constraint 0.09/0.18 c intension x[3] != x[5] using generic constraint 0.09/0.18 c intension x[3] != x[18] using generic constraint 0.09/0.18 c intension x[3] != x[39] using generic constraint 0.09/0.18 c intension x[3] != x[40] using generic constraint 0.09/0.18 c intension x[3] != x[56] using generic constraint 0.09/0.18 c intension x[3] != x[68] using generic constraint 0.09/0.18 c intension x[3] != x[70] using generic constraint 0.09/0.19 c intension x[3] != x[89] using generic constraint 0.09/0.19 c intension x[3] != x[108] using generic constraint 0.09/0.19 c intension x[3] != x[116] using generic constraint 0.09/0.19 c intension x[3] != x[129] using generic constraint 0.09/0.19 c intension x[3] != x[131] using generic constraint 0.09/0.19 c intension x[3] != x[140] using generic constraint 0.09/0.19 c intension x[3] != x[144] using generic constraint 0.09/0.19 c intension x[3] != x[185] using generic constraint 0.09/0.19 c intension x[3] != x[189] using generic constraint 0.09/0.19 c intension x[3] != x[190] using generic constraint 0.09/0.20 c intension x[3] != x[194] using generic constraint 0.19/0.20 c intension x[3] != x[209] using generic constraint 0.19/0.20 c intension x[3] != x[219] using generic constraint 0.19/0.20 c intension x[3] != x[223] using generic constraint 0.19/0.20 c intension x[3] != x[237] using generic constraint 0.19/0.20 c intension x[3] != x[242] using generic constraint 0.19/0.20 c intension x[3] != x[248] using generic constraint 0.19/0.20 c intension x[4] != x[18] using generic constraint 0.19/0.20 c intension x[4] != x[19] using generic constraint 0.19/0.20 c intension x[4] != x[23] using generic constraint 0.19/0.20 c intension x[4] != x[34] using generic constraint 0.19/0.21 c intension x[4] != x[37] using generic constraint 0.19/0.21 c intension x[4] != x[49] using generic constraint 0.19/0.21 c intension x[4] != x[57] using generic constraint 0.19/0.21 c intension x[4] != x[65] using generic constraint 0.19/0.21 c intension x[4] != x[68] using generic constraint 0.19/0.21 c intension x[4] != x[84] using generic constraint 0.19/0.21 c intension x[4] != x[92] using generic constraint 0.19/0.21 c intension x[4] != x[93] using generic constraint 0.19/0.21 c intension x[4] != x[94] using generic constraint 0.19/0.21 c intension x[4] != x[102] using generic constraint 0.19/0.21 c intension x[4] != x[111] using generic constraint 0.19/0.22 c intension x[4] != x[112] using generic constraint 0.19/0.22 c intension x[4] != x[115] using generic constraint 0.19/0.22 c intension x[4] != x[129] using generic constraint 0.19/0.22 c intension x[4] != x[134] using generic constraint 0.19/0.22 c intension x[4] != x[137] using generic constraint 0.19/0.22 c intension x[4] != x[139] using generic constraint 0.19/0.22 c intension x[4] != x[146] using generic constraint 0.19/0.22 c intension x[4] != x[163] using generic constraint 0.19/0.22 c intension x[4] != x[168] using generic constraint 0.19/0.22 c intension x[4] != x[185] using generic constraint 0.19/0.23 c intension x[4] != x[192] using generic constraint 0.19/0.23 c intension x[4] != x[198] using generic constraint 0.19/0.23 c intension x[4] != x[199] using generic constraint 0.19/0.23 c intension x[4] != x[208] using generic constraint 0.19/0.23 c intension x[4] != x[210] using generic constraint 0.19/0.23 c intension x[4] != x[217] using generic constraint 0.19/0.23 c intension x[4] != x[223] using generic constraint 0.19/0.23 c intension x[4] != x[237] using generic constraint 0.19/0.23 c intension x[4] != x[247] using generic constraint 0.19/0.23 c intension x[5] != x[7] using generic constraint 0.19/0.24 c intension x[5] != x[27] using generic constraint 0.19/0.24 c intension x[5] != x[33] using generic constraint 0.19/0.24 c intension x[5] != x[38] using generic constraint 0.19/0.24 c intension x[5] != x[52] using generic constraint 0.19/0.24 c intension x[5] != x[61] using generic constraint 0.19/0.24 c intension x[5] != x[62] using generic constraint 0.19/0.24 c intension x[5] != x[92] using generic constraint 0.19/0.24 c intension x[5] != x[93] using generic constraint 0.19/0.24 c intension x[5] != x[96] using generic constraint 0.19/0.24 c intension x[5] != x[99] using generic constraint 0.19/0.25 c intension x[5] != x[108] using generic constraint 0.19/0.25 c intension x[5] != x[110] using generic constraint 0.19/0.25 c intension x[5] != x[116] using generic constraint 0.19/0.25 c intension x[5] != x[117] using generic constraint 0.19/0.25 c intension x[5] != x[144] using generic constraint 0.19/0.25 c intension x[5] != x[159] using generic constraint 0.19/0.25 c intension x[5] != x[168] using generic constraint 0.19/0.25 c intension x[5] != x[177] using generic constraint 0.19/0.25 c intension x[5] != x[233] using generic constraint 0.19/0.25 c intension x[5] != x[243] using generic constraint 0.19/0.26 c intension x[6] != x[15] using generic constraint 0.19/0.26 c intension x[6] != x[48] using generic constraint 0.19/0.26 c intension x[6] != x[58] using generic constraint 0.19/0.26 c intension x[6] != x[66] using generic constraint 0.19/0.26 c intension x[6] != x[68] using generic constraint 0.19/0.26 c intension x[6] != x[83] using generic constraint 0.19/0.26 c intension x[6] != x[98] using generic constraint 0.19/0.26 c intension x[6] != x[105] using generic constraint 0.19/0.26 c intension x[6] != x[106] using generic constraint 0.19/0.26 c intension x[6] != x[118] using generic constraint 0.19/0.27 c intension x[6] != x[122] using generic constraint 0.19/0.27 c intension x[6] != x[153] using generic constraint 0.19/0.27 c intension x[6] != x[164] using generic constraint 0.19/0.27 c intension x[6] != x[165] using generic constraint 0.19/0.27 c intension x[6] != x[168] using generic constraint 0.19/0.27 c intension x[6] != x[177] using generic constraint 0.19/0.27 c intension x[6] != x[194] using generic constraint 0.19/0.27 c intension x[6] != x[205] using generic constraint 0.19/0.27 c intension x[6] != x[213] using generic constraint 0.19/0.27 c intension x[6] != x[217] using generic constraint 0.19/0.28 c intension x[6] != x[220] using generic constraint 0.19/0.28 c intension x[6] != x[225] using generic constraint 0.19/0.28 c intension x[6] != x[228] using generic constraint 0.19/0.28 c intension x[6] != x[229] using generic constraint 0.19/0.28 c intension x[6] != x[245] using generic constraint 0.19/0.28 c intension x[7] != x[9] using generic constraint 0.19/0.28 c intension x[7] != x[14] using generic constraint 0.19/0.28 c intension x[7] != x[38] using generic constraint 0.19/0.28 c intension x[7] != x[48] using generic constraint 0.19/0.28 c intension x[7] != x[61] using generic constraint 0.19/0.29 c intension x[7] != x[67] using generic constraint 0.19/0.29 c intension x[7] != x[80] using generic constraint 0.19/0.29 c intension x[7] != x[89] using generic constraint 0.19/0.29 c intension x[7] != x[100] using generic constraint 0.19/0.29 c intension x[7] != x[106] using generic constraint 0.19/0.29 c intension x[7] != x[120] using generic constraint 0.19/0.29 c intension x[7] != x[138] using generic constraint 0.19/0.29 c intension x[7] != x[147] using generic constraint 0.19/0.29 c intension x[7] != x[149] using generic constraint 0.19/0.29 c intension x[7] != x[168] using generic constraint 0.19/0.30 c intension x[7] != x[174] using generic constraint 0.29/0.30 c intension x[7] != x[176] using generic constraint 0.29/0.30 c intension x[7] != x[195] using generic constraint 0.29/0.30 c intension x[7] != x[196] using generic constraint 0.29/0.30 c intension x[7] != x[207] using generic constraint 0.29/0.30 c intension x[7] != x[225] using generic constraint 0.29/0.30 c intension x[7] != x[231] using generic constraint 0.29/0.30 c intension x[7] != x[240] using generic constraint 0.29/0.30 c intension x[7] != x[242] using generic constraint 0.29/0.30 c intension x[8] != x[20] using generic constraint 0.29/0.30 c intension x[8] != x[32] using generic constraint 0.29/0.31 c intension x[8] != x[50] using generic constraint 0.29/0.31 c intension x[8] != x[59] using generic constraint 0.29/0.31 c intension x[8] != x[65] using generic constraint 0.29/0.31 c intension x[8] != x[66] using generic constraint 0.29/0.31 c intension x[8] != x[86] using generic constraint 0.29/0.31 c intension x[8] != x[108] using generic constraint 0.29/0.31 c intension x[8] != x[109] using generic constraint 0.29/0.31 c intension x[8] != x[110] using generic constraint 0.29/0.31 c intension x[8] != x[123] using generic constraint 0.29/0.31 c intension x[8] != x[145] using generic constraint 0.29/0.31 c intension x[8] != x[155] using generic constraint 0.29/0.32 c intension x[8] != x[157] using generic constraint 0.29/0.32 c intension x[8] != x[158] using generic constraint 0.29/0.32 c intension x[8] != x[159] using generic constraint 0.29/0.32 c intension x[8] != x[171] using generic constraint 0.29/0.32 c intension x[8] != x[174] using generic constraint 0.29/0.32 c intension x[8] != x[200] using generic constraint 0.29/0.32 c intension x[8] != x[231] using generic constraint 0.29/0.32 c intension x[8] != x[240] using generic constraint 0.29/0.32 c intension x[8] != x[247] using generic constraint 0.29/0.32 c intension x[8] != x[248] using generic constraint 0.29/0.32 c intension x[9] != x[17] using generic constraint 0.29/0.33 c intension x[9] != x[38] using generic constraint 0.29/0.33 c intension x[9] != x[43] using generic constraint 0.29/0.33 c intension x[9] != x[54] using generic constraint 0.29/0.33 c intension x[9] != x[64] using generic constraint 0.29/0.33 c intension x[9] != x[69] using generic constraint 0.29/0.33 c intension x[9] != x[75] using generic constraint 0.29/0.33 c intension x[9] != x[77] using generic constraint 0.29/0.33 c intension x[9] != x[90] using generic constraint 0.29/0.33 c intension x[9] != x[93] using generic constraint 0.29/0.33 c intension x[9] != x[94] using generic constraint 0.29/0.34 c intension x[9] != x[97] using generic constraint 0.29/0.34 c intension x[9] != x[107] using generic constraint 0.29/0.34 c intension x[9] != x[142] using generic constraint 0.29/0.34 c intension x[9] != x[173] using generic constraint 0.29/0.34 c intension x[9] != x[183] using generic constraint 0.29/0.34 c intension x[9] != x[197] using generic constraint 0.29/0.34 c intension x[9] != x[204] using generic constraint 0.29/0.34 c intension x[9] != x[218] using generic constraint 0.29/0.34 c intension x[9] != x[220] using generic constraint 0.29/0.34 c intension x[9] != x[222] using generic constraint 0.29/0.35 c intension x[9] != x[228] using generic constraint 0.29/0.35 c intension x[10] != x[27] using generic constraint 0.29/0.35 c intension x[10] != x[33] using generic constraint 0.29/0.35 c intension x[10] != x[45] using generic constraint 0.29/0.35 c intension x[10] != x[64] using generic constraint 0.29/0.35 c intension x[10] != x[84] using generic constraint 0.29/0.35 c intension x[10] != x[87] using generic constraint 0.29/0.35 c intension x[10] != x[88] using generic constraint 0.29/0.35 c intension x[10] != x[106] using generic constraint 0.29/0.35 c intension x[10] != x[109] using generic constraint 0.29/0.36 c intension x[10] != x[114] using generic constraint 0.29/0.36 c intension x[10] != x[116] using generic constraint 0.29/0.36 c intension x[10] != x[143] using generic constraint 0.29/0.36 c intension x[10] != x[146] using generic constraint 0.29/0.36 c intension x[10] != x[159] using generic constraint 0.29/0.36 c intension x[10] != x[163] using generic constraint 0.29/0.36 c intension x[10] != x[168] using generic constraint 0.29/0.36 c intension x[10] != x[182] using generic constraint 0.29/0.36 c intension x[10] != x[204] using generic constraint 0.29/0.37 c intension x[10] != x[229] using generic constraint 0.29/0.37 c intension x[10] != x[237] using generic constraint 0.29/0.37 c intension x[10] != x[239] using generic constraint 0.29/0.37 c intension x[11] != x[23] using generic constraint 0.29/0.37 c intension x[11] != x[26] using generic constraint 0.29/0.37 c intension x[11] != x[28] using generic constraint 0.29/0.37 c intension x[11] != x[60] using generic constraint 0.29/0.37 c intension x[11] != x[61] using generic constraint 0.29/0.37 c intension x[11] != x[71] using generic constraint 0.29/0.37 c intension x[11] != x[83] using generic constraint 0.29/0.38 c intension x[11] != x[101] using generic constraint 0.29/0.38 c intension x[11] != x[103] using generic constraint 0.29/0.38 c intension x[11] != x[111] using generic constraint 0.29/0.38 c intension x[11] != x[113] using generic constraint 0.29/0.38 c intension x[11] != x[116] using generic constraint 0.29/0.38 c intension x[11] != x[123] using generic constraint 0.29/0.38 c intension x[11] != x[147] using generic constraint 0.29/0.38 c intension x[11] != x[171] using generic constraint 0.29/0.38 c intension x[11] != x[185] using generic constraint 0.29/0.38 c intension x[11] != x[188] using generic constraint 0.29/0.39 c intension x[11] != x[190] using generic constraint 0.29/0.39 c intension x[11] != x[203] using generic constraint 0.29/0.39 c intension x[11] != x[242] using generic constraint 0.29/0.39 c intension x[12] != x[28] using generic constraint 0.29/0.39 c intension x[12] != x[31] using generic constraint 0.29/0.39 c intension x[12] != x[34] using generic constraint 0.29/0.39 c intension x[12] != x[35] using generic constraint 0.29/0.39 c intension x[12] != x[44] using generic constraint 0.29/0.39 c intension x[12] != x[45] using generic constraint 0.29/0.39 c intension x[12] != x[49] using generic constraint 0.29/0.39 c intension x[12] != x[56] using generic constraint 0.29/0.40 c intension x[12] != x[70] using generic constraint 0.39/0.40 c intension x[12] != x[75] using generic constraint 0.39/0.40 c intension x[12] != x[82] using generic constraint 0.39/0.40 c intension x[12] != x[87] using generic constraint 0.39/0.40 c intension x[12] != x[88] using generic constraint 0.39/0.40 c intension x[12] != x[92] using generic constraint 0.39/0.40 c intension x[12] != x[100] using generic constraint 0.39/0.40 c intension x[12] != x[102] using generic constraint 0.39/0.40 c intension x[12] != x[114] using generic constraint 0.39/0.40 c intension x[12] != x[118] using generic constraint 0.39/0.40 c intension x[12] != x[119] using generic constraint 0.39/0.41 c intension x[12] != x[132] using generic constraint 0.39/0.41 c intension x[12] != x[134] using generic constraint 0.39/0.41 c intension x[12] != x[143] using generic constraint 0.39/0.41 c intension x[12] != x[153] using generic constraint 0.39/0.41 c intension x[12] != x[171] using generic constraint 0.39/0.41 c intension x[12] != x[172] using generic constraint 0.39/0.41 c intension x[12] != x[178] using generic constraint 0.39/0.41 c intension x[12] != x[186] using generic constraint 0.39/0.41 c intension x[12] != x[212] using generic constraint 0.39/0.41 c intension x[12] != x[229] using generic constraint 0.39/0.41 c intension x[12] != x[238] using generic constraint 0.39/0.42 c intension x[13] != x[18] using generic constraint 0.39/0.42 c intension x[13] != x[36] using generic constraint 0.39/0.42 c intension x[13] != x[37] using generic constraint 0.39/0.42 c intension x[13] != x[38] using generic constraint 0.39/0.42 c intension x[13] != x[39] using generic constraint 0.39/0.42 c intension x[13] != x[56] using generic constraint 0.39/0.42 c intension x[13] != x[81] using generic constraint 0.39/0.42 c intension x[13] != x[97] using generic constraint 0.39/0.42 c intension x[13] != x[102] using generic constraint 0.39/0.42 c intension x[13] != x[110] using generic constraint 0.39/0.42 c intension x[13] != x[113] using generic constraint 0.39/0.43 c intension x[13] != x[114] using generic constraint 0.39/0.43 c intension x[13] != x[128] using generic constraint 0.39/0.43 c intension x[13] != x[132] using generic constraint 0.39/0.43 c intension x[13] != x[133] using generic constraint 0.39/0.43 c intension x[13] != x[150] using generic constraint 0.39/0.43 c intension x[13] != x[152] using generic constraint 0.39/0.43 c intension x[13] != x[163] using generic constraint 0.39/0.43 c intension x[13] != x[165] using generic constraint 0.39/0.43 c intension x[13] != x[174] using generic constraint 0.39/0.43 c intension x[13] != x[187] using generic constraint 0.39/0.43 c intension x[13] != x[188] using generic constraint 0.39/0.44 c intension x[13] != x[214] using generic constraint 0.39/0.44 c intension x[13] != x[227] using generic constraint 0.39/0.44 c intension x[13] != x[236] using generic constraint 0.39/0.44 c intension x[14] != x[25] using generic constraint 0.39/0.44 c intension x[14] != x[27] using generic constraint 0.39/0.44 c intension x[14] != x[32] using generic constraint 0.39/0.44 c intension x[14] != x[45] using generic constraint 0.39/0.44 c intension x[14] != x[52] using generic constraint 0.39/0.44 c intension x[14] != x[55] using generic constraint 0.39/0.44 c intension x[14] != x[57] using generic constraint 0.39/0.44 c intension x[14] != x[70] using generic constraint 0.39/0.45 c intension x[14] != x[86] using generic constraint 0.39/0.45 c intension x[14] != x[90] using generic constraint 0.39/0.45 c intension x[14] != x[94] using generic constraint 0.39/0.45 c intension x[14] != x[100] using generic constraint 0.39/0.45 c intension x[14] != x[115] using generic constraint 0.39/0.45 c intension x[14] != x[128] using generic constraint 0.39/0.45 c intension x[14] != x[137] using generic constraint 0.39/0.45 c intension x[14] != x[140] using generic constraint 0.39/0.45 c intension x[14] != x[142] using generic constraint 0.39/0.45 c intension x[14] != x[144] using generic constraint 0.39/0.46 c intension x[14] != x[152] using generic constraint 0.39/0.46 c intension x[14] != x[158] using generic constraint 0.39/0.46 c intension x[14] != x[160] using generic constraint 0.39/0.46 c intension x[14] != x[221] using generic constraint 0.39/0.46 c intension x[14] != x[231] using generic constraint 0.39/0.46 c intension x[15] != x[28] using generic constraint 0.39/0.46 c intension x[15] != x[30] using generic constraint 0.39/0.46 c intension x[15] != x[62] using generic constraint 0.39/0.46 c intension x[15] != x[70] using generic constraint 0.39/0.46 c intension x[15] != x[90] using generic constraint 0.39/0.46 c intension x[15] != x[98] using generic constraint 0.39/0.47 c intension x[15] != x[101] using generic constraint 0.39/0.47 c intension x[15] != x[116] using generic constraint 0.39/0.47 c intension x[15] != x[121] using generic constraint 0.39/0.47 c intension x[15] != x[125] using generic constraint 0.39/0.47 c intension x[15] != x[131] using generic constraint 0.39/0.47 c intension x[15] != x[139] using generic constraint 0.39/0.47 c intension x[15] != x[145] using generic constraint 0.39/0.47 c intension x[15] != x[148] using generic constraint 0.39/0.47 c intension x[15] != x[149] using generic constraint 0.39/0.47 c intension x[15] != x[170] using generic constraint 0.39/0.48 c intension x[15] != x[173] using generic constraint 0.39/0.48 c intension x[15] != x[187] using generic constraint 0.39/0.48 c intension x[15] != x[188] using generic constraint 0.39/0.48 c intension x[15] != x[225] using generic constraint 0.39/0.48 c intension x[15] != x[229] using generic constraint 0.39/0.48 c intension x[15] != x[240] using generic constraint 0.39/0.48 c intension x[15] != x[248] using generic constraint 0.39/0.48 c intension x[16] != x[18] using generic constraint 0.39/0.48 c intension x[16] != x[21] using generic constraint 0.39/0.48 c intension x[16] != x[32] using generic constraint 0.39/0.49 c intension x[16] != x[39] using generic constraint 0.39/0.49 c intension x[16] != x[45] using generic constraint 0.39/0.49 c intension x[16] != x[51] using generic constraint 0.39/0.49 c intension x[16] != x[68] using generic constraint 0.39/0.49 c intension x[16] != x[70] using generic constraint 0.39/0.49 c intension x[16] != x[72] using generic constraint 0.39/0.49 c intension x[16] != x[86] using generic constraint 0.39/0.49 c intension x[16] != x[95] using generic constraint 0.39/0.49 c intension x[16] != x[97] using generic constraint 0.39/0.50 c intension x[16] != x[113] using generic constraint 0.49/0.50 c intension x[16] != x[120] using generic constraint 0.49/0.50 c intension x[16] != x[138] using generic constraint 0.49/0.50 c intension x[16] != x[156] using generic constraint 0.49/0.50 c intension x[16] != x[158] using generic constraint 0.49/0.50 c intension x[16] != x[187] using generic constraint 0.49/0.50 c intension x[16] != x[203] using generic constraint 0.49/0.50 c intension x[16] != x[208] using generic constraint 0.49/0.50 c intension x[16] != x[211] using generic constraint 0.49/0.50 c intension x[16] != x[216] using generic constraint 0.49/0.50 c intension x[16] != x[225] using generic constraint 0.49/0.51 c intension x[16] != x[243] using generic constraint 0.49/0.51 c intension x[17] != x[28] using generic constraint 0.49/0.51 c intension x[17] != x[37] using generic constraint 0.49/0.51 c intension x[17] != x[40] using generic constraint 0.49/0.51 c intension x[17] != x[54] using generic constraint 0.49/0.51 c intension x[17] != x[62] using generic constraint 0.49/0.51 c intension x[17] != x[63] using generic constraint 0.49/0.51 c intension x[17] != x[79] using generic constraint 0.49/0.51 c intension x[17] != x[84] using generic constraint 0.49/0.51 c intension x[17] != x[91] using generic constraint 0.49/0.51 c intension x[17] != x[127] using generic constraint 0.49/0.52 c intension x[17] != x[145] using generic constraint 0.49/0.52 c intension x[17] != x[147] using generic constraint 0.49/0.52 c intension x[17] != x[159] using generic constraint 0.49/0.52 c intension x[17] != x[161] using generic constraint 0.49/0.52 c intension x[17] != x[162] using generic constraint 0.49/0.52 c intension x[17] != x[165] using generic constraint 0.49/0.52 c intension x[17] != x[167] using generic constraint 0.49/0.52 c intension x[17] != x[177] using generic constraint 0.49/0.52 c intension x[17] != x[181] using generic constraint 0.49/0.52 c intension x[17] != x[187] using generic constraint 0.49/0.53 c intension x[17] != x[188] using generic constraint 0.49/0.53 c intension x[17] != x[190] using generic constraint 0.49/0.53 c intension x[17] != x[195] using generic constraint 0.49/0.53 c intension x[17] != x[203] using generic constraint 0.49/0.53 c intension x[17] != x[207] using generic constraint 0.49/0.53 c intension x[17] != x[208] using generic constraint 0.49/0.53 c intension x[17] != x[214] using generic constraint 0.49/0.53 c intension x[17] != x[225] using generic constraint 0.49/0.53 c intension x[17] != x[239] using generic constraint 0.49/0.53 c intension x[17] != x[240] using generic constraint 0.49/0.54 c intension x[18] != x[23] using generic constraint 0.49/0.54 c intension x[18] != x[26] using generic constraint 0.49/0.54 c intension x[18] != x[35] using generic constraint 0.49/0.54 c intension x[18] != x[44] using generic constraint 0.49/0.54 c intension x[18] != x[49] using generic constraint 0.49/0.54 c intension x[18] != x[55] using generic constraint 0.49/0.54 c intension x[18] != x[68] using generic constraint 0.49/0.54 c intension x[18] != x[80] using generic constraint 0.49/0.54 c intension x[18] != x[90] using generic constraint 0.49/0.54 c intension x[18] != x[96] using generic constraint 0.49/0.55 c intension x[18] != x[97] using generic constraint 0.49/0.55 c intension x[18] != x[98] using generic constraint 0.49/0.55 c intension x[18] != x[102] using generic constraint 0.49/0.55 c intension x[18] != x[110] using generic constraint 0.49/0.55 c intension x[18] != x[121] using generic constraint 0.49/0.55 c intension x[18] != x[124] using generic constraint 0.49/0.55 c intension x[18] != x[129] using generic constraint 0.49/0.55 c intension x[18] != x[130] using generic constraint 0.49/0.55 c intension x[18] != x[139] using generic constraint 0.49/0.55 c intension x[18] != x[140] using generic constraint 0.49/0.56 c intension x[18] != x[142] using generic constraint 0.49/0.56 c intension x[18] != x[145] using generic constraint 0.49/0.56 c intension x[18] != x[159] using generic constraint 0.49/0.56 c intension x[18] != x[177] using generic constraint 0.49/0.56 c intension x[18] != x[196] using generic constraint 0.49/0.56 c intension x[18] != x[205] using generic constraint 0.49/0.56 c intension x[18] != x[216] using generic constraint 0.49/0.56 c intension x[18] != x[240] using generic constraint 0.49/0.56 c intension x[18] != x[241] using generic constraint 0.49/0.57 c intension x[18] != x[246] using generic constraint 0.49/0.57 c intension x[19] != x[26] using generic constraint 0.49/0.57 c intension x[19] != x[38] using generic constraint 0.49/0.57 c intension x[19] != x[42] using generic constraint 0.49/0.57 c intension x[19] != x[61] using generic constraint 0.49/0.57 c intension x[19] != x[113] using generic constraint 0.49/0.57 c intension x[19] != x[118] using generic constraint 0.49/0.57 c intension x[19] != x[123] using generic constraint 0.49/0.57 c intension x[19] != x[127] using generic constraint 0.49/0.57 c intension x[19] != x[128] using generic constraint 0.49/0.58 c intension x[19] != x[131] using generic constraint 0.49/0.58 c intension x[19] != x[134] using generic constraint 0.49/0.58 c intension x[19] != x[140] using generic constraint 0.49/0.58 c intension x[19] != x[152] using generic constraint 0.49/0.58 c intension x[19] != x[161] using generic constraint 0.49/0.58 c intension x[19] != x[162] using generic constraint 0.49/0.58 c intension x[19] != x[165] using generic constraint 0.49/0.58 c intension x[19] != x[168] using generic constraint 0.49/0.58 c intension x[19] != x[170] using generic constraint 0.49/0.58 c intension x[19] != x[186] using generic constraint 0.49/0.59 c intension x[19] != x[193] using generic constraint 0.49/0.59 c intension x[19] != x[198] using generic constraint 0.49/0.59 c intension x[19] != x[217] using generic constraint 0.49/0.59 c intension x[19] != x[218] using generic constraint 0.49/0.59 c intension x[19] != x[219] using generic constraint 0.49/0.59 c intension x[19] != x[227] using generic constraint 0.49/0.59 c intension x[19] != x[230] using generic constraint 0.49/0.59 c intension x[19] != x[241] using generic constraint 0.49/0.59 c intension x[19] != x[249] using generic constraint 0.49/0.59 c intension x[20] != x[31] using generic constraint 0.59/0.60 c intension x[20] != x[41] using generic constraint 0.59/0.60 c intension x[20] != x[55] using generic constraint 0.59/0.60 c intension x[20] != x[57] using generic constraint 0.59/0.60 c intension x[20] != x[60] using generic constraint 0.59/0.60 c intension x[20] != x[89] using generic constraint 0.59/0.60 c intension x[20] != x[99] using generic constraint 0.59/0.60 c intension x[20] != x[100] using generic constraint 0.59/0.60 c intension x[20] != x[110] using generic constraint 0.59/0.60 c intension x[20] != x[119] using generic constraint 0.59/0.60 c intension x[20] != x[133] using generic constraint 0.59/0.60 c intension x[20] != x[152] using generic constraint 0.59/0.61 c intension x[20] != x[156] using generic constraint 0.59/0.61 c intension x[20] != x[163] using generic constraint 0.59/0.61 c intension x[20] != x[172] using generic constraint 0.59/0.61 c intension x[20] != x[203] using generic constraint 0.59/0.61 c intension x[20] != x[218] using generic constraint 0.59/0.61 c intension x[20] != x[222] using generic constraint 0.59/0.61 c intension x[20] != x[238] using generic constraint 0.59/0.61 c intension x[20] != x[239] using generic constraint 0.59/0.61 c intension x[20] != x[243] using generic constraint 0.59/0.62 c intension x[21] != x[27] using generic constraint 0.59/0.62 c intension x[21] != x[40] using generic constraint 0.59/0.62 c intension x[21] != x[44] using generic constraint 0.59/0.62 c intension x[21] != x[48] using generic constraint 0.59/0.62 c intension x[21] != x[64] using generic constraint 0.59/0.62 c intension x[21] != x[67] using generic constraint 0.59/0.62 c intension x[21] != x[70] using generic constraint 0.59/0.62 c intension x[21] != x[84] using generic constraint 0.59/0.62 c intension x[21] != x[108] using generic constraint 0.59/0.62 c intension x[21] != x[120] using generic constraint 0.59/0.63 c intension x[21] != x[121] using generic constraint 0.59/0.63 c intension x[21] != x[125] using generic constraint 0.59/0.63 c intension x[21] != x[126] using generic constraint 0.59/0.63 c intension x[21] != x[128] using generic constraint 0.59/0.63 c intension x[21] != x[131] using generic constraint 0.59/0.63 c intension x[21] != x[140] using generic constraint 0.59/0.63 c intension x[21] != x[143] using generic constraint 0.59/0.63 c intension x[21] != x[161] using generic constraint 0.59/0.63 c intension x[21] != x[207] using generic constraint 0.59/0.63 c intension x[21] != x[213] using generic constraint 0.59/0.64 c intension x[21] != x[224] using generic constraint 0.59/0.64 c intension x[21] != x[244] using generic constraint 0.59/0.64 c intension x[22] != x[23] using generic constraint 0.59/0.64 c intension x[22] != x[28] using generic constraint 0.59/0.64 c intension x[22] != x[35] using generic constraint 0.59/0.64 c intension x[22] != x[39] using generic constraint 0.59/0.64 c intension x[22] != x[56] using generic constraint 0.59/0.64 c intension x[22] != x[57] using generic constraint 0.59/0.64 c intension x[22] != x[74] using generic constraint 0.59/0.64 c intension x[22] != x[83] using generic constraint 0.59/0.65 c intension x[22] != x[85] using generic constraint 0.59/0.65 c intension x[22] != x[90] using generic constraint 0.59/0.65 c intension x[22] != x[100] using generic constraint 0.59/0.65 c intension x[22] != x[102] using generic constraint 0.59/0.65 c intension x[22] != x[114] using generic constraint 0.59/0.65 c intension x[22] != x[120] using generic constraint 0.59/0.65 c intension x[22] != x[138] using generic constraint 0.59/0.65 c intension x[22] != x[143] using generic constraint 0.59/0.65 c intension x[22] != x[152] using generic constraint 0.59/0.65 c intension x[22] != x[153] using generic constraint 0.59/0.66 c intension x[22] != x[156] using generic constraint 0.59/0.66 c intension x[22] != x[178] using generic constraint 0.59/0.66 c intension x[22] != x[187] using generic constraint 0.59/0.66 c intension x[22] != x[190] using generic constraint 0.59/0.66 c intension x[22] != x[201] using generic constraint 0.59/0.66 c intension x[22] != x[211] using generic constraint 0.59/0.66 c intension x[22] != x[223] using generic constraint 0.59/0.66 c intension x[22] != x[237] using generic constraint 0.59/0.66 c intension x[22] != x[239] using generic constraint 0.59/0.66 c intension x[22] != x[246] using generic constraint 0.59/0.67 c intension x[23] != x[31] using generic constraint 0.59/0.67 c intension x[23] != x[53] using generic constraint 0.59/0.67 c intension x[23] != x[65] using generic constraint 0.59/0.67 c intension x[23] != x[70] using generic constraint 0.59/0.67 c intension x[23] != x[73] using generic constraint 0.59/0.67 c intension x[23] != x[100] using generic constraint 0.59/0.67 c intension x[23] != x[107] using generic constraint 0.59/0.67 c intension x[23] != x[118] using generic constraint 0.59/0.67 c intension x[23] != x[121] using generic constraint 0.59/0.67 c intension x[23] != x[127] using generic constraint 0.59/0.68 c intension x[23] != x[133] using generic constraint 0.59/0.68 c intension x[23] != x[135] using generic constraint 0.59/0.68 c intension x[23] != x[153] using generic constraint 0.59/0.68 c intension x[23] != x[154] using generic constraint 0.59/0.68 c intension x[23] != x[156] using generic constraint 0.59/0.68 c intension x[23] != x[168] using generic constraint 0.59/0.68 c intension x[23] != x[179] using generic constraint 0.59/0.68 c intension x[23] != x[248] using generic constraint 0.59/0.68 c intension x[24] != x[40] using generic constraint 0.59/0.68 c intension x[24] != x[43] using generic constraint 0.59/0.69 c intension x[24] != x[51] using generic constraint 0.59/0.69 c intension x[24] != x[56] using generic constraint 0.59/0.69 c intension x[24] != x[66] using generic constraint 0.59/0.69 c intension x[24] != x[83] using generic constraint 0.59/0.69 c intension x[24] != x[87] using generic constraint 0.59/0.69 c intension x[24] != x[92] using generic constraint 0.59/0.69 c intension x[24] != x[93] using generic constraint 0.59/0.69 c intension x[24] != x[99] using generic constraint 0.59/0.69 c intension x[24] != x[103] using generic constraint 0.59/0.69 c intension x[24] != x[104] using generic constraint 0.69/0.70 c intension x[24] != x[111] using generic constraint 0.69/0.70 c intension x[24] != x[126] using generic constraint 0.69/0.70 c intension x[24] != x[190] using generic constraint 0.69/0.70 c intension x[24] != x[240] using generic constraint 0.69/0.70 c intension x[24] != x[242] using generic constraint 0.69/0.70 c intension x[24] != x[248] using generic constraint 0.69/0.70 c intension x[25] != x[39] using generic constraint 0.69/0.70 c intension x[25] != x[40] using generic constraint 0.69/0.70 c intension x[25] != x[47] using generic constraint 0.69/0.70 c intension x[25] != x[55] using generic constraint 0.69/0.70 c intension x[25] != x[96] using generic constraint 0.69/0.71 c intension x[25] != x[101] using generic constraint 0.69/0.71 c intension x[25] != x[103] using generic constraint 0.69/0.71 c intension x[25] != x[106] using generic constraint 0.69/0.71 c intension x[25] != x[112] using generic constraint 0.69/0.71 c intension x[25] != x[123] using generic constraint 0.69/0.71 c intension x[25] != x[157] using generic constraint 0.69/0.71 c intension x[25] != x[159] using generic constraint 0.69/0.71 c intension x[25] != x[173] using generic constraint 0.69/0.71 c intension x[25] != x[179] using generic constraint 0.69/0.71 c intension x[25] != x[182] using generic constraint 0.69/0.72 c intension x[25] != x[197] using generic constraint 0.69/0.72 c intension x[25] != x[200] using generic constraint 0.69/0.72 c intension x[25] != x[247] using generic constraint 0.69/0.72 c intension x[26] != x[32] using generic constraint 0.69/0.72 c intension x[26] != x[35] using generic constraint 0.69/0.72 c intension x[26] != x[41] using generic constraint 0.69/0.72 c intension x[26] != x[47] using generic constraint 0.69/0.72 c intension x[26] != x[49] using generic constraint 0.69/0.72 c intension x[26] != x[70] using generic constraint 0.69/0.72 c intension x[26] != x[78] using generic constraint 0.69/0.73 c intension x[26] != x[95] using generic constraint 0.69/0.73 c intension x[26] != x[109] using generic constraint 0.69/0.73 c intension x[26] != x[126] using generic constraint 0.69/0.73 c intension x[26] != x[144] using generic constraint 0.69/0.73 c intension x[26] != x[151] using generic constraint 0.69/0.73 c intension x[26] != x[158] using generic constraint 0.69/0.73 c intension x[26] != x[176] using generic constraint 0.69/0.73 c intension x[26] != x[199] using generic constraint 0.69/0.73 c intension x[26] != x[204] using generic constraint 0.69/0.73 c intension x[26] != x[212] using generic constraint 0.69/0.74 c intension x[26] != x[215] using generic constraint 0.69/0.74 c intension x[26] != x[221] using generic constraint 0.69/0.74 c intension x[26] != x[237] using generic constraint 0.69/0.74 c intension x[26] != x[244] using generic constraint 0.69/0.74 c intension x[27] != x[34] using generic constraint 0.69/0.74 c intension x[27] != x[41] using generic constraint 0.69/0.74 c intension x[27] != x[45] using generic constraint 0.69/0.74 c intension x[27] != x[50] using generic constraint 0.69/0.74 c intension x[27] != x[51] using generic constraint 0.69/0.74 c intension x[27] != x[52] using generic constraint 0.69/0.74 c intension x[27] != x[60] using generic constraint 0.69/0.75 c intension x[27] != x[72] using generic constraint 0.69/0.75 c intension x[27] != x[73] using generic constraint 0.69/0.75 c intension x[27] != x[94] using generic constraint 0.69/0.75 c intension x[27] != x[120] using generic constraint 0.69/0.75 c intension x[27] != x[124] using generic constraint 0.69/0.75 c intension x[27] != x[125] using generic constraint 0.69/0.75 c intension x[27] != x[128] using generic constraint 0.69/0.75 c intension x[27] != x[132] using generic constraint 0.69/0.75 c intension x[27] != x[136] using generic constraint 0.69/0.75 c intension x[27] != x[144] using generic constraint 0.69/0.76 c intension x[27] != x[153] using generic constraint 0.69/0.76 c intension x[27] != x[154] using generic constraint 0.69/0.76 c intension x[27] != x[167] using generic constraint 0.69/0.76 c intension x[27] != x[195] using generic constraint 0.69/0.76 c intension x[27] != x[201] using generic constraint 0.69/0.76 c intension x[27] != x[204] using generic constraint 0.69/0.76 c intension x[27] != x[214] using generic constraint 0.69/0.76 c intension x[27] != x[215] using generic constraint 0.69/0.76 c intension x[27] != x[218] using generic constraint 0.69/0.76 c intension x[27] != x[223] using generic constraint 0.69/0.76 c intension x[27] != x[241] using generic constraint 0.69/0.77 c intension x[28] != x[39] using generic constraint 0.69/0.77 c intension x[28] != x[54] using generic constraint 0.69/0.77 c intension x[28] != x[57] using generic constraint 0.69/0.77 c intension x[28] != x[66] using generic constraint 0.69/0.77 c intension x[28] != x[68] using generic constraint 0.69/0.77 c intension x[28] != x[71] using generic constraint 0.69/0.77 c intension x[28] != x[79] using generic constraint 0.69/0.77 c intension x[28] != x[93] using generic constraint 0.69/0.77 c intension x[28] != x[100] using generic constraint 0.69/0.77 c intension x[28] != x[114] using generic constraint 0.69/0.78 c intension x[28] != x[115] using generic constraint 0.69/0.78 c intension x[28] != x[130] using generic constraint 0.69/0.78 c intension x[28] != x[138] using generic constraint 0.69/0.78 c intension x[28] != x[147] using generic constraint 0.69/0.78 c intension x[28] != x[160] using generic constraint 0.69/0.78 c intension x[28] != x[165] using generic constraint 0.69/0.78 c intension x[28] != x[169] using generic constraint 0.69/0.78 c intension x[28] != x[172] using generic constraint 0.69/0.78 c intension x[28] != x[191] using generic constraint 0.69/0.78 c intension x[28] != x[198] using generic constraint 0.69/0.79 c intension x[28] != x[212] using generic constraint 0.69/0.79 c intension x[28] != x[216] using generic constraint 0.69/0.79 c intension x[28] != x[226] using generic constraint 0.69/0.79 c intension x[28] != x[231] using generic constraint 0.69/0.79 c intension x[28] != x[233] using generic constraint 0.69/0.79 c intension x[28] != x[234] using generic constraint 0.69/0.79 c intension x[28] != x[239] using generic constraint 0.69/0.79 c intension x[28] != x[244] using generic constraint 0.69/0.79 c intension x[28] != x[249] using generic constraint 0.69/0.79 c intension x[29] != x[39] using generic constraint 0.79/0.80 c intension x[29] != x[50] using generic constraint 0.79/0.80 c intension x[29] != x[52] using generic constraint 0.79/0.80 c intension x[29] != x[58] using generic constraint 0.79/0.80 c intension x[29] != x[67] using generic constraint 0.79/0.80 c intension x[29] != x[75] using generic constraint 0.79/0.80 c intension x[29] != x[86] using generic constraint 0.79/0.80 c intension x[29] != x[96] using generic constraint 0.79/0.80 c intension x[29] != x[102] using generic constraint 0.79/0.80 c intension x[29] != x[117] using generic constraint 0.79/0.80 c intension x[29] != x[118] using generic constraint 0.79/0.80 c intension x[29] != x[129] using generic constraint 0.79/0.81 c intension x[29] != x[132] using generic constraint 0.79/0.81 c intension x[29] != x[137] using generic constraint 0.79/0.81 c intension x[29] != x[141] using generic constraint 0.79/0.81 c intension x[29] != x[147] using generic constraint 0.79/0.81 c intension x[29] != x[154] using generic constraint 0.79/0.81 c intension x[29] != x[157] using generic constraint 0.79/0.81 c intension x[29] != x[182] using generic constraint 0.79/0.81 c intension x[29] != x[186] using generic constraint 0.79/0.81 c intension x[29] != x[193] using generic constraint 0.79/0.81 c intension x[29] != x[204] using generic constraint 0.79/0.81 c intension x[29] != x[223] using generic constraint 0.79/0.82 c intension x[29] != x[228] using generic constraint 0.79/0.82 c intension x[29] != x[231] using generic constraint 0.79/0.82 c intension x[29] != x[234] using generic constraint 0.79/0.82 c intension x[29] != x[240] using generic constraint 0.79/0.82 c intension x[30] != x[31] using generic constraint 0.79/0.82 c intension x[30] != x[32] using generic constraint 0.79/0.82 c intension x[30] != x[34] using generic constraint 0.79/0.82 c intension x[30] != x[45] using generic constraint 0.79/0.82 c intension x[30] != x[57] using generic constraint 0.79/0.82 c intension x[30] != x[58] using generic constraint 0.79/0.83 c intension x[30] != x[62] using generic constraint 0.79/0.83 c intension x[30] != x[104] using generic constraint 0.79/0.83 c intension x[30] != x[110] using generic constraint 0.79/0.83 c intension x[30] != x[116] using generic constraint 0.79/0.83 c intension x[30] != x[119] using generic constraint 0.79/0.83 c intension x[30] != x[142] using generic constraint 0.79/0.83 c intension x[30] != x[147] using generic constraint 0.79/0.83 c intension x[30] != x[159] using generic constraint 0.79/0.83 c intension x[30] != x[178] using generic constraint 0.79/0.83 c intension x[30] != x[199] using generic constraint 0.79/0.84 c intension x[30] != x[202] using generic constraint 0.79/0.84 c intension x[30] != x[216] using generic constraint 0.79/0.84 c intension x[30] != x[218] using generic constraint 0.79/0.84 c intension x[30] != x[249] using generic constraint 0.79/0.84 c intension x[31] != x[32] using generic constraint 0.79/0.84 c intension x[31] != x[33] using generic constraint 0.79/0.84 c intension x[31] != x[39] using generic constraint 0.79/0.84 c intension x[31] != x[48] using generic constraint 0.79/0.84 c intension x[31] != x[49] using generic constraint 0.79/0.84 c intension x[31] != x[55] using generic constraint 0.79/0.84 c intension x[31] != x[58] using generic constraint 0.79/0.85 c intension x[31] != x[62] using generic constraint 0.79/0.85 c intension x[31] != x[68] using generic constraint 0.79/0.85 c intension x[31] != x[76] using generic constraint 0.79/0.85 c intension x[31] != x[87] using generic constraint 0.79/0.85 c intension x[31] != x[94] using generic constraint 0.79/0.85 c intension x[31] != x[118] using generic constraint 0.79/0.85 c intension x[31] != x[122] using generic constraint 0.79/0.85 c intension x[31] != x[124] using generic constraint 0.79/0.85 c intension x[31] != x[131] using generic constraint 0.79/0.85 c intension x[31] != x[142] using generic constraint 0.79/0.86 c intension x[31] != x[147] using generic constraint 0.79/0.86 c intension x[31] != x[152] using generic constraint 0.79/0.86 c intension x[31] != x[160] using generic constraint 0.79/0.86 c intension x[31] != x[162] using generic constraint 0.79/0.86 c intension x[31] != x[172] using generic constraint 0.79/0.86 c intension x[31] != x[202] using generic constraint 0.79/0.86 c intension x[31] != x[207] using generic constraint 0.79/0.86 c intension x[31] != x[215] using generic constraint 0.79/0.86 c intension x[31] != x[227] using generic constraint 0.79/0.86 c intension x[31] != x[235] using generic constraint 0.79/0.87 c intension x[31] != x[237] using generic constraint 0.79/0.87 c intension x[32] != x[33] using generic constraint 0.79/0.87 c intension x[32] != x[42] using generic constraint 0.79/0.87 c intension x[32] != x[49] using generic constraint 0.79/0.87 c intension x[32] != x[58] using generic constraint 0.79/0.87 c intension x[32] != x[64] using generic constraint 0.79/0.87 c intension x[32] != x[68] using generic constraint 0.79/0.87 c intension x[32] != x[80] using generic constraint 0.79/0.87 c intension x[32] != x[101] using generic constraint 0.79/0.87 c intension x[32] != x[123] using generic constraint 0.79/0.87 c intension x[32] != x[142] using generic constraint 0.79/0.88 c intension x[32] != x[148] using generic constraint 0.79/0.88 c intension x[32] != x[155] using generic constraint 0.79/0.88 c intension x[32] != x[173] using generic constraint 0.79/0.88 c intension x[32] != x[186] using generic constraint 0.79/0.88 c intension x[32] != x[191] using generic constraint 0.79/0.88 c intension x[32] != x[194] using generic constraint 0.79/0.88 c intension x[32] != x[209] using generic constraint 0.79/0.88 c intension x[32] != x[210] using generic constraint 0.79/0.88 c intension x[32] != x[214] using generic constraint 0.79/0.88 c intension x[32] != x[233] using generic constraint 0.79/0.89 c intension x[32] != x[237] using generic constraint 0.79/0.89 c intension x[32] != x[242] using generic constraint 0.79/0.89 c intension x[32] != x[245] using generic constraint 0.79/0.89 c intension x[33] != x[47] using generic constraint 0.79/0.89 c intension x[33] != x[52] using generic constraint 0.79/0.89 c intension x[33] != x[57] using generic constraint 0.79/0.89 c intension x[33] != x[64] using generic constraint 0.79/0.89 c intension x[33] != x[68] using generic constraint 0.79/0.89 c intension x[33] != x[93] using generic constraint 0.79/0.89 c intension x[33] != x[118] using generic constraint 0.89/0.90 c intension x[33] != x[120] using generic constraint 0.89/0.90 c intension x[33] != x[156] using generic constraint 0.89/0.90 c intension x[33] != x[165] using generic constraint 0.89/0.90 c intension x[33] != x[170] using generic constraint 0.89/0.90 c intension x[33] != x[181] using generic constraint 0.89/0.90 c intension x[33] != x[203] using generic constraint 0.89/0.90 c intension x[33] != x[205] using generic constraint 0.89/0.90 c intension x[33] != x[211] using generic constraint 0.89/0.90 c intension x[33] != x[227] using generic constraint 0.89/0.90 c intension x[34] != x[35] using generic constraint 0.89/0.91 c intension x[34] != x[47] using generic constraint 0.89/0.91 c intension x[34] != x[55] using generic constraint 0.89/0.91 c intension x[34] != x[59] using generic constraint 0.89/0.91 c intension x[34] != x[60] using generic constraint 0.89/0.91 c intension x[34] != x[61] using generic constraint 0.89/0.91 c intension x[34] != x[71] using generic constraint 0.89/0.91 c intension x[34] != x[73] using generic constraint 0.89/0.91 c intension x[34] != x[78] using generic constraint 0.89/0.91 c intension x[34] != x[91] using generic constraint 0.89/0.91 c intension x[34] != x[95] using generic constraint 0.89/0.91 c intension x[34] != x[98] using generic constraint 0.89/0.92 c intension x[34] != x[127] using generic constraint 0.89/0.92 c intension x[34] != x[128] using generic constraint 0.89/0.92 c intension x[34] != x[129] using generic constraint 0.89/0.92 c intension x[34] != x[134] using generic constraint 0.89/0.92 c intension x[34] != x[151] using generic constraint 0.89/0.92 c intension x[34] != x[153] using generic constraint 0.89/0.92 c intension x[34] != x[154] using generic constraint 0.89/0.92 c intension x[34] != x[171] using generic constraint 0.89/0.92 c intension x[34] != x[175] using generic constraint 0.89/0.92 c intension x[34] != x[182] using generic constraint 0.89/0.93 c intension x[34] != x[187] using generic constraint 0.89/0.93 c intension x[34] != x[193] using generic constraint 0.89/0.93 c intension x[34] != x[206] using generic constraint 0.89/0.93 c intension x[34] != x[207] using generic constraint 0.89/0.93 c intension x[34] != x[208] using generic constraint 0.89/0.93 c intension x[34] != x[212] using generic constraint 0.89/0.93 c intension x[34] != x[218] using generic constraint 0.89/0.93 c intension x[34] != x[230] using generic constraint 0.89/0.93 c intension x[34] != x[242] using generic constraint 0.89/0.94 c intension x[35] != x[63] using generic constraint 0.89/0.94 c intension x[35] != x[71] using generic constraint 0.89/0.94 c intension x[35] != x[86] using generic constraint 0.89/0.94 c intension x[35] != x[87] using generic constraint 0.89/0.94 c intension x[35] != x[89] using generic constraint 0.89/0.94 c intension x[35] != x[92] using generic constraint 0.89/0.94 c intension x[35] != x[101] using generic constraint 0.89/0.94 c intension x[35] != x[103] using generic constraint 0.89/0.94 c intension x[35] != x[106] using generic constraint 0.89/0.94 c intension x[35] != x[113] using generic constraint 0.89/0.95 c intension x[35] != x[130] using generic constraint 0.89/0.95 c intension x[35] != x[139] using generic constraint 0.89/0.95 c intension x[35] != x[140] using generic constraint 0.89/0.95 c intension x[35] != x[146] using generic constraint 0.89/0.95 c intension x[35] != x[153] using generic constraint 0.89/0.95 c intension x[35] != x[156] using generic constraint 0.89/0.95 c intension x[35] != x[185] using generic constraint 0.89/0.95 c intension x[35] != x[229] using generic constraint 0.89/0.95 c intension x[35] != x[243] using generic constraint 0.89/0.95 c intension x[36] != x[47] using generic constraint 0.89/0.95 c intension x[36] != x[53] using generic constraint 0.89/0.96 c intension x[36] != x[55] using generic constraint 0.89/0.96 c intension x[36] != x[60] using generic constraint 0.89/0.96 c intension x[36] != x[64] using generic constraint 0.89/0.96 c intension x[36] != x[74] using generic constraint 0.89/0.96 c intension x[36] != x[81] using generic constraint 0.89/0.96 c intension x[36] != x[87] using generic constraint 0.89/0.96 c intension x[36] != x[97] using generic constraint 0.89/0.96 c intension x[36] != x[104] using generic constraint 0.89/0.96 c intension x[36] != x[120] using generic constraint 0.89/0.96 c intension x[36] != x[126] using generic constraint 0.89/0.97 c intension x[36] != x[132] using generic constraint 0.89/0.97 c intension x[36] != x[133] using generic constraint 0.89/0.97 c intension x[36] != x[139] using generic constraint 0.89/0.97 c intension x[36] != x[151] using generic constraint 0.89/0.97 c intension x[36] != x[155] using generic constraint 0.89/0.97 c intension x[36] != x[160] using generic constraint 0.89/0.97 c intension x[36] != x[166] using generic constraint 0.89/0.97 c intension x[36] != x[182] using generic constraint 0.89/0.97 c intension x[36] != x[189] using generic constraint 0.89/0.97 c intension x[36] != x[201] using generic constraint 0.89/0.97 c intension x[36] != x[204] using generic constraint 0.89/0.98 c intension x[36] != x[224] using generic constraint 0.89/0.98 c intension x[36] != x[232] using generic constraint 0.89/0.98 c intension x[36] != x[239] using generic constraint 0.89/0.98 c intension x[36] != x[243] using generic constraint 0.89/0.98 c intension x[37] != x[38] using generic constraint 0.89/0.98 c intension x[37] != x[84] using generic constraint 0.89/0.98 c intension x[37] != x[86] using generic constraint 0.89/0.98 c intension x[37] != x[100] using generic constraint 0.89/0.98 c intension x[37] != x[113] using generic constraint 0.89/0.98 c intension x[37] != x[123] using generic constraint 0.89/0.98 c intension x[37] != x[129] using generic constraint 0.89/0.99 c intension x[37] != x[132] using generic constraint 0.89/0.99 c intension x[37] != x[148] using generic constraint 0.89/0.99 c intension x[37] != x[152] using generic constraint 0.89/0.99 c intension x[37] != x[153] using generic constraint 0.89/0.99 c intension x[37] != x[154] using generic constraint 0.89/0.99 c intension x[37] != x[160] using generic constraint 0.89/0.99 c intension x[37] != x[161] using generic constraint 0.89/0.99 c intension x[37] != x[168] using generic constraint 0.89/0.99 c intension x[37] != x[189] using generic constraint 0.89/1.00 c intension x[37] != x[200] using generic constraint 0.99/1.00 c intension x[37] != x[212] using generic constraint 0.99/1.00 c intension x[37] != x[243] using generic constraint 0.99/1.00 c intension x[38] != x[40] using generic constraint 0.99/1.00 c intension x[38] != x[42] using generic constraint 0.99/1.00 c intension x[38] != x[56] using generic constraint 0.99/1.00 c intension x[38] != x[67] using generic constraint 0.99/1.00 c intension x[38] != x[72] using generic constraint 0.99/1.00 c intension x[38] != x[75] using generic constraint 0.99/1.00 c intension x[38] != x[77] using generic constraint 0.99/1.00 c intension x[38] != x[88] using generic constraint 0.99/1.01 c intension x[38] != x[89] using generic constraint 0.99/1.01 c intension x[38] != x[92] using generic constraint 0.99/1.01 c intension x[38] != x[93] using generic constraint 0.99/1.01 c intension x[38] != x[98] using generic constraint 0.99/1.01 c intension x[38] != x[114] using generic constraint 0.99/1.01 c intension x[38] != x[122] using generic constraint 0.99/1.01 c intension x[38] != x[129] using generic constraint 0.99/1.01 c intension x[38] != x[138] using generic constraint 0.99/1.01 c intension x[38] != x[160] using generic constraint 0.99/1.01 c intension x[38] != x[197] using generic constraint 0.99/1.02 c intension x[38] != x[206] using generic constraint 0.99/1.02 c intension x[38] != x[212] using generic constraint 0.99/1.02 c intension x[38] != x[231] using generic constraint 0.99/1.02 c intension x[38] != x[245] using generic constraint 0.99/1.02 c intension x[38] != x[249] using generic constraint 0.99/1.02 c intension x[39] != x[46] using generic constraint 0.99/1.02 c intension x[39] != x[54] using generic constraint 0.99/1.02 c intension x[39] != x[70] using generic constraint 0.99/1.02 c intension x[39] != x[75] using generic constraint 0.99/1.02 c intension x[39] != x[84] using generic constraint 0.99/1.03 c intension x[39] != x[99] using generic constraint 0.99/1.03 c intension x[39] != x[103] using generic constraint 0.99/1.03 c intension x[39] != x[165] using generic constraint 0.99/1.03 c intension x[39] != x[168] using generic constraint 0.99/1.03 c intension x[39] != x[190] using generic constraint 0.99/1.03 c intension x[39] != x[197] using generic constraint 0.99/1.03 c intension x[39] != x[198] using generic constraint 0.99/1.03 c intension x[39] != x[199] using generic constraint 0.99/1.03 c intension x[39] != x[211] using generic constraint 0.99/1.04 c intension x[39] != x[226] using generic constraint 0.99/1.04 c intension x[39] != x[227] using generic constraint 0.99/1.04 c intension x[39] != x[231] using generic constraint 0.99/1.04 c intension x[39] != x[232] using generic constraint 0.99/1.04 c intension x[39] != x[236] using generic constraint 0.99/1.04 c intension x[40] != x[59] using generic constraint 0.99/1.04 c intension x[40] != x[70] using generic constraint 0.99/1.04 c intension x[40] != x[72] using generic constraint 0.99/1.04 c intension x[40] != x[74] using generic constraint 0.99/1.04 c intension x[40] != x[99] using generic constraint 0.99/1.05 c intension x[40] != x[104] using generic constraint 0.99/1.05 c intension x[40] != x[121] using generic constraint 0.99/1.05 c intension x[40] != x[151] using generic constraint 0.99/1.05 c intension x[40] != x[187] using generic constraint 0.99/1.05 c intension x[40] != x[201] using generic constraint 0.99/1.05 c intension x[40] != x[217] using generic constraint 0.99/1.05 c intension x[40] != x[218] using generic constraint 0.99/1.05 c intension x[40] != x[222] using generic constraint 0.99/1.05 c intension x[40] != x[223] using generic constraint 0.99/1.05 c intension x[40] != x[232] using generic constraint 0.99/1.06 c intension x[40] != x[237] using generic constraint 0.99/1.06 c intension x[40] != x[239] using generic constraint 0.99/1.06 c intension x[41] != x[53] using generic constraint 0.99/1.06 c intension x[41] != x[55] using generic constraint 0.99/1.06 c intension x[41] != x[65] using generic constraint 0.99/1.06 c intension x[41] != x[66] using generic constraint 0.99/1.06 c intension x[41] != x[86] using generic constraint 0.99/1.06 c intension x[41] != x[91] using generic constraint 0.99/1.06 c intension x[41] != x[96] using generic constraint 0.99/1.06 c intension x[41] != x[97] using generic constraint 0.99/1.06 c intension x[41] != x[110] using generic constraint 0.99/1.07 c intension x[41] != x[120] using generic constraint 0.99/1.07 c intension x[41] != x[161] using generic constraint 0.99/1.07 c intension x[41] != x[162] using generic constraint 0.99/1.07 c intension x[41] != x[166] using generic constraint 0.99/1.07 c intension x[41] != x[171] using generic constraint 0.99/1.07 c intension x[41] != x[185] using generic constraint 0.99/1.07 c intension x[41] != x[207] using generic constraint 0.99/1.07 c intension x[41] != x[218] using generic constraint 0.99/1.07 c intension x[41] != x[231] using generic constraint 0.99/1.07 c intension x[41] != x[245] using generic constraint 0.99/1.07 c intension x[42] != x[43] using generic constraint 0.99/1.08 c intension x[42] != x[69] using generic constraint 0.99/1.08 c intension x[42] != x[84] using generic constraint 0.99/1.08 c intension x[42] != x[86] using generic constraint 0.99/1.08 c intension x[42] != x[98] using generic constraint 0.99/1.08 c intension x[42] != x[125] using generic constraint 0.99/1.08 c intension x[42] != x[129] using generic constraint 0.99/1.08 c intension x[42] != x[144] using generic constraint 0.99/1.08 c intension x[42] != x[146] using generic constraint 0.99/1.08 c intension x[42] != x[153] using generic constraint 0.99/1.08 c intension x[42] != x[164] using generic constraint 0.99/1.09 c intension x[42] != x[171] using generic constraint 0.99/1.09 c intension x[42] != x[186] using generic constraint 0.99/1.09 c intension x[42] != x[193] using generic constraint 0.99/1.09 c intension x[42] != x[202] using generic constraint 0.99/1.09 c intension x[42] != x[223] using generic constraint 0.99/1.09 c intension x[42] != x[226] using generic constraint 0.99/1.09 c intension x[42] != x[243] using generic constraint 0.99/1.09 c intension x[42] != x[246] using generic constraint 0.99/1.09 c intension x[43] != x[52] using generic constraint 0.99/1.09 c intension x[43] != x[53] using generic constraint 0.99/1.10 c intension x[43] != x[55] using generic constraint 0.99/1.10 c intension x[43] != x[56] using generic constraint 0.99/1.10 c intension x[43] != x[57] using generic constraint 0.99/1.10 c intension x[43] != x[71] using generic constraint 0.99/1.10 c intension x[43] != x[75] using generic constraint 0.99/1.10 c intension x[43] != x[90] using generic constraint 0.99/1.10 c intension x[43] != x[92] using generic constraint 1.09/1.10 c intension x[43] != x[93] using generic constraint 1.09/1.10 c intension x[43] != x[101] using generic constraint 1.09/1.10 c intension x[43] != x[103] using generic constraint 1.09/1.10 c intension x[43] != x[109] using generic constraint 1.09/1.11 c intension x[43] != x[114] using generic constraint 1.09/1.11 c intension x[43] != x[156] using generic constraint 1.09/1.11 c intension x[43] != x[157] using generic constraint 1.09/1.11 c intension x[43] != x[163] using generic constraint 1.09/1.11 c intension x[43] != x[175] using generic constraint 1.09/1.11 c intension x[43] != x[190] using generic constraint 1.09/1.11 c intension x[43] != x[198] using generic constraint 1.09/1.11 c intension x[43] != x[199] using generic constraint 1.09/1.11 c intension x[43] != x[205] using generic constraint 1.09/1.11 c intension x[43] != x[210] using generic constraint 1.09/1.12 c intension x[43] != x[219] using generic constraint 1.09/1.12 c intension x[43] != x[226] using generic constraint 1.09/1.12 c intension x[43] != x[243] using generic constraint 1.09/1.12 c intension x[43] != x[248] using generic constraint 1.09/1.12 c intension x[43] != x[249] using generic constraint 1.09/1.12 c intension x[44] != x[56] using generic constraint 1.09/1.12 c intension x[44] != x[58] using generic constraint 1.09/1.12 c intension x[44] != x[90] using generic constraint 1.09/1.12 c intension x[44] != x[99] using generic constraint 1.09/1.12 c intension x[44] != x[103] using generic constraint 1.09/1.13 c intension x[44] != x[132] using generic constraint 1.09/1.13 c intension x[44] != x[202] using generic constraint 1.09/1.13 c intension x[44] != x[210] using generic constraint 1.09/1.13 c intension x[44] != x[220] using generic constraint 1.09/1.13 c intension x[44] != x[221] using generic constraint 1.09/1.13 c intension x[44] != x[222] using generic constraint 1.09/1.13 c intension x[44] != x[225] using generic constraint 1.09/1.13 c intension x[44] != x[226] using generic constraint 1.09/1.13 c intension x[44] != x[231] using generic constraint 1.09/1.13 c intension x[44] != x[235] using generic constraint 1.09/1.14 c intension x[44] != x[237] using generic constraint 1.09/1.14 c intension x[44] != x[242] using generic constraint 1.09/1.14 c intension x[44] != x[248] using generic constraint 1.09/1.14 c intension x[45] != x[56] using generic constraint 1.09/1.14 c intension x[45] != x[60] using generic constraint 1.09/1.14 c intension x[45] != x[62] using generic constraint 1.09/1.14 c intension x[45] != x[80] using generic constraint 1.09/1.14 c intension x[45] != x[96] using generic constraint 1.09/1.14 c intension x[45] != x[112] using generic constraint 1.09/1.15 c intension x[45] != x[113] using generic constraint 1.09/1.15 c intension x[45] != x[127] using generic constraint 1.09/1.15 c intension x[45] != x[143] using generic constraint 1.09/1.15 c intension x[45] != x[151] using generic constraint 1.09/1.15 c intension x[45] != x[157] using generic constraint 1.09/1.15 c intension x[45] != x[167] using generic constraint 1.09/1.15 c intension x[45] != x[168] using generic constraint 1.09/1.15 c intension x[45] != x[172] using generic constraint 1.09/1.15 c intension x[45] != x[203] using generic constraint 1.09/1.15 c intension x[45] != x[204] using generic constraint 1.09/1.15 c intension x[45] != x[206] using generic constraint 1.09/1.16 c intension x[45] != x[209] using generic constraint 1.09/1.16 c intension x[45] != x[213] using generic constraint 1.09/1.16 c intension x[45] != x[227] using generic constraint 1.09/1.16 c intension x[45] != x[237] using generic constraint 1.09/1.16 c intension x[45] != x[239] using generic constraint 1.09/1.16 c intension x[46] != x[52] using generic constraint 1.09/1.16 c intension x[46] != x[55] using generic constraint 1.09/1.16 c intension x[46] != x[56] using generic constraint 1.09/1.16 c intension x[46] != x[87] using generic constraint 1.09/1.16 c intension x[46] != x[111] using generic constraint 1.09/1.17 c intension x[46] != x[117] using generic constraint 1.09/1.17 c intension x[46] != x[140] using generic constraint 1.09/1.17 c intension x[46] != x[148] using generic constraint 1.09/1.17 c intension x[46] != x[186] using generic constraint 1.09/1.17 c intension x[46] != x[197] using generic constraint 1.09/1.17 c intension x[46] != x[207] using generic constraint 1.09/1.17 c intension x[46] != x[218] using generic constraint 1.09/1.17 c intension x[46] != x[219] using generic constraint 1.09/1.17 c intension x[46] != x[230] using generic constraint 1.09/1.17 c intension x[46] != x[235] using generic constraint 1.09/1.17 c intension x[46] != x[244] using generic constraint 1.09/1.18 c intension x[47] != x[48] using generic constraint 1.09/1.18 c intension x[47] != x[58] using generic constraint 1.09/1.18 c intension x[47] != x[73] using generic constraint 1.09/1.18 c intension x[47] != x[75] using generic constraint 1.09/1.18 c intension x[47] != x[84] using generic constraint 1.09/1.18 c intension x[47] != x[85] using generic constraint 1.09/1.18 c intension x[47] != x[94] using generic constraint 1.09/1.18 c intension x[47] != x[110] using generic constraint 1.09/1.18 c intension x[47] != x[129] using generic constraint 1.09/1.18 c intension x[47] != x[131] using generic constraint 1.09/1.18 c intension x[47] != x[132] using generic constraint 1.09/1.19 c intension x[47] != x[145] using generic constraint 1.09/1.19 c intension x[47] != x[158] using generic constraint 1.09/1.19 c intension x[47] != x[173] using generic constraint 1.09/1.19 c intension x[47] != x[176] using generic constraint 1.09/1.19 c intension x[47] != x[188] using generic constraint 1.09/1.19 c intension x[47] != x[200] using generic constraint 1.09/1.19 c intension x[47] != x[212] using generic constraint 1.09/1.19 c intension x[47] != x[217] using generic constraint 1.09/1.19 c intension x[47] != x[224] using generic constraint 1.09/1.19 c intension x[47] != x[225] using generic constraint 1.09/1.19 c intension x[47] != x[230] using generic constraint 1.09/1.20 c intension x[47] != x[233] using generic constraint 1.09/1.20 c intension x[47] != x[240] using generic constraint 1.09/1.20 c intension x[48] != x[51] using generic constraint 1.09/1.20 c intension x[48] != x[80] using generic constraint 1.09/1.20 c intension x[48] != x[85] using generic constraint 1.09/1.20 c intension x[48] != x[100] using generic constraint 1.09/1.20 c intension x[48] != x[104] using generic constraint 1.19/1.20 c intension x[48] != x[113] using generic constraint 1.19/1.20 c intension x[48] != x[123] using generic constraint 1.19/1.20 c intension x[48] != x[126] using generic constraint 1.19/1.20 c intension x[48] != x[134] using generic constraint 1.19/1.21 c intension x[48] != x[157] using generic constraint 1.19/1.21 c intension x[48] != x[167] using generic constraint 1.19/1.21 c intension x[48] != x[168] using generic constraint 1.19/1.21 c intension x[48] != x[170] using generic constraint 1.19/1.21 c intension x[48] != x[177] using generic constraint 1.19/1.21 c intension x[48] != x[187] using generic constraint 1.19/1.21 c intension x[48] != x[202] using generic constraint 1.19/1.21 c intension x[48] != x[203] using generic constraint 1.19/1.21 c intension x[48] != x[207] using generic constraint 1.19/1.21 c intension x[48] != x[210] using generic constraint 1.19/1.22 c intension x[48] != x[215] using generic constraint 1.19/1.22 c intension x[48] != x[235] using generic constraint 1.19/1.22 c intension x[48] != x[244] using generic constraint 1.19/1.22 c intension x[49] != x[76] using generic constraint 1.19/1.22 c intension x[49] != x[82] using generic constraint 1.19/1.22 c intension x[49] != x[100] using generic constraint 1.19/1.22 c intension x[49] != x[127] using generic constraint 1.19/1.22 c intension x[49] != x[132] using generic constraint 1.19/1.22 c intension x[49] != x[135] using generic constraint 1.19/1.22 c intension x[49] != x[142] using generic constraint 1.19/1.22 c intension x[49] != x[170] using generic constraint 1.19/1.23 c intension x[49] != x[182] using generic constraint 1.19/1.23 c intension x[49] != x[191] using generic constraint 1.19/1.23 c intension x[49] != x[201] using generic constraint 1.19/1.23 c intension x[49] != x[212] using generic constraint 1.19/1.23 c intension x[49] != x[226] using generic constraint 1.19/1.23 c intension x[49] != x[227] using generic constraint 1.19/1.23 c intension x[49] != x[241] using generic constraint 1.19/1.23 c intension x[49] != x[244] using generic constraint 1.19/1.23 c intension x[50] != x[63] using generic constraint 1.19/1.23 c intension x[50] != x[80] using generic constraint 1.19/1.24 c intension x[50] != x[89] using generic constraint 1.19/1.24 c intension x[50] != x[112] using generic constraint 1.19/1.24 c intension x[50] != x[124] using generic constraint 1.19/1.24 c intension x[50] != x[133] using generic constraint 1.19/1.24 c intension x[50] != x[134] using generic constraint 1.19/1.24 c intension x[50] != x[168] using generic constraint 1.19/1.24 c intension x[50] != x[171] using generic constraint 1.19/1.24 c intension x[50] != x[180] using generic constraint 1.19/1.24 c intension x[50] != x[184] using generic constraint 1.19/1.24 c intension x[50] != x[197] using generic constraint 1.19/1.24 c intension x[50] != x[199] using generic constraint 1.19/1.25 c intension x[50] != x[202] using generic constraint 1.19/1.25 c intension x[50] != x[206] using generic constraint 1.19/1.25 c intension x[50] != x[211] using generic constraint 1.19/1.25 c intension x[50] != x[233] using generic constraint 1.19/1.25 c intension x[50] != x[235] using generic constraint 1.19/1.25 c intension x[51] != x[70] using generic constraint 1.19/1.25 c intension x[51] != x[93] using generic constraint 1.19/1.25 c intension x[51] != x[124] using generic constraint 1.19/1.25 c intension x[51] != x[138] using generic constraint 1.19/1.25 c intension x[51] != x[149] using generic constraint 1.19/1.25 c intension x[51] != x[152] using generic constraint 1.19/1.26 c intension x[51] != x[161] using generic constraint 1.19/1.26 c intension x[51] != x[170] using generic constraint 1.19/1.26 c intension x[51] != x[180] using generic constraint 1.19/1.26 c intension x[51] != x[183] using generic constraint 1.19/1.26 c intension x[51] != x[195] using generic constraint 1.19/1.26 c intension x[51] != x[199] using generic constraint 1.19/1.26 c intension x[51] != x[202] using generic constraint 1.19/1.26 c intension x[51] != x[207] using generic constraint 1.19/1.26 c intension x[51] != x[223] using generic constraint 1.19/1.26 c intension x[51] != x[232] using generic constraint 1.19/1.26 c intension x[51] != x[236] using generic constraint 1.19/1.27 c intension x[51] != x[246] using generic constraint 1.19/1.27 c intension x[51] != x[249] using generic constraint 1.19/1.27 c intension x[52] != x[65] using generic constraint 1.19/1.27 c intension x[52] != x[87] using generic constraint 1.19/1.27 c intension x[52] != x[89] using generic constraint 1.19/1.27 c intension x[52] != x[128] using generic constraint 1.19/1.27 c intension x[52] != x[136] using generic constraint 1.19/1.27 c intension x[52] != x[140] using generic constraint 1.19/1.27 c intension x[52] != x[143] using generic constraint 1.19/1.27 c intension x[52] != x[149] using generic constraint 1.19/1.27 c intension x[52] != x[151] using generic constraint 1.19/1.28 c intension x[52] != x[155] using generic constraint 1.19/1.28 c intension x[52] != x[193] using generic constraint 1.19/1.28 c intension x[52] != x[194] using generic constraint 1.19/1.28 c intension x[52] != x[198] using generic constraint 1.19/1.28 c intension x[52] != x[217] using generic constraint 1.19/1.28 c intension x[52] != x[237] using generic constraint 1.19/1.28 c intension x[53] != x[60] using generic constraint 1.19/1.28 c intension x[53] != x[65] using generic constraint 1.19/1.28 c intension x[53] != x[68] using generic constraint 1.19/1.28 c intension x[53] != x[90] using generic constraint 1.19/1.28 c intension x[53] != x[101] using generic constraint 1.19/1.29 c intension x[53] != x[109] using generic constraint 1.19/1.29 c intension x[53] != x[110] using generic constraint 1.19/1.29 c intension x[53] != x[112] using generic constraint 1.19/1.29 c intension x[53] != x[122] using generic constraint 1.19/1.29 c intension x[53] != x[123] using generic constraint 1.19/1.29 c intension x[53] != x[125] using generic constraint 1.19/1.29 c intension x[53] != x[132] using generic constraint 1.19/1.29 c intension x[53] != x[159] using generic constraint 1.19/1.29 c intension x[53] != x[168] using generic constraint 1.19/1.29 c intension x[53] != x[181] using generic constraint 1.19/1.30 c intension x[53] != x[188] using generic constraint 1.29/1.30 c intension x[53] != x[198] using generic constraint 1.29/1.30 c intension x[53] != x[199] using generic constraint 1.29/1.30 c intension x[53] != x[207] using generic constraint 1.29/1.30 c intension x[53] != x[219] using generic constraint 1.29/1.30 c intension x[53] != x[223] using generic constraint 1.29/1.30 c intension x[53] != x[224] using generic constraint 1.29/1.30 c intension x[54] != x[55] using generic constraint 1.29/1.30 c intension x[54] != x[84] using generic constraint 1.29/1.30 c intension x[54] != x[97] using generic constraint 1.29/1.30 c intension x[54] != x[99] using generic constraint 1.29/1.31 c intension x[54] != x[101] using generic constraint 1.29/1.31 c intension x[54] != x[104] using generic constraint 1.29/1.31 c intension x[54] != x[106] using generic constraint 1.29/1.31 c intension x[54] != x[128] using generic constraint 1.29/1.31 c intension x[54] != x[131] using generic constraint 1.29/1.31 c intension x[54] != x[143] using generic constraint 1.29/1.31 c intension x[54] != x[146] using generic constraint 1.29/1.31 c intension x[54] != x[152] using generic constraint 1.29/1.31 c intension x[54] != x[171] using generic constraint 1.29/1.31 c intension x[54] != x[196] using generic constraint 1.29/1.31 c intension x[54] != x[201] using generic constraint 1.29/1.32 c intension x[54] != x[204] using generic constraint 1.29/1.32 c intension x[54] != x[210] using generic constraint 1.29/1.32 c intension x[54] != x[214] using generic constraint 1.29/1.32 c intension x[54] != x[216] using generic constraint 1.29/1.32 c intension x[54] != x[223] using generic constraint 1.29/1.32 c intension x[55] != x[60] using generic constraint 1.29/1.32 c intension x[55] != x[65] using generic constraint 1.29/1.32 c intension x[55] != x[69] using generic constraint 1.29/1.32 c intension x[55] != x[73] using generic constraint 1.29/1.32 c intension x[55] != x[74] using generic constraint 1.29/1.32 c intension x[55] != x[77] using generic constraint 1.29/1.33 c intension x[55] != x[78] using generic constraint 1.29/1.33 c intension x[55] != x[80] using generic constraint 1.29/1.33 c intension x[55] != x[83] using generic constraint 1.29/1.33 c intension x[55] != x[103] using generic constraint 1.29/1.33 c intension x[55] != x[105] using generic constraint 1.29/1.33 c intension x[55] != x[122] using generic constraint 1.29/1.33 c intension x[55] != x[129] using generic constraint 1.29/1.33 c intension x[55] != x[143] using generic constraint 1.29/1.33 c intension x[55] != x[150] using generic constraint 1.29/1.33 c intension x[55] != x[159] using generic constraint 1.29/1.33 c intension x[55] != x[183] using generic constraint 1.29/1.34 c intension x[55] != x[185] using generic constraint 1.29/1.34 c intension x[55] != x[206] using generic constraint 1.29/1.34 c intension x[56] != x[62] using generic constraint 1.29/1.34 c intension x[56] != x[78] using generic constraint 1.29/1.34 c intension x[56] != x[91] using generic constraint 1.29/1.34 c intension x[56] != x[94] using generic constraint 1.29/1.34 c intension x[56] != x[99] using generic constraint 1.29/1.34 c intension x[56] != x[103] using generic constraint 1.29/1.34 c intension x[56] != x[107] using generic constraint 1.29/1.34 c intension x[56] != x[110] using generic constraint 1.29/1.35 c intension x[56] != x[111] using generic constraint 1.29/1.35 c intension x[56] != x[112] using generic constraint 1.29/1.35 c intension x[56] != x[116] using generic constraint 1.29/1.35 c intension x[56] != x[118] using generic constraint 1.29/1.35 c intension x[56] != x[132] using generic constraint 1.29/1.35 c intension x[56] != x[136] using generic constraint 1.29/1.35 c intension x[56] != x[141] using generic constraint 1.29/1.35 c intension x[56] != x[151] using generic constraint 1.29/1.35 c intension x[56] != x[165] using generic constraint 1.29/1.35 c intension x[56] != x[177] using generic constraint 1.29/1.36 c intension x[56] != x[208] using generic constraint 1.29/1.36 c intension x[56] != x[215] using generic constraint 1.29/1.36 c intension x[56] != x[222] using generic constraint 1.29/1.36 c intension x[57] != x[60] using generic constraint 1.29/1.36 c intension x[57] != x[65] using generic constraint 1.29/1.36 c intension x[57] != x[78] using generic constraint 1.29/1.36 c intension x[57] != x[79] using generic constraint 1.29/1.36 c intension x[57] != x[109] using generic constraint 1.29/1.36 c intension x[57] != x[113] using generic constraint 1.29/1.36 c intension x[57] != x[126] using generic constraint 1.29/1.37 c intension x[57] != x[128] using generic constraint 1.29/1.37 c intension x[57] != x[130] using generic constraint 1.29/1.37 c intension x[57] != x[145] using generic constraint 1.29/1.37 c intension x[57] != x[165] using generic constraint 1.29/1.37 c intension x[57] != x[169] using generic constraint 1.29/1.37 c intension x[57] != x[173] using generic constraint 1.29/1.37 c intension x[57] != x[187] using generic constraint 1.29/1.37 c intension x[57] != x[203] using generic constraint 1.29/1.37 c intension x[57] != x[205] using generic constraint 1.29/1.38 c intension x[57] != x[227] using generic constraint 1.29/1.38 c intension x[57] != x[239] using generic constraint 1.29/1.38 c intension x[57] != x[242] using generic constraint 1.29/1.38 c intension x[57] != x[243] using generic constraint 1.29/1.38 c intension x[58] != x[62] using generic constraint 1.29/1.38 c intension x[58] != x[73] using generic constraint 1.29/1.38 c intension x[58] != x[75] using generic constraint 1.29/1.38 c intension x[58] != x[86] using generic constraint 1.29/1.38 c intension x[58] != x[93] using generic constraint 1.29/1.38 c intension x[58] != x[120] using generic constraint 1.29/1.39 c intension x[58] != x[127] using generic constraint 1.29/1.39 c intension x[58] != x[137] using generic constraint 1.29/1.39 c intension x[58] != x[173] using generic constraint 1.29/1.39 c intension x[58] != x[178] using generic constraint 1.29/1.39 c intension x[58] != x[181] using generic constraint 1.29/1.39 c intension x[58] != x[186] using generic constraint 1.29/1.39 c intension x[58] != x[188] using generic constraint 1.29/1.39 c intension x[58] != x[225] using generic constraint 1.29/1.39 c intension x[58] != x[230] using generic constraint 1.29/1.39 c intension x[58] != x[247] using generic constraint 1.29/1.39 c intension x[59] != x[61] using generic constraint 1.39/1.40 c intension x[59] != x[70] using generic constraint 1.39/1.40 c intension x[59] != x[83] using generic constraint 1.39/1.40 c intension x[59] != x[84] using generic constraint 1.39/1.40 c intension x[59] != x[86] using generic constraint 1.39/1.40 c intension x[59] != x[102] using generic constraint 1.39/1.40 c intension x[59] != x[112] using generic constraint 1.39/1.40 c intension x[59] != x[126] using generic constraint 1.39/1.40 c intension x[59] != x[127] using generic constraint 1.39/1.40 c intension x[59] != x[147] using generic constraint 1.39/1.40 c intension x[59] != x[156] using generic constraint 1.39/1.41 c intension x[59] != x[160] using generic constraint 1.39/1.41 c intension x[59] != x[204] using generic constraint 1.39/1.41 c intension x[59] != x[219] using generic constraint 1.39/1.41 c intension x[59] != x[224] using generic constraint 1.39/1.41 c intension x[59] != x[229] using generic constraint 1.39/1.41 c intension x[59] != x[233] using generic constraint 1.39/1.41 c intension x[59] != x[235] using generic constraint 1.39/1.41 c intension x[59] != x[237] using generic constraint 1.39/1.41 c intension x[60] != x[62] using generic constraint 1.39/1.41 c intension x[60] != x[78] using generic constraint 1.39/1.42 c intension x[60] != x[79] using generic constraint 1.39/1.42 c intension x[60] != x[84] using generic constraint 1.39/1.42 c intension x[60] != x[91] using generic constraint 1.39/1.42 c intension x[60] != x[92] using generic constraint 1.39/1.42 c intension x[60] != x[100] using generic constraint 1.39/1.42 c intension x[60] != x[106] using generic constraint 1.39/1.42 c intension x[60] != x[126] using generic constraint 1.39/1.42 c intension x[60] != x[127] using generic constraint 1.39/1.42 c intension x[60] != x[132] using generic constraint 1.39/1.42 c intension x[60] != x[143] using generic constraint 1.39/1.42 c intension x[60] != x[172] using generic constraint 1.39/1.43 c intension x[60] != x[190] using generic constraint 1.39/1.43 c intension x[60] != x[210] using generic constraint 1.39/1.43 c intension x[60] != x[217] using generic constraint 1.39/1.43 c intension x[60] != x[218] using generic constraint 1.39/1.43 c intension x[60] != x[234] using generic constraint 1.39/1.43 c intension x[60] != x[236] using generic constraint 1.39/1.43 c intension x[61] != x[86] using generic constraint 1.39/1.43 c intension x[61] != x[97] using generic constraint 1.39/1.43 c intension x[61] != x[99] using generic constraint 1.39/1.43 c intension x[61] != x[102] using generic constraint 1.39/1.44 c intension x[61] != x[105] using generic constraint 1.39/1.44 c intension x[61] != x[106] using generic constraint 1.39/1.44 c intension x[61] != x[115] using generic constraint 1.39/1.44 c intension x[61] != x[118] using generic constraint 1.39/1.44 c intension x[61] != x[122] using generic constraint 1.39/1.44 c intension x[61] != x[123] using generic constraint 1.39/1.44 c intension x[61] != x[131] using generic constraint 1.39/1.44 c intension x[61] != x[135] using generic constraint 1.39/1.44 c intension x[61] != x[145] using generic constraint 1.39/1.44 c intension x[61] != x[149] using generic constraint 1.39/1.45 c intension x[61] != x[154] using generic constraint 1.39/1.45 c intension x[61] != x[173] using generic constraint 1.39/1.45 c intension x[61] != x[178] using generic constraint 1.39/1.45 c intension x[61] != x[183] using generic constraint 1.39/1.45 c intension x[61] != x[188] using generic constraint 1.39/1.45 c intension x[61] != x[196] using generic constraint 1.39/1.45 c intension x[61] != x[197] using generic constraint 1.39/1.45 c intension x[61] != x[198] using generic constraint 1.39/1.45 c intension x[61] != x[202] using generic constraint 1.39/1.45 c intension x[61] != x[212] using generic constraint 1.39/1.46 c intension x[61] != x[215] using generic constraint 1.39/1.46 c intension x[61] != x[224] using generic constraint 1.39/1.46 c intension x[61] != x[234] using generic constraint 1.39/1.46 c intension x[61] != x[237] using generic constraint 1.39/1.46 c intension x[62] != x[71] using generic constraint 1.39/1.46 c intension x[62] != x[86] using generic constraint 1.39/1.46 c intension x[62] != x[90] using generic constraint 1.39/1.46 c intension x[62] != x[108] using generic constraint 1.39/1.46 c intension x[62] != x[114] using generic constraint 1.39/1.46 c intension x[62] != x[118] using generic constraint 1.39/1.47 c intension x[62] != x[137] using generic constraint 1.39/1.47 c intension x[62] != x[140] using generic constraint 1.39/1.47 c intension x[62] != x[142] using generic constraint 1.39/1.47 c intension x[62] != x[148] using generic constraint 1.39/1.47 c intension x[62] != x[150] using generic constraint 1.39/1.47 c intension x[62] != x[157] using generic constraint 1.39/1.47 c intension x[62] != x[158] using generic constraint 1.39/1.47 c intension x[62] != x[187] using generic constraint 1.39/1.47 c intension x[62] != x[188] using generic constraint 1.39/1.47 c intension x[62] != x[204] using generic constraint 1.39/1.48 c intension x[62] != x[213] using generic constraint 1.39/1.48 c intension x[62] != x[214] using generic constraint 1.39/1.48 c intension x[62] != x[223] using generic constraint 1.39/1.48 c intension x[63] != x[64] using generic constraint 1.39/1.48 c intension x[63] != x[68] using generic constraint 1.39/1.48 c intension x[63] != x[70] using generic constraint 1.39/1.48 c intension x[63] != x[75] using generic constraint 1.39/1.48 c intension x[63] != x[82] using generic constraint 1.39/1.48 c intension x[63] != x[91] using generic constraint 1.39/1.48 c intension x[63] != x[95] using generic constraint 1.39/1.49 c intension x[63] != x[112] using generic constraint 1.39/1.49 c intension x[63] != x[118] using generic constraint 1.39/1.49 c intension x[63] != x[119] using generic constraint 1.39/1.49 c intension x[63] != x[122] using generic constraint 1.39/1.49 c intension x[63] != x[145] using generic constraint 1.39/1.49 c intension x[63] != x[153] using generic constraint 1.39/1.49 c intension x[63] != x[155] using generic constraint 1.39/1.49 c intension x[63] != x[182] using generic constraint 1.39/1.49 c intension x[63] != x[189] using generic constraint 1.39/1.50 c intension x[63] != x[198] using generic constraint 1.49/1.50 c intension x[63] != x[209] using generic constraint 1.49/1.50 c intension x[63] != x[218] using generic constraint 1.49/1.50 c intension x[63] != x[220] using generic constraint 1.49/1.50 c intension x[63] != x[221] using generic constraint 1.49/1.50 c intension x[63] != x[244] using generic constraint 1.49/1.50 c intension x[64] != x[75] using generic constraint 1.49/1.50 c intension x[64] != x[85] using generic constraint 1.49/1.50 c intension x[64] != x[94] using generic constraint 1.49/1.50 c intension x[64] != x[96] using generic constraint 1.49/1.50 c intension x[64] != x[97] using generic constraint 1.49/1.51 c intension x[64] != x[99] using generic constraint 1.49/1.51 c intension x[64] != x[100] using generic constraint 1.49/1.51 c intension x[64] != x[106] using generic constraint 1.49/1.51 c intension x[64] != x[114] using generic constraint 1.49/1.51 c intension x[64] != x[125] using generic constraint 1.49/1.51 c intension x[64] != x[127] using generic constraint 1.49/1.51 c intension x[64] != x[134] using generic constraint 1.49/1.51 c intension x[64] != x[144] using generic constraint 1.49/1.51 c intension x[64] != x[145] using generic constraint 1.49/1.51 c intension x[64] != x[151] using generic constraint 1.49/1.52 c intension x[64] != x[169] using generic constraint 1.49/1.52 c intension x[64] != x[179] using generic constraint 1.49/1.52 c intension x[64] != x[181] using generic constraint 1.49/1.52 c intension x[64] != x[186] using generic constraint 1.49/1.52 c intension x[64] != x[193] using generic constraint 1.49/1.52 c intension x[64] != x[199] using generic constraint 1.49/1.52 c intension x[64] != x[204] using generic constraint 1.49/1.52 c intension x[64] != x[205] using generic constraint 1.49/1.52 c intension x[64] != x[220] using generic constraint 1.49/1.52 c intension x[64] != x[222] using generic constraint 1.49/1.52 c intension x[64] != x[227] using generic constraint 1.49/1.53 c intension x[64] != x[235] using generic constraint 1.49/1.53 c intension x[65] != x[82] using generic constraint 1.49/1.53 c intension x[65] != x[97] using generic constraint 1.49/1.53 c intension x[65] != x[156] using generic constraint 1.49/1.53 c intension x[65] != x[174] using generic constraint 1.49/1.53 c intension x[65] != x[178] using generic constraint 1.49/1.53 c intension x[65] != x[179] using generic constraint 1.49/1.53 c intension x[65] != x[181] using generic constraint 1.49/1.53 c intension x[65] != x[193] using generic constraint 1.49/1.53 c intension x[65] != x[199] using generic constraint 1.49/1.54 c intension x[65] != x[210] using generic constraint 1.49/1.54 c intension x[65] != x[211] using generic constraint 1.49/1.54 c intension x[65] != x[220] using generic constraint 1.49/1.54 c intension x[65] != x[227] using generic constraint 1.49/1.54 c intension x[65] != x[228] using generic constraint 1.49/1.54 c intension x[65] != x[230] using generic constraint 1.49/1.54 c intension x[65] != x[234] using generic constraint 1.49/1.54 c intension x[66] != x[80] using generic constraint 1.49/1.54 c intension x[66] != x[87] using generic constraint 1.49/1.54 c intension x[66] != x[108] using generic constraint 1.49/1.55 c intension x[66] != x[113] using generic constraint 1.49/1.55 c intension x[66] != x[141] using generic constraint 1.49/1.55 c intension x[66] != x[148] using generic constraint 1.49/1.55 c intension x[66] != x[160] using generic constraint 1.49/1.55 c intension x[66] != x[170] using generic constraint 1.49/1.55 c intension x[66] != x[190] using generic constraint 1.49/1.55 c intension x[66] != x[213] using generic constraint 1.49/1.55 c intension x[66] != x[218] using generic constraint 1.49/1.55 c intension x[66] != x[247] using generic constraint 1.49/1.55 c intension x[67] != x[69] using generic constraint 1.49/1.56 c intension x[67] != x[86] using generic constraint 1.49/1.56 c intension x[67] != x[113] using generic constraint 1.49/1.56 c intension x[67] != x[136] using generic constraint 1.49/1.56 c intension x[67] != x[138] using generic constraint 1.49/1.56 c intension x[67] != x[163] using generic constraint 1.49/1.56 c intension x[67] != x[165] using generic constraint 1.49/1.56 c intension x[67] != x[169] using generic constraint 1.49/1.56 c intension x[67] != x[193] using generic constraint 1.49/1.56 c intension x[67] != x[198] using generic constraint 1.49/1.56 c intension x[67] != x[225] using generic constraint 1.49/1.56 c intension x[67] != x[231] using generic constraint 1.49/1.57 c intension x[67] != x[235] using generic constraint 1.49/1.57 c intension x[67] != x[242] using generic constraint 1.49/1.57 c intension x[67] != x[243] using generic constraint 1.49/1.57 c intension x[67] != x[244] using generic constraint 1.49/1.57 c intension x[68] != x[78] using generic constraint 1.49/1.57 c intension x[68] != x[96] using generic constraint 1.49/1.57 c intension x[68] != x[107] using generic constraint 1.49/1.57 c intension x[68] != x[108] using generic constraint 1.49/1.57 c intension x[68] != x[121] using generic constraint 1.49/1.57 c intension x[68] != x[128] using generic constraint 1.49/1.57 c intension x[68] != x[130] using generic constraint 1.49/1.58 c intension x[68] != x[135] using generic constraint 1.49/1.58 c intension x[68] != x[136] using generic constraint 1.49/1.58 c intension x[68] != x[153] using generic constraint 1.49/1.58 c intension x[68] != x[157] using generic constraint 1.49/1.58 c intension x[68] != x[186] using generic constraint 1.49/1.58 c intension x[68] != x[188] using generic constraint 1.49/1.58 c intension x[68] != x[193] using generic constraint 1.49/1.58 c intension x[68] != x[194] using generic constraint 1.49/1.58 c intension x[68] != x[196] using generic constraint 1.49/1.58 c intension x[68] != x[212] using generic constraint 1.49/1.58 c intension x[68] != x[222] using generic constraint 1.49/1.59 c intension x[68] != x[224] using generic constraint 1.49/1.59 c intension x[68] != x[229] using generic constraint 1.49/1.59 c intension x[68] != x[235] using generic constraint 1.49/1.59 c intension x[68] != x[240] using generic constraint 1.49/1.59 c intension x[68] != x[244] using generic constraint 1.49/1.59 c intension x[68] != x[249] using generic constraint 1.49/1.59 c intension x[69] != x[78] using generic constraint 1.49/1.59 c intension x[69] != x[108] using generic constraint 1.49/1.59 c intension x[69] != x[116] using generic constraint 1.49/1.59 c intension x[69] != x[119] using generic constraint 1.49/1.60 c intension x[69] != x[121] using generic constraint 1.59/1.60 c intension x[69] != x[136] using generic constraint 1.59/1.60 c intension x[69] != x[138] using generic constraint 1.59/1.60 c intension x[69] != x[146] using generic constraint 1.59/1.60 c intension x[69] != x[158] using generic constraint 1.59/1.60 c intension x[69] != x[178] using generic constraint 1.59/1.60 c intension x[69] != x[179] using generic constraint 1.59/1.60 c intension x[69] != x[184] using generic constraint 1.59/1.60 c intension x[69] != x[189] using generic constraint 1.59/1.60 c intension x[69] != x[190] using generic constraint 1.59/1.60 c intension x[69] != x[194] using generic constraint 1.59/1.61 c intension x[69] != x[205] using generic constraint 1.59/1.61 c intension x[69] != x[210] using generic constraint 1.59/1.61 c intension x[69] != x[213] using generic constraint 1.59/1.61 c intension x[69] != x[221] using generic constraint 1.59/1.61 c intension x[69] != x[234] using generic constraint 1.59/1.61 c intension x[69] != x[236] using generic constraint 1.59/1.61 c intension x[69] != x[240] using generic constraint 1.59/1.61 c intension x[69] != x[248] using generic constraint 1.59/1.61 c intension x[70] != x[74] using generic constraint 1.59/1.61 c intension x[70] != x[75] using generic constraint 1.59/1.62 c intension x[70] != x[93] using generic constraint 1.59/1.62 c intension x[70] != x[103] using generic constraint 1.59/1.62 c intension x[70] != x[134] using generic constraint 1.59/1.62 c intension x[70] != x[137] using generic constraint 1.59/1.62 c intension x[70] != x[144] using generic constraint 1.59/1.62 c intension x[70] != x[147] using generic constraint 1.59/1.62 c intension x[70] != x[148] using generic constraint 1.59/1.62 c intension x[70] != x[152] using generic constraint 1.59/1.62 c intension x[70] != x[156] using generic constraint 1.59/1.62 c intension x[70] != x[158] using generic constraint 1.59/1.62 c intension x[70] != x[193] using generic constraint 1.59/1.63 c intension x[70] != x[200] using generic constraint 1.59/1.63 c intension x[70] != x[212] using generic constraint 1.59/1.63 c intension x[70] != x[229] using generic constraint 1.59/1.63 c intension x[70] != x[231] using generic constraint 1.59/1.63 c intension x[70] != x[239] using generic constraint 1.59/1.63 c intension x[70] != x[241] using generic constraint 1.59/1.63 c intension x[70] != x[242] using generic constraint 1.59/1.63 c intension x[70] != x[246] using generic constraint 1.59/1.63 c intension x[71] != x[89] using generic constraint 1.59/1.63 c intension x[71] != x[94] using generic constraint 1.59/1.64 c intension x[71] != x[95] using generic constraint 1.59/1.64 c intension x[71] != x[99] using generic constraint 1.59/1.64 c intension x[71] != x[116] using generic constraint 1.59/1.64 c intension x[71] != x[117] using generic constraint 1.59/1.64 c intension x[71] != x[123] using generic constraint 1.59/1.64 c intension x[71] != x[130] using generic constraint 1.59/1.64 c intension x[71] != x[131] using generic constraint 1.59/1.64 c intension x[71] != x[142] using generic constraint 1.59/1.64 c intension x[71] != x[145] using generic constraint 1.59/1.64 c intension x[71] != x[151] using generic constraint 1.59/1.64 c intension x[71] != x[154] using generic constraint 1.59/1.65 c intension x[71] != x[165] using generic constraint 1.59/1.65 c intension x[71] != x[184] using generic constraint 1.59/1.65 c intension x[71] != x[188] using generic constraint 1.59/1.65 c intension x[71] != x[194] using generic constraint 1.59/1.65 c intension x[71] != x[204] using generic constraint 1.59/1.65 c intension x[71] != x[207] using generic constraint 1.59/1.65 c intension x[71] != x[208] using generic constraint 1.59/1.65 c intension x[71] != x[234] using generic constraint 1.59/1.65 c intension x[71] != x[244] using generic constraint 1.59/1.65 c intension x[71] != x[246] using generic constraint 1.59/1.65 c intension x[72] != x[79] using generic constraint 1.59/1.66 c intension x[72] != x[81] using generic constraint 1.59/1.66 c intension x[72] != x[92] using generic constraint 1.59/1.66 c intension x[72] != x[94] using generic constraint 1.59/1.66 c intension x[72] != x[95] using generic constraint 1.59/1.66 c intension x[72] != x[111] using generic constraint 1.59/1.66 c intension x[72] != x[112] using generic constraint 1.59/1.66 c intension x[72] != x[116] using generic constraint 1.59/1.66 c intension x[72] != x[118] using generic constraint 1.59/1.66 c intension x[72] != x[119] using generic constraint 1.59/1.66 c intension x[72] != x[126] using generic constraint 1.59/1.66 c intension x[72] != x[136] using generic constraint 1.59/1.67 c intension x[72] != x[146] using generic constraint 1.59/1.67 c intension x[72] != x[154] using generic constraint 1.59/1.67 c intension x[72] != x[228] using generic constraint 1.59/1.67 c intension x[72] != x[233] using generic constraint 1.59/1.67 c intension x[72] != x[247] using generic constraint 1.59/1.67 c intension x[73] != x[90] using generic constraint 1.59/1.67 c intension x[73] != x[112] using generic constraint 1.59/1.67 c intension x[73] != x[115] using generic constraint 1.59/1.67 c intension x[73] != x[130] using generic constraint 1.59/1.67 c intension x[73] != x[148] using generic constraint 1.59/1.67 c intension x[73] != x[169] using generic constraint 1.59/1.68 c intension x[73] != x[172] using generic constraint 1.59/1.68 c intension x[73] != x[177] using generic constraint 1.59/1.68 c intension x[73] != x[178] using generic constraint 1.59/1.68 c intension x[73] != x[181] using generic constraint 1.59/1.68 c intension x[73] != x[198] using generic constraint 1.59/1.68 c intension x[73] != x[200] using generic constraint 1.59/1.68 c intension x[73] != x[204] using generic constraint 1.59/1.68 c intension x[73] != x[218] using generic constraint 1.59/1.68 c intension x[73] != x[220] using generic constraint 1.59/1.68 c intension x[73] != x[240] using generic constraint 1.59/1.68 c intension x[74] != x[75] using generic constraint 1.59/1.69 c intension x[74] != x[85] using generic constraint 1.59/1.69 c intension x[74] != x[87] using generic constraint 1.59/1.69 c intension x[74] != x[103] using generic constraint 1.59/1.69 c intension x[74] != x[108] using generic constraint 1.59/1.69 c intension x[74] != x[113] using generic constraint 1.59/1.69 c intension x[74] != x[122] using generic constraint 1.59/1.69 c intension x[74] != x[128] using generic constraint 1.59/1.69 c intension x[74] != x[141] using generic constraint 1.59/1.69 c intension x[74] != x[144] using generic constraint 1.59/1.69 c intension x[74] != x[148] using generic constraint 1.59/1.69 c intension x[74] != x[168] using generic constraint 1.59/1.70 c intension x[74] != x[173] using generic constraint 1.69/1.70 c intension x[74] != x[207] using generic constraint 1.69/1.70 c intension x[74] != x[210] using generic constraint 1.69/1.70 c intension x[74] != x[224] using generic constraint 1.69/1.70 c intension x[74] != x[226] using generic constraint 1.69/1.70 c intension x[74] != x[232] using generic constraint 1.69/1.70 c intension x[74] != x[233] using generic constraint 1.69/1.70 c intension x[74] != x[237] using generic constraint 1.69/1.70 c intension x[74] != x[240] using generic constraint 1.69/1.70 c intension x[74] != x[242] using generic constraint 1.69/1.71 c intension x[74] != x[244] using generic constraint 1.69/1.71 c intension x[75] != x[108] using generic constraint 1.69/1.71 c intension x[75] != x[124] using generic constraint 1.69/1.71 c intension x[75] != x[125] using generic constraint 1.69/1.71 c intension x[75] != x[150] using generic constraint 1.69/1.71 c intension x[75] != x[155] using generic constraint 1.69/1.71 c intension x[75] != x[160] using generic constraint 1.69/1.71 c intension x[75] != x[164] using generic constraint 1.69/1.71 c intension x[75] != x[170] using generic constraint 1.69/1.71 c intension x[75] != x[176] using generic constraint 1.69/1.71 c intension x[75] != x[177] using generic constraint 1.69/1.72 c intension x[75] != x[179] using generic constraint 1.69/1.72 c intension x[75] != x[187] using generic constraint 1.69/1.72 c intension x[75] != x[204] using generic constraint 1.69/1.72 c intension x[75] != x[233] using generic constraint 1.69/1.72 c intension x[75] != x[234] using generic constraint 1.69/1.72 c intension x[75] != x[240] using generic constraint 1.69/1.72 c intension x[76] != x[87] using generic constraint 1.69/1.72 c intension x[76] != x[88] using generic constraint 1.69/1.72 c intension x[76] != x[91] using generic constraint 1.69/1.72 c intension x[76] != x[93] using generic constraint 1.69/1.72 c intension x[76] != x[102] using generic constraint 1.69/1.73 c intension x[76] != x[103] using generic constraint 1.69/1.73 c intension x[76] != x[109] using generic constraint 1.69/1.73 c intension x[76] != x[123] using generic constraint 1.69/1.73 c intension x[76] != x[125] using generic constraint 1.69/1.73 c intension x[76] != x[137] using generic constraint 1.69/1.73 c intension x[76] != x[177] using generic constraint 1.69/1.73 c intension x[76] != x[203] using generic constraint 1.69/1.73 c intension x[76] != x[204] using generic constraint 1.69/1.73 c intension x[76] != x[213] using generic constraint 1.69/1.73 c intension x[76] != x[222] using generic constraint 1.69/1.74 c intension x[76] != x[233] using generic constraint 1.69/1.74 c intension x[76] != x[247] using generic constraint 1.69/1.74 c intension x[77] != x[96] using generic constraint 1.69/1.74 c intension x[77] != x[143] using generic constraint 1.69/1.74 c intension x[77] != x[150] using generic constraint 1.69/1.74 c intension x[77] != x[172] using generic constraint 1.69/1.74 c intension x[77] != x[183] using generic constraint 1.69/1.74 c intension x[77] != x[185] using generic constraint 1.69/1.74 c intension x[77] != x[195] using generic constraint 1.69/1.74 c intension x[77] != x[200] using generic constraint 1.69/1.74 c intension x[77] != x[201] using generic constraint 1.69/1.75 c intension x[77] != x[233] using generic constraint 1.69/1.75 c intension x[77] != x[235] using generic constraint 1.69/1.75 c intension x[78] != x[88] using generic constraint 1.69/1.75 c intension x[78] != x[100] using generic constraint 1.69/1.75 c intension x[78] != x[109] using generic constraint 1.69/1.75 c intension x[78] != x[124] using generic constraint 1.69/1.75 c intension x[78] != x[133] using generic constraint 1.69/1.75 c intension x[78] != x[153] using generic constraint 1.69/1.75 c intension x[78] != x[171] using generic constraint 1.69/1.75 c intension x[78] != x[174] using generic constraint 1.69/1.76 c intension x[78] != x[215] using generic constraint 1.69/1.76 c intension x[78] != x[225] using generic constraint 1.69/1.76 c intension x[78] != x[237] using generic constraint 1.69/1.76 c intension x[79] != x[82] using generic constraint 1.69/1.76 c intension x[79] != x[84] using generic constraint 1.69/1.76 c intension x[79] != x[107] using generic constraint 1.69/1.76 c intension x[79] != x[110] using generic constraint 1.69/1.76 c intension x[79] != x[134] using generic constraint 1.69/1.76 c intension x[79] != x[157] using generic constraint 1.69/1.76 c intension x[79] != x[158] using generic constraint 1.69/1.77 c intension x[79] != x[181] using generic constraint 1.69/1.77 c intension x[79] != x[184] using generic constraint 1.69/1.77 c intension x[79] != x[185] using generic constraint 1.69/1.77 c intension x[79] != x[186] using generic constraint 1.69/1.77 c intension x[79] != x[192] using generic constraint 1.69/1.77 c intension x[79] != x[199] using generic constraint 1.69/1.77 c intension x[79] != x[200] using generic constraint 1.69/1.77 c intension x[79] != x[206] using generic constraint 1.69/1.77 c intension x[79] != x[214] using generic constraint 1.69/1.77 c intension x[79] != x[216] using generic constraint 1.69/1.78 c intension x[79] != x[222] using generic constraint 1.69/1.78 c intension x[80] != x[85] using generic constraint 1.69/1.78 c intension x[80] != x[88] using generic constraint 1.69/1.78 c intension x[80] != x[95] using generic constraint 1.69/1.78 c intension x[80] != x[103] using generic constraint 1.69/1.78 c intension x[80] != x[113] using generic constraint 1.69/1.78 c intension x[80] != x[130] using generic constraint 1.69/1.78 c intension x[80] != x[134] using generic constraint 1.69/1.78 c intension x[80] != x[150] using generic constraint 1.69/1.78 c intension x[80] != x[157] using generic constraint 1.69/1.79 c intension x[80] != x[158] using generic constraint 1.69/1.79 c intension x[80] != x[171] using generic constraint 1.69/1.79 c intension x[80] != x[181] using generic constraint 1.69/1.79 c intension x[80] != x[186] using generic constraint 1.69/1.79 c intension x[80] != x[195] using generic constraint 1.69/1.79 c intension x[80] != x[203] using generic constraint 1.69/1.79 c intension x[80] != x[213] using generic constraint 1.69/1.79 c intension x[80] != x[217] using generic constraint 1.69/1.79 c intension x[80] != x[244] using generic constraint 1.69/1.79 c intension x[80] != x[247] using generic constraint 1.79/1.80 c intension x[81] != x[96] using generic constraint 1.79/1.80 c intension x[81] != x[106] using generic constraint 1.79/1.80 c intension x[81] != x[107] using generic constraint 1.79/1.80 c intension x[81] != x[113] using generic constraint 1.79/1.80 c intension x[81] != x[125] using generic constraint 1.79/1.80 c intension x[81] != x[134] using generic constraint 1.79/1.80 c intension x[81] != x[138] using generic constraint 1.79/1.80 c intension x[81] != x[153] using generic constraint 1.79/1.80 c intension x[81] != x[162] using generic constraint 1.79/1.80 c intension x[81] != x[166] using generic constraint 1.79/1.81 c intension x[81] != x[167] using generic constraint 1.79/1.81 c intension x[81] != x[200] using generic constraint 1.79/1.81 c intension x[81] != x[203] using generic constraint 1.79/1.81 c intension x[81] != x[206] using generic constraint 1.79/1.81 c intension x[81] != x[233] using generic constraint 1.79/1.81 c intension x[81] != x[235] using generic constraint 1.79/1.81 c intension x[81] != x[237] using generic constraint 1.79/1.81 c intension x[81] != x[238] using generic constraint 1.79/1.81 c intension x[82] != x[89] using generic constraint 1.79/1.81 c intension x[82] != x[139] using generic constraint 1.79/1.81 c intension x[82] != x[160] using generic constraint 1.79/1.82 c intension x[82] != x[161] using generic constraint 1.79/1.82 c intension x[82] != x[175] using generic constraint 1.79/1.82 c intension x[82] != x[176] using generic constraint 1.79/1.82 c intension x[82] != x[181] using generic constraint 1.79/1.82 c intension x[82] != x[190] using generic constraint 1.79/1.82 c intension x[82] != x[192] using generic constraint 1.79/1.82 c intension x[82] != x[197] using generic constraint 1.79/1.82 c intension x[82] != x[214] using generic constraint 1.79/1.82 c intension x[82] != x[216] using generic constraint 1.79/1.82 c intension x[82] != x[223] using generic constraint 1.79/1.83 c intension x[82] != x[227] using generic constraint 1.79/1.83 c intension x[82] != x[246] using generic constraint 1.79/1.83 c intension x[82] != x[247] using generic constraint 1.79/1.83 c intension x[83] != x[86] using generic constraint 1.79/1.83 c intension x[83] != x[105] using generic constraint 1.79/1.83 c intension x[83] != x[115] using generic constraint 1.79/1.83 c intension x[83] != x[117] using generic constraint 1.79/1.83 c intension x[83] != x[129] using generic constraint 1.79/1.83 c intension x[83] != x[134] using generic constraint 1.79/1.83 c intension x[83] != x[139] using generic constraint 1.79/1.84 c intension x[83] != x[145] using generic constraint 1.79/1.84 c intension x[83] != x[150] using generic constraint 1.79/1.84 c intension x[83] != x[155] using generic constraint 1.79/1.84 c intension x[83] != x[178] using generic constraint 1.79/1.84 c intension x[83] != x[182] using generic constraint 1.79/1.84 c intension x[83] != x[185] using generic constraint 1.79/1.84 c intension x[83] != x[188] using generic constraint 1.79/1.84 c intension x[83] != x[206] using generic constraint 1.79/1.84 c intension x[83] != x[232] using generic constraint 1.79/1.84 c intension x[83] != x[244] using generic constraint 1.79/1.85 c intension x[83] != x[248] using generic constraint 1.79/1.85 c intension x[83] != x[249] using generic constraint 1.79/1.85 c intension x[84] != x[119] using generic constraint 1.79/1.85 c intension x[84] != x[130] using generic constraint 1.79/1.85 c intension x[84] != x[134] using generic constraint 1.79/1.85 c intension x[84] != x[147] using generic constraint 1.79/1.85 c intension x[84] != x[151] using generic constraint 1.79/1.85 c intension x[84] != x[161] using generic constraint 1.79/1.85 c intension x[84] != x[176] using generic constraint 1.79/1.85 c intension x[84] != x[185] using generic constraint 1.79/1.86 c intension x[84] != x[186] using generic constraint 1.79/1.86 c intension x[84] != x[198] using generic constraint 1.79/1.86 c intension x[84] != x[204] using generic constraint 1.79/1.86 c intension x[84] != x[209] using generic constraint 1.79/1.86 c intension x[84] != x[219] using generic constraint 1.79/1.86 c intension x[84] != x[224] using generic constraint 1.79/1.86 c intension x[84] != x[229] using generic constraint 1.79/1.86 c intension x[84] != x[239] using generic constraint 1.79/1.86 c intension x[85] != x[90] using generic constraint 1.79/1.86 c intension x[85] != x[97] using generic constraint 1.79/1.87 c intension x[85] != x[98] using generic constraint 1.79/1.87 c intension x[85] != x[107] using generic constraint 1.79/1.87 c intension x[85] != x[122] using generic constraint 1.79/1.87 c intension x[85] != x[123] using generic constraint 1.79/1.87 c intension x[85] != x[134] using generic constraint 1.79/1.87 c intension x[85] != x[142] using generic constraint 1.79/1.87 c intension x[85] != x[173] using generic constraint 1.79/1.87 c intension x[85] != x[183] using generic constraint 1.79/1.87 c intension x[85] != x[197] using generic constraint 1.79/1.87 c intension x[85] != x[213] using generic constraint 1.79/1.88 c intension x[85] != x[215] using generic constraint 1.79/1.88 c intension x[85] != x[231] using generic constraint 1.79/1.88 c intension x[86] != x[111] using generic constraint 1.79/1.88 c intension x[86] != x[114] using generic constraint 1.79/1.88 c intension x[86] != x[118] using generic constraint 1.79/1.88 c intension x[86] != x[120] using generic constraint 1.79/1.88 c intension x[86] != x[124] using generic constraint 1.79/1.88 c intension x[86] != x[127] using generic constraint 1.79/1.88 c intension x[86] != x[129] using generic constraint 1.79/1.88 c intension x[86] != x[143] using generic constraint 1.79/1.89 c intension x[86] != x[153] using generic constraint 1.79/1.89 c intension x[86] != x[156] using generic constraint 1.79/1.89 c intension x[86] != x[163] using generic constraint 1.79/1.89 c intension x[86] != x[194] using generic constraint 1.79/1.89 c intension x[86] != x[207] using generic constraint 1.79/1.89 c intension x[86] != x[208] using generic constraint 1.79/1.89 c intension x[86] != x[209] using generic constraint 1.79/1.89 c intension x[86] != x[210] using generic constraint 1.79/1.89 c intension x[86] != x[214] using generic constraint 1.79/1.89 c intension x[86] != x[218] using generic constraint 1.79/1.90 c intension x[86] != x[235] using generic constraint 1.89/1.90 c intension x[86] != x[247] using generic constraint 1.89/1.90 c intension x[87] != x[90] using generic constraint 1.89/1.90 c intension x[87] != x[91] using generic constraint 1.89/1.90 c intension x[87] != x[101] using generic constraint 1.89/1.90 c intension x[87] != x[107] using generic constraint 1.89/1.90 c intension x[87] != x[128] using generic constraint 1.89/1.90 c intension x[87] != x[133] using generic constraint 1.89/1.90 c intension x[87] != x[152] using generic constraint 1.89/1.90 c intension x[87] != x[153] using generic constraint 1.89/1.90 c intension x[87] != x[166] using generic constraint 1.89/1.91 c intension x[87] != x[168] using generic constraint 1.89/1.91 c intension x[87] != x[195] using generic constraint 1.89/1.91 c intension x[87] != x[199] using generic constraint 1.89/1.91 c intension x[87] != x[202] using generic constraint 1.89/1.91 c intension x[88] != x[106] using generic constraint 1.89/1.91 c intension x[88] != x[119] using generic constraint 1.89/1.91 c intension x[88] != x[124] using generic constraint 1.89/1.91 c intension x[88] != x[127] using generic constraint 1.89/1.91 c intension x[88] != x[129] using generic constraint 1.89/1.91 c intension x[88] != x[132] using generic constraint 1.89/1.92 c intension x[88] != x[139] using generic constraint 1.89/1.92 c intension x[88] != x[145] using generic constraint 1.89/1.92 c intension x[88] != x[150] using generic constraint 1.89/1.92 c intension x[88] != x[172] using generic constraint 1.89/1.92 c intension x[88] != x[178] using generic constraint 1.89/1.92 c intension x[88] != x[190] using generic constraint 1.89/1.92 c intension x[88] != x[192] using generic constraint 1.89/1.92 c intension x[88] != x[233] using generic constraint 1.89/1.92 c intension x[88] != x[243] using generic constraint 1.89/1.92 c intension x[89] != x[90] using generic constraint 1.89/1.93 c intension x[89] != x[97] using generic constraint 1.89/1.93 c intension x[89] != x[102] using generic constraint 1.89/1.93 c intension x[89] != x[105] using generic constraint 1.89/1.93 c intension x[89] != x[136] using generic constraint 1.89/1.93 c intension x[89] != x[144] using generic constraint 1.89/1.93 c intension x[89] != x[150] using generic constraint 1.89/1.93 c intension x[89] != x[151] using generic constraint 1.89/1.93 c intension x[89] != x[158] using generic constraint 1.89/1.93 c intension x[89] != x[160] using generic constraint 1.89/1.93 c intension x[89] != x[163] using generic constraint 1.89/1.93 c intension x[89] != x[176] using generic constraint 1.89/1.94 c intension x[89] != x[197] using generic constraint 1.89/1.94 c intension x[89] != x[198] using generic constraint 1.89/1.94 c intension x[89] != x[207] using generic constraint 1.89/1.94 c intension x[89] != x[211] using generic constraint 1.89/1.94 c intension x[89] != x[228] using generic constraint 1.89/1.94 c intension x[89] != x[229] using generic constraint 1.89/1.94 c intension x[89] != x[231] using generic constraint 1.89/1.94 c intension x[89] != x[239] using generic constraint 1.89/1.94 c intension x[89] != x[243] using generic constraint 1.89/1.94 c intension x[89] != x[244] using generic constraint 1.89/1.95 c intension x[90] != x[91] using generic constraint 1.89/1.95 c intension x[90] != x[96] using generic constraint 1.89/1.95 c intension x[90] != x[138] using generic constraint 1.89/1.95 c intension x[90] != x[146] using generic constraint 1.89/1.95 c intension x[90] != x[152] using generic constraint 1.89/1.95 c intension x[90] != x[155] using generic constraint 1.89/1.95 c intension x[90] != x[164] using generic constraint 1.89/1.95 c intension x[90] != x[172] using generic constraint 1.89/1.95 c intension x[90] != x[174] using generic constraint 1.89/1.95 c intension x[90] != x[202] using generic constraint 1.89/1.96 c intension x[90] != x[223] using generic constraint 1.89/1.96 c intension x[90] != x[227] using generic constraint 1.89/1.96 c intension x[90] != x[235] using generic constraint 1.89/1.96 c intension x[90] != x[247] using generic constraint 1.89/1.96 c intension x[90] != x[248] using generic constraint 1.89/1.96 c intension x[91] != x[95] using generic constraint 1.89/1.96 c intension x[91] != x[96] using generic constraint 1.89/1.96 c intension x[91] != x[104] using generic constraint 1.89/1.96 c intension x[91] != x[106] using generic constraint 1.89/1.96 c intension x[91] != x[132] using generic constraint 1.89/1.97 c intension x[91] != x[133] using generic constraint 1.89/1.97 c intension x[91] != x[148] using generic constraint 1.89/1.97 c intension x[91] != x[159] using generic constraint 1.89/1.97 c intension x[91] != x[173] using generic constraint 1.89/1.97 c intension x[91] != x[175] using generic constraint 1.89/1.97 c intension x[91] != x[181] using generic constraint 1.89/1.97 c intension x[91] != x[190] using generic constraint 1.89/1.97 c intension x[91] != x[209] using generic constraint 1.89/1.97 c intension x[91] != x[225] using generic constraint 1.89/1.98 c intension x[91] != x[232] using generic constraint 1.89/1.98 c intension x[91] != x[235] using generic constraint 1.89/1.98 c intension x[92] != x[108] using generic constraint 1.89/1.98 c intension x[92] != x[114] using generic constraint 1.89/1.98 c intension x[92] != x[117] using generic constraint 1.89/1.98 c intension x[92] != x[118] using generic constraint 1.89/1.98 c intension x[92] != x[119] using generic constraint 1.89/1.98 c intension x[92] != x[128] using generic constraint 1.89/1.98 c intension x[92] != x[134] using generic constraint 1.89/1.98 c intension x[92] != x[137] using generic constraint 1.89/1.99 c intension x[92] != x[138] using generic constraint 1.89/1.99 c intension x[92] != x[150] using generic constraint 1.89/1.99 c intension x[92] != x[153] using generic constraint 1.89/1.99 c intension x[92] != x[160] using generic constraint 1.89/1.99 c intension x[92] != x[170] using generic constraint 1.89/1.99 c intension x[92] != x[174] using generic constraint 1.89/1.99 c intension x[92] != x[200] using generic constraint 1.89/1.99 c intension x[92] != x[204] using generic constraint 1.89/1.99 c intension x[92] != x[212] using generic constraint 1.89/1.99 c intension x[92] != x[226] using generic constraint 1.89/2.00 c intension x[92] != x[243] using generic constraint 1.99/2.00 c intension x[93] != x[94] using generic constraint 1.99/2.00 c intension x[93] != x[102] using generic constraint 1.99/2.00 c intension x[93] != x[105] using generic constraint 1.99/2.00 c intension x[93] != x[114] using generic constraint 1.99/2.00 c intension x[93] != x[125] using generic constraint 1.99/2.00 c intension x[93] != x[134] using generic constraint 1.99/2.00 c intension x[93] != x[147] using generic constraint 1.99/2.00 c intension x[93] != x[148] using generic constraint 1.99/2.00 c intension x[93] != x[175] using generic constraint 1.99/2.00 c intension x[93] != x[194] using generic constraint 1.99/2.01 c intension x[93] != x[199] using generic constraint 1.99/2.01 c intension x[93] != x[204] using generic constraint 1.99/2.01 c intension x[93] != x[207] using generic constraint 1.99/2.01 c intension x[93] != x[220] using generic constraint 1.99/2.01 c intension x[93] != x[240] using generic constraint 1.99/2.01 c intension x[94] != x[101] using generic constraint 1.99/2.01 c intension x[94] != x[114] using generic constraint 1.99/2.01 c intension x[94] != x[118] using generic constraint 1.99/2.01 c intension x[94] != x[124] using generic constraint 1.99/2.01 c intension x[94] != x[133] using generic constraint 1.99/2.02 c intension x[94] != x[134] using generic constraint 1.99/2.02 c intension x[94] != x[135] using generic constraint 1.99/2.02 c intension x[94] != x[155] using generic constraint 1.99/2.02 c intension x[94] != x[165] using generic constraint 1.99/2.02 c intension x[94] != x[189] using generic constraint 1.99/2.02 c intension x[94] != x[217] using generic constraint 1.99/2.02 c intension x[94] != x[221] using generic constraint 1.99/2.02 c intension x[94] != x[228] using generic constraint 1.99/2.02 c intension x[95] != x[97] using generic constraint 1.99/2.03 c intension x[95] != x[104] using generic constraint 1.99/2.03 c intension x[95] != x[109] using generic constraint 1.99/2.03 c intension x[95] != x[145] using generic constraint 1.99/2.03 c intension x[95] != x[151] using generic constraint 1.99/2.03 c intension x[95] != x[157] using generic constraint 1.99/2.03 c intension x[95] != x[167] using generic constraint 1.99/2.03 c intension x[95] != x[192] using generic constraint 1.99/2.03 c intension x[95] != x[211] using generic constraint 1.99/2.03 c intension x[95] != x[219] using generic constraint 1.99/2.03 c intension x[95] != x[236] using generic constraint 1.99/2.04 c intension x[96] != x[102] using generic constraint 1.99/2.04 c intension x[96] != x[118] using generic constraint 1.99/2.04 c intension x[96] != x[125] using generic constraint 1.99/2.04 c intension x[96] != x[130] using generic constraint 1.99/2.04 c intension x[96] != x[136] using generic constraint 1.99/2.04 c intension x[96] != x[169] using generic constraint 1.99/2.04 c intension x[96] != x[205] using generic constraint 1.99/2.04 c intension x[96] != x[245] using generic constraint 1.99/2.04 c intension x[96] != x[249] using generic constraint 1.99/2.04 c intension x[97] != x[102] using generic constraint 1.99/2.05 c intension x[97] != x[117] using generic constraint 1.99/2.05 c intension x[97] != x[123] using generic constraint 1.99/2.05 c intension x[97] != x[147] using generic constraint 1.99/2.05 c intension x[97] != x[148] using generic constraint 1.99/2.05 c intension x[97] != x[164] using generic constraint 1.99/2.05 c intension x[97] != x[172] using generic constraint 1.99/2.05 c intension x[97] != x[198] using generic constraint 1.99/2.05 c intension x[97] != x[200] using generic constraint 1.99/2.05 c intension x[97] != x[208] using generic constraint 1.99/2.05 c intension x[97] != x[210] using generic constraint 1.99/2.06 c intension x[97] != x[217] using generic constraint 1.99/2.06 c intension x[97] != x[221] using generic constraint 1.99/2.06 c intension x[97] != x[243] using generic constraint 1.99/2.06 c intension x[97] != x[246] using generic constraint 1.99/2.06 c intension x[98] != x[112] using generic constraint 1.99/2.06 c intension x[98] != x[119] using generic constraint 1.99/2.06 c intension x[98] != x[148] using generic constraint 1.99/2.06 c intension x[98] != x[154] using generic constraint 1.99/2.06 c intension x[98] != x[159] using generic constraint 1.99/2.06 c intension x[98] != x[161] using generic constraint 1.99/2.07 c intension x[98] != x[173] using generic constraint 1.99/2.07 c intension x[98] != x[175] using generic constraint 1.99/2.07 c intension x[98] != x[187] using generic constraint 1.99/2.07 c intension x[98] != x[195] using generic constraint 1.99/2.07 c intension x[98] != x[201] using generic constraint 1.99/2.07 c intension x[98] != x[222] using generic constraint 1.99/2.07 c intension x[98] != x[226] using generic constraint 1.99/2.07 c intension x[98] != x[229] using generic constraint 1.99/2.07 c intension x[99] != x[104] using generic constraint 1.99/2.08 c intension x[99] != x[108] using generic constraint 1.99/2.08 c intension x[99] != x[140] using generic constraint 1.99/2.08 c intension x[99] != x[142] using generic constraint 1.99/2.08 c intension x[99] != x[162] using generic constraint 1.99/2.08 c intension x[99] != x[167] using generic constraint 1.99/2.08 c intension x[99] != x[170] using generic constraint 1.99/2.08 c intension x[99] != x[182] using generic constraint 1.99/2.08 c intension x[99] != x[183] using generic constraint 1.99/2.08 c intension x[99] != x[185] using generic constraint 1.99/2.08 c intension x[99] != x[203] using generic constraint 1.99/2.09 c intension x[99] != x[204] using generic constraint 1.99/2.09 c intension x[99] != x[212] using generic constraint 1.99/2.09 c intension x[99] != x[214] using generic constraint 1.99/2.09 c intension x[99] != x[227] using generic constraint 1.99/2.09 c intension x[99] != x[238] using generic constraint 1.99/2.09 c intension x[99] != x[247] using generic constraint 1.99/2.09 c intension x[99] != x[248] using generic constraint 1.99/2.09 c intension x[100] != x[102] using generic constraint 1.99/2.09 c intension x[100] != x[114] using generic constraint 1.99/2.09 c intension x[100] != x[117] using generic constraint 1.99/2.10 c intension x[100] != x[120] using generic constraint 2.09/2.10 c intension x[100] != x[138] using generic constraint 2.09/2.10 c intension x[100] != x[147] using generic constraint 2.09/2.10 c intension x[100] != x[153] using generic constraint 2.09/2.10 c intension x[100] != x[156] using generic constraint 2.09/2.10 c intension x[100] != x[157] using generic constraint 2.09/2.10 c intension x[100] != x[158] using generic constraint 2.09/2.10 c intension x[100] != x[162] using generic constraint 2.09/2.10 c intension x[100] != x[166] using generic constraint 2.09/2.10 c intension x[100] != x[168] using generic constraint 2.09/2.10 c intension x[100] != x[171] using generic constraint 2.09/2.11 c intension x[100] != x[173] using generic constraint 2.09/2.11 c intension x[100] != x[175] using generic constraint 2.09/2.11 c intension x[100] != x[218] using generic constraint 2.09/2.11 c intension x[100] != x[219] using generic constraint 2.09/2.11 c intension x[100] != x[227] using generic constraint 2.09/2.11 c intension x[101] != x[108] using generic constraint 2.09/2.11 c intension x[101] != x[118] using generic constraint 2.09/2.11 c intension x[101] != x[123] using generic constraint 2.09/2.11 c intension x[101] != x[141] using generic constraint 2.09/2.12 c intension x[101] != x[161] using generic constraint 2.09/2.12 c intension x[101] != x[167] using generic constraint 2.09/2.12 c intension x[101] != x[182] using generic constraint 2.09/2.12 c intension x[101] != x[198] using generic constraint 2.09/2.12 c intension x[101] != x[220] using generic constraint 2.09/2.12 c intension x[101] != x[222] using generic constraint 2.09/2.12 c intension x[101] != x[230] using generic constraint 2.09/2.12 c intension x[101] != x[233] using generic constraint 2.09/2.12 c intension x[101] != x[238] using generic constraint 2.09/2.12 c intension x[101] != x[249] using generic constraint 2.09/2.13 c intension x[102] != x[125] using generic constraint 2.09/2.13 c intension x[102] != x[145] using generic constraint 2.09/2.13 c intension x[102] != x[169] using generic constraint 2.09/2.13 c intension x[102] != x[181] using generic constraint 2.09/2.13 c intension x[102] != x[187] using generic constraint 2.09/2.13 c intension x[102] != x[189] using generic constraint 2.09/2.13 c intension x[102] != x[198] using generic constraint 2.09/2.13 c intension x[102] != x[199] using generic constraint 2.09/2.13 c intension x[102] != x[214] using generic constraint 2.09/2.13 c intension x[102] != x[220] using generic constraint 2.09/2.14 c intension x[102] != x[223] using generic constraint 2.09/2.14 c intension x[102] != x[227] using generic constraint 2.09/2.14 c intension x[102] != x[244] using generic constraint 2.09/2.14 c intension x[103] != x[110] using generic constraint 2.09/2.14 c intension x[103] != x[120] using generic constraint 2.09/2.14 c intension x[103] != x[121] using generic constraint 2.09/2.14 c intension x[103] != x[124] using generic constraint 2.09/2.14 c intension x[103] != x[128] using generic constraint 2.09/2.14 c intension x[103] != x[159] using generic constraint 2.09/2.14 c intension x[103] != x[170] using generic constraint 2.09/2.15 c intension x[103] != x[181] using generic constraint 2.09/2.15 c intension x[103] != x[182] using generic constraint 2.09/2.15 c intension x[103] != x[195] using generic constraint 2.09/2.15 c intension x[103] != x[208] using generic constraint 2.09/2.15 c intension x[103] != x[223] using generic constraint 2.09/2.15 c intension x[103] != x[248] using generic constraint 2.09/2.15 c intension x[104] != x[112] using generic constraint 2.09/2.15 c intension x[104] != x[114] using generic constraint 2.09/2.15 c intension x[104] != x[116] using generic constraint 2.09/2.15 c intension x[104] != x[147] using generic constraint 2.09/2.16 c intension x[104] != x[151] using generic constraint 2.09/2.16 c intension x[104] != x[155] using generic constraint 2.09/2.16 c intension x[104] != x[157] using generic constraint 2.09/2.16 c intension x[104] != x[159] using generic constraint 2.09/2.16 c intension x[104] != x[172] using generic constraint 2.09/2.16 c intension x[104] != x[182] using generic constraint 2.09/2.16 c intension x[104] != x[208] using generic constraint 2.09/2.16 c intension x[104] != x[214] using generic constraint 2.09/2.16 c intension x[104] != x[222] using generic constraint 2.09/2.16 c intension x[104] != x[225] using generic constraint 2.09/2.16 c intension x[104] != x[239] using generic constraint 2.09/2.17 c intension x[105] != x[109] using generic constraint 2.09/2.17 c intension x[105] != x[111] using generic constraint 2.09/2.17 c intension x[105] != x[124] using generic constraint 2.09/2.17 c intension x[105] != x[128] using generic constraint 2.09/2.17 c intension x[105] != x[135] using generic constraint 2.09/2.17 c intension x[105] != x[137] using generic constraint 2.09/2.17 c intension x[105] != x[145] using generic constraint 2.09/2.17 c intension x[105] != x[153] using generic constraint 2.09/2.17 c intension x[105] != x[158] using generic constraint 2.09/2.17 c intension x[105] != x[167] using generic constraint 2.09/2.18 c intension x[105] != x[179] using generic constraint 2.09/2.18 c intension x[105] != x[181] using generic constraint 2.09/2.18 c intension x[105] != x[186] using generic constraint 2.09/2.18 c intension x[105] != x[197] using generic constraint 2.09/2.18 c intension x[105] != x[198] using generic constraint 2.09/2.18 c intension x[105] != x[208] using generic constraint 2.09/2.18 c intension x[105] != x[209] using generic constraint 2.09/2.18 c intension x[105] != x[210] using generic constraint 2.09/2.18 c intension x[105] != x[215] using generic constraint 2.09/2.18 c intension x[105] != x[217] using generic constraint 2.09/2.19 c intension x[105] != x[222] using generic constraint 2.09/2.19 c intension x[105] != x[228] using generic constraint 2.09/2.19 c intension x[105] != x[234] using generic constraint 2.09/2.19 c intension x[105] != x[237] using generic constraint 2.09/2.19 c intension x[105] != x[239] using generic constraint 2.09/2.19 c intension x[105] != x[241] using generic constraint 2.09/2.19 c intension x[105] != x[242] using generic constraint 2.09/2.19 c intension x[106] != x[109] using generic constraint 2.09/2.19 c intension x[106] != x[114] using generic constraint 2.09/2.19 c intension x[106] != x[121] using generic constraint 2.09/2.19 c intension x[106] != x[145] using generic constraint 2.09/2.20 c intension x[106] != x[147] using generic constraint 2.09/2.20 c intension x[106] != x[151] using generic constraint 2.09/2.20 c intension x[106] != x[154] using generic constraint 2.09/2.20 c intension x[106] != x[156] using generic constraint 2.09/2.20 c intension x[106] != x[178] using generic constraint 2.09/2.20 c intension x[106] != x[196] using generic constraint 2.09/2.20 c intension x[106] != x[202] using generic constraint 2.19/2.20 c intension x[106] != x[205] using generic constraint 2.19/2.20 c intension x[107] != x[125] using generic constraint 2.19/2.20 c intension x[107] != x[126] using generic constraint 2.19/2.20 c intension x[107] != x[133] using generic constraint 2.19/2.21 c intension x[107] != x[148] using generic constraint 2.19/2.21 c intension x[107] != x[156] using generic constraint 2.19/2.21 c intension x[107] != x[168] using generic constraint 2.19/2.21 c intension x[107] != x[173] using generic constraint 2.19/2.21 c intension x[107] != x[180] using generic constraint 2.19/2.21 c intension x[107] != x[182] using generic constraint 2.19/2.21 c intension x[107] != x[184] using generic constraint 2.19/2.21 c intension x[107] != x[191] using generic constraint 2.19/2.21 c intension x[107] != x[193] using generic constraint 2.19/2.21 c intension x[107] != x[195] using generic constraint 2.19/2.21 c intension x[107] != x[205] using generic constraint 2.19/2.22 c intension x[107] != x[209] using generic constraint 2.19/2.22 c intension x[107] != x[214] using generic constraint 2.19/2.22 c intension x[107] != x[229] using generic constraint 2.19/2.22 c intension x[107] != x[234] using generic constraint 2.19/2.22 c intension x[107] != x[244] using generic constraint 2.19/2.22 c intension x[108] != x[150] using generic constraint 2.19/2.22 c intension x[108] != x[153] using generic constraint 2.19/2.22 c intension x[108] != x[157] using generic constraint 2.19/2.22 c intension x[108] != x[167] using generic constraint 2.19/2.22 c intension x[108] != x[172] using generic constraint 2.19/2.23 c intension x[108] != x[175] using generic constraint 2.19/2.23 c intension x[108] != x[210] using generic constraint 2.19/2.23 c intension x[108] != x[223] using generic constraint 2.19/2.23 c intension x[108] != x[231] using generic constraint 2.19/2.23 c intension x[109] != x[114] using generic constraint 2.19/2.23 c intension x[109] != x[117] using generic constraint 2.19/2.23 c intension x[109] != x[124] using generic constraint 2.19/2.23 c intension x[109] != x[133] using generic constraint 2.19/2.23 c intension x[109] != x[138] using generic constraint 2.19/2.23 c intension x[109] != x[146] using generic constraint 2.19/2.24 c intension x[109] != x[155] using generic constraint 2.19/2.24 c intension x[109] != x[156] using generic constraint 2.19/2.24 c intension x[109] != x[179] using generic constraint 2.19/2.24 c intension x[109] != x[191] using generic constraint 2.19/2.24 c intension x[109] != x[228] using generic constraint 2.19/2.24 c intension x[109] != x[241] using generic constraint 2.19/2.24 c intension x[110] != x[119] using generic constraint 2.19/2.24 c intension x[110] != x[125] using generic constraint 2.19/2.24 c intension x[110] != x[131] using generic constraint 2.19/2.24 c intension x[110] != x[171] using generic constraint 2.19/2.24 c intension x[110] != x[175] using generic constraint 2.19/2.25 c intension x[110] != x[176] using generic constraint 2.19/2.25 c intension x[110] != x[200] using generic constraint 2.19/2.25 c intension x[110] != x[204] using generic constraint 2.19/2.25 c intension x[111] != x[113] using generic constraint 2.19/2.25 c intension x[111] != x[131] using generic constraint 2.19/2.25 c intension x[111] != x[133] using generic constraint 2.19/2.25 c intension x[111] != x[142] using generic constraint 2.19/2.25 c intension x[111] != x[150] using generic constraint 2.19/2.25 c intension x[111] != x[161] using generic constraint 2.19/2.25 c intension x[111] != x[164] using generic constraint 2.19/2.25 c intension x[111] != x[180] using generic constraint 2.19/2.26 c intension x[111] != x[188] using generic constraint 2.19/2.26 c intension x[111] != x[196] using generic constraint 2.19/2.26 c intension x[111] != x[197] using generic constraint 2.19/2.26 c intension x[111] != x[217] using generic constraint 2.19/2.26 c intension x[111] != x[226] using generic constraint 2.19/2.26 c intension x[111] != x[237] using generic constraint 2.19/2.26 c intension x[111] != x[246] using generic constraint 2.19/2.26 c intension x[112] != x[131] using generic constraint 2.19/2.26 c intension x[112] != x[135] using generic constraint 2.19/2.26 c intension x[112] != x[148] using generic constraint 2.19/2.26 c intension x[112] != x[154] using generic constraint 2.19/2.27 c intension x[112] != x[160] using generic constraint 2.19/2.27 c intension x[112] != x[173] using generic constraint 2.19/2.27 c intension x[112] != x[178] using generic constraint 2.19/2.27 c intension x[112] != x[193] using generic constraint 2.19/2.27 c intension x[113] != x[128] using generic constraint 2.19/2.27 c intension x[113] != x[191] using generic constraint 2.19/2.27 c intension x[113] != x[193] using generic constraint 2.19/2.27 c intension x[113] != x[198] using generic constraint 2.19/2.27 c intension x[113] != x[200] using generic constraint 2.19/2.27 c intension x[113] != x[214] using generic constraint 2.19/2.27 c intension x[113] != x[225] using generic constraint 2.19/2.28 c intension x[113] != x[229] using generic constraint 2.19/2.28 c intension x[113] != x[230] using generic constraint 2.19/2.28 c intension x[113] != x[240] using generic constraint 2.19/2.28 c intension x[113] != x[247] using generic constraint 2.19/2.28 c intension x[114] != x[119] using generic constraint 2.19/2.28 c intension x[114] != x[135] using generic constraint 2.19/2.28 c intension x[114] != x[143] using generic constraint 2.19/2.28 c intension x[114] != x[144] using generic constraint 2.19/2.28 c intension x[114] != x[149] using generic constraint 2.19/2.28 c intension x[114] != x[150] using generic constraint 2.19/2.29 c intension x[114] != x[160] using generic constraint 2.19/2.29 c intension x[114] != x[162] using generic constraint 2.19/2.29 c intension x[114] != x[167] using generic constraint 2.19/2.29 c intension x[114] != x[174] using generic constraint 2.19/2.29 c intension x[114] != x[179] using generic constraint 2.19/2.29 c intension x[114] != x[198] using generic constraint 2.19/2.29 c intension x[114] != x[201] using generic constraint 2.19/2.29 c intension x[114] != x[210] using generic constraint 2.19/2.29 c intension x[114] != x[217] using generic constraint 2.19/2.29 c intension x[114] != x[218] using generic constraint 2.19/2.29 c intension x[114] != x[227] using generic constraint 2.19/2.30 c intension x[114] != x[240] using generic constraint 2.19/2.30 c intension x[115] != x[127] using generic constraint 2.19/2.30 c intension x[115] != x[131] using generic constraint 2.19/2.30 c intension x[115] != x[149] using generic constraint 2.19/2.30 c intension x[115] != x[153] using generic constraint 2.19/2.30 c intension x[115] != x[156] using generic constraint 2.29/2.30 c intension x[115] != x[172] using generic constraint 2.29/2.30 c intension x[115] != x[174] using generic constraint 2.29/2.30 c intension x[115] != x[196] using generic constraint 2.29/2.30 c intension x[115] != x[202] using generic constraint 2.29/2.31 c intension x[115] != x[203] using generic constraint 2.29/2.31 c intension x[115] != x[204] using generic constraint 2.29/2.31 c intension x[115] != x[218] using generic constraint 2.29/2.31 c intension x[115] != x[224] using generic constraint 2.29/2.31 c intension x[115] != x[227] using generic constraint 2.29/2.31 c intension x[115] != x[230] using generic constraint 2.29/2.31 c intension x[115] != x[233] using generic constraint 2.29/2.31 c intension x[115] != x[238] using generic constraint 2.29/2.31 c intension x[116] != x[122] using generic constraint 2.29/2.31 c intension x[116] != x[127] using generic constraint 2.29/2.31 c intension x[116] != x[133] using generic constraint 2.29/2.32 c intension x[116] != x[135] using generic constraint 2.29/2.32 c intension x[116] != x[142] using generic constraint 2.29/2.32 c intension x[116] != x[146] using generic constraint 2.29/2.32 c intension x[116] != x[152] using generic constraint 2.29/2.32 c intension x[116] != x[158] using generic constraint 2.29/2.32 c intension x[116] != x[162] using generic constraint 2.29/2.32 c intension x[116] != x[167] using generic constraint 2.29/2.32 c intension x[116] != x[174] using generic constraint 2.29/2.32 c intension x[116] != x[175] using generic constraint 2.29/2.32 c intension x[116] != x[176] using generic constraint 2.29/2.32 c intension x[116] != x[182] using generic constraint 2.29/2.33 c intension x[116] != x[187] using generic constraint 2.29/2.33 c intension x[116] != x[198] using generic constraint 2.29/2.33 c intension x[116] != x[210] using generic constraint 2.29/2.33 c intension x[116] != x[225] using generic constraint 2.29/2.33 c intension x[116] != x[231] using generic constraint 2.29/2.33 c intension x[116] != x[238] using generic constraint 2.29/2.33 c intension x[116] != x[239] using generic constraint 2.29/2.33 c intension x[116] != x[241] using generic constraint 2.29/2.33 c intension x[116] != x[243] using generic constraint 2.29/2.33 c intension x[117] != x[118] using generic constraint 2.29/2.33 c intension x[117] != x[124] using generic constraint 2.29/2.34 c intension x[117] != x[126] using generic constraint 2.29/2.34 c intension x[117] != x[128] using generic constraint 2.29/2.34 c intension x[117] != x[137] using generic constraint 2.29/2.34 c intension x[117] != x[142] using generic constraint 2.29/2.34 c intension x[117] != x[148] using generic constraint 2.29/2.34 c intension x[117] != x[154] using generic constraint 2.29/2.34 c intension x[117] != x[163] using generic constraint 2.29/2.34 c intension x[117] != x[177] using generic constraint 2.29/2.34 c intension x[117] != x[182] using generic constraint 2.29/2.34 c intension x[117] != x[184] using generic constraint 2.29/2.35 c intension x[117] != x[191] using generic constraint 2.29/2.35 c intension x[117] != x[201] using generic constraint 2.29/2.35 c intension x[117] != x[217] using generic constraint 2.29/2.35 c intension x[117] != x[222] using generic constraint 2.29/2.35 c intension x[117] != x[228] using generic constraint 2.29/2.35 c intension x[117] != x[246] using generic constraint 2.29/2.35 c intension x[118] != x[122] using generic constraint 2.29/2.35 c intension x[118] != x[129] using generic constraint 2.29/2.35 c intension x[118] != x[131] using generic constraint 2.29/2.35 c intension x[118] != x[158] using generic constraint 2.29/2.36 c intension x[118] != x[159] using generic constraint 2.29/2.36 c intension x[118] != x[161] using generic constraint 2.29/2.36 c intension x[118] != x[162] using generic constraint 2.29/2.36 c intension x[118] != x[163] using generic constraint 2.29/2.36 c intension x[118] != x[166] using generic constraint 2.29/2.36 c intension x[118] != x[181] using generic constraint 2.29/2.36 c intension x[118] != x[186] using generic constraint 2.29/2.36 c intension x[118] != x[198] using generic constraint 2.29/2.36 c intension x[118] != x[205] using generic constraint 2.29/2.36 c intension x[118] != x[223] using generic constraint 2.29/2.37 c intension x[118] != x[225] using generic constraint 2.29/2.37 c intension x[118] != x[232] using generic constraint 2.29/2.37 c intension x[119] != x[122] using generic constraint 2.29/2.37 c intension x[119] != x[143] using generic constraint 2.29/2.37 c intension x[119] != x[155] using generic constraint 2.29/2.37 c intension x[119] != x[156] using generic constraint 2.29/2.37 c intension x[119] != x[170] using generic constraint 2.29/2.37 c intension x[119] != x[186] using generic constraint 2.29/2.37 c intension x[119] != x[191] using generic constraint 2.29/2.37 c intension x[119] != x[195] using generic constraint 2.29/2.38 c intension x[119] != x[199] using generic constraint 2.29/2.38 c intension x[119] != x[200] using generic constraint 2.29/2.38 c intension x[119] != x[218] using generic constraint 2.29/2.38 c intension x[119] != x[222] using generic constraint 2.29/2.38 c intension x[119] != x[235] using generic constraint 2.29/2.38 c intension x[119] != x[240] using generic constraint 2.29/2.38 c intension x[120] != x[121] using generic constraint 2.29/2.38 c intension x[120] != x[122] using generic constraint 2.29/2.38 c intension x[120] != x[140] using generic constraint 2.29/2.38 c intension x[120] != x[151] using generic constraint 2.29/2.39 c intension x[120] != x[154] using generic constraint 2.29/2.39 c intension x[120] != x[163] using generic constraint 2.29/2.39 c intension x[120] != x[186] using generic constraint 2.29/2.39 c intension x[120] != x[196] using generic constraint 2.29/2.39 c intension x[120] != x[203] using generic constraint 2.29/2.39 c intension x[120] != x[208] using generic constraint 2.29/2.39 c intension x[120] != x[211] using generic constraint 2.29/2.39 c intension x[120] != x[241] using generic constraint 2.29/2.39 c intension x[121] != x[160] using generic constraint 2.29/2.39 c intension x[121] != x[163] using generic constraint 2.29/2.40 c intension x[121] != x[165] using generic constraint 2.39/2.40 c intension x[121] != x[169] using generic constraint 2.39/2.40 c intension x[121] != x[185] using generic constraint 2.39/2.40 c intension x[121] != x[195] using generic constraint 2.39/2.40 c intension x[121] != x[207] using generic constraint 2.39/2.40 c intension x[121] != x[211] using generic constraint 2.39/2.40 c intension x[121] != x[214] using generic constraint 2.39/2.40 c intension x[121] != x[239] using generic constraint 2.39/2.40 c intension x[121] != x[244] using generic constraint 2.39/2.40 c intension x[122] != x[129] using generic constraint 2.39/2.40 c intension x[122] != x[133] using generic constraint 2.39/2.41 c intension x[122] != x[139] using generic constraint 2.39/2.41 c intension x[122] != x[142] using generic constraint 2.39/2.41 c intension x[122] != x[146] using generic constraint 2.39/2.41 c intension x[122] != x[148] using generic constraint 2.39/2.41 c intension x[122] != x[162] using generic constraint 2.39/2.41 c intension x[122] != x[166] using generic constraint 2.39/2.41 c intension x[122] != x[169] using generic constraint 2.39/2.41 c intension x[122] != x[175] using generic constraint 2.39/2.41 c intension x[122] != x[198] using generic constraint 2.39/2.41 c intension x[122] != x[199] using generic constraint 2.39/2.41 c intension x[122] != x[203] using generic constraint 2.39/2.42 c intension x[122] != x[225] using generic constraint 2.39/2.42 c intension x[122] != x[229] using generic constraint 2.39/2.42 c intension x[122] != x[237] using generic constraint 2.39/2.42 c intension x[122] != x[239] using generic constraint 2.39/2.42 c intension x[122] != x[240] using generic constraint 2.39/2.42 c intension x[122] != x[242] using generic constraint 2.39/2.42 c intension x[123] != x[125] using generic constraint 2.39/2.42 c intension x[123] != x[143] using generic constraint 2.39/2.42 c intension x[123] != x[150] using generic constraint 2.39/2.42 c intension x[123] != x[151] using generic constraint 2.39/2.43 c intension x[123] != x[166] using generic constraint 2.39/2.43 c intension x[123] != x[168] using generic constraint 2.39/2.43 c intension x[123] != x[171] using generic constraint 2.39/2.43 c intension x[123] != x[173] using generic constraint 2.39/2.43 c intension x[123] != x[182] using generic constraint 2.39/2.43 c intension x[123] != x[196] using generic constraint 2.39/2.43 c intension x[123] != x[207] using generic constraint 2.39/2.43 c intension x[123] != x[215] using generic constraint 2.39/2.43 c intension x[123] != x[222] using generic constraint 2.39/2.43 c intension x[123] != x[242] using generic constraint 2.39/2.44 c intension x[123] != x[245] using generic constraint 2.39/2.44 c intension x[124] != x[125] using generic constraint 2.39/2.44 c intension x[124] != x[136] using generic constraint 2.39/2.44 c intension x[124] != x[162] using generic constraint 2.39/2.44 c intension x[124] != x[174] using generic constraint 2.39/2.44 c intension x[124] != x[181] using generic constraint 2.39/2.44 c intension x[124] != x[189] using generic constraint 2.39/2.44 c intension x[124] != x[196] using generic constraint 2.39/2.44 c intension x[124] != x[205] using generic constraint 2.39/2.45 c intension x[124] != x[218] using generic constraint 2.39/2.45 c intension x[124] != x[229] using generic constraint 2.39/2.45 c intension x[124] != x[234] using generic constraint 2.39/2.45 c intension x[124] != x[248] using generic constraint 2.39/2.45 c intension x[125] != x[131] using generic constraint 2.39/2.45 c intension x[125] != x[147] using generic constraint 2.39/2.45 c intension x[125] != x[152] using generic constraint 2.39/2.45 c intension x[125] != x[166] using generic constraint 2.39/2.45 c intension x[125] != x[187] using generic constraint 2.39/2.45 c intension x[125] != x[193] using generic constraint 2.39/2.46 c intension x[125] != x[194] using generic constraint 2.39/2.46 c intension x[125] != x[215] using generic constraint 2.39/2.46 c intension x[125] != x[229] using generic constraint 2.39/2.46 c intension x[125] != x[237] using generic constraint 2.39/2.46 c intension x[125] != x[245] using generic constraint 2.39/2.46 c intension x[126] != x[153] using generic constraint 2.39/2.46 c intension x[126] != x[164] using generic constraint 2.39/2.46 c intension x[126] != x[171] using generic constraint 2.39/2.46 c intension x[126] != x[187] using generic constraint 2.39/2.46 c intension x[126] != x[197] using generic constraint 2.39/2.47 c intension x[126] != x[199] using generic constraint 2.39/2.47 c intension x[126] != x[216] using generic constraint 2.39/2.47 c intension x[126] != x[218] using generic constraint 2.39/2.47 c intension x[126] != x[227] using generic constraint 2.39/2.47 c intension x[126] != x[242] using generic constraint 2.39/2.47 c intension x[127] != x[129] using generic constraint 2.39/2.47 c intension x[127] != x[140] using generic constraint 2.39/2.47 c intension x[127] != x[153] using generic constraint 2.39/2.47 c intension x[127] != x[190] using generic constraint 2.39/2.47 c intension x[127] != x[192] using generic constraint 2.39/2.48 c intension x[127] != x[206] using generic constraint 2.39/2.48 c intension x[127] != x[218] using generic constraint 2.39/2.48 c intension x[127] != x[241] using generic constraint 2.39/2.48 c intension x[127] != x[242] using generic constraint 2.39/2.48 c intension x[128] != x[131] using generic constraint 2.39/2.48 c intension x[128] != x[146] using generic constraint 2.39/2.48 c intension x[128] != x[149] using generic constraint 2.39/2.48 c intension x[128] != x[170] using generic constraint 2.39/2.48 c intension x[128] != x[180] using generic constraint 2.39/2.48 c intension x[128] != x[184] using generic constraint 2.39/2.49 c intension x[128] != x[187] using generic constraint 2.39/2.49 c intension x[128] != x[189] using generic constraint 2.39/2.49 c intension x[128] != x[191] using generic constraint 2.39/2.49 c intension x[128] != x[193] using generic constraint 2.39/2.49 c intension x[128] != x[209] using generic constraint 2.39/2.49 c intension x[128] != x[243] using generic constraint 2.39/2.49 c intension x[128] != x[245] using generic constraint 2.39/2.49 c intension x[128] != x[248] using generic constraint 2.39/2.49 c intension x[129] != x[141] using generic constraint 2.39/2.49 c intension x[129] != x[152] using generic constraint 2.49/2.50 c intension x[129] != x[156] using generic constraint 2.49/2.50 c intension x[129] != x[160] using generic constraint 2.49/2.50 c intension x[129] != x[168] using generic constraint 2.49/2.50 c intension x[129] != x[175] using generic constraint 2.49/2.50 c intension x[129] != x[200] using generic constraint 2.49/2.50 c intension x[129] != x[214] using generic constraint 2.49/2.50 c intension x[129] != x[231] using generic constraint 2.49/2.50 c intension x[130] != x[135] using generic constraint 2.49/2.50 c intension x[130] != x[148] using generic constraint 2.49/2.50 c intension x[130] != x[178] using generic constraint 2.49/2.51 c intension x[130] != x[180] using generic constraint 2.49/2.51 c intension x[130] != x[205] using generic constraint 2.49/2.51 c intension x[130] != x[209] using generic constraint 2.49/2.51 c intension x[130] != x[214] using generic constraint 2.49/2.51 c intension x[130] != x[241] using generic constraint 2.49/2.51 c intension x[131] != x[149] using generic constraint 2.49/2.51 c intension x[131] != x[153] using generic constraint 2.49/2.51 c intension x[131] != x[163] using generic constraint 2.49/2.51 c intension x[131] != x[165] using generic constraint 2.49/2.51 c intension x[131] != x[200] using generic constraint 2.49/2.52 c intension x[131] != x[205] using generic constraint 2.49/2.52 c intension x[131] != x[216] using generic constraint 2.49/2.52 c intension x[131] != x[245] using generic constraint 2.49/2.52 c intension x[131] != x[249] using generic constraint 2.49/2.52 c intension x[132] != x[148] using generic constraint 2.49/2.52 c intension x[132] != x[152] using generic constraint 2.49/2.52 c intension x[132] != x[177] using generic constraint 2.49/2.52 c intension x[132] != x[202] using generic constraint 2.49/2.52 c intension x[132] != x[213] using generic constraint 2.49/2.52 c intension x[132] != x[221] using generic constraint 2.49/2.53 c intension x[132] != x[223] using generic constraint 2.49/2.53 c intension x[132] != x[231] using generic constraint 2.49/2.53 c intension x[132] != x[234] using generic constraint 2.49/2.53 c intension x[132] != x[244] using generic constraint 2.49/2.53 c intension x[133] != x[145] using generic constraint 2.49/2.53 c intension x[133] != x[146] using generic constraint 2.49/2.53 c intension x[133] != x[147] using generic constraint 2.49/2.53 c intension x[133] != x[157] using generic constraint 2.49/2.53 c intension x[133] != x[159] using generic constraint 2.49/2.53 c intension x[133] != x[160] using generic constraint 2.49/2.54 c intension x[133] != x[174] using generic constraint 2.49/2.54 c intension x[133] != x[184] using generic constraint 2.49/2.54 c intension x[133] != x[187] using generic constraint 2.49/2.54 c intension x[133] != x[211] using generic constraint 2.49/2.54 c intension x[133] != x[227] using generic constraint 2.49/2.54 c intension x[133] != x[233] using generic constraint 2.49/2.54 c intension x[133] != x[244] using generic constraint 2.49/2.54 c intension x[133] != x[248] using generic constraint 2.49/2.54 c intension x[134] != x[143] using generic constraint 2.49/2.54 c intension x[134] != x[151] using generic constraint 2.49/2.55 c intension x[134] != x[158] using generic constraint 2.49/2.55 c intension x[134] != x[166] using generic constraint 2.49/2.55 c intension x[134] != x[170] using generic constraint 2.49/2.55 c intension x[134] != x[195] using generic constraint 2.49/2.55 c intension x[134] != x[196] using generic constraint 2.49/2.55 c intension x[134] != x[209] using generic constraint 2.49/2.55 c intension x[134] != x[212] using generic constraint 2.49/2.55 c intension x[134] != x[213] using generic constraint 2.49/2.55 c intension x[134] != x[222] using generic constraint 2.49/2.56 c intension x[134] != x[233] using generic constraint 2.49/2.56 c intension x[134] != x[238] using generic constraint 2.49/2.56 c intension x[134] != x[246] using generic constraint 2.49/2.56 c intension x[135] != x[145] using generic constraint 2.49/2.56 c intension x[135] != x[151] using generic constraint 2.49/2.56 c intension x[135] != x[176] using generic constraint 2.49/2.56 c intension x[135] != x[179] using generic constraint 2.49/2.56 c intension x[135] != x[188] using generic constraint 2.49/2.56 c intension x[135] != x[210] using generic constraint 2.49/2.56 c intension x[135] != x[220] using generic constraint 2.49/2.57 c intension x[135] != x[224] using generic constraint 2.49/2.57 c intension x[135] != x[230] using generic constraint 2.49/2.57 c intension x[135] != x[247] using generic constraint 2.49/2.57 c intension x[136] != x[138] using generic constraint 2.49/2.57 c intension x[136] != x[142] using generic constraint 2.49/2.57 c intension x[136] != x[143] using generic constraint 2.49/2.57 c intension x[136] != x[150] using generic constraint 2.49/2.57 c intension x[136] != x[151] using generic constraint 2.49/2.57 c intension x[136] != x[155] using generic constraint 2.49/2.57 c intension x[136] != x[170] using generic constraint 2.49/2.58 c intension x[136] != x[178] using generic constraint 2.49/2.58 c intension x[136] != x[184] using generic constraint 2.49/2.58 c intension x[136] != x[185] using generic constraint 2.49/2.58 c intension x[136] != x[201] using generic constraint 2.49/2.58 c intension x[136] != x[202] using generic constraint 2.49/2.58 c intension x[136] != x[213] using generic constraint 2.49/2.58 c intension x[136] != x[214] using generic constraint 2.49/2.58 c intension x[136] != x[229] using generic constraint 2.49/2.58 c intension x[136] != x[249] using generic constraint 2.49/2.58 c intension x[137] != x[170] using generic constraint 2.49/2.59 c intension x[137] != x[178] using generic constraint 2.49/2.59 c intension x[137] != x[181] using generic constraint 2.49/2.59 c intension x[137] != x[189] using generic constraint 2.49/2.59 c intension x[137] != x[190] using generic constraint 2.49/2.59 c intension x[137] != x[205] using generic constraint 2.49/2.59 c intension x[137] != x[230] using generic constraint 2.49/2.59 c intension x[137] != x[236] using generic constraint 2.49/2.59 c intension x[137] != x[238] using generic constraint 2.49/2.59 c intension x[137] != x[249] using generic constraint 2.49/2.59 c intension x[138] != x[143] using generic constraint 2.59/2.60 c intension x[138] != x[148] using generic constraint 2.59/2.60 c intension x[138] != x[154] using generic constraint 2.59/2.60 c intension x[138] != x[156] using generic constraint 2.59/2.60 c intension x[138] != x[170] using generic constraint 2.59/2.60 c intension x[138] != x[178] using generic constraint 2.59/2.60 c intension x[138] != x[189] using generic constraint 2.59/2.60 c intension x[138] != x[192] using generic constraint 2.59/2.60 c intension x[138] != x[196] using generic constraint 2.59/2.60 c intension x[138] != x[204] using generic constraint 2.59/2.60 c intension x[138] != x[222] using generic constraint 2.59/2.61 c intension x[138] != x[237] using generic constraint 2.59/2.61 c intension x[138] != x[239] using generic constraint 2.59/2.61 c intension x[139] != x[140] using generic constraint 2.59/2.61 c intension x[139] != x[160] using generic constraint 2.59/2.61 c intension x[139] != x[170] using generic constraint 2.59/2.61 c intension x[139] != x[173] using generic constraint 2.59/2.61 c intension x[139] != x[181] using generic constraint 2.59/2.61 c intension x[139] != x[196] using generic constraint 2.59/2.61 c intension x[139] != x[203] using generic constraint 2.59/2.61 c intension x[139] != x[234] using generic constraint 2.59/2.61 c intension x[139] != x[244] using generic constraint 2.59/2.62 c intension x[140] != x[143] using generic constraint 2.59/2.62 c intension x[140] != x[156] using generic constraint 2.59/2.62 c intension x[140] != x[157] using generic constraint 2.59/2.62 c intension x[140] != x[175] using generic constraint 2.59/2.62 c intension x[140] != x[178] using generic constraint 2.59/2.62 c intension x[140] != x[183] using generic constraint 2.59/2.62 c intension x[140] != x[188] using generic constraint 2.59/2.62 c intension x[140] != x[196] using generic constraint 2.59/2.62 c intension x[140] != x[205] using generic constraint 2.59/2.62 c intension x[140] != x[226] using generic constraint 2.59/2.62 c intension x[140] != x[239] using generic constraint 2.59/2.63 c intension x[141] != x[148] using generic constraint 2.59/2.63 c intension x[141] != x[189] using generic constraint 2.59/2.63 c intension x[141] != x[191] using generic constraint 2.59/2.63 c intension x[141] != x[192] using generic constraint 2.59/2.63 c intension x[141] != x[200] using generic constraint 2.59/2.63 c intension x[141] != x[223] using generic constraint 2.59/2.63 c intension x[141] != x[226] using generic constraint 2.59/2.63 c intension x[141] != x[247] using generic constraint 2.59/2.63 c intension x[142] != x[164] using generic constraint 2.59/2.64 c intension x[142] != x[167] using generic constraint 2.59/2.64 c intension x[142] != x[175] using generic constraint 2.59/2.64 c intension x[142] != x[179] using generic constraint 2.59/2.64 c intension x[142] != x[194] using generic constraint 2.59/2.64 c intension x[142] != x[195] using generic constraint 2.59/2.64 c intension x[142] != x[196] using generic constraint 2.59/2.64 c intension x[142] != x[207] using generic constraint 2.59/2.64 c intension x[142] != x[214] using generic constraint 2.59/2.64 c intension x[142] != x[219] using generic constraint 2.59/2.64 c intension x[142] != x[237] using generic constraint 2.59/2.65 c intension x[142] != x[238] using generic constraint 2.59/2.65 c intension x[143] != x[150] using generic constraint 2.59/2.65 c intension x[143] != x[151] using generic constraint 2.59/2.65 c intension x[143] != x[152] using generic constraint 2.59/2.65 c intension x[143] != x[158] using generic constraint 2.59/2.65 c intension x[143] != x[179] using generic constraint 2.59/2.65 c intension x[143] != x[205] using generic constraint 2.59/2.65 c intension x[143] != x[212] using generic constraint 2.59/2.65 c intension x[143] != x[223] using generic constraint 2.59/2.65 c intension x[143] != x[235] using generic constraint 2.59/2.66 c intension x[143] != x[244] using generic constraint 2.59/2.66 c intension x[143] != x[247] using generic constraint 2.59/2.66 c intension x[144] != x[149] using generic constraint 2.59/2.66 c intension x[144] != x[154] using generic constraint 2.59/2.66 c intension x[144] != x[171] using generic constraint 2.59/2.66 c intension x[144] != x[176] using generic constraint 2.59/2.66 c intension x[144] != x[182] using generic constraint 2.59/2.66 c intension x[144] != x[186] using generic constraint 2.59/2.66 c intension x[144] != x[196] using generic constraint 2.59/2.66 c intension x[144] != x[202] using generic constraint 2.59/2.67 c intension x[144] != x[204] using generic constraint 2.59/2.67 c intension x[144] != x[218] using generic constraint 2.59/2.67 c intension x[144] != x[227] using generic constraint 2.59/2.67 c intension x[145] != x[153] using generic constraint 2.59/2.67 c intension x[145] != x[164] using generic constraint 2.59/2.67 c intension x[145] != x[190] using generic constraint 2.59/2.67 c intension x[145] != x[191] using generic constraint 2.59/2.67 c intension x[145] != x[201] using generic constraint 2.59/2.67 c intension x[145] != x[211] using generic constraint 2.59/2.67 c intension x[145] != x[220] using generic constraint 2.59/2.68 c intension x[145] != x[228] using generic constraint 2.59/2.68 c intension x[145] != x[230] using generic constraint 2.59/2.68 c intension x[145] != x[234] using generic constraint 2.59/2.68 c intension x[145] != x[240] using generic constraint 2.59/2.68 c intension x[146] != x[150] using generic constraint 2.59/2.68 c intension x[146] != x[151] using generic constraint 2.59/2.68 c intension x[146] != x[155] using generic constraint 2.59/2.68 c intension x[146] != x[159] using generic constraint 2.59/2.68 c intension x[146] != x[165] using generic constraint 2.59/2.69 c intension x[146] != x[174] using generic constraint 2.59/2.69 c intension x[146] != x[182] using generic constraint 2.59/2.69 c intension x[146] != x[183] using generic constraint 2.59/2.69 c intension x[146] != x[197] using generic constraint 2.59/2.69 c intension x[146] != x[219] using generic constraint 2.59/2.69 c intension x[146] != x[221] using generic constraint 2.59/2.69 c intension x[146] != x[227] using generic constraint 2.59/2.69 c intension x[146] != x[237] using generic constraint 2.59/2.69 c intension x[146] != x[240] using generic constraint 2.59/2.69 c intension x[146] != x[246] using generic constraint 2.59/2.70 c intension x[147] != x[165] using generic constraint 2.69/2.70 c intension x[147] != x[166] using generic constraint 2.69/2.70 c intension x[147] != x[171] using generic constraint 2.69/2.70 c intension x[147] != x[208] using generic constraint 2.69/2.70 c intension x[147] != x[227] using generic constraint 2.69/2.70 c intension x[148] != x[159] using generic constraint 2.69/2.70 c intension x[148] != x[163] using generic constraint 2.69/2.70 c intension x[148] != x[179] using generic constraint 2.69/2.70 c intension x[148] != x[180] using generic constraint 2.69/2.70 c intension x[148] != x[186] using generic constraint 2.69/2.70 c intension x[149] != x[152] using generic constraint 2.69/2.71 c intension x[149] != x[164] using generic constraint 2.69/2.71 c intension x[149] != x[182] using generic constraint 2.69/2.71 c intension x[149] != x[205] using generic constraint 2.69/2.71 c intension x[149] != x[206] using generic constraint 2.69/2.71 c intension x[149] != x[213] using generic constraint 2.69/2.71 c intension x[149] != x[221] using generic constraint 2.69/2.71 c intension x[149] != x[222] using generic constraint 2.69/2.71 c intension x[149] != x[229] using generic constraint 2.69/2.71 c intension x[149] != x[231] using generic constraint 2.69/2.71 c intension x[149] != x[237] using generic constraint 2.69/2.71 c intension x[149] != x[240] using generic constraint 2.69/2.72 c intension x[149] != x[244] using generic constraint 2.69/2.72 c intension x[149] != x[249] using generic constraint 2.69/2.72 c intension x[150] != x[151] using generic constraint 2.69/2.72 c intension x[150] != x[163] using generic constraint 2.69/2.72 c intension x[150] != x[174] using generic constraint 2.69/2.72 c intension x[150] != x[177] using generic constraint 2.69/2.72 c intension x[150] != x[178] using generic constraint 2.69/2.72 c intension x[150] != x[180] using generic constraint 2.69/2.72 c intension x[150] != x[185] using generic constraint 2.69/2.72 c intension x[150] != x[192] using generic constraint 2.69/2.72 c intension x[150] != x[220] using generic constraint 2.69/2.73 c intension x[150] != x[224] using generic constraint 2.69/2.73 c intension x[150] != x[230] using generic constraint 2.69/2.73 c intension x[150] != x[243] using generic constraint 2.69/2.73 c intension x[151] != x[167] using generic constraint 2.69/2.73 c intension x[151] != x[168] using generic constraint 2.69/2.73 c intension x[151] != x[172] using generic constraint 2.69/2.73 c intension x[151] != x[190] using generic constraint 2.69/2.73 c intension x[151] != x[194] using generic constraint 2.69/2.73 c intension x[151] != x[218] using generic constraint 2.69/2.73 c intension x[151] != x[226] using generic constraint 2.69/2.73 c intension x[151] != x[234] using generic constraint 2.69/2.74 c intension x[152] != x[153] using generic constraint 2.69/2.74 c intension x[152] != x[155] using generic constraint 2.69/2.74 c intension x[152] != x[170] using generic constraint 2.69/2.74 c intension x[152] != x[172] using generic constraint 2.69/2.74 c intension x[152] != x[175] using generic constraint 2.69/2.74 c intension x[152] != x[179] using generic constraint 2.69/2.74 c intension x[152] != x[180] using generic constraint 2.69/2.74 c intension x[152] != x[188] using generic constraint 2.69/2.74 c intension x[152] != x[194] using generic constraint 2.69/2.74 c intension x[152] != x[209] using generic constraint 2.69/2.74 c intension x[152] != x[211] using generic constraint 2.69/2.75 c intension x[152] != x[237] using generic constraint 2.69/2.75 c intension x[152] != x[238] using generic constraint 2.69/2.75 c intension x[152] != x[243] using generic constraint 2.69/2.75 c intension x[152] != x[247] using generic constraint 2.69/2.75 c intension x[153] != x[166] using generic constraint 2.69/2.75 c intension x[153] != x[190] using generic constraint 2.69/2.75 c intension x[153] != x[192] using generic constraint 2.69/2.75 c intension x[153] != x[204] using generic constraint 2.69/2.75 c intension x[153] != x[211] using generic constraint 2.69/2.75 c intension x[153] != x[218] using generic constraint 2.69/2.75 c intension x[153] != x[225] using generic constraint 2.69/2.76 c intension x[153] != x[226] using generic constraint 2.69/2.76 c intension x[153] != x[230] using generic constraint 2.69/2.76 c intension x[153] != x[234] using generic constraint 2.69/2.76 c intension x[153] != x[239] using generic constraint 2.69/2.76 c intension x[153] != x[248] using generic constraint 2.69/2.76 c intension x[154] != x[156] using generic constraint 2.69/2.76 c intension x[154] != x[160] using generic constraint 2.69/2.76 c intension x[154] != x[168] using generic constraint 2.69/2.76 c intension x[154] != x[180] using generic constraint 2.69/2.76 c intension x[154] != x[196] using generic constraint 2.69/2.76 c intension x[154] != x[235] using generic constraint 2.69/2.77 c intension x[154] != x[239] using generic constraint 2.69/2.77 c intension x[154] != x[242] using generic constraint 2.69/2.77 c intension x[154] != x[246] using generic constraint 2.69/2.77 c intension x[155] != x[157] using generic constraint 2.69/2.77 c intension x[155] != x[163] using generic constraint 2.69/2.77 c intension x[155] != x[166] using generic constraint 2.69/2.77 c intension x[155] != x[169] using generic constraint 2.69/2.77 c intension x[155] != x[170] using generic constraint 2.69/2.77 c intension x[155] != x[185] using generic constraint 2.69/2.78 c intension x[155] != x[186] using generic constraint 2.69/2.78 c intension x[155] != x[188] using generic constraint 2.69/2.78 c intension x[155] != x[190] using generic constraint 2.69/2.78 c intension x[155] != x[191] using generic constraint 2.69/2.78 c intension x[155] != x[199] using generic constraint 2.69/2.78 c intension x[155] != x[203] using generic constraint 2.69/2.78 c intension x[155] != x[207] using generic constraint 2.69/2.78 c intension x[155] != x[228] using generic constraint 2.69/2.78 c intension x[155] != x[236] using generic constraint 2.69/2.78 c intension x[155] != x[238] using generic constraint 2.69/2.79 c intension x[155] != x[242] using generic constraint 2.69/2.79 c intension x[155] != x[243] using generic constraint 2.69/2.79 c intension x[156] != x[157] using generic constraint 2.69/2.79 c intension x[156] != x[161] using generic constraint 2.69/2.79 c intension x[156] != x[163] using generic constraint 2.69/2.79 c intension x[156] != x[165] using generic constraint 2.69/2.79 c intension x[156] != x[196] using generic constraint 2.69/2.79 c intension x[156] != x[198] using generic constraint 2.69/2.79 c intension x[156] != x[206] using generic constraint 2.69/2.79 c intension x[156] != x[208] using generic constraint 2.69/2.80 c intension x[156] != x[220] using generic constraint 2.79/2.80 c intension x[156] != x[224] using generic constraint 2.79/2.80 c intension x[156] != x[247] using generic constraint 2.79/2.80 c intension x[157] != x[162] using generic constraint 2.79/2.80 c intension x[157] != x[166] using generic constraint 2.79/2.80 c intension x[157] != x[178] using generic constraint 2.79/2.80 c intension x[157] != x[182] using generic constraint 2.79/2.80 c intension x[157] != x[185] using generic constraint 2.79/2.80 c intension x[157] != x[188] using generic constraint 2.79/2.80 c intension x[157] != x[195] using generic constraint 2.79/2.80 c intension x[157] != x[196] using generic constraint 2.79/2.81 c intension x[157] != x[207] using generic constraint 2.79/2.81 c intension x[157] != x[224] using generic constraint 2.79/2.81 c intension x[157] != x[234] using generic constraint 2.79/2.81 c intension x[158] != x[166] using generic constraint 2.79/2.81 c intension x[158] != x[167] using generic constraint 2.79/2.81 c intension x[158] != x[169] using generic constraint 2.79/2.81 c intension x[158] != x[181] using generic constraint 2.79/2.81 c intension x[158] != x[188] using generic constraint 2.79/2.81 c intension x[158] != x[200] using generic constraint 2.79/2.81 c intension x[158] != x[203] using generic constraint 2.79/2.82 c intension x[158] != x[211] using generic constraint 2.79/2.82 c intension x[158] != x[217] using generic constraint 2.79/2.82 c intension x[158] != x[223] using generic constraint 2.79/2.82 c intension x[158] != x[224] using generic constraint 2.79/2.82 c intension x[158] != x[233] using generic constraint 2.79/2.82 c intension x[158] != x[234] using generic constraint 2.79/2.82 c intension x[158] != x[237] using generic constraint 2.79/2.82 c intension x[158] != x[239] using generic constraint 2.79/2.82 c intension x[158] != x[244] using generic constraint 2.79/2.82 c intension x[158] != x[246] using generic constraint 2.79/2.83 c intension x[158] != x[249] using generic constraint 2.79/2.83 c intension x[159] != x[162] using generic constraint 2.79/2.83 c intension x[159] != x[180] using generic constraint 2.79/2.83 c intension x[159] != x[181] using generic constraint 2.79/2.83 c intension x[159] != x[189] using generic constraint 2.79/2.83 c intension x[159] != x[194] using generic constraint 2.79/2.83 c intension x[159] != x[223] using generic constraint 2.79/2.83 c intension x[159] != x[225] using generic constraint 2.79/2.83 c intension x[159] != x[227] using generic constraint 2.79/2.83 c intension x[160] != x[171] using generic constraint 2.79/2.84 c intension x[160] != x[180] using generic constraint 2.79/2.84 c intension x[160] != x[191] using generic constraint 2.79/2.84 c intension x[160] != x[202] using generic constraint 2.79/2.84 c intension x[160] != x[203] using generic constraint 2.79/2.84 c intension x[160] != x[207] using generic constraint 2.79/2.84 c intension x[160] != x[211] using generic constraint 2.79/2.84 c intension x[160] != x[216] using generic constraint 2.79/2.84 c intension x[160] != x[220] using generic constraint 2.79/2.84 c intension x[160] != x[226] using generic constraint 2.79/2.84 c intension x[160] != x[230] using generic constraint 2.79/2.85 c intension x[160] != x[235] using generic constraint 2.79/2.85 c intension x[160] != x[241] using generic constraint 2.79/2.85 c intension x[160] != x[243] using generic constraint 2.79/2.85 c intension x[161] != x[163] using generic constraint 2.79/2.85 c intension x[161] != x[174] using generic constraint 2.79/2.85 c intension x[161] != x[185] using generic constraint 2.79/2.85 c intension x[161] != x[187] using generic constraint 2.79/2.85 c intension x[161] != x[216] using generic constraint 2.79/2.85 c intension x[161] != x[237] using generic constraint 2.79/2.85 c intension x[161] != x[238] using generic constraint 2.79/2.86 c intension x[161] != x[240] using generic constraint 2.79/2.86 c intension x[161] != x[243] using generic constraint 2.79/2.86 c intension x[161] != x[245] using generic constraint 2.79/2.86 c intension x[161] != x[246] using generic constraint 2.79/2.86 c intension x[161] != x[249] using generic constraint 2.79/2.86 c intension x[162] != x[187] using generic constraint 2.79/2.86 c intension x[162] != x[197] using generic constraint 2.79/2.86 c intension x[162] != x[211] using generic constraint 2.79/2.86 c intension x[162] != x[216] using generic constraint 2.79/2.86 c intension x[162] != x[228] using generic constraint 2.79/2.87 c intension x[162] != x[248] using generic constraint 2.79/2.87 c intension x[163] != x[174] using generic constraint 2.79/2.87 c intension x[163] != x[178] using generic constraint 2.79/2.87 c intension x[163] != x[181] using generic constraint 2.79/2.87 c intension x[163] != x[185] using generic constraint 2.79/2.87 c intension x[163] != x[189] using generic constraint 2.79/2.87 c intension x[163] != x[203] using generic constraint 2.79/2.87 c intension x[163] != x[205] using generic constraint 2.79/2.87 c intension x[163] != x[216] using generic constraint 2.79/2.88 c intension x[163] != x[222] using generic constraint 2.79/2.88 c intension x[163] != x[229] using generic constraint 2.79/2.88 c intension x[163] != x[234] using generic constraint 2.79/2.88 c intension x[163] != x[240] using generic constraint 2.79/2.88 c intension x[163] != x[245] using generic constraint 2.79/2.88 c intension x[164] != x[167] using generic constraint 2.79/2.88 c intension x[164] != x[195] using generic constraint 2.79/2.88 c intension x[164] != x[231] using generic constraint 2.79/2.88 c intension x[164] != x[234] using generic constraint 2.79/2.88 c intension x[164] != x[244] using generic constraint 2.79/2.89 c intension x[164] != x[248] using generic constraint 2.79/2.89 c intension x[165] != x[177] using generic constraint 2.79/2.89 c intension x[165] != x[183] using generic constraint 2.79/2.89 c intension x[165] != x[197] using generic constraint 2.79/2.89 c intension x[165] != x[203] using generic constraint 2.79/2.89 c intension x[165] != x[205] using generic constraint 2.79/2.89 c intension x[165] != x[211] using generic constraint 2.79/2.89 c intension x[165] != x[221] using generic constraint 2.79/2.89 c intension x[165] != x[229] using generic constraint 2.79/2.89 c intension x[165] != x[239] using generic constraint 2.79/2.90 c intension x[165] != x[244] using generic constraint 2.89/2.90 c intension x[165] != x[247] using generic constraint 2.89/2.90 c intension x[165] != x[248] using generic constraint 2.89/2.90 c intension x[166] != x[197] using generic constraint 2.89/2.90 c intension x[166] != x[199] using generic constraint 2.89/2.90 c intension x[167] != x[169] using generic constraint 2.89/2.90 c intension x[167] != x[179] using generic constraint 2.89/2.90 c intension x[167] != x[181] using generic constraint 2.89/2.90 c intension x[167] != x[197] using generic constraint 2.89/2.90 c intension x[167] != x[209] using generic constraint 2.89/2.90 c intension x[167] != x[212] using generic constraint 2.89/2.91 c intension x[167] != x[235] using generic constraint 2.89/2.91 c intension x[168] != x[173] using generic constraint 2.89/2.91 c intension x[168] != x[188] using generic constraint 2.89/2.91 c intension x[168] != x[189] using generic constraint 2.89/2.91 c intension x[168] != x[209] using generic constraint 2.89/2.91 c intension x[168] != x[216] using generic constraint 2.89/2.91 c intension x[168] != x[219] using generic constraint 2.89/2.91 c intension x[168] != x[227] using generic constraint 2.89/2.91 c intension x[168] != x[232] using generic constraint 2.89/2.91 c intension x[168] != x[243] using generic constraint 2.89/2.91 c intension x[168] != x[249] using generic constraint 2.89/2.92 c intension x[169] != x[171] using generic constraint 2.89/2.92 c intension x[169] != x[175] using generic constraint 2.89/2.92 c intension x[169] != x[185] using generic constraint 2.89/2.92 c intension x[169] != x[235] using generic constraint 2.89/2.92 c intension x[170] != x[176] using generic constraint 2.89/2.92 c intension x[170] != x[210] using generic constraint 2.89/2.92 c intension x[170] != x[211] using generic constraint 2.89/2.92 c intension x[170] != x[228] using generic constraint 2.89/2.92 c intension x[170] != x[233] using generic constraint 2.89/2.92 c intension x[170] != x[234] using generic constraint 2.89/2.93 c intension x[170] != x[236] using generic constraint 2.89/2.93 c intension x[170] != x[242] using generic constraint 2.89/2.93 c intension x[170] != x[246] using generic constraint 2.89/2.93 c intension x[171] != x[182] using generic constraint 2.89/2.93 c intension x[171] != x[192] using generic constraint 2.89/2.93 c intension x[171] != x[203] using generic constraint 2.89/2.93 c intension x[171] != x[208] using generic constraint 2.89/2.93 c intension x[171] != x[212] using generic constraint 2.89/2.93 c intension x[171] != x[228] using generic constraint 2.89/2.93 c intension x[171] != x[231] using generic constraint 2.89/2.94 c intension x[171] != x[235] using generic constraint 2.89/2.94 c intension x[171] != x[246] using generic constraint 2.89/2.94 c intension x[172] != x[182] using generic constraint 2.89/2.94 c intension x[172] != x[188] using generic constraint 2.89/2.94 c intension x[172] != x[211] using generic constraint 2.89/2.94 c intension x[172] != x[221] using generic constraint 2.89/2.94 c intension x[172] != x[231] using generic constraint 2.89/2.94 c intension x[172] != x[249] using generic constraint 2.89/2.94 c intension x[173] != x[176] using generic constraint 2.89/2.94 c intension x[173] != x[183] using generic constraint 2.89/2.95 c intension x[173] != x[194] using generic constraint 2.89/2.95 c intension x[173] != x[203] using generic constraint 2.89/2.95 c intension x[173] != x[213] using generic constraint 2.89/2.95 c intension x[173] != x[217] using generic constraint 2.89/2.95 c intension x[173] != x[218] using generic constraint 2.89/2.95 c intension x[173] != x[233] using generic constraint 2.89/2.95 c intension x[173] != x[239] using generic constraint 2.89/2.95 c intension x[174] != x[203] using generic constraint 2.89/2.95 c intension x[174] != x[214] using generic constraint 2.89/2.95 c intension x[174] != x[215] using generic constraint 2.89/2.96 c intension x[174] != x[236] using generic constraint 2.89/2.96 c intension x[175] != x[176] using generic constraint 2.89/2.96 c intension x[175] != x[193] using generic constraint 2.89/2.96 c intension x[175] != x[206] using generic constraint 2.89/2.96 c intension x[175] != x[227] using generic constraint 2.89/2.96 c intension x[175] != x[236] using generic constraint 2.89/2.96 c intension x[175] != x[237] using generic constraint 2.89/2.96 c intension x[175] != x[241] using generic constraint 2.89/2.96 c intension x[176] != x[188] using generic constraint 2.89/2.96 c intension x[176] != x[192] using generic constraint 2.89/2.97 c intension x[176] != x[200] using generic constraint 2.89/2.97 c intension x[176] != x[219] using generic constraint 2.89/2.97 c intension x[176] != x[227] using generic constraint 2.89/2.97 c intension x[176] != x[231] using generic constraint 2.89/2.97 c intension x[176] != x[237] using generic constraint 2.89/2.97 c intension x[176] != x[240] using generic constraint 2.89/2.97 c intension x[176] != x[246] using generic constraint 2.89/2.97 c intension x[177] != x[194] using generic constraint 2.89/2.97 c intension x[177] != x[198] using generic constraint 2.89/2.98 c intension x[178] != x[183] using generic constraint 2.89/2.98 c intension x[178] != x[192] using generic constraint 2.89/2.98 c intension x[178] != x[211] using generic constraint 2.89/2.98 c intension x[178] != x[215] using generic constraint 2.89/2.98 c intension x[178] != x[241] using generic constraint 2.89/2.98 c intension x[178] != x[244] using generic constraint 2.89/2.98 c intension x[179] != x[197] using generic constraint 2.89/2.98 c intension x[179] != x[233] using generic constraint 2.89/2.98 c intension x[180] != x[188] using generic constraint 2.89/2.98 c intension x[180] != x[208] using generic constraint 2.89/2.99 c intension x[180] != x[209] using generic constraint 2.89/2.99 c intension x[180] != x[236] using generic constraint 2.89/2.99 c intension x[180] != x[237] using generic constraint 2.89/2.99 c intension x[181] != x[182] using generic constraint 2.89/2.99 c intension x[181] != x[190] using generic constraint 2.89/2.99 c intension x[181] != x[202] using generic constraint 2.89/2.99 c intension x[181] != x[205] using generic constraint 2.89/2.99 c intension x[181] != x[212] using generic constraint 2.89/2.99 c intension x[181] != x[216] using generic constraint 2.89/2.99 c intension x[181] != x[218] using generic constraint 2.89/3.00 c intension x[181] != x[224] using generic constraint 2.99/3.00 c intension x[181] != x[231] using generic constraint 2.99/3.00 c intension x[181] != x[233] using generic constraint 2.99/3.00 c intension x[181] != x[235] using generic constraint 2.99/3.00 c intension x[181] != x[239] using generic constraint 2.99/3.00 c intension x[181] != x[248] using generic constraint 2.99/3.00 c intension x[182] != x[188] using generic constraint 2.99/3.00 c intension x[182] != x[194] using generic constraint 2.99/3.00 c intension x[182] != x[202] using generic constraint 2.99/3.00 c intension x[182] != x[217] using generic constraint 2.99/3.00 c intension x[182] != x[234] using generic constraint 2.99/3.01 c intension x[182] != x[235] using generic constraint 2.99/3.01 c intension x[182] != x[239] using generic constraint 2.99/3.01 c intension x[182] != x[247] using generic constraint 2.99/3.01 c intension x[183] != x[223] using generic constraint 2.99/3.01 c intension x[183] != x[236] using generic constraint 2.99/3.01 c intension x[183] != x[240] using generic constraint 2.99/3.01 c intension x[184] != x[187] using generic constraint 2.99/3.01 c intension x[184] != x[204] using generic constraint 2.99/3.01 c intension x[184] != x[213] using generic constraint 2.99/3.02 c intension x[184] != x[230] using generic constraint 2.99/3.02 c intension x[185] != x[194] using generic constraint 2.99/3.02 c intension x[185] != x[216] using generic constraint 2.99/3.02 c intension x[185] != x[232] using generic constraint 2.99/3.02 c intension x[185] != x[237] using generic constraint 2.99/3.02 c intension x[186] != x[190] using generic constraint 2.99/3.02 c intension x[186] != x[224] using generic constraint 2.99/3.02 c intension x[186] != x[232] using generic constraint 2.99/3.02 c intension x[186] != x[235] using generic constraint 2.99/3.02 c intension x[186] != x[238] using generic constraint 2.99/3.03 c intension x[186] != x[239] using generic constraint 2.99/3.03 c intension x[186] != x[241] using generic constraint 2.99/3.03 c intension x[186] != x[244] using generic constraint 2.99/3.03 c intension x[186] != x[249] using generic constraint 2.99/3.03 c intension x[187] != x[192] using generic constraint 2.99/3.03 c intension x[187] != x[197] using generic constraint 2.99/3.03 c intension x[187] != x[209] using generic constraint 2.99/3.03 c intension x[187] != x[220] using generic constraint 2.99/3.03 c intension x[187] != x[224] using generic constraint 2.99/3.03 c intension x[187] != x[246] using generic constraint 2.99/3.04 c intension x[188] != x[202] using generic constraint 2.99/3.04 c intension x[188] != x[219] using generic constraint 2.99/3.04 c intension x[188] != x[226] using generic constraint 2.99/3.04 c intension x[188] != x[231] using generic constraint 2.99/3.04 c intension x[189] != x[213] using generic constraint 2.99/3.04 c intension x[189] != x[217] using generic constraint 2.99/3.04 c intension x[189] != x[224] using generic constraint 2.99/3.04 c intension x[189] != x[239] using generic constraint 2.99/3.04 c intension x[189] != x[241] using generic constraint 2.99/3.04 c intension x[189] != x[247] using generic constraint 2.99/3.05 c intension x[190] != x[197] using generic constraint 2.99/3.05 c intension x[190] != x[204] using generic constraint 2.99/3.05 c intension x[190] != x[208] using generic constraint 2.99/3.05 c intension x[191] != x[198] using generic constraint 2.99/3.05 c intension x[191] != x[200] using generic constraint 2.99/3.05 c intension x[191] != x[235] using generic constraint 2.99/3.05 c intension x[191] != x[243] using generic constraint 2.99/3.05 c intension x[192] != x[197] using generic constraint 2.99/3.05 c intension x[192] != x[230] using generic constraint 2.99/3.05 c intension x[192] != x[235] using generic constraint 2.99/3.06 c intension x[193] != x[205] using generic constraint 2.99/3.06 c intension x[193] != x[213] using generic constraint 2.99/3.06 c intension x[193] != x[219] using generic constraint 2.99/3.06 c intension x[193] != x[236] using generic constraint 2.99/3.06 c intension x[194] != x[199] using generic constraint 2.99/3.06 c intension x[194] != x[202] using generic constraint 2.99/3.06 c intension x[194] != x[205] using generic constraint 2.99/3.06 c intension x[194] != x[207] using generic constraint 2.99/3.06 c intension x[194] != x[209] using generic constraint 2.99/3.06 c intension x[194] != x[216] using generic constraint 2.99/3.07 c intension x[194] != x[239] using generic constraint 2.99/3.07 c intension x[194] != x[247] using generic constraint 2.99/3.07 c intension x[195] != x[199] using generic constraint 2.99/3.07 c intension x[195] != x[205] using generic constraint 2.99/3.07 c intension x[195] != x[212] using generic constraint 2.99/3.07 c intension x[195] != x[221] using generic constraint 2.99/3.07 c intension x[195] != x[222] using generic constraint 2.99/3.07 c intension x[195] != x[235] using generic constraint 2.99/3.07 c intension x[195] != x[237] using generic constraint 2.99/3.08 c intension x[195] != x[241] using generic constraint 2.99/3.08 c intension x[195] != x[243] using generic constraint 2.99/3.08 c intension x[195] != x[248] using generic constraint 2.99/3.08 c intension x[196] != x[201] using generic constraint 2.99/3.08 c intension x[196] != x[203] using generic constraint 2.99/3.08 c intension x[196] != x[210] using generic constraint 2.99/3.08 c intension x[196] != x[214] using generic constraint 2.99/3.08 c intension x[196] != x[232] using generic constraint 2.99/3.08 c intension x[196] != x[246] using generic constraint 2.99/3.08 c intension x[196] != x[249] using generic constraint 2.99/3.09 c intension x[197] != x[198] using generic constraint 2.99/3.09 c intension x[197] != x[209] using generic constraint 2.99/3.09 c intension x[197] != x[222] using generic constraint 2.99/3.09 c intension x[197] != x[231] using generic constraint 2.99/3.09 c intension x[197] != x[241] using generic constraint 2.99/3.09 c intension x[197] != x[244] using generic constraint 2.99/3.09 c intension x[197] != x[245] using generic constraint 2.99/3.09 c intension x[198] != x[204] using generic constraint 2.99/3.09 c intension x[198] != x[209] using generic constraint 2.99/3.09 c intension x[198] != x[224] using generic constraint 2.99/3.10 c intension x[198] != x[241] using generic constraint 3.09/3.10 c intension x[199] != x[202] using generic constraint 3.09/3.10 c intension x[199] != x[207] using generic constraint 3.09/3.10 c intension x[199] != x[213] using generic constraint 3.09/3.10 c intension x[199] != x[216] using generic constraint 3.09/3.10 c intension x[199] != x[229] using generic constraint 3.09/3.10 c intension x[199] != x[242] using generic constraint 3.09/3.10 c intension x[200] != x[201] using generic constraint 3.09/3.10 c intension x[200] != x[206] using generic constraint 3.09/3.10 c intension x[200] != x[207] using generic constraint 3.09/3.10 c intension x[200] != x[218] using generic constraint 3.09/3.11 c intension x[200] != x[240] using generic constraint 3.09/3.11 c intension x[200] != x[241] using generic constraint 3.09/3.11 c intension x[200] != x[242] using generic constraint 3.09/3.11 c intension x[201] != x[220] using generic constraint 3.09/3.11 c intension x[201] != x[225] using generic constraint 3.09/3.11 c intension x[201] != x[231] using generic constraint 3.09/3.11 c intension x[202] != x[214] using generic constraint 3.09/3.11 c intension x[202] != x[222] using generic constraint 3.09/3.11 c intension x[202] != x[226] using generic constraint 3.09/3.11 c intension x[202] != x[229] using generic constraint 3.09/3.12 c intension x[202] != x[231] using generic constraint 3.09/3.12 c intension x[202] != x[234] using generic constraint 3.09/3.12 c intension x[202] != x[236] using generic constraint 3.09/3.12 c intension x[203] != x[207] using generic constraint 3.09/3.12 c intension x[203] != x[213] using generic constraint 3.09/3.12 c intension x[203] != x[233] using generic constraint 3.09/3.12 c intension x[203] != x[237] using generic constraint 3.09/3.12 c intension x[203] != x[240] using generic constraint 3.09/3.12 c intension x[204] != x[220] using generic constraint 3.09/3.12 c intension x[204] != x[227] using generic constraint 3.09/3.13 c intension x[204] != x[244] using generic constraint 3.09/3.13 c intension x[204] != x[246] using generic constraint 3.09/3.13 c intension x[204] != x[247] using generic constraint 3.09/3.13 c intension x[205] != x[213] using generic constraint 3.09/3.13 c intension x[205] != x[218] using generic constraint 3.09/3.13 c intension x[205] != x[221] using generic constraint 3.09/3.13 c intension x[205] != x[237] using generic constraint 3.09/3.13 c intension x[205] != x[240] using generic constraint 3.09/3.13 c intension x[205] != x[243] using generic constraint 3.09/3.13 c intension x[206] != x[221] using generic constraint 3.09/3.14 c intension x[206] != x[232] using generic constraint 3.09/3.14 c intension x[206] != x[233] using generic constraint 3.09/3.14 c intension x[206] != x[238] using generic constraint 3.09/3.14 c intension x[206] != x[241] using generic constraint 3.09/3.14 c intension x[207] != x[249] using generic constraint 3.09/3.14 c intension x[208] != x[214] using generic constraint 3.09/3.14 c intension x[208] != x[216] using generic constraint 3.09/3.14 c intension x[208] != x[218] using generic constraint 3.09/3.14 c intension x[208] != x[233] using generic constraint 3.09/3.14 c intension x[208] != x[235] using generic constraint 3.09/3.15 c intension x[208] != x[244] using generic constraint 3.09/3.15 c intension x[208] != x[248] using generic constraint 3.09/3.15 c intension x[209] != x[215] using generic constraint 3.09/3.15 c intension x[209] != x[222] using generic constraint 3.09/3.15 c intension x[209] != x[230] using generic constraint 3.09/3.15 c intension x[209] != x[231] using generic constraint 3.09/3.15 c intension x[209] != x[232] using generic constraint 3.09/3.15 c intension x[209] != x[235] using generic constraint 3.09/3.15 c intension x[210] != x[218] using generic constraint 3.09/3.15 c intension x[210] != x[223] using generic constraint 3.09/3.15 c intension x[210] != x[224] using generic constraint 3.09/3.16 c intension x[210] != x[246] using generic constraint 3.09/3.16 c intension x[210] != x[247] using generic constraint 3.09/3.16 c intension x[211] != x[223] using generic constraint 3.09/3.16 c intension x[211] != x[243] using generic constraint 3.09/3.16 c intension x[212] != x[219] using generic constraint 3.09/3.16 c intension x[212] != x[223] using generic constraint 3.09/3.16 c intension x[212] != x[224] using generic constraint 3.09/3.16 c intension x[212] != x[232] using generic constraint 3.09/3.16 c intension x[212] != x[237] using generic constraint 3.09/3.17 c intension x[212] != x[240] using generic constraint 3.09/3.17 c intension x[212] != x[241] using generic constraint 3.09/3.17 c intension x[212] != x[243] using generic constraint 3.09/3.17 c intension x[212] != x[244] using generic constraint 3.09/3.17 c intension x[213] != x[222] using generic constraint 3.09/3.17 c intension x[213] != x[240] using generic constraint 3.09/3.17 c intension x[213] != x[248] using generic constraint 3.09/3.17 c intension x[214] != x[221] using generic constraint 3.09/3.17 c intension x[214] != x[233] using generic constraint 3.09/3.17 c intension x[214] != x[234] using generic constraint 3.09/3.18 c intension x[214] != x[248] using generic constraint 3.09/3.18 c intension x[214] != x[249] using generic constraint 3.09/3.18 c intension x[215] != x[231] using generic constraint 3.09/3.18 c intension x[215] != x[236] using generic constraint 3.09/3.18 c intension x[216] != x[219] using generic constraint 3.09/3.18 c intension x[216] != x[226] using generic constraint 3.09/3.18 c intension x[216] != x[228] using generic constraint 3.09/3.18 c intension x[216] != x[244] using generic constraint 3.09/3.18 c intension x[216] != x[246] using generic constraint 3.09/3.18 c intension x[217] != x[236] using generic constraint 3.09/3.19 c intension x[217] != x[242] using generic constraint 3.09/3.19 c intension x[219] != x[229] using generic constraint 3.09/3.19 c intension x[219] != x[232] using generic constraint 3.09/3.19 c intension x[219] != x[234] using generic constraint 3.09/3.19 c intension x[219] != x[237] using generic constraint 3.09/3.19 c intension x[219] != x[246] using generic constraint 3.09/3.19 c intension x[220] != x[236] using generic constraint 3.09/3.19 c intension x[220] != x[240] using generic constraint 3.09/3.19 c intension x[221] != x[228] using generic constraint 3.09/3.19 c intension x[221] != x[241] using generic constraint 3.09/3.20 c intension x[221] != x[242] using generic constraint 3.19/3.20 c intension x[221] != x[244] using generic constraint 3.19/3.20 c intension x[222] != x[233] using generic constraint 3.19/3.20 c intension x[222] != x[237] using generic constraint 3.19/3.20 c intension x[222] != x[242] using generic constraint 3.19/3.20 c intension x[222] != x[248] using generic constraint 3.19/3.20 c intension x[223] != x[234] using generic constraint 3.19/3.20 c intension x[224] != x[229] using generic constraint 3.19/3.20 c intension x[224] != x[233] using generic constraint 3.19/3.20 c intension x[224] != x[246] using generic constraint 3.19/3.20 c intension x[225] != x[226] using generic constraint 3.19/3.21 c intension x[225] != x[235] using generic constraint 3.19/3.21 c intension x[225] != x[239] using generic constraint 3.19/3.21 c intension x[225] != x[246] using generic constraint 3.19/3.21 c intension x[226] != x[232] using generic constraint 3.19/3.21 c intension x[226] != x[234] using generic constraint 3.19/3.21 c intension x[227] != x[242] using generic constraint 3.19/3.21 c intension x[228] != x[235] using generic constraint 3.19/3.21 c intension x[228] != x[236] using generic constraint 3.19/3.21 c intension x[229] != x[236] using generic constraint 3.19/3.21 c intension x[229] != x[240] using generic constraint 3.19/3.22 c intension x[229] != x[241] using generic constraint 3.19/3.22 c intension x[230] != x[236] using generic constraint 3.19/3.22 c intension x[230] != x[239] using generic constraint 3.19/3.22 c intension x[230] != x[240] using generic constraint 3.19/3.22 c intension x[230] != x[242] using generic constraint 3.19/3.22 c intension x[232] != x[239] using generic constraint 3.19/3.22 c intension x[232] != x[240] using generic constraint 3.19/3.22 c intension x[233] != x[236] using generic constraint 3.19/3.22 c intension x[233] != x[241] using generic constraint 3.19/3.22 c intension x[234] != x[237] using generic constraint 3.19/3.22 c intension x[234] != x[247] using generic constraint 3.19/3.23 c intension x[234] != x[249] using generic constraint 3.19/3.23 c intension x[235] != x[247] using generic constraint 3.19/3.23 c intension x[236] != x[240] using generic constraint 3.19/3.23 c intension x[236] != x[248] using generic constraint 3.19/3.23 c intension x[238] != x[243] using generic constraint 3.19/3.23 c intension x[239] != x[242] using generic constraint 3.19/3.23 c intension x[239] != x[245] using generic constraint 3.19/3.23 c intension x[239] != x[249] using generic constraint 3.19/3.23 c intension x[241] != x[245] using generic constraint 3.19/3.24 c intension x[242] != x[248] using generic constraint 3.19/3.24 c intension x[245] != x[247] using generic constraint 3.19/3.24 c intension x[247] != x[248] using generic constraint 3.19/3.24 c intension x[248] != x[249] using generic constraint 3.68/3.78 c SAT : Variables: 62500 -- Clauses: 7781500 3.68/3.78 c best=?? lower=0 upper=249 3.68/3.79 c 3.68/3.79 c This is cosoco 1.0 -- 3.68/3.79 c 3.68/3.79 c enable optimization 3.68/3.79 c ========================================[ Problem Statistics ]=========================================== 3.68/3.79 c | 3.68/3.79 c | Parse time : 3.72 s 3.68/3.79 c | 3.68/3.79 c | Variables: 250 3.68/3.79 c | Domain Sizes: 250..250 3.68/3.79 c | 3.68/3.79 c | Constraints: 3219 3.68/3.79 c | Arity: 2..250 -- Binary: 3218 3.68/3.79 c | 3.68/3.79 c | Types: 3.68/3.79 c | (X != Y): 3218 3.68/3.79 c | Max constant: 1 3.68/3.79 c | 3.68/3.79 c ========================================================================================================= 3.68/3.79 o 10 3.68/3.79 c 1 calls to solver: best=10 lower=0 upper=9 3.79/3.80 o 9 3.79/3.85 o 8 3.79/3.85 c 3 calls to solver: best=8 lower=0 upper=7
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240179-1500636024/watcher-4240179-1500636024 -o /tmp/evaluation-result-4240179-1500636024/solver-4240179-1500636024 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500636024-10228 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240179-1500636024.xml pid=10249 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.01 1.42 1.79 2/183 10252 /proc/meminfo: memFree=31117236/32770624 swapFree=6164/835628 [pid=10252] ppid=10249 vsize=27652 CPUtime=0 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 1104 0 0 0 0 0 0 0 20 0 1 0 17043295 28315648 898 33554432000 4194304 5970956 140733612063824 140733612059112 4885488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 6913 898 702 434 0 277 0 [startup+0.100175 s] /proc/loadavg: 1.01 1.42 1.79 2/183 10252 /proc/meminfo: memFree=31117236/32770624 swapFree=6164/835628 [pid=10252] ppid=10249 vsize=27868 CPUtime=0.09 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 1200 0 0 0 9 0 0 0 20 0 1 0 17043295 28536832 1030 33554432000 4194304 5970956 140733612063824 140733612047576 140578903371576 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 6967 1030 743 434 0 331 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27868 [startup+0.200316 s] /proc/loadavg: 1.01 1.42 1.79 2/183 10252 /proc/meminfo: memFree=31117236/32770624 swapFree=6164/835628 [pid=10252] ppid=10249 vsize=27996 CPUtime=0.19 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 1229 0 0 0 19 0 0 0 20 0 1 0 17043295 28667904 1067 33554432000 4194304 5970956 140733612063824 140733612047576 140578903719008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 6999 1067 747 434 0 363 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 27996 [startup+0.300207 s] /proc/loadavg: 1.01 1.42 1.79 2/183 10252 /proc/meminfo: memFree=31117236/32770624 swapFree=6164/835628 [pid=10252] ppid=10249 vsize=28128 CPUtime=0.29 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 1264 0 0 0 29 0 0 0 20 0 1 0 17043295 28803072 1067 33554432000 4194304 5970956 140733612063824 140733612047576 140578903719008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 7032 1067 747 434 0 396 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28128 [startup+0.700286 s] /proc/loadavg: 1.01 1.42 1.79 2/183 10252 /proc/meminfo: memFree=31117236/32770624 swapFree=6164/835628 [pid=10252] ppid=10249 vsize=28656 CPUtime=0.69 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 1404 0 0 0 69 0 0 0 20 0 1 0 17043295 29343744 1198 33554432000 4194304 5970956 140733612063824 140733612047576 140578903719008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 7164 1198 747 434 0 528 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28656 [startup+1.50028 s] /proc/loadavg: 1.01 1.42 1.79 6/200 10288 /proc/meminfo: memFree=31076036/32770624 swapFree=6164/835368 [pid=10252] ppid=10249 vsize=29712 CPUtime=1.49 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 1686 0 0 0 149 0 0 0 20 0 1 0 17043295 30425088 1462 33554432000 4194304 5970956 140733612063824 140733612047576 140578903719008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 7428 1462 747 434 0 792 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29712 [startup+3.10025 s] /proc/loadavg: 1.01 1.41 1.78 2/181 10366 /proc/meminfo: memFree=31114572/32770624 swapFree=6164/835376 [pid=10252] ppid=10249 vsize=31952 CPUtime=3.09 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 2599 0 0 0 309 0 0 0 20 0 1 0 17043295 32718848 2060 33554432000 4194304 5970956 140733612063824 140733612047576 140578903719008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 7988 2060 747 434 0 1352 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31952 [startup+6.30028 s] /proc/loadavg: 1.01 1.41 1.78 3/187 10381 /proc/meminfo: memFree=30793832/32770624 swapFree=6164/835392 [pid=10252] ppid=10249 vsize=354360 CPUtime=6.28 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 52508 0 0 0 622 6 0 0 20 0 1 0 17043295 362864640 77302 33554432000 4194304 5970956 140733612063824 140733612051128 5239672 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77302 794 434 0 81954 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 354360 [startup+12.7003 s] /proc/loadavg: 1.16 1.43 1.78 3/187 10381 /proc/meminfo: memFree=27338408/32770624 swapFree=6164/835396 [pid=10252] ppid=10249 vsize=354360 CPUtime=12.68 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 56307 0 0 0 1261 7 0 0 20 0 1 0 17043295 362864640 77304 33554432000 4194304 5970956 140733612063824 140733612051128 5076409 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77304 794 434 0 81954 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 354360 [startup+25.5003 s] /proc/loadavg: 1.29 1.45 1.79 3/187 10442 /proc/meminfo: memFree=30744928/32770624 swapFree=6164/835464 [pid=10252] ppid=10249 vsize=354360 CPUtime=25.47 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 60537 0 0 0 2540 7 0 0 20 0 1 0 17043295 362864640 77304 33554432000 4194304 5970956 140733612063824 140733612051128 5337501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77304 794 434 0 81954 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 354360 [startup+51.1003 s] /proc/loadavg: 1.53 1.49 1.79 3/187 10442 /proc/meminfo: memFree=30599392/32770624 swapFree=6164/835488 [pid=10252] ppid=10249 vsize=354360 CPUtime=51.05 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 63757 0 0 0 5098 7 0 0 20 0 1 0 17043295 362864640 77304 33554432000 4194304 5970956 140733612063824 140733612051128 5320171 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77304 794 434 0 81954 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 354360 [startup+102.3 s] /proc/loadavg: 1.81 1.58 1.80 3/187 10443 /proc/meminfo: memFree=30598444/32770624 swapFree=6164/835524 [pid=10252] ppid=10249 vsize=354360 CPUtime=102.22 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 66493 0 0 0 10215 7 0 0 20 0 1 0 17043295 362864640 77313 33554432000 4194304 5970956 140733612063824 140733612051128 5250394 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77313 794 434 0 81954 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 354360 [startup+162.3 s] /proc/loadavg: 1.98 1.67 1.82 3/187 10444 /proc/meminfo: memFree=30598112/32770624 swapFree=6164/835556 [pid=10252] ppid=10249 vsize=354360 CPUtime=162.2 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 68404 0 0 0 16213 7 0 0 20 0 1 0 17043295 362864640 77313 33554432000 4194304 5970956 140733612063824 140733612051128 5272693 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77313 794 434 0 81954 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 354360 [startup+222.306 s] /proc/loadavg: 1.99 1.73 1.83 3/187 10445 /proc/meminfo: memFree=30596308/32770624 swapFree=6164/835584 [pid=10252] ppid=10249 vsize=354360 CPUtime=222.2 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 69475 0 0 0 22213 7 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5320184 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 354360 [startup+282.3 s] /proc/loadavg: 2.00 1.78 1.84 3/187 10447 /proc/meminfo: memFree=30594488/32770624 swapFree=6164/835612 [pid=10252] ppid=10249 vsize=354360 CPUtime=282.18 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 70543 0 0 0 28211 7 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5320473 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 354360 [startup+342.3 s] /proc/loadavg: 2.00 1.82 1.85 3/187 10448 /proc/meminfo: memFree=30592780/32770624 swapFree=6164/835660 [pid=10252] ppid=10249 vsize=354360 CPUtime=342.17 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 71612 0 0 0 34210 7 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5320168 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 354360 [startup+402.3 s] /proc/loadavg: 2.00 1.85 1.86 3/187 10449 /proc/meminfo: memFree=30590780/32770624 swapFree=6164/835688 [pid=10252] ppid=10249 vsize=354360 CPUtime=402.16 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 72681 0 0 0 40209 7 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 4908315 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 354360 [startup+462.3 s] /proc/loadavg: 2.05 1.90 1.88 3/187 10451 /proc/meminfo: memFree=30587760/32770624 swapFree=6164/835716 [pid=10252] ppid=10249 vsize=354360 CPUtime=462.15 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 73749 0 0 0 46208 7 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 4908188 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 354360 [startup+522.3 s] /proc/loadavg: 2.02 1.91 1.88 3/187 10452 /proc/meminfo: memFree=30585032/32770624 swapFree=6164/835752 [pid=10252] ppid=10249 vsize=354360 CPUtime=522.14 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 74743 0 0 0 52207 7 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5337501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 354360 [startup+582.3 s] /proc/loadavg: 2.01 1.93 1.89 3/188 10461 /proc/meminfo: memFree=30579772/32770624 swapFree=6164/835784 [pid=10252] ppid=10249 vsize=354360 CPUtime=582.13 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 75887 0 0 0 58206 7 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5076424 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 354360 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.02 2.02 1.97 3/187 10485 /proc/meminfo: memFree=30573528/32770624 swapFree=6164/836308 [pid=10252] ppid=10249 vsize=354360 CPUtime=1541.98 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 92411 0 0 0 154191 7 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5076492 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 1541.98 Current children cumulated vsize (KiB) 354360 [startup+1602.3 s] /proc/loadavg: 2.01 2.01 1.97 3/187 10486 /proc/meminfo: memFree=30573352/32770624 swapFree=6164/836340 [pid=10252] ppid=10249 vsize=354360 CPUtime=1601.96 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 93384 0 0 0 160189 7 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5239682 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 1601.96 Current children cumulated vsize (KiB) 354360 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.97 3/187 10487 /proc/meminfo: memFree=30573360/32770624 swapFree=6164/836364 [pid=10252] ppid=10249 vsize=354360 CPUtime=1661.96 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 94442 0 0 0 166188 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5076409 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 354360 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.97 3/187 10488 /proc/meminfo: memFree=30573360/32770624 swapFree=6164/836400 [pid=10252] ppid=10249 vsize=354360 CPUtime=1721.95 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 95424 0 0 0 172187 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5076424 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 354360 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.97 3/188 10497 /proc/meminfo: memFree=30572476/32770624 swapFree=6164/836424 [pid=10252] ppid=10249 vsize=354360 CPUtime=1781.94 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 96395 0 0 0 178186 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5076528 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 1781.94 Current children cumulated vsize (KiB) 354360 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 1.97 3/188 10498 /proc/meminfo: memFree=30573436/32770624 swapFree=6164/836468 [pid=10252] ppid=10249 vsize=354360 CPUtime=1841.93 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 97488 0 0 0 184185 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5272703 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 1841.93 Current children cumulated vsize (KiB) 354360 [startup+1902.3 s] /proc/loadavg: 2.06 2.03 1.97 3/188 10499 /proc/meminfo: memFree=30573584/32770624 swapFree=6164/836500 [pid=10252] ppid=10249 vsize=354360 CPUtime=1901.92 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 98479 0 0 0 190184 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5320171 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 1901.92 Current children cumulated vsize (KiB) 354360 [startup+1962.3 s] /proc/loadavg: 2.09 2.04 1.98 3/188 10500 /proc/meminfo: memFree=30573620/32770624 swapFree=6164/836532 [pid=10252] ppid=10249 vsize=354360 CPUtime=1961.91 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 99481 0 0 0 196183 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5076445 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 1961.91 Current children cumulated vsize (KiB) 354360 [startup+2022.3 s] /proc/loadavg: 2.03 2.03 1.98 3/188 10501 /proc/meminfo: memFree=30573752/32770624 swapFree=6164/836556 [pid=10252] ppid=10249 vsize=354360 CPUtime=2021.9 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 100528 0 0 0 202182 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5076440 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 2021.9 Current children cumulated vsize (KiB) 354360 [startup+2082.3 s] /proc/loadavg: 2.01 2.03 1.98 3/187 10503 /proc/meminfo: memFree=30573644/32770624 swapFree=6164/836588 [pid=10252] ppid=10249 vsize=354360 CPUtime=2081.9 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 101500 0 0 0 208182 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5327850 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 2081.9 Current children cumulated vsize (KiB) 354360 [startup+2142.3 s] /proc/loadavg: 2.00 2.02 1.98 3/187 10504 /proc/meminfo: memFree=30573628/32770624 swapFree=6164/836632 [pid=10252] ppid=10249 vsize=354360 CPUtime=2141.88 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 102474 0 0 0 214180 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5320243 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 2141.88 Current children cumulated vsize (KiB) 354360 [startup+2202.31 s] /proc/loadavg: 2.00 2.02 1.98 3/187 10505 /proc/meminfo: memFree=30573604/32770624 swapFree=6164/836660 [pid=10252] ppid=10249 vsize=354360 CPUtime=2201.88 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 103558 0 0 0 220180 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5320151 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 2201.88 Current children cumulated vsize (KiB) 354360 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10507 /proc/meminfo: memFree=30573480/32770624 swapFree=6164/836688 [pid=10252] ppid=10249 vsize=354360 CPUtime=2261.86 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 104541 0 0 0 226178 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5272627 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 2261.86 Current children cumulated vsize (KiB) 354360 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10508 /proc/meminfo: memFree=30573604/32770624 swapFree=6164/836732 [pid=10252] ppid=10249 vsize=354360 CPUtime=2321.85 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 105504 0 0 0 232177 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5076539 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 2321.85 Current children cumulated vsize (KiB) 354360 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10516 /proc/meminfo: memFree=30572464/32770624 swapFree=6164/836756 [pid=10252] ppid=10249 vsize=354360 CPUtime=2381.84 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 106467 0 0 0 238176 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 5337501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 2381.84 Current children cumulated vsize (KiB) 354360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.5 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10516 /proc/meminfo: memFree=30572664/32770624 swapFree=6164/836768 [pid=10252] ppid=10249 vsize=354360 CPUtime=2400.04 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 107081 0 0 0 239996 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 4908295 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 354360 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 10252 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.5 s] /proc/loadavg: 2.00 2.01 1.98 3/187 10516 /proc/meminfo: memFree=30572664/32770624 swapFree=6164/836768 [pid=10252] ppid=10249 vsize=354360 CPUtime=2400.04 cores=0,2,4,6 /proc/10252/stat : 10252 (cosoco) R 10249 10252 3831 0 -1 4202496 107081 0 0 0 239996 8 0 0 20 0 1 0 17043295 362864640 77509 33554432000 4194304 5970956 140733612063824 140733612051128 4908295 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31776768 140733612070076 140733612070211 140733612070211 140733612072910 0 /proc/10252/statm: 88590 77509 794 434 0 81954 0 Current children cumulated CPU time (s) 2400.04 Current children cumulated vsize (KiB) 354360 Child status: 1 Real time (s): 2400.5 CPU time (s): 2400.05 CPU user time (s): 2399.96 CPU system time (s): 0.085985 CPU usage (%): 99.9811 Max. virtual memory (cumulated for all children) (KiB): 354360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.96 system time used= 0.085985 maximum resident set size= 310084 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107109 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= 94 involuntary context switches= 120632 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.82064 second user time and 8.50471 second system time The end
Begin job on node139 at 2017-07-21 13:20:24 IDJOB=4240179 IDBENCH=120626 IDSOLVER=2621 FILE ID=node139/4240179-1500636024 RUNJOBID= node139-1500636024-10228 PBS_JOBID= 20622994 Free space on /tmp= 62000 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-dsjc-250-1.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240179-1500636024/watcher-4240179-1500636024 -o /tmp/evaluation-result-4240179-1500636024/solver-4240179-1500636024 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500636024-10228 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240179-1500636024.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4a78676e15c4a516bf0316b10322151a RANDOM SEED=904211546 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.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.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 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 : 1867.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.86 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 : 1600.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 : 1600.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.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 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 : 1600.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.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 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: 31119976 kB MemAvailable: 32015468 kB Buffers: 162728 kB Cached: 1010716 kB SwapCached: 0 kB Active: 382400 kB Inactive: 844512 kB Active(anon): 55672 kB Inactive(anon): 8884 kB Active(file): 326728 kB Inactive(file): 835628 kB Unevictable: 6164 kB Mlocked: 6164 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2424 kB Writeback: 0 kB AnonPages: 63056 kB Mapped: 32708 kB Shmem: 8852 kB Slab: 123084 kB SReclaimable: 97944 kB SUnreclaim: 25140 kB KernelStack: 3456 kB PageTables: 5000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 309100 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 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: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 61992 MiB End job on node139 at 2017-07-21 14:00:25