Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-sat 1.12 | SAT (TO) | 8 | 2519.6101 | 2520.01 |
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.01/0.13 c intension x[0] != x[20] using generic constraint 0.01/0.13 c intension x[0] != x[33] using generic constraint 0.01/0.13 c intension x[0] != x[44] using generic constraint 0.01/0.13 c intension x[0] != x[47] using generic constraint 0.01/0.13 c intension x[0] != x[64] using generic constraint 0.01/0.13 c intension x[0] != x[69] using generic constraint 0.01/0.13 c intension x[0] != x[73] using generic constraint 0.01/0.14 c intension x[0] != x[78] using generic constraint 0.01/0.14 c intension x[0] != x[84] using generic constraint 0.01/0.14 c intension x[0] != x[87] using generic constraint 0.01/0.14 c intension x[0] != x[89] using generic constraint 0.01/0.14 c intension x[0] != x[92] using generic constraint 0.01/0.14 c intension x[0] != x[96] using generic constraint 0.01/0.14 c intension x[0] != x[102] using generic constraint 0.01/0.14 c intension x[0] != x[109] using generic constraint 0.01/0.14 c intension x[0] != x[111] using generic constraint 0.01/0.14 c intension x[0] != x[116] using generic constraint 0.01/0.14 c intension x[0] != x[122] using generic constraint 0.01/0.14 c intension x[0] != x[130] using generic constraint 0.01/0.15 c intension x[0] != x[131] using generic constraint 0.01/0.15 c intension x[0] != x[132] using generic constraint 0.01/0.15 c intension x[0] != x[133] using generic constraint 0.01/0.15 c intension x[0] != x[152] using generic constraint 0.01/0.15 c intension x[0] != x[166] using generic constraint 0.01/0.15 c intension x[0] != x[167] using generic constraint 0.01/0.15 c intension x[0] != x[173] using generic constraint 0.01/0.15 c intension x[0] != x[176] using generic constraint 0.01/0.15 c intension x[0] != x[191] using generic constraint 0.01/0.15 c intension x[0] != x[194] using generic constraint 0.01/0.15 c intension x[0] != x[195] using generic constraint 0.01/0.15 c intension x[0] != x[197] using generic constraint 0.01/0.16 c intension x[0] != x[202] using generic constraint 0.01/0.16 c intension x[0] != x[221] using generic constraint 0.01/0.16 c intension x[0] != x[230] using generic constraint 0.01/0.16 c intension x[0] != x[240] using generic constraint 0.01/0.16 c intension x[0] != x[241] using generic constraint 0.01/0.16 c intension x[0] != x[244] using generic constraint 0.01/0.16 c intension x[1] != x[4] using generic constraint 0.01/0.16 c intension x[1] != x[16] using generic constraint 0.01/0.16 c intension x[1] != x[40] using generic constraint 0.01/0.16 c intension x[1] != x[43] using generic constraint 0.01/0.16 c intension x[1] != x[50] using generic constraint 0.01/0.17 c intension x[1] != x[60] using generic constraint 0.01/0.17 c intension x[1] != x[77] using generic constraint 0.01/0.17 c intension x[1] != x[80] using generic constraint 0.01/0.17 c intension x[1] != x[86] using generic constraint 0.01/0.17 c intension x[1] != x[97] using generic constraint 0.01/0.17 c intension x[1] != x[127] using generic constraint 0.01/0.17 c intension x[1] != x[152] using generic constraint 0.01/0.17 c intension x[1] != x[163] using generic constraint 0.01/0.17 c intension x[1] != x[186] using generic constraint 0.01/0.17 c intension x[1] != x[195] using generic constraint 0.01/0.17 c intension x[1] != x[196] using generic constraint 0.01/0.17 c intension x[1] != x[199] using generic constraint 0.01/0.18 c intension x[1] != x[205] using generic constraint 0.01/0.18 c intension x[1] != x[210] using generic constraint 0.01/0.18 c intension x[1] != x[217] using generic constraint 0.01/0.18 c intension x[1] != x[241] using generic constraint 0.01/0.18 c intension x[1] != x[248] using generic constraint 0.01/0.18 c intension x[2] != x[5] using generic constraint 0.01/0.18 c intension x[2] != x[6] using generic constraint 0.01/0.18 c intension x[2] != x[12] using generic constraint 0.01/0.18 c intension x[2] != x[13] using generic constraint 0.01/0.18 c intension x[2] != x[19] using generic constraint 0.01/0.18 c intension x[2] != x[33] using generic constraint 0.01/0.18 c intension x[2] != x[44] using generic constraint 0.01/0.19 c intension x[2] != x[47] using generic constraint 0.01/0.19 c intension x[2] != x[51] using generic constraint 0.01/0.19 c intension x[2] != x[58] using generic constraint 0.01/0.19 c intension x[2] != x[65] using generic constraint 0.01/0.19 c intension x[2] != x[68] using generic constraint 0.01/0.19 c intension x[2] != x[79] using generic constraint 0.01/0.19 c intension x[2] != x[93] using generic constraint 0.01/0.19 c intension x[2] != x[111] using generic constraint 0.01/0.19 c intension x[2] != x[116] using generic constraint 0.01/0.19 c intension x[2] != x[117] using generic constraint 0.01/0.19 c intension x[2] != x[127] using generic constraint 0.01/0.20 c intension x[2] != x[157] using generic constraint 0.01/0.20 c intension x[2] != x[173] using generic constraint 0.01/0.20 c intension x[2] != x[176] using generic constraint 0.01/0.20 c intension x[2] != x[183] using generic constraint 0.01/0.20 c intension x[2] != x[188] using generic constraint 0.01/0.20 c intension x[2] != x[220] using generic constraint 0.01/0.20 c intension x[3] != x[5] using generic constraint 0.01/0.20 c intension x[3] != x[18] using generic constraint 0.01/0.20 c intension x[3] != x[39] using generic constraint 0.01/0.20 c intension x[3] != x[40] using generic constraint 0.01/0.20 c intension x[3] != x[56] using generic constraint 0.01/0.20 c intension x[3] != x[68] using generic constraint 0.01/0.21 c intension x[3] != x[70] using generic constraint 0.01/0.21 c intension x[3] != x[89] using generic constraint 0.01/0.21 c intension x[3] != x[108] using generic constraint 0.01/0.21 c intension x[3] != x[116] using generic constraint 0.01/0.21 c intension x[3] != x[129] using generic constraint 0.01/0.21 c intension x[3] != x[131] using generic constraint 0.01/0.21 c intension x[3] != x[140] using generic constraint 0.01/0.21 c intension x[3] != x[144] using generic constraint 0.01/0.21 c intension x[3] != x[185] using generic constraint 0.12/0.21 c intension x[3] != x[189] using generic constraint 0.12/0.21 c intension x[3] != x[190] using generic constraint 0.12/0.22 c intension x[3] != x[194] using generic constraint 0.12/0.22 c intension x[3] != x[209] using generic constraint 0.12/0.22 c intension x[3] != x[219] using generic constraint 0.12/0.22 c intension x[3] != x[223] using generic constraint 0.12/0.22 c intension x[3] != x[237] using generic constraint 0.12/0.22 c intension x[3] != x[242] using generic constraint 0.12/0.22 c intension x[3] != x[248] using generic constraint 0.12/0.22 c intension x[4] != x[18] using generic constraint 0.12/0.22 c intension x[4] != x[19] using generic constraint 0.12/0.22 c intension x[4] != x[23] using generic constraint 0.12/0.22 c intension x[4] != x[34] using generic constraint 0.12/0.22 c intension x[4] != x[37] using generic constraint 0.12/0.23 c intension x[4] != x[49] using generic constraint 0.12/0.23 c intension x[4] != x[57] using generic constraint 0.12/0.23 c intension x[4] != x[65] using generic constraint 0.12/0.23 c intension x[4] != x[68] using generic constraint 0.12/0.23 c intension x[4] != x[84] using generic constraint 0.12/0.23 c intension x[4] != x[92] using generic constraint 0.12/0.23 c intension x[4] != x[93] using generic constraint 0.12/0.23 c intension x[4] != x[94] using generic constraint 0.12/0.23 c intension x[4] != x[102] using generic constraint 0.12/0.23 c intension x[4] != x[111] using generic constraint 0.12/0.23 c intension x[4] != x[112] using generic constraint 0.12/0.24 c intension x[4] != x[115] using generic constraint 0.12/0.24 c intension x[4] != x[129] using generic constraint 0.12/0.24 c intension x[4] != x[134] using generic constraint 0.12/0.24 c intension x[4] != x[137] using generic constraint 0.12/0.24 c intension x[4] != x[139] using generic constraint 0.12/0.24 c intension x[4] != x[146] using generic constraint 0.12/0.24 c intension x[4] != x[163] using generic constraint 0.12/0.24 c intension x[4] != x[168] using generic constraint 0.12/0.24 c intension x[4] != x[185] using generic constraint 0.12/0.24 c intension x[4] != x[192] using generic constraint 0.12/0.24 c intension x[4] != x[198] using generic constraint 0.12/0.24 c intension x[4] != x[199] using generic constraint 0.12/0.25 c intension x[4] != x[208] using generic constraint 0.12/0.25 c intension x[4] != x[210] using generic constraint 0.12/0.25 c intension x[4] != x[217] using generic constraint 0.12/0.25 c intension x[4] != x[223] using generic constraint 0.12/0.25 c intension x[4] != x[237] using generic constraint 0.12/0.25 c intension x[4] != x[247] using generic constraint 0.12/0.25 c intension x[5] != x[7] using generic constraint 0.12/0.25 c intension x[5] != x[27] using generic constraint 0.12/0.25 c intension x[5] != x[33] using generic constraint 0.12/0.25 c intension x[5] != x[38] using generic constraint 0.12/0.25 c intension x[5] != x[52] using generic constraint 0.12/0.25 c intension x[5] != x[61] using generic constraint 0.12/0.26 c intension x[5] != x[62] using generic constraint 0.12/0.26 c intension x[5] != x[92] using generic constraint 0.12/0.26 c intension x[5] != x[93] using generic constraint 0.12/0.26 c intension x[5] != x[96] using generic constraint 0.12/0.26 c intension x[5] != x[99] using generic constraint 0.12/0.26 c intension x[5] != x[108] using generic constraint 0.12/0.26 c intension x[5] != x[110] using generic constraint 0.12/0.26 c intension x[5] != x[116] using generic constraint 0.12/0.26 c intension x[5] != x[117] using generic constraint 0.12/0.26 c intension x[5] != x[144] using generic constraint 0.12/0.26 c intension x[5] != x[159] using generic constraint 0.12/0.27 c intension x[5] != x[168] using generic constraint 0.12/0.27 c intension x[5] != x[177] using generic constraint 0.12/0.27 c intension x[5] != x[233] using generic constraint 0.12/0.27 c intension x[5] != x[243] using generic constraint 0.12/0.27 c intension x[6] != x[15] using generic constraint 0.12/0.27 c intension x[6] != x[48] using generic constraint 0.12/0.27 c intension x[6] != x[58] using generic constraint 0.12/0.27 c intension x[6] != x[66] using generic constraint 0.12/0.27 c intension x[6] != x[68] using generic constraint 0.12/0.27 c intension x[6] != x[83] using generic constraint 0.12/0.27 c intension x[6] != x[98] using generic constraint 0.12/0.27 c intension x[6] != x[105] using generic constraint 0.12/0.28 c intension x[6] != x[106] using generic constraint 0.12/0.28 c intension x[6] != x[118] using generic constraint 0.12/0.28 c intension x[6] != x[122] using generic constraint 0.12/0.28 c intension x[6] != x[153] using generic constraint 0.12/0.28 c intension x[6] != x[164] using generic constraint 0.12/0.28 c intension x[6] != x[165] using generic constraint 0.12/0.28 c intension x[6] != x[168] using generic constraint 0.12/0.28 c intension x[6] != x[177] using generic constraint 0.12/0.28 c intension x[6] != x[194] using generic constraint 0.12/0.28 c intension x[6] != x[205] using generic constraint 0.12/0.28 c intension x[6] != x[213] using generic constraint 0.12/0.29 c intension x[6] != x[217] using generic constraint 0.12/0.29 c intension x[6] != x[220] using generic constraint 0.12/0.29 c intension x[6] != x[225] using generic constraint 0.12/0.29 c intension x[6] != x[228] using generic constraint 0.12/0.29 c intension x[6] != x[229] using generic constraint 0.12/0.29 c intension x[6] != x[245] using generic constraint 0.12/0.29 c intension x[7] != x[9] using generic constraint 0.12/0.29 c intension x[7] != x[14] using generic constraint 0.12/0.29 c intension x[7] != x[38] using generic constraint 0.12/0.29 c intension x[7] != x[48] using generic constraint 0.12/0.29 c intension x[7] != x[61] using generic constraint 0.12/0.29 c intension x[7] != x[67] using generic constraint 0.12/0.30 c intension x[7] != x[80] using generic constraint 0.12/0.30 c intension x[7] != x[89] using generic constraint 0.12/0.30 c intension x[7] != x[100] using generic constraint 0.12/0.30 c intension x[7] != x[106] using generic constraint 0.12/0.30 c intension x[7] != x[120] using generic constraint 0.12/0.30 c intension x[7] != x[138] using generic constraint 0.12/0.30 c intension x[7] != x[147] using generic constraint 0.12/0.30 c intension x[7] != x[149] using generic constraint 0.12/0.30 c intension x[7] != x[168] using generic constraint 0.12/0.30 c intension x[7] != x[174] using generic constraint 0.12/0.30 c intension x[7] != x[176] using generic constraint 0.12/0.31 c intension x[7] != x[195] using generic constraint 0.12/0.31 c intension x[7] != x[196] using generic constraint 0.12/0.31 c intension x[7] != x[207] using generic constraint 0.12/0.31 c intension x[7] != x[225] using generic constraint 0.12/0.31 c intension x[7] != x[231] using generic constraint 0.12/0.31 c intension x[7] != x[240] using generic constraint 0.12/0.31 c intension x[7] != x[242] using generic constraint 0.12/0.31 c intension x[8] != x[20] using generic constraint 0.12/0.31 c intension x[8] != x[32] using generic constraint 0.22/0.31 c intension x[8] != x[50] using generic constraint 0.22/0.31 c intension x[8] != x[59] using generic constraint 0.22/0.31 c intension x[8] != x[65] using generic constraint 0.22/0.32 c intension x[8] != x[66] using generic constraint 0.22/0.32 c intension x[8] != x[86] using generic constraint 0.22/0.32 c intension x[8] != x[108] using generic constraint 0.22/0.32 c intension x[8] != x[109] using generic constraint 0.22/0.32 c intension x[8] != x[110] using generic constraint 0.22/0.32 c intension x[8] != x[123] using generic constraint 0.22/0.32 c intension x[8] != x[145] using generic constraint 0.22/0.32 c intension x[8] != x[155] using generic constraint 0.22/0.32 c intension x[8] != x[157] using generic constraint 0.22/0.32 c intension x[8] != x[158] using generic constraint 0.22/0.32 c intension x[8] != x[159] using generic constraint 0.22/0.33 c intension x[8] != x[171] using generic constraint 0.22/0.33 c intension x[8] != x[174] using generic constraint 0.22/0.33 c intension x[8] != x[200] using generic constraint 0.22/0.33 c intension x[8] != x[231] using generic constraint 0.22/0.33 c intension x[8] != x[240] using generic constraint 0.22/0.33 c intension x[8] != x[247] using generic constraint 0.22/0.33 c intension x[8] != x[248] using generic constraint 0.22/0.33 c intension x[9] != x[17] using generic constraint 0.22/0.33 c intension x[9] != x[38] using generic constraint 0.22/0.33 c intension x[9] != x[43] using generic constraint 0.22/0.33 c intension x[9] != x[54] using generic constraint 0.22/0.33 c intension x[9] != x[64] using generic constraint 0.22/0.34 c intension x[9] != x[69] using generic constraint 0.22/0.34 c intension x[9] != x[75] using generic constraint 0.22/0.34 c intension x[9] != x[77] using generic constraint 0.22/0.34 c intension x[9] != x[90] using generic constraint 0.22/0.34 c intension x[9] != x[93] using generic constraint 0.22/0.34 c intension x[9] != x[94] using generic constraint 0.22/0.34 c intension x[9] != x[97] using generic constraint 0.22/0.34 c intension x[9] != x[107] using generic constraint 0.22/0.34 c intension x[9] != x[142] using generic constraint 0.22/0.34 c intension x[9] != x[173] using generic constraint 0.22/0.34 c intension x[9] != x[183] using generic constraint 0.22/0.35 c intension x[9] != x[197] using generic constraint 0.22/0.35 c intension x[9] != x[204] using generic constraint 0.22/0.35 c intension x[9] != x[218] using generic constraint 0.22/0.35 c intension x[9] != x[220] using generic constraint 0.22/0.35 c intension x[9] != x[222] using generic constraint 0.22/0.35 c intension x[9] != x[228] using generic constraint 0.22/0.35 c intension x[10] != x[27] using generic constraint 0.22/0.35 c intension x[10] != x[33] using generic constraint 0.22/0.35 c intension x[10] != x[45] using generic constraint 0.22/0.35 c intension x[10] != x[64] using generic constraint 0.22/0.35 c intension x[10] != x[84] using generic constraint 0.22/0.35 c intension x[10] != x[87] using generic constraint 0.22/0.36 c intension x[10] != x[88] using generic constraint 0.22/0.36 c intension x[10] != x[106] using generic constraint 0.22/0.36 c intension x[10] != x[109] using generic constraint 0.22/0.36 c intension x[10] != x[114] using generic constraint 0.22/0.36 c intension x[10] != x[116] using generic constraint 0.22/0.36 c intension x[10] != x[143] using generic constraint 0.22/0.36 c intension x[10] != x[146] using generic constraint 0.22/0.36 c intension x[10] != x[159] using generic constraint 0.22/0.36 c intension x[10] != x[163] using generic constraint 0.22/0.36 c intension x[10] != x[168] using generic constraint 0.22/0.36 c intension x[10] != x[182] using generic constraint 0.22/0.37 c intension x[10] != x[204] using generic constraint 0.22/0.37 c intension x[10] != x[229] using generic constraint 0.22/0.37 c intension x[10] != x[237] using generic constraint 0.22/0.37 c intension x[10] != x[239] using generic constraint 0.22/0.37 c intension x[11] != x[23] using generic constraint 0.22/0.37 c intension x[11] != x[26] using generic constraint 0.22/0.37 c intension x[11] != x[28] using generic constraint 0.22/0.37 c intension x[11] != x[60] using generic constraint 0.22/0.37 c intension x[11] != x[61] using generic constraint 0.22/0.37 c intension x[11] != x[71] using generic constraint 0.22/0.37 c intension x[11] != x[83] using generic constraint 0.22/0.37 c intension x[11] != x[101] using generic constraint 0.22/0.38 c intension x[11] != x[103] using generic constraint 0.22/0.38 c intension x[11] != x[111] using generic constraint 0.22/0.38 c intension x[11] != x[113] using generic constraint 0.22/0.38 c intension x[11] != x[116] using generic constraint 0.22/0.38 c intension x[11] != x[123] using generic constraint 0.22/0.38 c intension x[11] != x[147] using generic constraint 0.22/0.38 c intension x[11] != x[171] using generic constraint 0.22/0.38 c intension x[11] != x[185] using generic constraint 0.22/0.38 c intension x[11] != x[188] using generic constraint 0.22/0.38 c intension x[11] != x[190] using generic constraint 0.22/0.38 c intension x[11] != x[203] using generic constraint 0.22/0.39 c intension x[11] != x[242] using generic constraint 0.22/0.39 c intension x[12] != x[28] using generic constraint 0.22/0.39 c intension x[12] != x[31] using generic constraint 0.22/0.39 c intension x[12] != x[34] using generic constraint 0.22/0.39 c intension x[12] != x[35] using generic constraint 0.22/0.39 c intension x[12] != x[44] using generic constraint 0.22/0.39 c intension x[12] != x[45] using generic constraint 0.22/0.39 c intension x[12] != x[49] using generic constraint 0.22/0.39 c intension x[12] != x[56] using generic constraint 0.22/0.39 c intension x[12] != x[70] using generic constraint 0.22/0.39 c intension x[12] != x[75] using generic constraint 0.22/0.39 c intension x[12] != x[82] using generic constraint 0.22/0.40 c intension x[12] != x[87] using generic constraint 0.22/0.40 c intension x[12] != x[88] using generic constraint 0.22/0.40 c intension x[12] != x[92] using generic constraint 0.22/0.40 c intension x[12] != x[100] using generic constraint 0.22/0.40 c intension x[12] != x[102] using generic constraint 0.22/0.40 c intension x[12] != x[114] using generic constraint 0.22/0.40 c intension x[12] != x[118] using generic constraint 0.22/0.40 c intension x[12] != x[119] using generic constraint 0.22/0.40 c intension x[12] != x[132] using generic constraint 0.22/0.40 c intension x[12] != x[134] using generic constraint 0.22/0.40 c intension x[12] != x[143] using generic constraint 0.22/0.41 c intension x[12] != x[153] using generic constraint 0.22/0.41 c intension x[12] != x[171] using generic constraint 0.22/0.41 c intension x[12] != x[172] using generic constraint 0.22/0.41 c intension x[12] != x[178] using generic constraint 0.22/0.41 c intension x[12] != x[186] using generic constraint 0.22/0.41 c intension x[12] != x[212] using generic constraint 0.22/0.41 c intension x[12] != x[229] using generic constraint 0.22/0.41 c intension x[12] != x[238] using generic constraint 0.22/0.41 c intension x[13] != x[18] using generic constraint 0.32/0.41 c intension x[13] != x[36] using generic constraint 0.32/0.41 c intension x[13] != x[37] using generic constraint 0.32/0.42 c intension x[13] != x[38] using generic constraint 0.32/0.42 c intension x[13] != x[39] using generic constraint 0.32/0.42 c intension x[13] != x[56] using generic constraint 0.32/0.42 c intension x[13] != x[81] using generic constraint 0.32/0.42 c intension x[13] != x[97] using generic constraint 0.32/0.42 c intension x[13] != x[102] using generic constraint 0.32/0.42 c intension x[13] != x[110] using generic constraint 0.32/0.42 c intension x[13] != x[113] using generic constraint 0.32/0.42 c intension x[13] != x[114] using generic constraint 0.32/0.42 c intension x[13] != x[128] using generic constraint 0.32/0.42 c intension x[13] != x[132] using generic constraint 0.32/0.43 c intension x[13] != x[133] using generic constraint 0.32/0.43 c intension x[13] != x[150] using generic constraint 0.32/0.43 c intension x[13] != x[152] using generic constraint 0.32/0.43 c intension x[13] != x[163] using generic constraint 0.32/0.43 c intension x[13] != x[165] using generic constraint 0.32/0.43 c intension x[13] != x[174] using generic constraint 0.32/0.43 c intension x[13] != x[187] using generic constraint 0.32/0.43 c intension x[13] != x[188] using generic constraint 0.32/0.43 c intension x[13] != x[214] using generic constraint 0.32/0.43 c intension x[13] != x[227] using generic constraint 0.32/0.43 c intension x[13] != x[236] using generic constraint 0.32/0.43 c intension x[14] != x[25] using generic constraint 0.32/0.44 c intension x[14] != x[27] using generic constraint 0.32/0.44 c intension x[14] != x[32] using generic constraint 0.32/0.44 c intension x[14] != x[45] using generic constraint 0.32/0.44 c intension x[14] != x[52] using generic constraint 0.32/0.44 c intension x[14] != x[55] using generic constraint 0.32/0.44 c intension x[14] != x[57] using generic constraint 0.32/0.44 c intension x[14] != x[70] using generic constraint 0.32/0.44 c intension x[14] != x[86] using generic constraint 0.32/0.44 c intension x[14] != x[90] using generic constraint 0.32/0.44 c intension x[14] != x[94] using generic constraint 0.32/0.44 c intension x[14] != x[100] using generic constraint 0.32/0.45 c intension x[14] != x[115] using generic constraint 0.32/0.45 c intension x[14] != x[128] using generic constraint 0.32/0.45 c intension x[14] != x[137] using generic constraint 0.32/0.45 c intension x[14] != x[140] using generic constraint 0.32/0.45 c intension x[14] != x[142] using generic constraint 0.32/0.45 c intension x[14] != x[144] using generic constraint 0.32/0.45 c intension x[14] != x[152] using generic constraint 0.32/0.45 c intension x[14] != x[158] using generic constraint 0.32/0.45 c intension x[14] != x[160] using generic constraint 0.32/0.45 c intension x[14] != x[221] using generic constraint 0.32/0.45 c intension x[14] != x[231] using generic constraint 0.32/0.45 c intension x[15] != x[28] using generic constraint 0.32/0.46 c intension x[15] != x[30] using generic constraint 0.32/0.46 c intension x[15] != x[62] using generic constraint 0.32/0.46 c intension x[15] != x[70] using generic constraint 0.32/0.46 c intension x[15] != x[90] using generic constraint 0.32/0.46 c intension x[15] != x[98] using generic constraint 0.32/0.46 c intension x[15] != x[101] using generic constraint 0.32/0.46 c intension x[15] != x[116] using generic constraint 0.32/0.46 c intension x[15] != x[121] using generic constraint 0.32/0.46 c intension x[15] != x[125] using generic constraint 0.32/0.46 c intension x[15] != x[131] using generic constraint 0.32/0.46 c intension x[15] != x[139] using generic constraint 0.32/0.47 c intension x[15] != x[145] using generic constraint 0.32/0.47 c intension x[15] != x[148] using generic constraint 0.32/0.47 c intension x[15] != x[149] using generic constraint 0.32/0.47 c intension x[15] != x[170] using generic constraint 0.32/0.47 c intension x[15] != x[173] using generic constraint 0.32/0.47 c intension x[15] != x[187] using generic constraint 0.32/0.47 c intension x[15] != x[188] using generic constraint 0.32/0.47 c intension x[15] != x[225] using generic constraint 0.32/0.47 c intension x[15] != x[229] using generic constraint 0.32/0.47 c intension x[15] != x[240] using generic constraint 0.32/0.47 c intension x[15] != x[248] using generic constraint 0.32/0.48 c intension x[16] != x[18] using generic constraint 0.32/0.48 c intension x[16] != x[21] using generic constraint 0.32/0.48 c intension x[16] != x[32] using generic constraint 0.32/0.48 c intension x[16] != x[39] using generic constraint 0.32/0.48 c intension x[16] != x[45] using generic constraint 0.32/0.48 c intension x[16] != x[51] using generic constraint 0.32/0.48 c intension x[16] != x[68] using generic constraint 0.32/0.48 c intension x[16] != x[70] using generic constraint 0.32/0.48 c intension x[16] != x[72] using generic constraint 0.32/0.48 c intension x[16] != x[86] using generic constraint 0.32/0.48 c intension x[16] != x[95] using generic constraint 0.32/0.48 c intension x[16] != x[97] using generic constraint 0.32/0.49 c intension x[16] != x[113] using generic constraint 0.32/0.49 c intension x[16] != x[120] using generic constraint 0.32/0.49 c intension x[16] != x[138] using generic constraint 0.32/0.49 c intension x[16] != x[156] using generic constraint 0.32/0.49 c intension x[16] != x[158] using generic constraint 0.32/0.49 c intension x[16] != x[187] using generic constraint 0.32/0.49 c intension x[16] != x[203] using generic constraint 0.32/0.49 c intension x[16] != x[208] using generic constraint 0.32/0.49 c intension x[16] != x[211] using generic constraint 0.32/0.49 c intension x[16] != x[216] using generic constraint 0.32/0.49 c intension x[16] != x[225] using generic constraint 0.32/0.50 c intension x[16] != x[243] using generic constraint 0.32/0.50 c intension x[17] != x[28] using generic constraint 0.32/0.50 c intension x[17] != x[37] using generic constraint 0.32/0.50 c intension x[17] != x[40] using generic constraint 0.32/0.50 c intension x[17] != x[54] using generic constraint 0.32/0.50 c intension x[17] != x[62] using generic constraint 0.32/0.50 c intension x[17] != x[63] using generic constraint 0.32/0.50 c intension x[17] != x[79] using generic constraint 0.32/0.50 c intension x[17] != x[84] using generic constraint 0.32/0.50 c intension x[17] != x[91] using generic constraint 0.32/0.50 c intension x[17] != x[127] using generic constraint 0.32/0.50 c intension x[17] != x[145] using generic constraint 0.32/0.51 c intension x[17] != x[147] using generic constraint 0.32/0.51 c intension x[17] != x[159] using generic constraint 0.32/0.51 c intension x[17] != x[161] using generic constraint 0.32/0.51 c intension x[17] != x[162] using generic constraint 0.32/0.51 c intension x[17] != x[165] using generic constraint 0.32/0.51 c intension x[17] != x[167] using generic constraint 0.32/0.51 c intension x[17] != x[177] using generic constraint 0.32/0.51 c intension x[17] != x[181] using generic constraint 0.42/0.51 c intension x[17] != x[187] using generic constraint 0.42/0.51 c intension x[17] != x[188] using generic constraint 0.42/0.51 c intension x[17] != x[190] using generic constraint 0.42/0.52 c intension x[17] != x[195] using generic constraint 0.42/0.52 c intension x[17] != x[203] using generic constraint 0.42/0.52 c intension x[17] != x[207] using generic constraint 0.42/0.52 c intension x[17] != x[208] using generic constraint 0.42/0.52 c intension x[17] != x[214] using generic constraint 0.42/0.52 c intension x[17] != x[225] using generic constraint 0.42/0.52 c intension x[17] != x[239] using generic constraint 0.42/0.52 c intension x[17] != x[240] using generic constraint 0.42/0.52 c intension x[18] != x[23] using generic constraint 0.42/0.52 c intension x[18] != x[26] using generic constraint 0.42/0.52 c intension x[18] != x[35] using generic constraint 0.42/0.53 c intension x[18] != x[44] using generic constraint 0.42/0.53 c intension x[18] != x[49] using generic constraint 0.42/0.53 c intension x[18] != x[55] using generic constraint 0.42/0.53 c intension x[18] != x[68] using generic constraint 0.42/0.53 c intension x[18] != x[80] using generic constraint 0.42/0.53 c intension x[18] != x[90] using generic constraint 0.42/0.53 c intension x[18] != x[96] using generic constraint 0.42/0.53 c intension x[18] != x[97] using generic constraint 0.42/0.53 c intension x[18] != x[98] using generic constraint 0.42/0.53 c intension x[18] != x[102] using generic constraint 0.42/0.53 c intension x[18] != x[110] using generic constraint 0.42/0.54 c intension x[18] != x[121] using generic constraint 0.42/0.54 c intension x[18] != x[124] using generic constraint 0.42/0.54 c intension x[18] != x[129] using generic constraint 0.42/0.54 c intension x[18] != x[130] using generic constraint 0.42/0.54 c intension x[18] != x[139] using generic constraint 0.42/0.54 c intension x[18] != x[140] using generic constraint 0.42/0.54 c intension x[18] != x[142] using generic constraint 0.42/0.54 c intension x[18] != x[145] using generic constraint 0.42/0.54 c intension x[18] != x[159] using generic constraint 0.42/0.54 c intension x[18] != x[177] using generic constraint 0.42/0.54 c intension x[18] != x[196] using generic constraint 0.42/0.54 c intension x[18] != x[205] using generic constraint 0.42/0.55 c intension x[18] != x[216] using generic constraint 0.42/0.55 c intension x[18] != x[240] using generic constraint 0.42/0.55 c intension x[18] != x[241] using generic constraint 0.42/0.55 c intension x[18] != x[246] using generic constraint 0.42/0.55 c intension x[19] != x[26] using generic constraint 0.42/0.55 c intension x[19] != x[38] using generic constraint 0.42/0.55 c intension x[19] != x[42] using generic constraint 0.42/0.55 c intension x[19] != x[61] using generic constraint 0.42/0.55 c intension x[19] != x[113] using generic constraint 0.42/0.55 c intension x[19] != x[118] using generic constraint 0.42/0.55 c intension x[19] != x[123] using generic constraint 0.42/0.56 c intension x[19] != x[127] using generic constraint 0.42/0.56 c intension x[19] != x[128] using generic constraint 0.42/0.56 c intension x[19] != x[131] using generic constraint 0.42/0.56 c intension x[19] != x[134] using generic constraint 0.42/0.56 c intension x[19] != x[140] using generic constraint 0.42/0.56 c intension x[19] != x[152] using generic constraint 0.42/0.56 c intension x[19] != x[161] using generic constraint 0.42/0.56 c intension x[19] != x[162] using generic constraint 0.42/0.56 c intension x[19] != x[165] using generic constraint 0.42/0.56 c intension x[19] != x[168] using generic constraint 0.42/0.56 c intension x[19] != x[170] using generic constraint 0.42/0.57 c intension x[19] != x[186] using generic constraint 0.42/0.57 c intension x[19] != x[193] using generic constraint 0.42/0.57 c intension x[19] != x[198] using generic constraint 0.42/0.57 c intension x[19] != x[217] using generic constraint 0.42/0.57 c intension x[19] != x[218] using generic constraint 0.42/0.57 c intension x[19] != x[219] using generic constraint 0.42/0.57 c intension x[19] != x[227] using generic constraint 0.42/0.57 c intension x[19] != x[230] using generic constraint 0.42/0.57 c intension x[19] != x[241] using generic constraint 0.42/0.57 c intension x[19] != x[249] using generic constraint 0.42/0.57 c intension x[20] != x[31] using generic constraint 0.42/0.57 c intension x[20] != x[41] using generic constraint 0.42/0.58 c intension x[20] != x[55] using generic constraint 0.42/0.58 c intension x[20] != x[57] using generic constraint 0.42/0.58 c intension x[20] != x[60] using generic constraint 0.42/0.58 c intension x[20] != x[89] using generic constraint 0.42/0.58 c intension x[20] != x[99] using generic constraint 0.42/0.58 c intension x[20] != x[100] using generic constraint 0.42/0.58 c intension x[20] != x[110] using generic constraint 0.42/0.58 c intension x[20] != x[119] using generic constraint 0.42/0.58 c intension x[20] != x[133] using generic constraint 0.42/0.58 c intension x[20] != x[152] using generic constraint 0.42/0.58 c intension x[20] != x[156] using generic constraint 0.42/0.59 c intension x[20] != x[163] using generic constraint 0.42/0.59 c intension x[20] != x[172] using generic constraint 0.42/0.59 c intension x[20] != x[203] using generic constraint 0.42/0.59 c intension x[20] != x[218] using generic constraint 0.42/0.59 c intension x[20] != x[222] using generic constraint 0.42/0.59 c intension x[20] != x[238] using generic constraint 0.42/0.59 c intension x[20] != x[239] using generic constraint 0.42/0.59 c intension x[20] != x[243] using generic constraint 0.42/0.59 c intension x[21] != x[27] using generic constraint 0.42/0.59 c intension x[21] != x[40] using generic constraint 0.42/0.59 c intension x[21] != x[44] using generic constraint 0.42/0.59 c intension x[21] != x[48] using generic constraint 0.42/0.60 c intension x[21] != x[64] using generic constraint 0.42/0.60 c intension x[21] != x[67] using generic constraint 0.42/0.60 c intension x[21] != x[70] using generic constraint 0.42/0.60 c intension x[21] != x[84] using generic constraint 0.42/0.60 c intension x[21] != x[108] using generic constraint 0.42/0.60 c intension x[21] != x[120] using generic constraint 0.42/0.60 c intension x[21] != x[121] using generic constraint 0.42/0.60 c intension x[21] != x[125] using generic constraint 0.42/0.60 c intension x[21] != x[126] using generic constraint 0.42/0.60 c intension x[21] != x[128] using generic constraint 0.51/0.60 c intension x[21] != x[131] using generic constraint 0.51/0.61 c intension x[21] != x[140] using generic constraint 0.51/0.61 c intension x[21] != x[143] using generic constraint 0.51/0.61 c intension x[21] != x[161] using generic constraint 0.51/0.61 c intension x[21] != x[207] using generic constraint 0.51/0.61 c intension x[21] != x[213] using generic constraint 0.51/0.61 c intension x[21] != x[224] using generic constraint 0.51/0.61 c intension x[21] != x[244] using generic constraint 0.51/0.61 c intension x[22] != x[23] using generic constraint 0.51/0.61 c intension x[22] != x[28] using generic constraint 0.51/0.61 c intension x[22] != x[35] using generic constraint 0.51/0.61 c intension x[22] != x[39] using generic constraint 0.51/0.62 c intension x[22] != x[56] using generic constraint 0.51/0.62 c intension x[22] != x[57] using generic constraint 0.51/0.62 c intension x[22] != x[74] using generic constraint 0.51/0.62 c intension x[22] != x[83] using generic constraint 0.51/0.62 c intension x[22] != x[85] using generic constraint 0.51/0.62 c intension x[22] != x[90] using generic constraint 0.51/0.62 c intension x[22] != x[100] using generic constraint 0.51/0.62 c intension x[22] != x[102] using generic constraint 0.51/0.62 c intension x[22] != x[114] using generic constraint 0.51/0.62 c intension x[22] != x[120] using generic constraint 0.51/0.62 c intension x[22] != x[138] using generic constraint 0.51/0.63 c intension x[22] != x[143] using generic constraint 0.51/0.63 c intension x[22] != x[152] using generic constraint 0.51/0.63 c intension x[22] != x[153] using generic constraint 0.51/0.63 c intension x[22] != x[156] using generic constraint 0.51/0.63 c intension x[22] != x[178] using generic constraint 0.51/0.63 c intension x[22] != x[187] using generic constraint 0.51/0.63 c intension x[22] != x[190] using generic constraint 0.51/0.63 c intension x[22] != x[201] using generic constraint 0.51/0.63 c intension x[22] != x[211] using generic constraint 0.51/0.63 c intension x[22] != x[223] using generic constraint 0.51/0.63 c intension x[22] != x[237] using generic constraint 0.51/0.63 c intension x[22] != x[239] using generic constraint 0.51/0.64 c intension x[22] != x[246] using generic constraint 0.51/0.64 c intension x[23] != x[31] using generic constraint 0.51/0.64 c intension x[23] != x[53] using generic constraint 0.51/0.64 c intension x[23] != x[65] using generic constraint 0.51/0.64 c intension x[23] != x[70] using generic constraint 0.51/0.64 c intension x[23] != x[73] using generic constraint 0.51/0.64 c intension x[23] != x[100] using generic constraint 0.51/0.64 c intension x[23] != x[107] using generic constraint 0.51/0.64 c intension x[23] != x[118] using generic constraint 0.51/0.64 c intension x[23] != x[121] using generic constraint 0.51/0.64 c intension x[23] != x[127] using generic constraint 0.51/0.65 c intension x[23] != x[133] using generic constraint 0.51/0.65 c intension x[23] != x[135] using generic constraint 0.51/0.65 c intension x[23] != x[153] using generic constraint 0.51/0.65 c intension x[23] != x[154] using generic constraint 0.51/0.65 c intension x[23] != x[156] using generic constraint 0.51/0.65 c intension x[23] != x[168] using generic constraint 0.51/0.65 c intension x[23] != x[179] using generic constraint 0.51/0.65 c intension x[23] != x[248] using generic constraint 0.51/0.65 c intension x[24] != x[40] using generic constraint 0.51/0.65 c intension x[24] != x[43] using generic constraint 0.51/0.65 c intension x[24] != x[51] using generic constraint 0.51/0.65 c intension x[24] != x[56] using generic constraint 0.51/0.66 c intension x[24] != x[66] using generic constraint 0.51/0.66 c intension x[24] != x[83] using generic constraint 0.51/0.66 c intension x[24] != x[87] using generic constraint 0.51/0.66 c intension x[24] != x[92] using generic constraint 0.51/0.66 c intension x[24] != x[93] using generic constraint 0.51/0.66 c intension x[24] != x[99] using generic constraint 0.51/0.66 c intension x[24] != x[103] using generic constraint 0.51/0.66 c intension x[24] != x[104] using generic constraint 0.51/0.66 c intension x[24] != x[111] using generic constraint 0.51/0.66 c intension x[24] != x[126] using generic constraint 0.51/0.66 c intension x[24] != x[190] using generic constraint 0.51/0.67 c intension x[24] != x[240] using generic constraint 0.51/0.67 c intension x[24] != x[242] using generic constraint 0.51/0.67 c intension x[24] != x[248] using generic constraint 0.51/0.67 c intension x[25] != x[39] using generic constraint 0.51/0.67 c intension x[25] != x[40] using generic constraint 0.51/0.67 c intension x[25] != x[47] using generic constraint 0.51/0.67 c intension x[25] != x[55] using generic constraint 0.51/0.67 c intension x[25] != x[96] using generic constraint 0.51/0.67 c intension x[25] != x[101] using generic constraint 0.51/0.67 c intension x[25] != x[103] using generic constraint 0.51/0.67 c intension x[25] != x[106] using generic constraint 0.51/0.68 c intension x[25] != x[112] using generic constraint 0.51/0.68 c intension x[25] != x[123] using generic constraint 0.51/0.68 c intension x[25] != x[157] using generic constraint 0.51/0.68 c intension x[25] != x[159] using generic constraint 0.51/0.68 c intension x[25] != x[173] using generic constraint 0.51/0.68 c intension x[25] != x[179] using generic constraint 0.51/0.68 c intension x[25] != x[182] using generic constraint 0.51/0.68 c intension x[25] != x[197] using generic constraint 0.51/0.68 c intension x[25] != x[200] using generic constraint 0.51/0.68 c intension x[25] != x[247] using generic constraint 0.51/0.68 c intension x[26] != x[32] using generic constraint 0.51/0.68 c intension x[26] != x[35] using generic constraint 0.51/0.69 c intension x[26] != x[41] using generic constraint 0.51/0.69 c intension x[26] != x[47] using generic constraint 0.51/0.69 c intension x[26] != x[49] using generic constraint 0.51/0.69 c intension x[26] != x[70] using generic constraint 0.51/0.69 c intension x[26] != x[78] using generic constraint 0.51/0.69 c intension x[26] != x[95] using generic constraint 0.51/0.69 c intension x[26] != x[109] using generic constraint 0.51/0.69 c intension x[26] != x[126] using generic constraint 0.51/0.69 c intension x[26] != x[144] using generic constraint 0.51/0.69 c intension x[26] != x[151] using generic constraint 0.51/0.69 c intension x[26] != x[158] using generic constraint 0.51/0.70 c intension x[26] != x[176] using generic constraint 0.60/0.70 c intension x[26] != x[199] using generic constraint 0.60/0.70 c intension x[26] != x[204] using generic constraint 0.60/0.70 c intension x[26] != x[212] using generic constraint 0.60/0.70 c intension x[26] != x[215] using generic constraint 0.60/0.70 c intension x[26] != x[221] using generic constraint 0.60/0.70 c intension x[26] != x[237] using generic constraint 0.60/0.70 c intension x[26] != x[244] using generic constraint 0.60/0.70 c intension x[27] != x[34] using generic constraint 0.60/0.70 c intension x[27] != x[41] using generic constraint 0.60/0.70 c intension x[27] != x[45] using generic constraint 0.60/0.71 c intension x[27] != x[50] using generic constraint 0.60/0.71 c intension x[27] != x[51] using generic constraint 0.60/0.71 c intension x[27] != x[52] using generic constraint 0.60/0.71 c intension x[27] != x[60] using generic constraint 0.60/0.71 c intension x[27] != x[72] using generic constraint 0.60/0.71 c intension x[27] != x[73] using generic constraint 0.60/0.71 c intension x[27] != x[94] using generic constraint 0.60/0.71 c intension x[27] != x[120] using generic constraint 0.60/0.71 c intension x[27] != x[124] using generic constraint 0.60/0.71 c intension x[27] != x[125] using generic constraint 0.60/0.71 c intension x[27] != x[128] using generic constraint 0.60/0.71 c intension x[27] != x[132] using generic constraint 0.60/0.72 c intension x[27] != x[136] using generic constraint 0.60/0.72 c intension x[27] != x[144] using generic constraint 0.60/0.72 c intension x[27] != x[153] using generic constraint 0.60/0.72 c intension x[27] != x[154] using generic constraint 0.60/0.72 c intension x[27] != x[167] using generic constraint 0.60/0.72 c intension x[27] != x[195] using generic constraint 0.60/0.72 c intension x[27] != x[201] using generic constraint 0.60/0.72 c intension x[27] != x[204] using generic constraint 0.60/0.72 c intension x[27] != x[214] using generic constraint 0.60/0.72 c intension x[27] != x[215] using generic constraint 0.60/0.72 c intension x[27] != x[218] using generic constraint 0.60/0.73 c intension x[27] != x[223] using generic constraint 0.60/0.73 c intension x[27] != x[241] using generic constraint 0.60/0.73 c intension x[28] != x[39] using generic constraint 0.60/0.73 c intension x[28] != x[54] using generic constraint 0.60/0.73 c intension x[28] != x[57] using generic constraint 0.60/0.73 c intension x[28] != x[66] using generic constraint 0.60/0.73 c intension x[28] != x[68] using generic constraint 0.60/0.73 c intension x[28] != x[71] using generic constraint 0.60/0.73 c intension x[28] != x[79] using generic constraint 0.60/0.73 c intension x[28] != x[93] using generic constraint 0.60/0.73 c intension x[28] != x[100] using generic constraint 0.60/0.74 c intension x[28] != x[114] using generic constraint 0.60/0.74 c intension x[28] != x[115] using generic constraint 0.60/0.74 c intension x[28] != x[130] using generic constraint 0.60/0.74 c intension x[28] != x[138] using generic constraint 0.60/0.74 c intension x[28] != x[147] using generic constraint 0.60/0.74 c intension x[28] != x[160] using generic constraint 0.60/0.74 c intension x[28] != x[165] using generic constraint 0.60/0.74 c intension x[28] != x[169] using generic constraint 0.60/0.74 c intension x[28] != x[172] using generic constraint 0.60/0.74 c intension x[28] != x[191] using generic constraint 0.60/0.74 c intension x[28] != x[198] using generic constraint 0.60/0.74 c intension x[28] != x[212] using generic constraint 0.60/0.75 c intension x[28] != x[216] using generic constraint 0.60/0.75 c intension x[28] != x[226] using generic constraint 0.60/0.75 c intension x[28] != x[231] using generic constraint 0.60/0.75 c intension x[28] != x[233] using generic constraint 0.60/0.75 c intension x[28] != x[234] using generic constraint 0.60/0.75 c intension x[28] != x[239] using generic constraint 0.60/0.75 c intension x[28] != x[244] using generic constraint 0.60/0.75 c intension x[28] != x[249] using generic constraint 0.60/0.75 c intension x[29] != x[39] using generic constraint 0.60/0.75 c intension x[29] != x[50] using generic constraint 0.60/0.75 c intension x[29] != x[52] using generic constraint 0.60/0.76 c intension x[29] != x[58] using generic constraint 0.60/0.76 c intension x[29] != x[67] using generic constraint 0.60/0.76 c intension x[29] != x[75] using generic constraint 0.60/0.76 c intension x[29] != x[86] using generic constraint 0.60/0.76 c intension x[29] != x[96] using generic constraint 0.60/0.76 c intension x[29] != x[102] using generic constraint 0.60/0.76 c intension x[29] != x[117] using generic constraint 0.60/0.76 c intension x[29] != x[118] using generic constraint 0.60/0.76 c intension x[29] != x[129] using generic constraint 0.60/0.76 c intension x[29] != x[132] using generic constraint 0.60/0.76 c intension x[29] != x[137] using generic constraint 0.60/0.77 c intension x[29] != x[141] using generic constraint 0.60/0.77 c intension x[29] != x[147] using generic constraint 0.60/0.77 c intension x[29] != x[154] using generic constraint 0.60/0.77 c intension x[29] != x[157] using generic constraint 0.60/0.77 c intension x[29] != x[182] using generic constraint 0.60/0.77 c intension x[29] != x[186] using generic constraint 0.60/0.77 c intension x[29] != x[193] using generic constraint 0.60/0.77 c intension x[29] != x[204] using generic constraint 0.60/0.77 c intension x[29] != x[223] using generic constraint 0.60/0.77 c intension x[29] != x[228] using generic constraint 0.60/0.77 c intension x[29] != x[231] using generic constraint 0.60/0.77 c intension x[29] != x[234] using generic constraint 0.60/0.78 c intension x[29] != x[240] using generic constraint 0.60/0.78 c intension x[30] != x[31] using generic constraint 0.60/0.78 c intension x[30] != x[32] using generic constraint 0.60/0.78 c intension x[30] != x[34] using generic constraint 0.60/0.78 c intension x[30] != x[45] using generic constraint 0.60/0.78 c intension x[30] != x[57] using generic constraint 0.60/0.78 c intension x[30] != x[58] using generic constraint 0.60/0.78 c intension x[30] != x[62] using generic constraint 0.60/0.78 c intension x[30] != x[104] using generic constraint 0.60/0.78 c intension x[30] != x[110] using generic constraint 0.60/0.78 c intension x[30] != x[116] using generic constraint 0.60/0.79 c intension x[30] != x[119] using generic constraint 0.60/0.79 c intension x[30] != x[142] using generic constraint 0.60/0.79 c intension x[30] != x[147] using generic constraint 0.60/0.79 c intension x[30] != x[159] using generic constraint 0.60/0.79 c intension x[30] != x[178] using generic constraint 0.60/0.79 c intension x[30] != x[199] using generic constraint 0.60/0.79 c intension x[30] != x[202] using generic constraint 0.60/0.79 c intension x[30] != x[216] using generic constraint 0.60/0.79 c intension x[30] != x[218] using generic constraint 0.60/0.79 c intension x[30] != x[249] using generic constraint 0.60/0.79 c intension x[31] != x[32] using generic constraint 0.60/0.79 c intension x[31] != x[33] using generic constraint 0.70/0.80 c intension x[31] != x[39] using generic constraint 0.70/0.80 c intension x[31] != x[48] using generic constraint 0.70/0.80 c intension x[31] != x[49] using generic constraint 0.70/0.80 c intension x[31] != x[55] using generic constraint 0.70/0.80 c intension x[31] != x[58] using generic constraint 0.70/0.80 c intension x[31] != x[62] using generic constraint 0.70/0.80 c intension x[31] != x[68] using generic constraint 0.70/0.80 c intension x[31] != x[76] using generic constraint 0.70/0.80 c intension x[31] != x[87] using generic constraint 0.70/0.80 c intension x[31] != x[94] using generic constraint 0.70/0.80 c intension x[31] != x[118] using generic constraint 0.70/0.81 c intension x[31] != x[122] using generic constraint 0.70/0.81 c intension x[31] != x[124] using generic constraint 0.70/0.81 c intension x[31] != x[131] using generic constraint 0.70/0.81 c intension x[31] != x[142] using generic constraint 0.70/0.81 c intension x[31] != x[147] using generic constraint 0.70/0.81 c intension x[31] != x[152] using generic constraint 0.70/0.81 c intension x[31] != x[160] using generic constraint 0.70/0.81 c intension x[31] != x[162] using generic constraint 0.70/0.81 c intension x[31] != x[172] using generic constraint 0.70/0.81 c intension x[31] != x[202] using generic constraint 0.70/0.81 c intension x[31] != x[207] using generic constraint 0.70/0.82 c intension x[31] != x[215] using generic constraint 0.70/0.82 c intension x[31] != x[227] using generic constraint 0.70/0.82 c intension x[31] != x[235] using generic constraint 0.70/0.82 c intension x[31] != x[237] using generic constraint 0.70/0.82 c intension x[32] != x[33] using generic constraint 0.70/0.82 c intension x[32] != x[42] using generic constraint 0.70/0.82 c intension x[32] != x[49] using generic constraint 0.70/0.82 c intension x[32] != x[58] using generic constraint 0.70/0.82 c intension x[32] != x[64] using generic constraint 0.70/0.82 c intension x[32] != x[68] using generic constraint 0.70/0.82 c intension x[32] != x[80] using generic constraint 0.70/0.83 c intension x[32] != x[101] using generic constraint 0.70/0.83 c intension x[32] != x[123] using generic constraint 0.70/0.83 c intension x[32] != x[142] using generic constraint 0.70/0.83 c intension x[32] != x[148] using generic constraint 0.70/0.83 c intension x[32] != x[155] using generic constraint 0.70/0.83 c intension x[32] != x[173] using generic constraint 0.70/0.83 c intension x[32] != x[186] using generic constraint 0.70/0.83 c intension x[32] != x[191] using generic constraint 0.70/0.83 c intension x[32] != x[194] using generic constraint 0.70/0.83 c intension x[32] != x[209] using generic constraint 0.70/0.83 c intension x[32] != x[210] using generic constraint 0.70/0.83 c intension x[32] != x[214] using generic constraint 0.70/0.84 c intension x[32] != x[233] using generic constraint 0.70/0.84 c intension x[32] != x[237] using generic constraint 0.70/0.84 c intension x[32] != x[242] using generic constraint 0.70/0.84 c intension x[32] != x[245] using generic constraint 0.70/0.84 c intension x[33] != x[47] using generic constraint 0.70/0.84 c intension x[33] != x[52] using generic constraint 0.70/0.84 c intension x[33] != x[57] using generic constraint 0.70/0.84 c intension x[33] != x[64] using generic constraint 0.70/0.84 c intension x[33] != x[68] using generic constraint 0.70/0.84 c intension x[33] != x[93] using generic constraint 0.70/0.84 c intension x[33] != x[118] using generic constraint 0.70/0.85 c intension x[33] != x[120] using generic constraint 0.70/0.85 c intension x[33] != x[156] using generic constraint 0.70/0.85 c intension x[33] != x[165] using generic constraint 0.70/0.85 c intension x[33] != x[170] using generic constraint 0.70/0.85 c intension x[33] != x[181] using generic constraint 0.70/0.85 c intension x[33] != x[203] using generic constraint 0.70/0.85 c intension x[33] != x[205] using generic constraint 0.70/0.85 c intension x[33] != x[211] using generic constraint 0.70/0.85 c intension x[33] != x[227] using generic constraint 0.70/0.85 c intension x[34] != x[35] using generic constraint 0.70/0.85 c intension x[34] != x[47] using generic constraint 0.70/0.86 c intension x[34] != x[55] using generic constraint 0.70/0.86 c intension x[34] != x[59] using generic constraint 0.70/0.86 c intension x[34] != x[60] using generic constraint 0.70/0.86 c intension x[34] != x[61] using generic constraint 0.70/0.86 c intension x[34] != x[71] using generic constraint 0.70/0.86 c intension x[34] != x[73] using generic constraint 0.70/0.86 c intension x[34] != x[78] using generic constraint 0.70/0.86 c intension x[34] != x[91] using generic constraint 0.70/0.86 c intension x[34] != x[95] using generic constraint 0.70/0.86 c intension x[34] != x[98] using generic constraint 0.70/0.86 c intension x[34] != x[127] using generic constraint 0.70/0.86 c intension x[34] != x[128] using generic constraint 0.70/0.87 c intension x[34] != x[129] using generic constraint 0.70/0.87 c intension x[34] != x[134] using generic constraint 0.70/0.87 c intension x[34] != x[151] using generic constraint 0.70/0.87 c intension x[34] != x[153] using generic constraint 0.70/0.87 c intension x[34] != x[154] using generic constraint 0.70/0.87 c intension x[34] != x[171] using generic constraint 0.70/0.87 c intension x[34] != x[175] using generic constraint 0.70/0.87 c intension x[34] != x[182] using generic constraint 0.70/0.87 c intension x[34] != x[187] using generic constraint 0.70/0.87 c intension x[34] != x[193] using generic constraint 0.70/0.87 c intension x[34] != x[206] using generic constraint 0.70/0.88 c intension x[34] != x[207] using generic constraint 0.70/0.88 c intension x[34] != x[208] using generic constraint 0.70/0.88 c intension x[34] != x[212] using generic constraint 0.70/0.88 c intension x[34] != x[218] using generic constraint 0.70/0.88 c intension x[34] != x[230] using generic constraint 0.70/0.88 c intension x[34] != x[242] using generic constraint 0.70/0.88 c intension x[35] != x[63] using generic constraint 0.70/0.88 c intension x[35] != x[71] using generic constraint 0.70/0.88 c intension x[35] != x[86] using generic constraint 0.70/0.88 c intension x[35] != x[87] using generic constraint 0.70/0.88 c intension x[35] != x[89] using generic constraint 0.70/0.88 c intension x[35] != x[92] using generic constraint 0.70/0.89 c intension x[35] != x[101] using generic constraint 0.70/0.89 c intension x[35] != x[103] using generic constraint 0.70/0.89 c intension x[35] != x[106] using generic constraint 0.70/0.89 c intension x[35] != x[113] using generic constraint 0.70/0.89 c intension x[35] != x[130] using generic constraint 0.70/0.89 c intension x[35] != x[139] using generic constraint 0.70/0.89 c intension x[35] != x[140] using generic constraint 0.70/0.89 c intension x[35] != x[146] using generic constraint 0.70/0.89 c intension x[35] != x[153] using generic constraint 0.70/0.89 c intension x[35] != x[156] using generic constraint 0.70/0.89 c intension x[35] != x[185] using generic constraint 0.70/0.90 c intension x[35] != x[229] using generic constraint 0.80/0.90 c intension x[35] != x[243] using generic constraint 0.80/0.90 c intension x[36] != x[47] using generic constraint 0.80/0.90 c intension x[36] != x[53] using generic constraint 0.80/0.90 c intension x[36] != x[55] using generic constraint 0.80/0.90 c intension x[36] != x[60] using generic constraint 0.80/0.90 c intension x[36] != x[64] using generic constraint 0.80/0.90 c intension x[36] != x[74] using generic constraint 0.80/0.90 c intension x[36] != x[81] using generic constraint 0.80/0.90 c intension x[36] != x[87] using generic constraint 0.80/0.90 c intension x[36] != x[97] using generic constraint 0.80/0.91 c intension x[36] != x[104] using generic constraint 0.80/0.91 c intension x[36] != x[120] using generic constraint 0.80/0.91 c intension x[36] != x[126] using generic constraint 0.80/0.91 c intension x[36] != x[132] using generic constraint 0.80/0.91 c intension x[36] != x[133] using generic constraint 0.80/0.91 c intension x[36] != x[139] using generic constraint 0.80/0.91 c intension x[36] != x[151] using generic constraint 0.80/0.91 c intension x[36] != x[155] using generic constraint 0.80/0.91 c intension x[36] != x[160] using generic constraint 0.80/0.91 c intension x[36] != x[166] using generic constraint 0.80/0.91 c intension x[36] != x[182] using generic constraint 0.80/0.92 c intension x[36] != x[189] using generic constraint 0.80/0.92 c intension x[36] != x[201] using generic constraint 0.80/0.92 c intension x[36] != x[204] using generic constraint 0.80/0.92 c intension x[36] != x[224] using generic constraint 0.80/0.92 c intension x[36] != x[232] using generic constraint 0.80/0.92 c intension x[36] != x[239] using generic constraint 0.80/0.92 c intension x[36] != x[243] using generic constraint 0.80/0.92 c intension x[37] != x[38] using generic constraint 0.80/0.92 c intension x[37] != x[84] using generic constraint 0.80/0.92 c intension x[37] != x[86] using generic constraint 0.80/0.92 c intension x[37] != x[100] using generic constraint 0.80/0.92 c intension x[37] != x[113] using generic constraint 0.80/0.93 c intension x[37] != x[123] using generic constraint 0.80/0.93 c intension x[37] != x[129] using generic constraint 0.80/0.93 c intension x[37] != x[132] using generic constraint 0.80/0.93 c intension x[37] != x[148] using generic constraint 0.80/0.93 c intension x[37] != x[152] using generic constraint 0.80/0.93 c intension x[37] != x[153] using generic constraint 0.80/0.93 c intension x[37] != x[154] using generic constraint 0.80/0.93 c intension x[37] != x[160] using generic constraint 0.80/0.93 c intension x[37] != x[161] using generic constraint 0.80/0.93 c intension x[37] != x[168] using generic constraint 0.80/0.93 c intension x[37] != x[189] using generic constraint 0.80/0.94 c intension x[37] != x[200] using generic constraint 0.80/0.94 c intension x[37] != x[212] using generic constraint 0.80/0.94 c intension x[37] != x[243] using generic constraint 0.80/0.94 c intension x[38] != x[40] using generic constraint 0.80/0.94 c intension x[38] != x[42] using generic constraint 0.80/0.94 c intension x[38] != x[56] using generic constraint 0.80/0.94 c intension x[38] != x[67] using generic constraint 0.80/0.94 c intension x[38] != x[72] using generic constraint 0.80/0.94 c intension x[38] != x[75] using generic constraint 0.80/0.94 c intension x[38] != x[77] using generic constraint 0.80/0.94 c intension x[38] != x[88] using generic constraint 0.80/0.94 c intension x[38] != x[89] using generic constraint 0.80/0.95 c intension x[38] != x[92] using generic constraint 0.80/0.95 c intension x[38] != x[93] using generic constraint 0.80/0.95 c intension x[38] != x[98] using generic constraint 0.80/0.95 c intension x[38] != x[114] using generic constraint 0.80/0.95 c intension x[38] != x[122] using generic constraint 0.80/0.95 c intension x[38] != x[129] using generic constraint 0.80/0.95 c intension x[38] != x[138] using generic constraint 0.80/0.95 c intension x[38] != x[160] using generic constraint 0.80/0.95 c intension x[38] != x[197] using generic constraint 0.80/0.95 c intension x[38] != x[206] using generic constraint 0.80/0.95 c intension x[38] != x[212] using generic constraint 0.80/0.96 c intension x[38] != x[231] using generic constraint 0.80/0.96 c intension x[38] != x[245] using generic constraint 0.80/0.96 c intension x[38] != x[249] using generic constraint 0.80/0.96 c intension x[39] != x[46] using generic constraint 0.80/0.96 c intension x[39] != x[54] using generic constraint 0.80/0.96 c intension x[39] != x[70] using generic constraint 0.80/0.96 c intension x[39] != x[75] using generic constraint 0.80/0.96 c intension x[39] != x[84] using generic constraint 0.80/0.96 c intension x[39] != x[99] using generic constraint 0.80/0.96 c intension x[39] != x[103] using generic constraint 0.80/0.96 c intension x[39] != x[165] using generic constraint 0.80/0.97 c intension x[39] != x[168] using generic constraint 0.80/0.97 c intension x[39] != x[190] using generic constraint 0.80/0.97 c intension x[39] != x[197] using generic constraint 0.80/0.97 c intension x[39] != x[198] using generic constraint 0.80/0.97 c intension x[39] != x[199] using generic constraint 0.80/0.97 c intension x[39] != x[211] using generic constraint 0.80/0.97 c intension x[39] != x[226] using generic constraint 0.80/0.97 c intension x[39] != x[227] using generic constraint 0.80/0.97 c intension x[39] != x[231] using generic constraint 0.80/0.97 c intension x[39] != x[232] using generic constraint 0.80/0.97 c intension x[39] != x[236] using generic constraint 0.80/0.97 c intension x[40] != x[59] using generic constraint 0.80/0.98 c intension x[40] != x[70] using generic constraint 0.80/0.98 c intension x[40] != x[72] using generic constraint 0.80/0.98 c intension x[40] != x[74] using generic constraint 0.80/0.98 c intension x[40] != x[99] using generic constraint 0.80/0.98 c intension x[40] != x[104] using generic constraint 0.80/0.98 c intension x[40] != x[121] using generic constraint 0.80/0.98 c intension x[40] != x[151] using generic constraint 0.80/0.98 c intension x[40] != x[187] using generic constraint 0.80/0.98 c intension x[40] != x[201] using generic constraint 0.80/0.98 c intension x[40] != x[217] using generic constraint 0.80/0.98 c intension x[40] != x[218] using generic constraint 0.80/0.99 c intension x[40] != x[222] using generic constraint 0.80/0.99 c intension x[40] != x[223] using generic constraint 0.80/0.99 c intension x[40] != x[232] using generic constraint 0.80/0.99 c intension x[40] != x[237] using generic constraint 0.80/0.99 c intension x[40] != x[239] using generic constraint 0.80/0.99 c intension x[41] != x[53] using generic constraint 0.80/0.99 c intension x[41] != x[55] using generic constraint 0.80/0.99 c intension x[41] != x[65] using generic constraint 0.80/0.99 c intension x[41] != x[66] using generic constraint 0.80/0.99 c intension x[41] != x[86] using generic constraint 0.80/0.99 c intension x[41] != x[91] using generic constraint 0.80/0.99 c intension x[41] != x[96] using generic constraint 0.80/1.00 c intension x[41] != x[97] using generic constraint 0.80/1.00 c intension x[41] != x[110] using generic constraint 0.80/1.00 c intension x[41] != x[120] using generic constraint 0.80/1.00 c intension x[41] != x[161] using generic constraint 0.80/1.00 c intension x[41] != x[162] using generic constraint 0.80/1.00 c intension x[41] != x[166] using generic constraint 0.80/1.00 c intension x[41] != x[171] using generic constraint 0.80/1.00 c intension x[41] != x[185] using generic constraint 0.80/1.00 c intension x[41] != x[207] using generic constraint 0.80/1.00 c intension x[41] != x[218] using generic constraint 0.91/1.00 c intension x[41] != x[231] using generic constraint 0.91/1.01 c intension x[41] != x[245] using generic constraint 0.91/1.01 c intension x[42] != x[43] using generic constraint 0.91/1.01 c intension x[42] != x[69] using generic constraint 0.91/1.01 c intension x[42] != x[84] using generic constraint 0.91/1.01 c intension x[42] != x[86] using generic constraint 0.91/1.01 c intension x[42] != x[98] using generic constraint 0.91/1.01 c intension x[42] != x[125] using generic constraint 0.91/1.01 c intension x[42] != x[129] using generic constraint 0.91/1.01 c intension x[42] != x[144] using generic constraint 0.91/1.01 c intension x[42] != x[146] using generic constraint 0.91/1.01 c intension x[42] != x[153] using generic constraint 0.91/1.02 c intension x[42] != x[164] using generic constraint 0.91/1.02 c intension x[42] != x[171] using generic constraint 0.91/1.02 c intension x[42] != x[186] using generic constraint 0.91/1.02 c intension x[42] != x[193] using generic constraint 0.91/1.02 c intension x[42] != x[202] using generic constraint 0.91/1.02 c intension x[42] != x[223] using generic constraint 0.91/1.02 c intension x[42] != x[226] using generic constraint 0.91/1.02 c intension x[42] != x[243] using generic constraint 0.91/1.02 c intension x[42] != x[246] using generic constraint 0.91/1.02 c intension x[43] != x[52] using generic constraint 0.91/1.02 c intension x[43] != x[53] using generic constraint 0.91/1.03 c intension x[43] != x[55] using generic constraint 0.91/1.03 c intension x[43] != x[56] using generic constraint 0.91/1.03 c intension x[43] != x[57] using generic constraint 0.91/1.03 c intension x[43] != x[71] using generic constraint 0.91/1.03 c intension x[43] != x[75] using generic constraint 0.91/1.03 c intension x[43] != x[90] using generic constraint 0.91/1.03 c intension x[43] != x[92] using generic constraint 0.91/1.03 c intension x[43] != x[93] using generic constraint 0.91/1.03 c intension x[43] != x[101] using generic constraint 0.91/1.03 c intension x[43] != x[103] using generic constraint 0.91/1.03 c intension x[43] != x[109] using generic constraint 0.91/1.03 c intension x[43] != x[114] using generic constraint 0.91/1.04 c intension x[43] != x[156] using generic constraint 0.91/1.04 c intension x[43] != x[157] using generic constraint 0.91/1.04 c intension x[43] != x[163] using generic constraint 0.91/1.04 c intension x[43] != x[175] using generic constraint 0.91/1.04 c intension x[43] != x[190] using generic constraint 0.91/1.04 c intension x[43] != x[198] using generic constraint 0.91/1.04 c intension x[43] != x[199] using generic constraint 0.91/1.04 c intension x[43] != x[205] using generic constraint 0.91/1.04 c intension x[43] != x[210] using generic constraint 0.91/1.04 c intension x[43] != x[219] using generic constraint 0.91/1.04 c intension x[43] != x[226] using generic constraint 0.91/1.05 c intension x[43] != x[243] using generic constraint 0.91/1.05 c intension x[43] != x[248] using generic constraint 0.91/1.05 c intension x[43] != x[249] using generic constraint 0.91/1.05 c intension x[44] != x[56] using generic constraint 0.91/1.05 c intension x[44] != x[58] using generic constraint 0.91/1.05 c intension x[44] != x[90] using generic constraint 0.91/1.05 c intension x[44] != x[99] using generic constraint 0.91/1.05 c intension x[44] != x[103] using generic constraint 0.91/1.05 c intension x[44] != x[132] using generic constraint 0.91/1.05 c intension x[44] != x[202] using generic constraint 0.91/1.05 c intension x[44] != x[210] using generic constraint 0.91/1.06 c intension x[44] != x[220] using generic constraint 0.91/1.06 c intension x[44] != x[221] using generic constraint 0.91/1.06 c intension x[44] != x[222] using generic constraint 0.91/1.06 c intension x[44] != x[225] using generic constraint 0.91/1.06 c intension x[44] != x[226] using generic constraint 0.91/1.06 c intension x[44] != x[231] using generic constraint 0.91/1.06 c intension x[44] != x[235] using generic constraint 0.91/1.06 c intension x[44] != x[237] using generic constraint 0.91/1.06 c intension x[44] != x[242] using generic constraint 0.91/1.06 c intension x[44] != x[248] using generic constraint 0.91/1.06 c intension x[45] != x[56] using generic constraint 0.91/1.06 c intension x[45] != x[60] using generic constraint 0.91/1.07 c intension x[45] != x[62] using generic constraint 0.91/1.07 c intension x[45] != x[80] using generic constraint 0.91/1.07 c intension x[45] != x[96] using generic constraint 0.91/1.07 c intension x[45] != x[112] using generic constraint 0.91/1.07 c intension x[45] != x[113] using generic constraint 0.91/1.07 c intension x[45] != x[127] using generic constraint 0.91/1.07 c intension x[45] != x[143] using generic constraint 0.91/1.07 c intension x[45] != x[151] using generic constraint 0.91/1.07 c intension x[45] != x[157] using generic constraint 0.91/1.07 c intension x[45] != x[167] using generic constraint 0.91/1.07 c intension x[45] != x[168] using generic constraint 0.91/1.08 c intension x[45] != x[172] using generic constraint 0.91/1.08 c intension x[45] != x[203] using generic constraint 0.91/1.08 c intension x[45] != x[204] using generic constraint 0.91/1.08 c intension x[45] != x[206] using generic constraint 0.91/1.08 c intension x[45] != x[209] using generic constraint 0.91/1.08 c intension x[45] != x[213] using generic constraint 0.91/1.08 c intension x[45] != x[227] using generic constraint 0.91/1.08 c intension x[45] != x[237] using generic constraint 0.91/1.08 c intension x[45] != x[239] using generic constraint 0.91/1.08 c intension x[46] != x[52] using generic constraint 0.91/1.08 c intension x[46] != x[55] using generic constraint 0.91/1.08 c intension x[46] != x[56] using generic constraint 0.91/1.09 c intension x[46] != x[87] using generic constraint 0.91/1.09 c intension x[46] != x[111] using generic constraint 0.91/1.09 c intension x[46] != x[117] using generic constraint 0.91/1.09 c intension x[46] != x[140] using generic constraint 0.91/1.09 c intension x[46] != x[148] using generic constraint 0.91/1.09 c intension x[46] != x[186] using generic constraint 0.91/1.09 c intension x[46] != x[197] using generic constraint 0.91/1.09 c intension x[46] != x[207] using generic constraint 0.91/1.09 c intension x[46] != x[218] using generic constraint 0.91/1.09 c intension x[46] != x[219] using generic constraint 0.91/1.09 c intension x[46] != x[230] using generic constraint 0.91/1.10 c intension x[46] != x[235] using generic constraint 0.91/1.10 c intension x[46] != x[244] using generic constraint 0.91/1.10 c intension x[47] != x[48] using generic constraint 0.91/1.10 c intension x[47] != x[58] using generic constraint 0.91/1.10 c intension x[47] != x[73] using generic constraint 0.91/1.10 c intension x[47] != x[75] using generic constraint 0.91/1.10 c intension x[47] != x[84] using generic constraint 0.91/1.10 c intension x[47] != x[85] using generic constraint 0.91/1.10 c intension x[47] != x[94] using generic constraint 0.91/1.10 c intension x[47] != x[110] using generic constraint 1.01/1.10 c intension x[47] != x[129] using generic constraint 1.01/1.11 c intension x[47] != x[131] using generic constraint 1.01/1.11 c intension x[47] != x[132] using generic constraint 1.01/1.11 c intension x[47] != x[145] using generic constraint 1.01/1.11 c intension x[47] != x[158] using generic constraint 1.01/1.11 c intension x[47] != x[173] using generic constraint 1.01/1.11 c intension x[47] != x[176] using generic constraint 1.01/1.11 c intension x[47] != x[188] using generic constraint 1.01/1.11 c intension x[47] != x[200] using generic constraint 1.01/1.11 c intension x[47] != x[212] using generic constraint 1.01/1.11 c intension x[47] != x[217] using generic constraint 1.01/1.11 c intension x[47] != x[224] using generic constraint 1.01/1.12 c intension x[47] != x[225] using generic constraint 1.01/1.12 c intension x[47] != x[230] using generic constraint 1.01/1.12 c intension x[47] != x[233] using generic constraint 1.01/1.12 c intension x[47] != x[240] using generic constraint 1.01/1.12 c intension x[48] != x[51] using generic constraint 1.01/1.12 c intension x[48] != x[80] using generic constraint 1.01/1.12 c intension x[48] != x[85] using generic constraint 1.01/1.12 c intension x[48] != x[100] using generic constraint 1.01/1.12 c intension x[48] != x[104] using generic constraint 1.01/1.12 c intension x[48] != x[113] using generic constraint 1.01/1.12 c intension x[48] != x[123] using generic constraint 1.01/1.13 c intension x[48] != x[126] using generic constraint 1.01/1.13 c intension x[48] != x[134] using generic constraint 1.01/1.13 c intension x[48] != x[157] using generic constraint 1.01/1.13 c intension x[48] != x[167] using generic constraint 1.01/1.13 c intension x[48] != x[168] using generic constraint 1.01/1.13 c intension x[48] != x[170] using generic constraint 1.01/1.13 c intension x[48] != x[177] using generic constraint 1.01/1.13 c intension x[48] != x[187] using generic constraint 1.01/1.13 c intension x[48] != x[202] using generic constraint 1.01/1.13 c intension x[48] != x[203] using generic constraint 1.01/1.13 c intension x[48] != x[207] using generic constraint 1.01/1.13 c intension x[48] != x[210] using generic constraint 1.01/1.14 c intension x[48] != x[215] using generic constraint 1.01/1.14 c intension x[48] != x[235] using generic constraint 1.01/1.14 c intension x[48] != x[244] using generic constraint 1.01/1.14 c intension x[49] != x[76] using generic constraint 1.01/1.14 c intension x[49] != x[82] using generic constraint 1.01/1.14 c intension x[49] != x[100] using generic constraint 1.01/1.14 c intension x[49] != x[127] using generic constraint 1.01/1.14 c intension x[49] != x[132] using generic constraint 1.01/1.14 c intension x[49] != x[135] using generic constraint 1.01/1.14 c intension x[49] != x[142] using generic constraint 1.01/1.14 c intension x[49] != x[170] using generic constraint 1.01/1.15 c intension x[49] != x[182] using generic constraint 1.01/1.15 c intension x[49] != x[191] using generic constraint 1.01/1.15 c intension x[49] != x[201] using generic constraint 1.01/1.15 c intension x[49] != x[212] using generic constraint 1.01/1.15 c intension x[49] != x[226] using generic constraint 1.01/1.15 c intension x[49] != x[227] using generic constraint 1.01/1.15 c intension x[49] != x[241] using generic constraint 1.01/1.15 c intension x[49] != x[244] using generic constraint 1.01/1.15 c intension x[50] != x[63] using generic constraint 1.01/1.15 c intension x[50] != x[80] using generic constraint 1.01/1.15 c intension x[50] != x[89] using generic constraint 1.01/1.15 c intension x[50] != x[112] using generic constraint 1.01/1.16 c intension x[50] != x[124] using generic constraint 1.01/1.16 c intension x[50] != x[133] using generic constraint 1.01/1.16 c intension x[50] != x[134] using generic constraint 1.01/1.16 c intension x[50] != x[168] using generic constraint 1.01/1.16 c intension x[50] != x[171] using generic constraint 1.01/1.16 c intension x[50] != x[180] using generic constraint 1.01/1.16 c intension x[50] != x[184] using generic constraint 1.01/1.16 c intension x[50] != x[197] using generic constraint 1.01/1.16 c intension x[50] != x[199] using generic constraint 1.01/1.16 c intension x[50] != x[202] using generic constraint 1.01/1.16 c intension x[50] != x[206] using generic constraint 1.01/1.17 c intension x[50] != x[211] using generic constraint 1.01/1.17 c intension x[50] != x[233] using generic constraint 1.01/1.17 c intension x[50] != x[235] using generic constraint 1.01/1.17 c intension x[51] != x[70] using generic constraint 1.01/1.17 c intension x[51] != x[93] using generic constraint 1.01/1.17 c intension x[51] != x[124] using generic constraint 1.01/1.17 c intension x[51] != x[138] using generic constraint 1.01/1.17 c intension x[51] != x[149] using generic constraint 1.01/1.17 c intension x[51] != x[152] using generic constraint 1.01/1.17 c intension x[51] != x[161] using generic constraint 1.01/1.17 c intension x[51] != x[170] using generic constraint 1.01/1.18 c intension x[51] != x[180] using generic constraint 1.01/1.18 c intension x[51] != x[183] using generic constraint 1.01/1.18 c intension x[51] != x[195] using generic constraint 1.01/1.18 c intension x[51] != x[199] using generic constraint 1.01/1.18 c intension x[51] != x[202] using generic constraint 1.01/1.18 c intension x[51] != x[207] using generic constraint 1.01/1.18 c intension x[51] != x[223] using generic constraint 1.01/1.18 c intension x[51] != x[232] using generic constraint 1.01/1.18 c intension x[51] != x[236] using generic constraint 1.01/1.18 c intension x[51] != x[246] using generic constraint 1.01/1.18 c intension x[51] != x[249] using generic constraint 1.01/1.18 c intension x[52] != x[65] using generic constraint 1.01/1.19 c intension x[52] != x[87] using generic constraint 1.01/1.19 c intension x[52] != x[89] using generic constraint 1.01/1.19 c intension x[52] != x[128] using generic constraint 1.01/1.19 c intension x[52] != x[136] using generic constraint 1.01/1.19 c intension x[52] != x[140] using generic constraint 1.01/1.19 c intension x[52] != x[143] using generic constraint 1.01/1.19 c intension x[52] != x[149] using generic constraint 1.01/1.19 c intension x[52] != x[151] using generic constraint 1.01/1.19 c intension x[52] != x[155] using generic constraint 1.01/1.19 c intension x[52] != x[193] using generic constraint 1.01/1.19 c intension x[52] != x[194] using generic constraint 1.01/1.20 c intension x[52] != x[198] using generic constraint 1.10/1.20 c intension x[52] != x[217] using generic constraint 1.10/1.20 c intension x[52] != x[237] using generic constraint 1.10/1.20 c intension x[53] != x[60] using generic constraint 1.10/1.20 c intension x[53] != x[65] using generic constraint 1.10/1.20 c intension x[53] != x[68] using generic constraint 1.10/1.20 c intension x[53] != x[90] using generic constraint 1.10/1.20 c intension x[53] != x[101] using generic constraint 1.10/1.20 c intension x[53] != x[109] using generic constraint 1.10/1.20 c intension x[53] != x[110] using generic constraint 1.10/1.20 c intension x[53] != x[112] using generic constraint 1.10/1.21 c intension x[53] != x[122] using generic constraint 1.10/1.21 c intension x[53] != x[123] using generic constraint 1.10/1.21 c intension x[53] != x[125] using generic constraint 1.10/1.21 c intension x[53] != x[132] using generic constraint 1.10/1.21 c intension x[53] != x[159] using generic constraint 1.10/1.21 c intension x[53] != x[168] using generic constraint 1.10/1.21 c intension x[53] != x[181] using generic constraint 1.10/1.21 c intension x[53] != x[188] using generic constraint 1.10/1.21 c intension x[53] != x[198] using generic constraint 1.10/1.21 c intension x[53] != x[199] using generic constraint 1.10/1.21 c intension x[53] != x[207] using generic constraint 1.10/1.21 c intension x[53] != x[219] using generic constraint 1.10/1.22 c intension x[53] != x[223] using generic constraint 1.10/1.22 c intension x[53] != x[224] using generic constraint 1.10/1.22 c intension x[54] != x[55] using generic constraint 1.10/1.22 c intension x[54] != x[84] using generic constraint 1.10/1.22 c intension x[54] != x[97] using generic constraint 1.10/1.22 c intension x[54] != x[99] using generic constraint 1.10/1.22 c intension x[54] != x[101] using generic constraint 1.10/1.22 c intension x[54] != x[104] using generic constraint 1.10/1.22 c intension x[54] != x[106] using generic constraint 1.10/1.22 c intension x[54] != x[128] using generic constraint 1.10/1.22 c intension x[54] != x[131] using generic constraint 1.10/1.23 c intension x[54] != x[143] using generic constraint 1.10/1.23 c intension x[54] != x[146] using generic constraint 1.10/1.23 c intension x[54] != x[152] using generic constraint 1.10/1.23 c intension x[54] != x[171] using generic constraint 1.10/1.23 c intension x[54] != x[196] using generic constraint 1.10/1.23 c intension x[54] != x[201] using generic constraint 1.10/1.23 c intension x[54] != x[204] using generic constraint 1.10/1.23 c intension x[54] != x[210] using generic constraint 1.10/1.23 c intension x[54] != x[214] using generic constraint 1.10/1.23 c intension x[54] != x[216] using generic constraint 1.10/1.23 c intension x[54] != x[223] using generic constraint 1.10/1.24 c intension x[55] != x[60] using generic constraint 1.10/1.24 c intension x[55] != x[65] using generic constraint 1.10/1.24 c intension x[55] != x[69] using generic constraint 1.10/1.24 c intension x[55] != x[73] using generic constraint 1.10/1.24 c intension x[55] != x[74] using generic constraint 1.10/1.24 c intension x[55] != x[77] using generic constraint 1.10/1.24 c intension x[55] != x[78] using generic constraint 1.10/1.24 c intension x[55] != x[80] using generic constraint 1.10/1.24 c intension x[55] != x[83] using generic constraint 1.10/1.24 c intension x[55] != x[103] using generic constraint 1.10/1.24 c intension x[55] != x[105] using generic constraint 1.10/1.24 c intension x[55] != x[122] using generic constraint 1.10/1.25 c intension x[55] != x[129] using generic constraint 1.10/1.25 c intension x[55] != x[143] using generic constraint 1.10/1.25 c intension x[55] != x[150] using generic constraint 1.10/1.25 c intension x[55] != x[159] using generic constraint 1.10/1.25 c intension x[55] != x[183] using generic constraint 1.10/1.25 c intension x[55] != x[185] using generic constraint 1.10/1.25 c intension x[55] != x[206] using generic constraint 1.10/1.25 c intension x[56] != x[62] using generic constraint 1.10/1.25 c intension x[56] != x[78] using generic constraint 1.10/1.25 c intension x[56] != x[91] using generic constraint 1.10/1.25 c intension x[56] != x[94] using generic constraint 1.10/1.26 c intension x[56] != x[99] using generic constraint 1.10/1.26 c intension x[56] != x[103] using generic constraint 1.10/1.26 c intension x[56] != x[107] using generic constraint 1.10/1.26 c intension x[56] != x[110] using generic constraint 1.10/1.26 c intension x[56] != x[111] using generic constraint 1.10/1.26 c intension x[56] != x[112] using generic constraint 1.10/1.26 c intension x[56] != x[116] using generic constraint 1.10/1.26 c intension x[56] != x[118] using generic constraint 1.10/1.26 c intension x[56] != x[132] using generic constraint 1.10/1.26 c intension x[56] != x[136] using generic constraint 1.10/1.26 c intension x[56] != x[141] using generic constraint 1.10/1.26 c intension x[56] != x[151] using generic constraint 1.10/1.27 c intension x[56] != x[165] using generic constraint 1.10/1.27 c intension x[56] != x[177] using generic constraint 1.10/1.27 c intension x[56] != x[208] using generic constraint 1.10/1.27 c intension x[56] != x[215] using generic constraint 1.10/1.27 c intension x[56] != x[222] using generic constraint 1.10/1.27 c intension x[57] != x[60] using generic constraint 1.10/1.27 c intension x[57] != x[65] using generic constraint 1.10/1.27 c intension x[57] != x[78] using generic constraint 1.10/1.27 c intension x[57] != x[79] using generic constraint 1.10/1.27 c intension x[57] != x[109] using generic constraint 1.10/1.27 c intension x[57] != x[113] using generic constraint 1.10/1.28 c intension x[57] != x[126] using generic constraint 1.10/1.28 c intension x[57] != x[128] using generic constraint 1.10/1.28 c intension x[57] != x[130] using generic constraint 1.10/1.28 c intension x[57] != x[145] using generic constraint 1.10/1.28 c intension x[57] != x[165] using generic constraint 1.10/1.28 c intension x[57] != x[169] using generic constraint 1.10/1.28 c intension x[57] != x[173] using generic constraint 1.10/1.28 c intension x[57] != x[187] using generic constraint 1.10/1.28 c intension x[57] != x[203] using generic constraint 1.10/1.28 c intension x[57] != x[205] using generic constraint 1.10/1.28 c intension x[57] != x[227] using generic constraint 1.10/1.29 c intension x[57] != x[239] using generic constraint 1.10/1.29 c intension x[57] != x[242] using generic constraint 1.10/1.29 c intension x[57] != x[243] using generic constraint 1.10/1.29 c intension x[58] != x[62] using generic constraint 1.10/1.29 c intension x[58] != x[73] using generic constraint 1.10/1.29 c intension x[58] != x[75] using generic constraint 1.10/1.29 c intension x[58] != x[86] using generic constraint 1.10/1.29 c intension x[58] != x[93] using generic constraint 1.10/1.29 c intension x[58] != x[120] using generic constraint 1.10/1.29 c intension x[58] != x[127] using generic constraint 1.10/1.29 c intension x[58] != x[137] using generic constraint 1.10/1.29 c intension x[58] != x[173] using generic constraint 1.20/1.30 c intension x[58] != x[178] using generic constraint 1.20/1.30 c intension x[58] != x[181] using generic constraint 1.20/1.30 c intension x[58] != x[186] using generic constraint 1.20/1.30 c intension x[58] != x[188] using generic constraint 1.20/1.30 c intension x[58] != x[225] using generic constraint 1.20/1.30 c intension x[58] != x[230] using generic constraint 1.20/1.30 c intension x[58] != x[247] using generic constraint 1.20/1.30 c intension x[59] != x[61] using generic constraint 1.20/1.30 c intension x[59] != x[70] using generic constraint 1.20/1.30 c intension x[59] != x[83] using generic constraint 1.20/1.30 c intension x[59] != x[84] using generic constraint 1.20/1.31 c intension x[59] != x[86] using generic constraint 1.20/1.31 c intension x[59] != x[102] using generic constraint 1.20/1.31 c intension x[59] != x[112] using generic constraint 1.20/1.31 c intension x[59] != x[126] using generic constraint 1.20/1.31 c intension x[59] != x[127] using generic constraint 1.20/1.31 c intension x[59] != x[147] using generic constraint 1.20/1.31 c intension x[59] != x[156] using generic constraint 1.20/1.31 c intension x[59] != x[160] using generic constraint 1.20/1.31 c intension x[59] != x[204] using generic constraint 1.20/1.31 c intension x[59] != x[219] using generic constraint 1.20/1.31 c intension x[59] != x[224] using generic constraint 1.20/1.32 c intension x[59] != x[229] using generic constraint 1.20/1.32 c intension x[59] != x[233] using generic constraint 1.20/1.32 c intension x[59] != x[235] using generic constraint 1.20/1.32 c intension x[59] != x[237] using generic constraint 1.20/1.32 c intension x[60] != x[62] using generic constraint 1.20/1.32 c intension x[60] != x[78] using generic constraint 1.20/1.32 c intension x[60] != x[79] using generic constraint 1.20/1.32 c intension x[60] != x[84] using generic constraint 1.20/1.32 c intension x[60] != x[91] using generic constraint 1.20/1.32 c intension x[60] != x[92] using generic constraint 1.20/1.32 c intension x[60] != x[100] using generic constraint 1.20/1.32 c intension x[60] != x[106] using generic constraint 1.20/1.33 c intension x[60] != x[126] using generic constraint 1.20/1.33 c intension x[60] != x[127] using generic constraint 1.20/1.33 c intension x[60] != x[132] using generic constraint 1.20/1.33 c intension x[60] != x[143] using generic constraint 1.20/1.33 c intension x[60] != x[172] using generic constraint 1.20/1.33 c intension x[60] != x[190] using generic constraint 1.20/1.33 c intension x[60] != x[210] using generic constraint 1.20/1.33 c intension x[60] != x[217] using generic constraint 1.20/1.33 c intension x[60] != x[218] using generic constraint 1.20/1.33 c intension x[60] != x[234] using generic constraint 1.20/1.33 c intension x[60] != x[236] using generic constraint 1.20/1.34 c intension x[61] != x[86] using generic constraint 1.20/1.34 c intension x[61] != x[97] using generic constraint 1.20/1.34 c intension x[61] != x[99] using generic constraint 1.20/1.34 c intension x[61] != x[102] using generic constraint 1.20/1.34 c intension x[61] != x[105] using generic constraint 1.20/1.34 c intension x[61] != x[106] using generic constraint 1.20/1.34 c intension x[61] != x[115] using generic constraint 1.20/1.34 c intension x[61] != x[118] using generic constraint 1.20/1.34 c intension x[61] != x[122] using generic constraint 1.20/1.34 c intension x[61] != x[123] using generic constraint 1.20/1.34 c intension x[61] != x[131] using generic constraint 1.20/1.35 c intension x[61] != x[135] using generic constraint 1.20/1.35 c intension x[61] != x[145] using generic constraint 1.20/1.35 c intension x[61] != x[149] using generic constraint 1.20/1.35 c intension x[61] != x[154] using generic constraint 1.20/1.35 c intension x[61] != x[173] using generic constraint 1.20/1.35 c intension x[61] != x[178] using generic constraint 1.20/1.35 c intension x[61] != x[183] using generic constraint 1.20/1.35 c intension x[61] != x[188] using generic constraint 1.20/1.35 c intension x[61] != x[196] using generic constraint 1.20/1.35 c intension x[61] != x[197] using generic constraint 1.20/1.35 c intension x[61] != x[198] using generic constraint 1.20/1.35 c intension x[61] != x[202] using generic constraint 1.20/1.36 c intension x[61] != x[212] using generic constraint 1.20/1.36 c intension x[61] != x[215] using generic constraint 1.20/1.36 c intension x[61] != x[224] using generic constraint 1.20/1.36 c intension x[61] != x[234] using generic constraint 1.20/1.36 c intension x[61] != x[237] using generic constraint 1.20/1.36 c intension x[62] != x[71] using generic constraint 1.20/1.36 c intension x[62] != x[86] using generic constraint 1.20/1.36 c intension x[62] != x[90] using generic constraint 1.20/1.36 c intension x[62] != x[108] using generic constraint 1.20/1.36 c intension x[62] != x[114] using generic constraint 1.20/1.36 c intension x[62] != x[118] using generic constraint 1.20/1.37 c intension x[62] != x[137] using generic constraint 1.20/1.37 c intension x[62] != x[140] using generic constraint 1.20/1.37 c intension x[62] != x[142] using generic constraint 1.20/1.37 c intension x[62] != x[148] using generic constraint 1.20/1.37 c intension x[62] != x[150] using generic constraint 1.20/1.37 c intension x[62] != x[157] using generic constraint 1.20/1.37 c intension x[62] != x[158] using generic constraint 1.20/1.37 c intension x[62] != x[187] using generic constraint 1.20/1.37 c intension x[62] != x[188] using generic constraint 1.20/1.37 c intension x[62] != x[204] using generic constraint 1.20/1.37 c intension x[62] != x[213] using generic constraint 1.20/1.38 c intension x[62] != x[214] using generic constraint 1.20/1.38 c intension x[62] != x[223] using generic constraint 1.20/1.38 c intension x[63] != x[64] using generic constraint 1.20/1.38 c intension x[63] != x[68] using generic constraint 1.20/1.38 c intension x[63] != x[70] using generic constraint 1.20/1.38 c intension x[63] != x[75] using generic constraint 1.20/1.38 c intension x[63] != x[82] using generic constraint 1.20/1.38 c intension x[63] != x[91] using generic constraint 1.20/1.38 c intension x[63] != x[95] using generic constraint 1.20/1.38 c intension x[63] != x[112] using generic constraint 1.20/1.38 c intension x[63] != x[118] using generic constraint 1.20/1.38 c intension x[63] != x[119] using generic constraint 1.20/1.39 c intension x[63] != x[122] using generic constraint 1.20/1.39 c intension x[63] != x[145] using generic constraint 1.20/1.39 c intension x[63] != x[153] using generic constraint 1.20/1.39 c intension x[63] != x[155] using generic constraint 1.20/1.39 c intension x[63] != x[182] using generic constraint 1.20/1.39 c intension x[63] != x[189] using generic constraint 1.20/1.39 c intension x[63] != x[198] using generic constraint 1.20/1.39 c intension x[63] != x[209] using generic constraint 1.20/1.39 c intension x[63] != x[218] using generic constraint 1.20/1.39 c intension x[63] != x[220] using generic constraint 1.20/1.39 c intension x[63] != x[221] using generic constraint 1.20/1.40 c intension x[63] != x[244] using generic constraint 1.30/1.40 c intension x[64] != x[75] using generic constraint 1.30/1.40 c intension x[64] != x[85] using generic constraint 1.30/1.40 c intension x[64] != x[94] using generic constraint 1.30/1.40 c intension x[64] != x[96] using generic constraint 1.30/1.40 c intension x[64] != x[97] using generic constraint 1.30/1.40 c intension x[64] != x[99] using generic constraint 1.30/1.40 c intension x[64] != x[100] using generic constraint 1.30/1.40 c intension x[64] != x[106] using generic constraint 1.30/1.40 c intension x[64] != x[114] using generic constraint 1.30/1.40 c intension x[64] != x[125] using generic constraint 1.30/1.41 c intension x[64] != x[127] using generic constraint 1.30/1.41 c intension x[64] != x[134] using generic constraint 1.30/1.41 c intension x[64] != x[144] using generic constraint 1.30/1.41 c intension x[64] != x[145] using generic constraint 1.30/1.41 c intension x[64] != x[151] using generic constraint 1.30/1.41 c intension x[64] != x[169] using generic constraint 1.30/1.41 c intension x[64] != x[179] using generic constraint 1.30/1.41 c intension x[64] != x[181] using generic constraint 1.30/1.41 c intension x[64] != x[186] using generic constraint 1.30/1.41 c intension x[64] != x[193] using generic constraint 1.30/1.41 c intension x[64] != x[199] using generic constraint 1.30/1.41 c intension x[64] != x[204] using generic constraint 1.30/1.42 c intension x[64] != x[205] using generic constraint 1.30/1.42 c intension x[64] != x[220] using generic constraint 1.30/1.42 c intension x[64] != x[222] using generic constraint 1.30/1.42 c intension x[64] != x[227] using generic constraint 1.30/1.42 c intension x[64] != x[235] using generic constraint 1.30/1.42 c intension x[65] != x[82] using generic constraint 1.30/1.42 c intension x[65] != x[97] using generic constraint 1.30/1.42 c intension x[65] != x[156] using generic constraint 1.30/1.42 c intension x[65] != x[174] using generic constraint 1.30/1.42 c intension x[65] != x[178] using generic constraint 1.30/1.42 c intension x[65] != x[179] using generic constraint 1.30/1.43 c intension x[65] != x[181] using generic constraint 1.30/1.43 c intension x[65] != x[193] using generic constraint 1.30/1.43 c intension x[65] != x[199] using generic constraint 1.30/1.43 c intension x[65] != x[210] using generic constraint 1.30/1.43 c intension x[65] != x[211] using generic constraint 1.30/1.43 c intension x[65] != x[220] using generic constraint 1.30/1.43 c intension x[65] != x[227] using generic constraint 1.30/1.43 c intension x[65] != x[228] using generic constraint 1.30/1.43 c intension x[65] != x[230] using generic constraint 1.30/1.43 c intension x[65] != x[234] using generic constraint 1.30/1.43 c intension x[66] != x[80] using generic constraint 1.30/1.44 c intension x[66] != x[87] using generic constraint 1.30/1.44 c intension x[66] != x[108] using generic constraint 1.30/1.44 c intension x[66] != x[113] using generic constraint 1.30/1.44 c intension x[66] != x[141] using generic constraint 1.30/1.44 c intension x[66] != x[148] using generic constraint 1.30/1.44 c intension x[66] != x[160] using generic constraint 1.30/1.44 c intension x[66] != x[170] using generic constraint 1.30/1.44 c intension x[66] != x[190] using generic constraint 1.30/1.44 c intension x[66] != x[213] using generic constraint 1.30/1.44 c intension x[66] != x[218] using generic constraint 1.30/1.44 c intension x[66] != x[247] using generic constraint 1.30/1.44 c intension x[67] != x[69] using generic constraint 1.30/1.45 c intension x[67] != x[86] using generic constraint 1.30/1.45 c intension x[67] != x[113] using generic constraint 1.30/1.45 c intension x[67] != x[136] using generic constraint 1.30/1.45 c intension x[67] != x[138] using generic constraint 1.30/1.45 c intension x[67] != x[163] using generic constraint 1.30/1.45 c intension x[67] != x[165] using generic constraint 1.30/1.45 c intension x[67] != x[169] using generic constraint 1.30/1.45 c intension x[67] != x[193] using generic constraint 1.30/1.45 c intension x[67] != x[198] using generic constraint 1.30/1.45 c intension x[67] != x[225] using generic constraint 1.30/1.45 c intension x[67] != x[231] using generic constraint 1.30/1.46 c intension x[67] != x[235] using generic constraint 1.30/1.46 c intension x[67] != x[242] using generic constraint 1.30/1.46 c intension x[67] != x[243] using generic constraint 1.30/1.46 c intension x[67] != x[244] using generic constraint 1.30/1.46 c intension x[68] != x[78] using generic constraint 1.30/1.46 c intension x[68] != x[96] using generic constraint 1.30/1.46 c intension x[68] != x[107] using generic constraint 1.30/1.46 c intension x[68] != x[108] using generic constraint 1.30/1.46 c intension x[68] != x[121] using generic constraint 1.30/1.46 c intension x[68] != x[128] using generic constraint 1.30/1.46 c intension x[68] != x[130] using generic constraint 1.30/1.46 c intension x[68] != x[135] using generic constraint 1.30/1.47 c intension x[68] != x[136] using generic constraint 1.30/1.47 c intension x[68] != x[153] using generic constraint 1.30/1.47 c intension x[68] != x[157] using generic constraint 1.30/1.47 c intension x[68] != x[186] using generic constraint 1.30/1.47 c intension x[68] != x[188] using generic constraint 1.30/1.47 c intension x[68] != x[193] using generic constraint 1.30/1.47 c intension x[68] != x[194] using generic constraint 1.30/1.47 c intension x[68] != x[196] using generic constraint 1.30/1.47 c intension x[68] != x[212] using generic constraint 1.30/1.47 c intension x[68] != x[222] using generic constraint 1.30/1.47 c intension x[68] != x[224] using generic constraint 1.30/1.48 c intension x[68] != x[229] using generic constraint 1.30/1.48 c intension x[68] != x[235] using generic constraint 1.30/1.48 c intension x[68] != x[240] using generic constraint 1.30/1.48 c intension x[68] != x[244] using generic constraint 1.30/1.48 c intension x[68] != x[249] using generic constraint 1.30/1.48 c intension x[69] != x[78] using generic constraint 1.30/1.48 c intension x[69] != x[108] using generic constraint 1.30/1.48 c intension x[69] != x[116] using generic constraint 1.30/1.48 c intension x[69] != x[119] using generic constraint 1.30/1.48 c intension x[69] != x[121] using generic constraint 1.30/1.48 c intension x[69] != x[136] using generic constraint 1.30/1.49 c intension x[69] != x[138] using generic constraint 1.30/1.49 c intension x[69] != x[146] using generic constraint 1.30/1.49 c intension x[69] != x[158] using generic constraint 1.30/1.49 c intension x[69] != x[178] using generic constraint 1.30/1.49 c intension x[69] != x[179] using generic constraint 1.30/1.49 c intension x[69] != x[184] using generic constraint 1.30/1.49 c intension x[69] != x[189] using generic constraint 1.30/1.49 c intension x[69] != x[190] using generic constraint 1.30/1.49 c intension x[69] != x[194] using generic constraint 1.30/1.49 c intension x[69] != x[205] using generic constraint 1.30/1.49 c intension x[69] != x[210] using generic constraint 1.30/1.49 c intension x[69] != x[213] using generic constraint 1.30/1.50 c intension x[69] != x[221] using generic constraint 1.40/1.50 c intension x[69] != x[234] using generic constraint 1.40/1.50 c intension x[69] != x[236] using generic constraint 1.40/1.50 c intension x[69] != x[240] using generic constraint 1.40/1.50 c intension x[69] != x[248] using generic constraint 1.40/1.50 c intension x[70] != x[74] using generic constraint 1.40/1.50 c intension x[70] != x[75] using generic constraint 1.40/1.50 c intension x[70] != x[93] using generic constraint 1.40/1.50 c intension x[70] != x[103] using generic constraint 1.40/1.50 c intension x[70] != x[134] using generic constraint 1.40/1.50 c intension x[70] != x[137] using generic constraint 1.40/1.51 c intension x[70] != x[144] using generic constraint 1.40/1.51 c intension x[70] != x[147] using generic constraint 1.40/1.51 c intension x[70] != x[148] using generic constraint 1.40/1.51 c intension x[70] != x[152] using generic constraint 1.40/1.51 c intension x[70] != x[156] using generic constraint 1.40/1.51 c intension x[70] != x[158] using generic constraint 1.40/1.51 c intension x[70] != x[193] using generic constraint 1.40/1.51 c intension x[70] != x[200] using generic constraint 1.40/1.51 c intension x[70] != x[212] using generic constraint 1.40/1.51 c intension x[70] != x[229] using generic constraint 1.40/1.51 c intension x[70] != x[231] using generic constraint 1.40/1.52 c intension x[70] != x[239] using generic constraint 1.40/1.52 c intension x[70] != x[241] using generic constraint 1.40/1.52 c intension x[70] != x[242] using generic constraint 1.40/1.52 c intension x[70] != x[246] using generic constraint 1.40/1.52 c intension x[71] != x[89] using generic constraint 1.40/1.52 c intension x[71] != x[94] using generic constraint 1.40/1.52 c intension x[71] != x[95] using generic constraint 1.40/1.52 c intension x[71] != x[99] using generic constraint 1.40/1.52 c intension x[71] != x[116] using generic constraint 1.40/1.52 c intension x[71] != x[117] using generic constraint 1.40/1.52 c intension x[71] != x[123] using generic constraint 1.40/1.53 c intension x[71] != x[130] using generic constraint 1.40/1.53 c intension x[71] != x[131] using generic constraint 1.40/1.53 c intension x[71] != x[142] using generic constraint 1.40/1.53 c intension x[71] != x[145] using generic constraint 1.40/1.53 c intension x[71] != x[151] using generic constraint 1.40/1.53 c intension x[71] != x[154] using generic constraint 1.40/1.53 c intension x[71] != x[165] using generic constraint 1.40/1.53 c intension x[71] != x[184] using generic constraint 1.40/1.53 c intension x[71] != x[188] using generic constraint 1.40/1.53 c intension x[71] != x[194] using generic constraint 1.40/1.53 c intension x[71] != x[204] using generic constraint 1.40/1.53 c intension x[71] != x[207] using generic constraint 1.40/1.54 c intension x[71] != x[208] using generic constraint 1.40/1.54 c intension x[71] != x[234] using generic constraint 1.40/1.54 c intension x[71] != x[244] using generic constraint 1.40/1.54 c intension x[71] != x[246] using generic constraint 1.40/1.54 c intension x[72] != x[79] using generic constraint 1.40/1.54 c intension x[72] != x[81] using generic constraint 1.40/1.54 c intension x[72] != x[92] using generic constraint 1.40/1.54 c intension x[72] != x[94] using generic constraint 1.40/1.54 c intension x[72] != x[95] using generic constraint 1.40/1.54 c intension x[72] != x[111] using generic constraint 1.40/1.54 c intension x[72] != x[112] using generic constraint 1.40/1.55 c intension x[72] != x[116] using generic constraint 1.40/1.55 c intension x[72] != x[118] using generic constraint 1.40/1.55 c intension x[72] != x[119] using generic constraint 1.40/1.55 c intension x[72] != x[126] using generic constraint 1.40/1.55 c intension x[72] != x[136] using generic constraint 1.40/1.55 c intension x[72] != x[146] using generic constraint 1.40/1.55 c intension x[72] != x[154] using generic constraint 1.40/1.55 c intension x[72] != x[228] using generic constraint 1.40/1.55 c intension x[72] != x[233] using generic constraint 1.40/1.55 c intension x[72] != x[247] using generic constraint 1.40/1.55 c intension x[73] != x[90] using generic constraint 1.40/1.55 c intension x[73] != x[112] using generic constraint 1.40/1.56 c intension x[73] != x[115] using generic constraint 1.40/1.56 c intension x[73] != x[130] using generic constraint 1.40/1.56 c intension x[73] != x[148] using generic constraint 1.40/1.56 c intension x[73] != x[169] using generic constraint 1.40/1.56 c intension x[73] != x[172] using generic constraint 1.40/1.56 c intension x[73] != x[177] using generic constraint 1.40/1.56 c intension x[73] != x[178] using generic constraint 1.40/1.56 c intension x[73] != x[181] using generic constraint 1.40/1.56 c intension x[73] != x[198] using generic constraint 1.40/1.56 c intension x[73] != x[200] using generic constraint 1.40/1.56 c intension x[73] != x[204] using generic constraint 1.40/1.57 c intension x[73] != x[218] using generic constraint 1.40/1.57 c intension x[73] != x[220] using generic constraint 1.40/1.57 c intension x[73] != x[240] using generic constraint 1.40/1.57 c intension x[74] != x[75] using generic constraint 1.40/1.57 c intension x[74] != x[85] using generic constraint 1.40/1.57 c intension x[74] != x[87] using generic constraint 1.40/1.57 c intension x[74] != x[103] using generic constraint 1.40/1.57 c intension x[74] != x[108] using generic constraint 1.40/1.57 c intension x[74] != x[113] using generic constraint 1.40/1.57 c intension x[74] != x[122] using generic constraint 1.40/1.57 c intension x[74] != x[128] using generic constraint 1.40/1.58 c intension x[74] != x[141] using generic constraint 1.40/1.58 c intension x[74] != x[144] using generic constraint 1.40/1.58 c intension x[74] != x[148] using generic constraint 1.40/1.58 c intension x[74] != x[168] using generic constraint 1.40/1.58 c intension x[74] != x[173] using generic constraint 1.40/1.58 c intension x[74] != x[207] using generic constraint 1.40/1.58 c intension x[74] != x[210] using generic constraint 1.40/1.58 c intension x[74] != x[224] using generic constraint 1.40/1.58 c intension x[74] != x[226] using generic constraint 1.40/1.58 c intension x[74] != x[232] using generic constraint 1.40/1.58 c intension x[74] != x[233] using generic constraint 1.40/1.58 c intension x[74] != x[237] using generic constraint 1.40/1.59 c intension x[74] != x[240] using generic constraint 1.40/1.59 c intension x[74] != x[242] using generic constraint 1.40/1.59 c intension x[74] != x[244] using generic constraint 1.40/1.59 c intension x[75] != x[108] using generic constraint 1.40/1.59 c intension x[75] != x[124] using generic constraint 1.40/1.59 c intension x[75] != x[125] using generic constraint 1.40/1.59 c intension x[75] != x[150] using generic constraint 1.40/1.59 c intension x[75] != x[155] using generic constraint 1.40/1.59 c intension x[75] != x[160] using generic constraint 1.40/1.59 c intension x[75] != x[164] using generic constraint 1.40/1.59 c intension x[75] != x[170] using generic constraint 1.40/1.60 c intension x[75] != x[176] using generic constraint 1.50/1.60 c intension x[75] != x[177] using generic constraint 1.50/1.60 c intension x[75] != x[179] using generic constraint 1.50/1.60 c intension x[75] != x[187] using generic constraint 1.50/1.60 c intension x[75] != x[204] using generic constraint 1.50/1.60 c intension x[75] != x[233] using generic constraint 1.50/1.60 c intension x[75] != x[234] using generic constraint 1.50/1.60 c intension x[75] != x[240] using generic constraint 1.50/1.60 c intension x[76] != x[87] using generic constraint 1.50/1.60 c intension x[76] != x[88] using generic constraint 1.50/1.60 c intension x[76] != x[91] using generic constraint 1.50/1.61 c intension x[76] != x[93] using generic constraint 1.50/1.61 c intension x[76] != x[102] using generic constraint 1.50/1.61 c intension x[76] != x[103] using generic constraint 1.50/1.61 c intension x[76] != x[109] using generic constraint 1.50/1.61 c intension x[76] != x[123] using generic constraint 1.50/1.61 c intension x[76] != x[125] using generic constraint 1.50/1.61 c intension x[76] != x[137] using generic constraint 1.50/1.61 c intension x[76] != x[177] using generic constraint 1.50/1.61 c intension x[76] != x[203] using generic constraint 1.50/1.61 c intension x[76] != x[204] using generic constraint 1.50/1.61 c intension x[76] != x[213] using generic constraint 1.50/1.61 c intension x[76] != x[222] using generic constraint 1.50/1.62 c intension x[76] != x[233] using generic constraint 1.50/1.62 c intension x[76] != x[247] using generic constraint 1.50/1.62 c intension x[77] != x[96] using generic constraint 1.50/1.62 c intension x[77] != x[143] using generic constraint 1.50/1.62 c intension x[77] != x[150] using generic constraint 1.50/1.62 c intension x[77] != x[172] using generic constraint 1.50/1.62 c intension x[77] != x[183] using generic constraint 1.50/1.62 c intension x[77] != x[185] using generic constraint 1.50/1.62 c intension x[77] != x[195] using generic constraint 1.50/1.62 c intension x[77] != x[200] using generic constraint 1.50/1.62 c intension x[77] != x[201] using generic constraint 1.50/1.63 c intension x[77] != x[233] using generic constraint 1.50/1.63 c intension x[77] != x[235] using generic constraint 1.50/1.63 c intension x[78] != x[88] using generic constraint 1.50/1.63 c intension x[78] != x[100] using generic constraint 1.50/1.63 c intension x[78] != x[109] using generic constraint 1.50/1.63 c intension x[78] != x[124] using generic constraint 1.50/1.63 c intension x[78] != x[133] using generic constraint 1.50/1.63 c intension x[78] != x[153] using generic constraint 1.50/1.63 c intension x[78] != x[171] using generic constraint 1.50/1.63 c intension x[78] != x[174] using generic constraint 1.50/1.63 c intension x[78] != x[215] using generic constraint 1.50/1.64 c intension x[78] != x[225] using generic constraint 1.50/1.64 c intension x[78] != x[237] using generic constraint 1.50/1.64 c intension x[79] != x[82] using generic constraint 1.50/1.64 c intension x[79] != x[84] using generic constraint 1.50/1.64 c intension x[79] != x[107] using generic constraint 1.50/1.64 c intension x[79] != x[110] using generic constraint 1.50/1.64 c intension x[79] != x[134] using generic constraint 1.50/1.64 c intension x[79] != x[157] using generic constraint 1.50/1.64 c intension x[79] != x[158] using generic constraint 1.50/1.64 c intension x[79] != x[181] using generic constraint 1.50/1.64 c intension x[79] != x[184] using generic constraint 1.50/1.64 c intension x[79] != x[185] using generic constraint 1.50/1.65 c intension x[79] != x[186] using generic constraint 1.50/1.65 c intension x[79] != x[192] using generic constraint 1.50/1.65 c intension x[79] != x[199] using generic constraint 1.50/1.65 c intension x[79] != x[200] using generic constraint 1.50/1.65 c intension x[79] != x[206] using generic constraint 1.50/1.65 c intension x[79] != x[214] using generic constraint 1.50/1.65 c intension x[79] != x[216] using generic constraint 1.50/1.65 c intension x[79] != x[222] using generic constraint 1.50/1.65 c intension x[80] != x[85] using generic constraint 1.50/1.65 c intension x[80] != x[88] using generic constraint 1.50/1.65 c intension x[80] != x[95] using generic constraint 1.50/1.66 c intension x[80] != x[103] using generic constraint 1.50/1.66 c intension x[80] != x[113] using generic constraint 1.50/1.66 c intension x[80] != x[130] using generic constraint 1.50/1.66 c intension x[80] != x[134] using generic constraint 1.50/1.66 c intension x[80] != x[150] using generic constraint 1.50/1.66 c intension x[80] != x[157] using generic constraint 1.50/1.66 c intension x[80] != x[158] using generic constraint 1.50/1.66 c intension x[80] != x[171] using generic constraint 1.50/1.66 c intension x[80] != x[181] using generic constraint 1.50/1.66 c intension x[80] != x[186] using generic constraint 1.50/1.66 c intension x[80] != x[195] using generic constraint 1.50/1.67 c intension x[80] != x[203] using generic constraint 1.50/1.67 c intension x[80] != x[213] using generic constraint 1.50/1.67 c intension x[80] != x[217] using generic constraint 1.50/1.67 c intension x[80] != x[244] using generic constraint 1.50/1.67 c intension x[80] != x[247] using generic constraint 1.50/1.67 c intension x[81] != x[96] using generic constraint 1.50/1.67 c intension x[81] != x[106] using generic constraint 1.50/1.67 c intension x[81] != x[107] using generic constraint 1.50/1.67 c intension x[81] != x[113] using generic constraint 1.50/1.67 c intension x[81] != x[125] using generic constraint 1.50/1.67 c intension x[81] != x[134] using generic constraint 1.50/1.67 c intension x[81] != x[138] using generic constraint 1.50/1.68 c intension x[81] != x[153] using generic constraint 1.50/1.68 c intension x[81] != x[162] using generic constraint 1.50/1.68 c intension x[81] != x[166] using generic constraint 1.50/1.68 c intension x[81] != x[167] using generic constraint 1.50/1.68 c intension x[81] != x[200] using generic constraint 1.50/1.68 c intension x[81] != x[203] using generic constraint 1.50/1.68 c intension x[81] != x[206] using generic constraint 1.50/1.68 c intension x[81] != x[233] using generic constraint 1.50/1.68 c intension x[81] != x[235] using generic constraint 1.50/1.68 c intension x[81] != x[237] using generic constraint 1.50/1.68 c intension x[81] != x[238] using generic constraint 1.50/1.69 c intension x[82] != x[89] using generic constraint 1.50/1.69 c intension x[82] != x[139] using generic constraint 1.50/1.69 c intension x[82] != x[160] using generic constraint 1.50/1.69 c intension x[82] != x[161] using generic constraint 1.50/1.69 c intension x[82] != x[175] using generic constraint 1.50/1.69 c intension x[82] != x[176] using generic constraint 1.50/1.69 c intension x[82] != x[181] using generic constraint 1.50/1.69 c intension x[82] != x[190] using generic constraint 1.50/1.69 c intension x[82] != x[192] using generic constraint 1.50/1.69 c intension x[82] != x[197] using generic constraint 1.50/1.69 c intension x[82] != x[214] using generic constraint 1.50/1.69 c intension x[82] != x[216] using generic constraint 1.60/1.70 c intension x[82] != x[223] using generic constraint 1.60/1.70 c intension x[82] != x[227] using generic constraint 1.60/1.70 c intension x[82] != x[246] using generic constraint 1.60/1.70 c intension x[82] != x[247] using generic constraint 1.60/1.70 c intension x[83] != x[86] using generic constraint 1.60/1.70 c intension x[83] != x[105] using generic constraint 1.60/1.70 c intension x[83] != x[115] using generic constraint 1.60/1.70 c intension x[83] != x[117] using generic constraint 1.60/1.70 c intension x[83] != x[129] using generic constraint 1.60/1.70 c intension x[83] != x[134] using generic constraint 1.60/1.70 c intension x[83] != x[139] using generic constraint 1.60/1.71 c intension x[83] != x[145] using generic constraint 1.60/1.71 c intension x[83] != x[150] using generic constraint 1.60/1.71 c intension x[83] != x[155] using generic constraint 1.60/1.71 c intension x[83] != x[178] using generic constraint 1.60/1.71 c intension x[83] != x[182] using generic constraint 1.60/1.71 c intension x[83] != x[185] using generic constraint 1.60/1.71 c intension x[83] != x[188] using generic constraint 1.60/1.71 c intension x[83] != x[206] using generic constraint 1.60/1.71 c intension x[83] != x[232] using generic constraint 1.60/1.71 c intension x[83] != x[244] using generic constraint 1.60/1.71 c intension x[83] != x[248] using generic constraint 1.60/1.72 c intension x[83] != x[249] using generic constraint 1.60/1.72 c intension x[84] != x[119] using generic constraint 1.60/1.72 c intension x[84] != x[130] using generic constraint 1.60/1.72 c intension x[84] != x[134] using generic constraint 1.60/1.72 c intension x[84] != x[147] using generic constraint 1.60/1.72 c intension x[84] != x[151] using generic constraint 1.60/1.72 c intension x[84] != x[161] using generic constraint 1.60/1.72 c intension x[84] != x[176] using generic constraint 1.60/1.72 c intension x[84] != x[185] using generic constraint 1.60/1.72 c intension x[84] != x[186] using generic constraint 1.60/1.72 c intension x[84] != x[198] using generic constraint 1.60/1.73 c intension x[84] != x[204] using generic constraint 1.60/1.73 c intension x[84] != x[209] using generic constraint 1.60/1.73 c intension x[84] != x[219] using generic constraint 1.60/1.73 c intension x[84] != x[224] using generic constraint 1.60/1.73 c intension x[84] != x[229] using generic constraint 1.60/1.73 c intension x[84] != x[239] using generic constraint 1.60/1.73 c intension x[85] != x[90] using generic constraint 1.60/1.73 c intension x[85] != x[97] using generic constraint 1.60/1.73 c intension x[85] != x[98] using generic constraint 1.60/1.73 c intension x[85] != x[107] using generic constraint 1.60/1.73 c intension x[85] != x[122] using generic constraint 1.60/1.73 c intension x[85] != x[123] using generic constraint 1.60/1.74 c intension x[85] != x[134] using generic constraint 1.60/1.74 c intension x[85] != x[142] using generic constraint 1.60/1.74 c intension x[85] != x[173] using generic constraint 1.60/1.74 c intension x[85] != x[183] using generic constraint 1.60/1.74 c intension x[85] != x[197] using generic constraint 1.60/1.74 c intension x[85] != x[213] using generic constraint 1.60/1.74 c intension x[85] != x[215] using generic constraint 1.60/1.74 c intension x[85] != x[231] using generic constraint 1.60/1.74 c intension x[86] != x[111] using generic constraint 1.60/1.74 c intension x[86] != x[114] using generic constraint 1.60/1.74 c intension x[86] != x[118] using generic constraint 1.60/1.75 c intension x[86] != x[120] using generic constraint 1.60/1.75 c intension x[86] != x[124] using generic constraint 1.60/1.75 c intension x[86] != x[127] using generic constraint 1.60/1.75 c intension x[86] != x[129] using generic constraint 1.60/1.75 c intension x[86] != x[143] using generic constraint 1.60/1.75 c intension x[86] != x[153] using generic constraint 1.60/1.75 c intension x[86] != x[156] using generic constraint 1.60/1.75 c intension x[86] != x[163] using generic constraint 1.60/1.75 c intension x[86] != x[194] using generic constraint 1.60/1.75 c intension x[86] != x[207] using generic constraint 1.60/1.75 c intension x[86] != x[208] using generic constraint 1.60/1.75 c intension x[86] != x[209] using generic constraint 1.60/1.76 c intension x[86] != x[210] using generic constraint 1.60/1.76 c intension x[86] != x[214] using generic constraint 1.60/1.76 c intension x[86] != x[218] using generic constraint 1.60/1.76 c intension x[86] != x[235] using generic constraint 1.60/1.76 c intension x[86] != x[247] using generic constraint 1.60/1.76 c intension x[87] != x[90] using generic constraint 1.60/1.76 c intension x[87] != x[91] using generic constraint 1.60/1.76 c intension x[87] != x[101] using generic constraint 1.60/1.76 c intension x[87] != x[107] using generic constraint 1.60/1.76 c intension x[87] != x[128] using generic constraint 1.60/1.76 c intension x[87] != x[133] using generic constraint 1.60/1.77 c intension x[87] != x[152] using generic constraint 1.60/1.77 c intension x[87] != x[153] using generic constraint 1.60/1.77 c intension x[87] != x[166] using generic constraint 1.60/1.77 c intension x[87] != x[168] using generic constraint 1.60/1.77 c intension x[87] != x[195] using generic constraint 1.60/1.77 c intension x[87] != x[199] using generic constraint 1.60/1.77 c intension x[87] != x[202] using generic constraint 1.60/1.77 c intension x[88] != x[106] using generic constraint 1.60/1.77 c intension x[88] != x[119] using generic constraint 1.60/1.77 c intension x[88] != x[124] using generic constraint 1.60/1.77 c intension x[88] != x[127] using generic constraint 1.60/1.78 c intension x[88] != x[129] using generic constraint 1.60/1.78 c intension x[88] != x[132] using generic constraint 1.60/1.78 c intension x[88] != x[139] using generic constraint 1.60/1.78 c intension x[88] != x[145] using generic constraint 1.60/1.78 c intension x[88] != x[150] using generic constraint 1.60/1.78 c intension x[88] != x[172] using generic constraint 1.60/1.78 c intension x[88] != x[178] using generic constraint 1.60/1.78 c intension x[88] != x[190] using generic constraint 1.60/1.78 c intension x[88] != x[192] using generic constraint 1.60/1.78 c intension x[88] != x[233] using generic constraint 1.60/1.78 c intension x[88] != x[243] using generic constraint 1.60/1.78 c intension x[89] != x[90] using generic constraint 1.60/1.79 c intension x[89] != x[97] using generic constraint 1.60/1.79 c intension x[89] != x[102] using generic constraint 1.60/1.79 c intension x[89] != x[105] using generic constraint 1.60/1.79 c intension x[89] != x[136] using generic constraint 1.60/1.79 c intension x[89] != x[144] using generic constraint 1.60/1.79 c intension x[89] != x[150] using generic constraint 1.60/1.79 c intension x[89] != x[151] using generic constraint 1.60/1.79 c intension x[89] != x[158] using generic constraint 1.60/1.79 c intension x[89] != x[160] using generic constraint 1.60/1.79 c intension x[89] != x[163] using generic constraint 1.60/1.79 c intension x[89] != x[176] using generic constraint 1.60/1.80 c intension x[89] != x[197] using generic constraint 1.70/1.80 c intension x[89] != x[198] using generic constraint 1.70/1.80 c intension x[89] != x[207] using generic constraint 1.70/1.80 c intension x[89] != x[211] using generic constraint 1.70/1.80 c intension x[89] != x[228] using generic constraint 1.70/1.80 c intension x[89] != x[229] using generic constraint 1.70/1.80 c intension x[89] != x[231] using generic constraint 1.70/1.80 c intension x[89] != x[239] using generic constraint 1.70/1.80 c intension x[89] != x[243] using generic constraint 1.70/1.80 c intension x[89] != x[244] using generic constraint 1.70/1.80 c intension x[90] != x[91] using generic constraint 1.70/1.81 c intension x[90] != x[96] using generic constraint 1.70/1.81 c intension x[90] != x[138] using generic constraint 1.70/1.81 c intension x[90] != x[146] using generic constraint 1.70/1.81 c intension x[90] != x[152] using generic constraint 1.70/1.81 c intension x[90] != x[155] using generic constraint 1.70/1.81 c intension x[90] != x[164] using generic constraint 1.70/1.81 c intension x[90] != x[172] using generic constraint 1.70/1.81 c intension x[90] != x[174] using generic constraint 1.70/1.81 c intension x[90] != x[202] using generic constraint 1.70/1.81 c intension x[90] != x[223] using generic constraint 1.70/1.81 c intension x[90] != x[227] using generic constraint 1.70/1.82 c intension x[90] != x[235] using generic constraint 1.70/1.82 c intension x[90] != x[247] using generic constraint 1.70/1.82 c intension x[90] != x[248] using generic constraint 1.70/1.82 c intension x[91] != x[95] using generic constraint 1.70/1.82 c intension x[91] != x[96] using generic constraint 1.70/1.82 c intension x[91] != x[104] using generic constraint 1.70/1.82 c intension x[91] != x[106] using generic constraint 1.70/1.82 c intension x[91] != x[132] using generic constraint 1.70/1.82 c intension x[91] != x[133] using generic constraint 1.70/1.82 c intension x[91] != x[148] using generic constraint 1.70/1.82 c intension x[91] != x[159] using generic constraint 1.70/1.82 c intension x[91] != x[173] using generic constraint 1.70/1.83 c intension x[91] != x[175] using generic constraint 1.70/1.83 c intension x[91] != x[181] using generic constraint 1.70/1.83 c intension x[91] != x[190] using generic constraint 1.70/1.83 c intension x[91] != x[209] using generic constraint 1.70/1.83 c intension x[91] != x[225] using generic constraint 1.70/1.83 c intension x[91] != x[232] using generic constraint 1.70/1.83 c intension x[91] != x[235] using generic constraint 1.70/1.83 c intension x[92] != x[108] using generic constraint 1.70/1.83 c intension x[92] != x[114] using generic constraint 1.70/1.83 c intension x[92] != x[117] using generic constraint 1.70/1.83 c intension x[92] != x[118] using generic constraint 1.70/1.84 c intension x[92] != x[119] using generic constraint 1.70/1.84 c intension x[92] != x[128] using generic constraint 1.70/1.84 c intension x[92] != x[134] using generic constraint 1.70/1.84 c intension x[92] != x[137] using generic constraint 1.70/1.84 c intension x[92] != x[138] using generic constraint 1.70/1.84 c intension x[92] != x[150] using generic constraint 1.70/1.84 c intension x[92] != x[153] using generic constraint 1.70/1.84 c intension x[92] != x[160] using generic constraint 1.70/1.84 c intension x[92] != x[170] using generic constraint 1.70/1.84 c intension x[92] != x[174] using generic constraint 1.70/1.84 c intension x[92] != x[200] using generic constraint 1.70/1.85 c intension x[92] != x[204] using generic constraint 1.70/1.85 c intension x[92] != x[212] using generic constraint 1.70/1.85 c intension x[92] != x[226] using generic constraint 1.70/1.85 c intension x[92] != x[243] using generic constraint 1.70/1.85 c intension x[93] != x[94] using generic constraint 1.70/1.85 c intension x[93] != x[102] using generic constraint 1.70/1.85 c intension x[93] != x[105] using generic constraint 1.70/1.85 c intension x[93] != x[114] using generic constraint 1.70/1.85 c intension x[93] != x[125] using generic constraint 1.70/1.85 c intension x[93] != x[134] using generic constraint 1.70/1.85 c intension x[93] != x[147] using generic constraint 1.70/1.85 c intension x[93] != x[148] using generic constraint 1.70/1.86 c intension x[93] != x[175] using generic constraint 1.70/1.86 c intension x[93] != x[194] using generic constraint 1.70/1.86 c intension x[93] != x[199] using generic constraint 1.70/1.86 c intension x[93] != x[204] using generic constraint 1.70/1.86 c intension x[93] != x[207] using generic constraint 1.70/1.86 c intension x[93] != x[220] using generic constraint 1.70/1.86 c intension x[93] != x[240] using generic constraint 1.70/1.86 c intension x[94] != x[101] using generic constraint 1.70/1.86 c intension x[94] != x[114] using generic constraint 1.70/1.86 c intension x[94] != x[118] using generic constraint 1.70/1.86 c intension x[94] != x[124] using generic constraint 1.70/1.87 c intension x[94] != x[133] using generic constraint 1.70/1.87 c intension x[94] != x[134] using generic constraint 1.70/1.87 c intension x[94] != x[135] using generic constraint 1.70/1.87 c intension x[94] != x[155] using generic constraint 1.70/1.87 c intension x[94] != x[165] using generic constraint 1.70/1.87 c intension x[94] != x[189] using generic constraint 1.70/1.87 c intension x[94] != x[217] using generic constraint 1.70/1.87 c intension x[94] != x[221] using generic constraint 1.70/1.87 c intension x[94] != x[228] using generic constraint 1.70/1.87 c intension x[95] != x[97] using generic constraint 1.70/1.87 c intension x[95] != x[104] using generic constraint 1.70/1.88 c intension x[95] != x[109] using generic constraint 1.70/1.88 c intension x[95] != x[145] using generic constraint 1.70/1.88 c intension x[95] != x[151] using generic constraint 1.70/1.88 c intension x[95] != x[157] using generic constraint 1.70/1.88 c intension x[95] != x[167] using generic constraint 1.70/1.88 c intension x[95] != x[192] using generic constraint 1.70/1.88 c intension x[95] != x[211] using generic constraint 1.70/1.88 c intension x[95] != x[219] using generic constraint 1.70/1.88 c intension x[95] != x[236] using generic constraint 1.70/1.88 c intension x[96] != x[102] using generic constraint 1.70/1.88 c intension x[96] != x[118] using generic constraint 1.70/1.88 c intension x[96] != x[125] using generic constraint 1.70/1.89 c intension x[96] != x[130] using generic constraint 1.70/1.89 c intension x[96] != x[136] using generic constraint 1.70/1.89 c intension x[96] != x[169] using generic constraint 1.70/1.89 c intension x[96] != x[205] using generic constraint 1.70/1.89 c intension x[96] != x[245] using generic constraint 1.70/1.89 c intension x[96] != x[249] using generic constraint 1.70/1.89 c intension x[97] != x[102] using generic constraint 1.70/1.89 c intension x[97] != x[117] using generic constraint 1.70/1.89 c intension x[97] != x[123] using generic constraint 1.70/1.89 c intension x[97] != x[147] using generic constraint 1.70/1.89 c intension x[97] != x[148] using generic constraint 1.70/1.90 c intension x[97] != x[164] using generic constraint 1.80/1.90 c intension x[97] != x[172] using generic constraint 1.80/1.90 c intension x[97] != x[198] using generic constraint 1.80/1.90 c intension x[97] != x[200] using generic constraint 1.80/1.90 c intension x[97] != x[208] using generic constraint 1.80/1.90 c intension x[97] != x[210] using generic constraint 1.80/1.90 c intension x[97] != x[217] using generic constraint 1.80/1.90 c intension x[97] != x[221] using generic constraint 1.80/1.90 c intension x[97] != x[243] using generic constraint 1.80/1.90 c intension x[97] != x[246] using generic constraint 1.80/1.90 c intension x[98] != x[112] using generic constraint 1.80/1.91 c intension x[98] != x[119] using generic constraint 1.80/1.91 c intension x[98] != x[148] using generic constraint 1.80/1.91 c intension x[98] != x[154] using generic constraint 1.80/1.91 c intension x[98] != x[159] using generic constraint 1.80/1.91 c intension x[98] != x[161] using generic constraint 1.80/1.91 c intension x[98] != x[173] using generic constraint 1.80/1.91 c intension x[98] != x[175] using generic constraint 1.80/1.91 c intension x[98] != x[187] using generic constraint 1.80/1.91 c intension x[98] != x[195] using generic constraint 1.80/1.91 c intension x[98] != x[201] using generic constraint 1.80/1.91 c intension x[98] != x[222] using generic constraint 1.80/1.91 c intension x[98] != x[226] using generic constraint 1.80/1.92 c intension x[98] != x[229] using generic constraint 1.80/1.92 c intension x[99] != x[104] using generic constraint 1.80/1.92 c intension x[99] != x[108] using generic constraint 1.80/1.92 c intension x[99] != x[140] using generic constraint 1.80/1.92 c intension x[99] != x[142] using generic constraint 1.80/1.92 c intension x[99] != x[162] using generic constraint 1.80/1.92 c intension x[99] != x[167] using generic constraint 1.80/1.92 c intension x[99] != x[170] using generic constraint 1.80/1.92 c intension x[99] != x[182] using generic constraint 1.80/1.92 c intension x[99] != x[183] using generic constraint 1.80/1.92 c intension x[99] != x[185] using generic constraint 1.80/1.93 c intension x[99] != x[203] using generic constraint 1.80/1.93 c intension x[99] != x[204] using generic constraint 1.80/1.93 c intension x[99] != x[212] using generic constraint 1.80/1.93 c intension x[99] != x[214] using generic constraint 1.80/1.93 c intension x[99] != x[227] using generic constraint 1.80/1.93 c intension x[99] != x[238] using generic constraint 1.80/1.93 c intension x[99] != x[247] using generic constraint 1.80/1.93 c intension x[99] != x[248] using generic constraint 1.80/1.93 c intension x[100] != x[102] using generic constraint 1.80/1.93 c intension x[100] != x[114] using generic constraint 1.80/1.93 c intension x[100] != x[117] using generic constraint 1.80/1.94 c intension x[100] != x[120] using generic constraint 1.80/1.94 c intension x[100] != x[138] using generic constraint 1.80/1.94 c intension x[100] != x[147] using generic constraint 1.80/1.94 c intension x[100] != x[153] using generic constraint 1.80/1.94 c intension x[100] != x[156] using generic constraint 1.80/1.94 c intension x[100] != x[157] using generic constraint 1.80/1.94 c intension x[100] != x[158] using generic constraint 1.80/1.94 c intension x[100] != x[162] using generic constraint 1.80/1.94 c intension x[100] != x[166] using generic constraint 1.80/1.94 c intension x[100] != x[168] using generic constraint 1.80/1.94 c intension x[100] != x[171] using generic constraint 1.80/1.94 c intension x[100] != x[173] using generic constraint 1.80/1.95 c intension x[100] != x[175] using generic constraint 1.80/1.95 c intension x[100] != x[218] using generic constraint 1.80/1.95 c intension x[100] != x[219] using generic constraint 1.80/1.95 c intension x[100] != x[227] using generic constraint 1.80/1.95 c intension x[101] != x[108] using generic constraint 1.80/1.95 c intension x[101] != x[118] using generic constraint 1.80/1.95 c intension x[101] != x[123] using generic constraint 1.80/1.95 c intension x[101] != x[141] using generic constraint 1.80/1.95 c intension x[101] != x[161] using generic constraint 1.80/1.97 c intension x[101] != x[167] using generic constraint 1.80/1.97 c intension x[101] != x[182] using generic constraint 1.80/1.97 c intension x[101] != x[198] using generic constraint 1.80/1.97 c intension x[101] != x[220] using generic constraint 1.80/1.97 c intension x[101] != x[222] using generic constraint 1.80/1.97 c intension x[101] != x[230] using generic constraint 1.80/1.97 c intension x[101] != x[233] using generic constraint 1.80/1.97 c intension x[101] != x[238] using generic constraint 1.80/1.97 c intension x[101] != x[249] using generic constraint 1.80/1.97 c intension x[102] != x[125] using generic constraint 1.80/1.97 c intension x[102] != x[145] using generic constraint 1.80/1.97 c intension x[102] != x[169] using generic constraint 1.80/1.97 c intension x[102] != x[181] using generic constraint 1.80/1.97 c intension x[102] != x[187] using generic constraint 1.80/1.97 c intension x[102] != x[189] using generic constraint 1.80/1.97 c intension x[102] != x[198] using generic constraint 1.80/1.97 c intension x[102] != x[199] using generic constraint 1.80/1.97 c intension x[102] != x[214] using generic constraint 1.80/1.97 c intension x[102] != x[220] using generic constraint 1.80/1.97 c intension x[102] != x[223] using generic constraint 1.80/1.97 c intension x[102] != x[227] using generic constraint 1.80/1.97 c intension x[102] != x[244] using generic constraint 1.80/1.97 c intension x[103] != x[110] using generic constraint 1.80/1.97 c intension x[103] != x[120] using generic constraint 1.80/1.97 c intension x[103] != x[121] using generic constraint 1.80/1.98 c intension x[103] != x[124] using generic constraint 1.80/1.98 c intension x[103] != x[128] using generic constraint 1.80/1.98 c intension x[103] != x[159] using generic constraint 1.80/1.98 c intension x[103] != x[170] using generic constraint 1.80/1.98 c intension x[103] != x[181] using generic constraint 1.80/1.98 c intension x[103] != x[182] using generic constraint 1.80/1.98 c intension x[103] != x[195] using generic constraint 1.80/1.98 c intension x[103] != x[208] using generic constraint 1.80/1.98 c intension x[103] != x[223] using generic constraint 1.80/1.98 c intension x[103] != x[248] using generic constraint 1.80/1.98 c intension x[104] != x[112] using generic constraint 1.80/1.99 c intension x[104] != x[114] using generic constraint 1.80/1.99 c intension x[104] != x[116] using generic constraint 1.80/1.99 c intension x[104] != x[147] using generic constraint 1.80/1.99 c intension x[104] != x[151] using generic constraint 1.80/1.99 c intension x[104] != x[155] using generic constraint 1.80/1.99 c intension x[104] != x[157] using generic constraint 1.80/1.99 c intension x[104] != x[159] using generic constraint 1.80/1.99 c intension x[104] != x[172] using generic constraint 1.80/1.99 c intension x[104] != x[182] using generic constraint 1.80/1.99 c intension x[104] != x[208] using generic constraint 1.80/1.99 c intension x[104] != x[214] using generic constraint 1.80/1.99 c intension x[104] != x[222] using generic constraint 1.80/2.00 c intension x[104] != x[225] using generic constraint 1.80/2.00 c intension x[104] != x[239] using generic constraint 1.80/2.00 c intension x[105] != x[109] using generic constraint 1.80/2.00 c intension x[105] != x[111] using generic constraint 1.80/2.00 c intension x[105] != x[124] using generic constraint 1.80/2.00 c intension x[105] != x[128] using generic constraint 1.80/2.00 c intension x[105] != x[135] using generic constraint 1.80/2.00 c intension x[105] != x[137] using generic constraint 1.80/2.00 c intension x[105] != x[145] using generic constraint 1.80/2.00 c intension x[105] != x[153] using generic constraint 1.91/2.00 c intension x[105] != x[158] using generic constraint 1.91/2.01 c intension x[105] != x[167] using generic constraint 1.91/2.01 c intension x[105] != x[179] using generic constraint 1.91/2.01 c intension x[105] != x[181] using generic constraint 1.91/2.01 c intension x[105] != x[186] using generic constraint 1.91/2.01 c intension x[105] != x[197] using generic constraint 1.91/2.01 c intension x[105] != x[198] using generic constraint 1.91/2.01 c intension x[105] != x[208] using generic constraint 1.91/2.01 c intension x[105] != x[209] using generic constraint 1.91/2.01 c intension x[105] != x[210] using generic constraint 1.91/2.01 c intension x[105] != x[215] using generic constraint 1.91/2.01 c intension x[105] != x[217] using generic constraint 1.91/2.02 c intension x[105] != x[222] using generic constraint 1.91/2.02 c intension x[105] != x[228] using generic constraint 1.91/2.02 c intension x[105] != x[234] using generic constraint 1.91/2.02 c intension x[105] != x[237] using generic constraint 1.91/2.02 c intension x[105] != x[239] using generic constraint 1.91/2.02 c intension x[105] != x[241] using generic constraint 1.91/2.02 c intension x[105] != x[242] using generic constraint 1.91/2.02 c intension x[106] != x[109] using generic constraint 1.91/2.02 c intension x[106] != x[114] using generic constraint 1.91/2.02 c intension x[106] != x[121] using generic constraint 1.91/2.02 c intension x[106] != x[145] using generic constraint 1.91/2.03 c intension x[106] != x[147] using generic constraint 1.91/2.03 c intension x[106] != x[151] using generic constraint 1.91/2.03 c intension x[106] != x[154] using generic constraint 1.91/2.03 c intension x[106] != x[156] using generic constraint 1.91/2.03 c intension x[106] != x[178] using generic constraint 1.91/2.03 c intension x[106] != x[196] using generic constraint 1.91/2.03 c intension x[106] != x[202] using generic constraint 1.91/2.03 c intension x[106] != x[205] using generic constraint 1.91/2.03 c intension x[107] != x[125] using generic constraint 1.91/2.03 c intension x[107] != x[126] using generic constraint 1.91/2.03 c intension x[107] != x[133] using generic constraint 1.91/2.04 c intension x[107] != x[148] using generic constraint 1.91/2.04 c intension x[107] != x[156] using generic constraint 1.91/2.04 c intension x[107] != x[168] using generic constraint 1.91/2.04 c intension x[107] != x[173] using generic constraint 1.91/2.04 c intension x[107] != x[180] using generic constraint 1.91/2.04 c intension x[107] != x[182] using generic constraint 1.91/2.04 c intension x[107] != x[184] using generic constraint 1.91/2.04 c intension x[107] != x[191] using generic constraint 1.91/2.04 c intension x[107] != x[193] using generic constraint 1.91/2.04 c intension x[107] != x[195] using generic constraint 1.91/2.04 c intension x[107] != x[205] using generic constraint 1.91/2.04 c intension x[107] != x[209] using generic constraint 1.91/2.05 c intension x[107] != x[214] using generic constraint 1.91/2.05 c intension x[107] != x[229] using generic constraint 1.91/2.05 c intension x[107] != x[234] using generic constraint 1.91/2.05 c intension x[107] != x[244] using generic constraint 1.91/2.05 c intension x[108] != x[150] using generic constraint 1.91/2.05 c intension x[108] != x[153] using generic constraint 1.91/2.05 c intension x[108] != x[157] using generic constraint 1.91/2.05 c intension x[108] != x[167] using generic constraint 1.91/2.05 c intension x[108] != x[172] using generic constraint 1.91/2.05 c intension x[108] != x[175] using generic constraint 1.91/2.05 c intension x[108] != x[210] using generic constraint 1.91/2.06 c intension x[108] != x[223] using generic constraint 1.91/2.06 c intension x[108] != x[231] using generic constraint 1.91/2.06 c intension x[109] != x[114] using generic constraint 1.91/2.06 c intension x[109] != x[117] using generic constraint 1.91/2.06 c intension x[109] != x[124] using generic constraint 1.91/2.06 c intension x[109] != x[133] using generic constraint 1.91/2.06 c intension x[109] != x[138] using generic constraint 1.91/2.06 c intension x[109] != x[146] using generic constraint 1.91/2.06 c intension x[109] != x[155] using generic constraint 1.91/2.06 c intension x[109] != x[156] using generic constraint 1.91/2.06 c intension x[109] != x[179] using generic constraint 1.91/2.07 c intension x[109] != x[191] using generic constraint 1.91/2.07 c intension x[109] != x[228] using generic constraint 1.91/2.07 c intension x[109] != x[241] using generic constraint 1.91/2.07 c intension x[110] != x[119] using generic constraint 1.91/2.07 c intension x[110] != x[125] using generic constraint 1.91/2.07 c intension x[110] != x[131] using generic constraint 1.91/2.07 c intension x[110] != x[171] using generic constraint 1.91/2.07 c intension x[110] != x[175] using generic constraint 1.91/2.07 c intension x[110] != x[176] using generic constraint 1.91/2.07 c intension x[110] != x[200] using generic constraint 1.91/2.07 c intension x[110] != x[204] using generic constraint 1.91/2.07 c intension x[111] != x[113] using generic constraint 1.91/2.08 c intension x[111] != x[131] using generic constraint 1.91/2.08 c intension x[111] != x[133] using generic constraint 1.91/2.08 c intension x[111] != x[142] using generic constraint 1.91/2.08 c intension x[111] != x[150] using generic constraint 1.91/2.08 c intension x[111] != x[161] using generic constraint 1.91/2.08 c intension x[111] != x[164] using generic constraint 1.91/2.08 c intension x[111] != x[180] using generic constraint 1.91/2.08 c intension x[111] != x[188] using generic constraint 1.91/2.08 c intension x[111] != x[196] using generic constraint 1.91/2.08 c intension x[111] != x[197] using generic constraint 1.91/2.08 c intension x[111] != x[217] using generic constraint 1.91/2.09 c intension x[111] != x[226] using generic constraint 1.91/2.09 c intension x[111] != x[237] using generic constraint 1.91/2.09 c intension x[111] != x[246] using generic constraint 1.91/2.09 c intension x[112] != x[131] using generic constraint 1.91/2.09 c intension x[112] != x[135] using generic constraint 1.91/2.09 c intension x[112] != x[148] using generic constraint 1.91/2.09 c intension x[112] != x[154] using generic constraint 1.91/2.09 c intension x[112] != x[160] using generic constraint 1.91/2.09 c intension x[112] != x[173] using generic constraint 1.91/2.09 c intension x[112] != x[178] using generic constraint 1.91/2.09 c intension x[112] != x[193] using generic constraint 1.91/2.10 c intension x[113] != x[128] using generic constraint 1.91/2.10 c intension x[113] != x[191] using generic constraint 1.91/2.10 c intension x[113] != x[193] using generic constraint 1.91/2.10 c intension x[113] != x[198] using generic constraint 1.91/2.10 c intension x[113] != x[200] using generic constraint 1.91/2.10 c intension x[113] != x[214] using generic constraint 1.91/2.10 c intension x[113] != x[225] using generic constraint 1.91/2.10 c intension x[113] != x[229] using generic constraint 1.91/2.10 c intension x[113] != x[230] using generic constraint 1.91/2.10 c intension x[113] != x[240] using generic constraint 1.91/2.10 c intension x[113] != x[247] using generic constraint 2.01/2.10 c intension x[114] != x[119] using generic constraint 2.01/2.11 c intension x[114] != x[135] using generic constraint 2.01/2.11 c intension x[114] != x[143] using generic constraint 2.01/2.11 c intension x[114] != x[144] using generic constraint 2.01/2.11 c intension x[114] != x[149] using generic constraint 2.01/2.11 c intension x[114] != x[150] using generic constraint 2.01/2.11 c intension x[114] != x[160] using generic constraint 2.01/2.11 c intension x[114] != x[162] using generic constraint 2.01/2.11 c intension x[114] != x[167] using generic constraint 2.01/2.11 c intension x[114] != x[174] using generic constraint 2.01/2.11 c intension x[114] != x[179] using generic constraint 2.01/2.11 c intension x[114] != x[198] using generic constraint 2.01/2.12 c intension x[114] != x[201] using generic constraint 2.01/2.12 c intension x[114] != x[210] using generic constraint 2.01/2.12 c intension x[114] != x[217] using generic constraint 2.01/2.12 c intension x[114] != x[218] using generic constraint 2.01/2.12 c intension x[114] != x[227] using generic constraint 2.01/2.12 c intension x[114] != x[240] using generic constraint 2.01/2.12 c intension x[115] != x[127] using generic constraint 2.01/2.12 c intension x[115] != x[131] using generic constraint 2.01/2.12 c intension x[115] != x[149] using generic constraint 2.01/2.12 c intension x[115] != x[153] using generic constraint 2.01/2.12 c intension x[115] != x[156] using generic constraint 2.01/2.13 c intension x[115] != x[172] using generic constraint 2.01/2.13 c intension x[115] != x[174] using generic constraint 2.01/2.13 c intension x[115] != x[196] using generic constraint 2.01/2.13 c intension x[115] != x[202] using generic constraint 2.01/2.13 c intension x[115] != x[203] using generic constraint 2.01/2.13 c intension x[115] != x[204] using generic constraint 2.01/2.13 c intension x[115] != x[218] using generic constraint 2.01/2.13 c intension x[115] != x[224] using generic constraint 2.01/2.13 c intension x[115] != x[227] using generic constraint 2.01/2.13 c intension x[115] != x[230] using generic constraint 2.01/2.13 c intension x[115] != x[233] using generic constraint 2.01/2.14 c intension x[115] != x[238] using generic constraint 2.01/2.14 c intension x[116] != x[122] using generic constraint 2.01/2.14 c intension x[116] != x[127] using generic constraint 2.01/2.14 c intension x[116] != x[133] using generic constraint 2.01/2.14 c intension x[116] != x[135] using generic constraint 2.01/2.14 c intension x[116] != x[142] using generic constraint 2.01/2.14 c intension x[116] != x[146] using generic constraint 2.01/2.14 c intension x[116] != x[152] using generic constraint 2.01/2.14 c intension x[116] != x[158] using generic constraint 2.01/2.14 c intension x[116] != x[162] using generic constraint 2.01/2.14 c intension x[116] != x[167] using generic constraint 2.01/2.14 c intension x[116] != x[174] using generic constraint 2.01/2.15 c intension x[116] != x[175] using generic constraint 2.01/2.15 c intension x[116] != x[176] using generic constraint 2.01/2.15 c intension x[116] != x[182] using generic constraint 2.01/2.15 c intension x[116] != x[187] using generic constraint 2.01/2.15 c intension x[116] != x[198] using generic constraint 2.01/2.15 c intension x[116] != x[210] using generic constraint 2.01/2.15 c intension x[116] != x[225] using generic constraint 2.01/2.15 c intension x[116] != x[231] using generic constraint 2.01/2.15 c intension x[116] != x[238] using generic constraint 2.01/2.15 c intension x[116] != x[239] using generic constraint 2.01/2.15 c intension x[116] != x[241] using generic constraint 2.01/2.16 c intension x[116] != x[243] using generic constraint 2.01/2.16 c intension x[117] != x[118] using generic constraint 2.01/2.16 c intension x[117] != x[124] using generic constraint 2.01/2.16 c intension x[117] != x[126] using generic constraint 2.01/2.16 c intension x[117] != x[128] using generic constraint 2.01/2.16 c intension x[117] != x[137] using generic constraint 2.01/2.16 c intension x[117] != x[142] using generic constraint 2.01/2.16 c intension x[117] != x[148] using generic constraint 2.01/2.16 c intension x[117] != x[154] using generic constraint 2.01/2.16 c intension x[117] != x[163] using generic constraint 2.01/2.16 c intension x[117] != x[177] using generic constraint 2.01/2.17 c intension x[117] != x[182] using generic constraint 2.01/2.17 c intension x[117] != x[184] using generic constraint 2.01/2.17 c intension x[117] != x[191] using generic constraint 2.01/2.17 c intension x[117] != x[201] using generic constraint 2.01/2.17 c intension x[117] != x[217] using generic constraint 2.01/2.17 c intension x[117] != x[222] using generic constraint 2.01/2.17 c intension x[117] != x[228] using generic constraint 2.01/2.17 c intension x[117] != x[246] using generic constraint 2.01/2.17 c intension x[118] != x[122] using generic constraint 2.01/2.17 c intension x[118] != x[129] using generic constraint 2.01/2.17 c intension x[118] != x[131] using generic constraint 2.01/2.17 c intension x[118] != x[158] using generic constraint 2.01/2.18 c intension x[118] != x[159] using generic constraint 2.01/2.18 c intension x[118] != x[161] using generic constraint 2.01/2.18 c intension x[118] != x[162] using generic constraint 2.01/2.18 c intension x[118] != x[163] using generic constraint 2.01/2.18 c intension x[118] != x[166] using generic constraint 2.01/2.18 c intension x[118] != x[181] using generic constraint 2.01/2.18 c intension x[118] != x[186] using generic constraint 2.01/2.18 c intension x[118] != x[198] using generic constraint 2.01/2.18 c intension x[118] != x[205] using generic constraint 2.01/2.18 c intension x[118] != x[223] using generic constraint 2.01/2.18 c intension x[118] != x[225] using generic constraint 2.01/2.19 c intension x[118] != x[232] using generic constraint 2.01/2.19 c intension x[119] != x[122] using generic constraint 2.01/2.19 c intension x[119] != x[143] using generic constraint 2.01/2.19 c intension x[119] != x[155] using generic constraint 2.01/2.19 c intension x[119] != x[156] using generic constraint 2.01/2.19 c intension x[119] != x[170] using generic constraint 2.01/2.19 c intension x[119] != x[186] using generic constraint 2.01/2.19 c intension x[119] != x[191] using generic constraint 2.01/2.19 c intension x[119] != x[195] using generic constraint 2.01/2.19 c intension x[119] != x[199] using generic constraint 2.01/2.19 c intension x[119] != x[200] using generic constraint 2.01/2.20 c intension x[119] != x[218] using generic constraint 2.10/2.20 c intension x[119] != x[222] using generic constraint 2.10/2.20 c intension x[119] != x[235] using generic constraint 2.10/2.20 c intension x[119] != x[240] using generic constraint 2.10/2.20 c intension x[120] != x[121] using generic constraint 2.10/2.20 c intension x[120] != x[122] using generic constraint 2.10/2.20 c intension x[120] != x[140] using generic constraint 2.10/2.20 c intension x[120] != x[151] using generic constraint 2.10/2.20 c intension x[120] != x[154] using generic constraint 2.10/2.20 c intension x[120] != x[163] using generic constraint 2.10/2.20 c intension x[120] != x[186] using generic constraint 2.10/2.21 c intension x[120] != x[196] using generic constraint 2.10/2.21 c intension x[120] != x[203] using generic constraint 2.10/2.21 c intension x[120] != x[208] using generic constraint 2.10/2.21 c intension x[120] != x[211] using generic constraint 2.10/2.21 c intension x[120] != x[241] using generic constraint 2.10/2.21 c intension x[121] != x[160] using generic constraint 2.10/2.21 c intension x[121] != x[163] using generic constraint 2.10/2.21 c intension x[121] != x[165] using generic constraint 2.10/2.21 c intension x[121] != x[169] using generic constraint 2.10/2.21 c intension x[121] != x[185] using generic constraint 2.10/2.21 c intension x[121] != x[195] using generic constraint 2.10/2.21 c intension x[121] != x[207] using generic constraint 2.10/2.22 c intension x[121] != x[211] using generic constraint 2.10/2.22 c intension x[121] != x[214] using generic constraint 2.10/2.22 c intension x[121] != x[239] using generic constraint 2.10/2.22 c intension x[121] != x[244] using generic constraint 2.10/2.22 c intension x[122] != x[129] using generic constraint 2.10/2.22 c intension x[122] != x[133] using generic constraint 2.10/2.22 c intension x[122] != x[139] using generic constraint 2.10/2.22 c intension x[122] != x[142] using generic constraint 2.10/2.22 c intension x[122] != x[146] using generic constraint 2.10/2.22 c intension x[122] != x[148] using generic constraint 2.10/2.22 c intension x[122] != x[162] using generic constraint 2.10/2.23 c intension x[122] != x[166] using generic constraint 2.10/2.23 c intension x[122] != x[169] using generic constraint 2.10/2.23 c intension x[122] != x[175] using generic constraint 2.10/2.23 c intension x[122] != x[198] using generic constraint 2.10/2.23 c intension x[122] != x[199] using generic constraint 2.10/2.23 c intension x[122] != x[203] using generic constraint 2.10/2.23 c intension x[122] != x[225] using generic constraint 2.10/2.23 c intension x[122] != x[229] using generic constraint 2.10/2.23 c intension x[122] != x[237] using generic constraint 2.10/2.23 c intension x[122] != x[239] using generic constraint 2.10/2.23 c intension x[122] != x[240] using generic constraint 2.10/2.24 c intension x[122] != x[242] using generic constraint 2.10/2.24 c intension x[123] != x[125] using generic constraint 2.10/2.24 c intension x[123] != x[143] using generic constraint 2.10/2.24 c intension x[123] != x[150] using generic constraint 2.10/2.24 c intension x[123] != x[151] using generic constraint 2.10/2.24 c intension x[123] != x[166] using generic constraint 2.10/2.24 c intension x[123] != x[168] using generic constraint 2.10/2.24 c intension x[123] != x[171] using generic constraint 2.10/2.24 c intension x[123] != x[173] using generic constraint 2.10/2.24 c intension x[123] != x[182] using generic constraint 2.10/2.24 c intension x[123] != x[196] using generic constraint 2.10/2.24 c intension x[123] != x[207] using generic constraint 2.10/2.25 c intension x[123] != x[215] using generic constraint 2.10/2.25 c intension x[123] != x[222] using generic constraint 2.10/2.25 c intension x[123] != x[242] using generic constraint 2.10/2.25 c intension x[123] != x[245] using generic constraint 2.10/2.25 c intension x[124] != x[125] using generic constraint 2.10/2.25 c intension x[124] != x[136] using generic constraint 2.10/2.25 c intension x[124] != x[162] using generic constraint 2.10/2.25 c intension x[124] != x[174] using generic constraint 2.10/2.25 c intension x[124] != x[181] using generic constraint 2.10/2.25 c intension x[124] != x[189] using generic constraint 2.10/2.25 c intension x[124] != x[196] using generic constraint 2.10/2.26 c intension x[124] != x[205] using generic constraint 2.10/2.26 c intension x[124] != x[218] using generic constraint 2.10/2.26 c intension x[124] != x[229] using generic constraint 2.10/2.26 c intension x[124] != x[234] using generic constraint 2.10/2.26 c intension x[124] != x[248] using generic constraint 2.10/2.26 c intension x[125] != x[131] using generic constraint 2.10/2.26 c intension x[125] != x[147] using generic constraint 2.10/2.26 c intension x[125] != x[152] using generic constraint 2.10/2.26 c intension x[125] != x[166] using generic constraint 2.10/2.26 c intension x[125] != x[187] using generic constraint 2.10/2.26 c intension x[125] != x[193] using generic constraint 2.10/2.27 c intension x[125] != x[194] using generic constraint 2.10/2.27 c intension x[125] != x[215] using generic constraint 2.10/2.27 c intension x[125] != x[229] using generic constraint 2.10/2.27 c intension x[125] != x[237] using generic constraint 2.10/2.27 c intension x[125] != x[245] using generic constraint 2.10/2.27 c intension x[126] != x[153] using generic constraint 2.10/2.27 c intension x[126] != x[164] using generic constraint 2.10/2.27 c intension x[126] != x[171] using generic constraint 2.10/2.27 c intension x[126] != x[187] using generic constraint 2.10/2.27 c intension x[126] != x[197] using generic constraint 2.10/2.27 c intension x[126] != x[199] using generic constraint 2.10/2.27 c intension x[126] != x[216] using generic constraint 2.10/2.28 c intension x[126] != x[218] using generic constraint 2.10/2.28 c intension x[126] != x[227] using generic constraint 2.10/2.28 c intension x[126] != x[242] using generic constraint 2.10/2.28 c intension x[127] != x[129] using generic constraint 2.10/2.28 c intension x[127] != x[140] using generic constraint 2.10/2.28 c intension x[127] != x[153] using generic constraint 2.10/2.28 c intension x[127] != x[190] using generic constraint 2.10/2.28 c intension x[127] != x[192] using generic constraint 2.10/2.28 c intension x[127] != x[206] using generic constraint 2.10/2.28 c intension x[127] != x[218] using generic constraint 2.10/2.28 c intension x[127] != x[241] using generic constraint 2.10/2.29 c intension x[127] != x[242] using generic constraint 2.10/2.29 c intension x[128] != x[131] using generic constraint 2.10/2.29 c intension x[128] != x[146] using generic constraint 2.10/2.29 c intension x[128] != x[149] using generic constraint 2.10/2.29 c intension x[128] != x[170] using generic constraint 2.10/2.29 c intension x[128] != x[180] using generic constraint 2.10/2.29 c intension x[128] != x[184] using generic constraint 2.10/2.29 c intension x[128] != x[187] using generic constraint 2.10/2.29 c intension x[128] != x[189] using generic constraint 2.10/2.29 c intension x[128] != x[191] using generic constraint 2.10/2.29 c intension x[128] != x[193] using generic constraint 2.10/2.29 c intension x[128] != x[209] using generic constraint 2.20/2.30 c intension x[128] != x[243] using generic constraint 2.20/2.30 c intension x[128] != x[245] using generic constraint 2.20/2.30 c intension x[128] != x[248] using generic constraint 2.20/2.30 c intension x[129] != x[141] using generic constraint 2.20/2.30 c intension x[129] != x[152] using generic constraint 2.20/2.30 c intension x[129] != x[156] using generic constraint 2.20/2.30 c intension x[129] != x[160] using generic constraint 2.20/2.30 c intension x[129] != x[168] using generic constraint 2.20/2.30 c intension x[129] != x[175] using generic constraint 2.20/2.30 c intension x[129] != x[200] using generic constraint 2.20/2.30 c intension x[129] != x[214] using generic constraint 2.20/2.31 c intension x[129] != x[231] using generic constraint 2.20/2.31 c intension x[130] != x[135] using generic constraint 2.20/2.31 c intension x[130] != x[148] using generic constraint 2.20/2.31 c intension x[130] != x[178] using generic constraint 2.20/2.31 c intension x[130] != x[180] using generic constraint 2.20/2.31 c intension x[130] != x[205] using generic constraint 2.20/2.31 c intension x[130] != x[209] using generic constraint 2.20/2.31 c intension x[130] != x[214] using generic constraint 2.20/2.31 c intension x[130] != x[241] using generic constraint 2.20/2.31 c intension x[131] != x[149] using generic constraint 2.20/2.31 c intension x[131] != x[153] using generic constraint 2.20/2.32 c intension x[131] != x[163] using generic constraint 2.20/2.32 c intension x[131] != x[165] using generic constraint 2.20/2.32 c intension x[131] != x[200] using generic constraint 2.20/2.32 c intension x[131] != x[205] using generic constraint 2.20/2.32 c intension x[131] != x[216] using generic constraint 2.20/2.32 c intension x[131] != x[245] using generic constraint 2.20/2.32 c intension x[131] != x[249] using generic constraint 2.20/2.32 c intension x[132] != x[148] using generic constraint 2.20/2.32 c intension x[132] != x[152] using generic constraint 2.20/2.32 c intension x[132] != x[177] using generic constraint 2.20/2.32 c intension x[132] != x[202] using generic constraint 2.20/2.33 c intension x[132] != x[213] using generic constraint 2.20/2.33 c intension x[132] != x[221] using generic constraint 2.20/2.33 c intension x[132] != x[223] using generic constraint 2.20/2.33 c intension x[132] != x[231] using generic constraint 2.20/2.33 c intension x[132] != x[234] using generic constraint 2.20/2.33 c intension x[132] != x[244] using generic constraint 2.20/2.33 c intension x[133] != x[145] using generic constraint 2.20/2.33 c intension x[133] != x[146] using generic constraint 2.20/2.33 c intension x[133] != x[147] using generic constraint 2.20/2.33 c intension x[133] != x[157] using generic constraint 2.20/2.33 c intension x[133] != x[159] using generic constraint 2.20/2.33 c intension x[133] != x[160] using generic constraint 2.20/2.34 c intension x[133] != x[174] using generic constraint 2.20/2.34 c intension x[133] != x[184] using generic constraint 2.20/2.34 c intension x[133] != x[187] using generic constraint 2.20/2.34 c intension x[133] != x[211] using generic constraint 2.20/2.34 c intension x[133] != x[227] using generic constraint 2.20/2.34 c intension x[133] != x[233] using generic constraint 2.20/2.34 c intension x[133] != x[244] using generic constraint 2.20/2.34 c intension x[133] != x[248] using generic constraint 2.20/2.34 c intension x[134] != x[143] using generic constraint 2.20/2.34 c intension x[134] != x[151] using generic constraint 2.20/2.34 c intension x[134] != x[158] using generic constraint 2.20/2.35 c intension x[134] != x[166] using generic constraint 2.20/2.35 c intension x[134] != x[170] using generic constraint 2.20/2.35 c intension x[134] != x[195] using generic constraint 2.20/2.35 c intension x[134] != x[196] using generic constraint 2.20/2.35 c intension x[134] != x[209] using generic constraint 2.20/2.35 c intension x[134] != x[212] using generic constraint 2.20/2.35 c intension x[134] != x[213] using generic constraint 2.20/2.35 c intension x[134] != x[222] using generic constraint 2.20/2.35 c intension x[134] != x[233] using generic constraint 2.20/2.35 c intension x[134] != x[238] using generic constraint 2.20/2.35 c intension x[134] != x[246] using generic constraint 2.20/2.35 c intension x[135] != x[145] using generic constraint 2.20/2.36 c intension x[135] != x[151] using generic constraint 2.20/2.36 c intension x[135] != x[176] using generic constraint 2.20/2.36 c intension x[135] != x[179] using generic constraint 2.20/2.36 c intension x[135] != x[188] using generic constraint 2.20/2.36 c intension x[135] != x[210] using generic constraint 2.20/2.36 c intension x[135] != x[220] using generic constraint 2.20/2.36 c intension x[135] != x[224] using generic constraint 2.20/2.36 c intension x[135] != x[230] using generic constraint 2.20/2.36 c intension x[135] != x[247] using generic constraint 2.20/2.36 c intension x[136] != x[138] using generic constraint 2.20/2.36 c intension x[136] != x[142] using generic constraint 2.20/2.37 c intension x[136] != x[143] using generic constraint 2.20/2.37 c intension x[136] != x[150] using generic constraint 2.20/2.37 c intension x[136] != x[151] using generic constraint 2.20/2.37 c intension x[136] != x[155] using generic constraint 2.20/2.37 c intension x[136] != x[170] using generic constraint 2.20/2.37 c intension x[136] != x[178] using generic constraint 2.20/2.37 c intension x[136] != x[184] using generic constraint 2.20/2.37 c intension x[136] != x[185] using generic constraint 2.20/2.37 c intension x[136] != x[201] using generic constraint 2.20/2.37 c intension x[136] != x[202] using generic constraint 2.20/2.37 c intension x[136] != x[213] using generic constraint 2.20/2.38 c intension x[136] != x[214] using generic constraint 2.20/2.38 c intension x[136] != x[229] using generic constraint 2.20/2.38 c intension x[136] != x[249] using generic constraint 2.20/2.38 c intension x[137] != x[170] using generic constraint 2.20/2.38 c intension x[137] != x[178] using generic constraint 2.20/2.38 c intension x[137] != x[181] using generic constraint 2.20/2.38 c intension x[137] != x[189] using generic constraint 2.20/2.38 c intension x[137] != x[190] using generic constraint 2.20/2.38 c intension x[137] != x[205] using generic constraint 2.20/2.38 c intension x[137] != x[230] using generic constraint 2.20/2.38 c intension x[137] != x[236] using generic constraint 2.20/2.38 c intension x[137] != x[238] using generic constraint 2.20/2.39 c intension x[137] != x[249] using generic constraint 2.20/2.39 c intension x[138] != x[143] using generic constraint 2.20/2.39 c intension x[138] != x[148] using generic constraint 2.20/2.39 c intension x[138] != x[154] using generic constraint 2.20/2.39 c intension x[138] != x[156] using generic constraint 2.20/2.39 c intension x[138] != x[170] using generic constraint 2.20/2.39 c intension x[138] != x[178] using generic constraint 2.20/2.39 c intension x[138] != x[189] using generic constraint 2.20/2.39 c intension x[138] != x[192] using generic constraint 2.20/2.39 c intension x[138] != x[196] using generic constraint 2.20/2.39 c intension x[138] != x[204] using generic constraint 2.20/2.40 c intension x[138] != x[222] using generic constraint 2.30/2.40 c intension x[138] != x[237] using generic constraint 2.30/2.40 c intension x[138] != x[239] using generic constraint 2.30/2.40 c intension x[139] != x[140] using generic constraint 2.30/2.40 c intension x[139] != x[160] using generic constraint 2.30/2.40 c intension x[139] != x[170] using generic constraint 2.30/2.40 c intension x[139] != x[173] using generic constraint 2.30/2.40 c intension x[139] != x[181] using generic constraint 2.30/2.40 c intension x[139] != x[196] using generic constraint 2.30/2.40 c intension x[139] != x[203] using generic constraint 2.30/2.40 c intension x[139] != x[234] using generic constraint 2.30/2.41 c intension x[139] != x[244] using generic constraint 2.30/2.41 c intension x[140] != x[143] using generic constraint 2.30/2.41 c intension x[140] != x[156] using generic constraint 2.30/2.41 c intension x[140] != x[157] using generic constraint 2.30/2.41 c intension x[140] != x[175] using generic constraint 2.30/2.41 c intension x[140] != x[178] using generic constraint 2.30/2.41 c intension x[140] != x[183] using generic constraint 2.30/2.41 c intension x[140] != x[188] using generic constraint 2.30/2.41 c intension x[140] != x[196] using generic constraint 2.30/2.41 c intension x[140] != x[205] using generic constraint 2.30/2.41 c intension x[140] != x[226] using generic constraint 2.30/2.42 c intension x[140] != x[239] using generic constraint 2.30/2.42 c intension x[141] != x[148] using generic constraint 2.30/2.42 c intension x[141] != x[189] using generic constraint 2.30/2.42 c intension x[141] != x[191] using generic constraint 2.30/2.42 c intension x[141] != x[192] using generic constraint 2.30/2.42 c intension x[141] != x[200] using generic constraint 2.30/2.42 c intension x[141] != x[223] using generic constraint 2.30/2.42 c intension x[141] != x[226] using generic constraint 2.30/2.42 c intension x[141] != x[247] using generic constraint 2.30/2.42 c intension x[142] != x[164] using generic constraint 2.30/2.42 c intension x[142] != x[167] using generic constraint 2.30/2.42 c intension x[142] != x[175] using generic constraint 2.30/2.43 c intension x[142] != x[179] using generic constraint 2.30/2.43 c intension x[142] != x[194] using generic constraint 2.30/2.43 c intension x[142] != x[195] using generic constraint 2.30/2.43 c intension x[142] != x[196] using generic constraint 2.30/2.43 c intension x[142] != x[207] using generic constraint 2.30/2.43 c intension x[142] != x[214] using generic constraint 2.30/2.43 c intension x[142] != x[219] using generic constraint 2.30/2.43 c intension x[142] != x[237] using generic constraint 2.30/2.43 c intension x[142] != x[238] using generic constraint 2.30/2.43 c intension x[143] != x[150] using generic constraint 2.30/2.43 c intension x[143] != x[151] using generic constraint 2.30/2.44 c intension x[143] != x[152] using generic constraint 2.30/2.44 c intension x[143] != x[158] using generic constraint 2.30/2.44 c intension x[143] != x[179] using generic constraint 2.30/2.44 c intension x[143] != x[205] using generic constraint 2.30/2.44 c intension x[143] != x[212] using generic constraint 2.30/2.44 c intension x[143] != x[223] using generic constraint 2.30/2.44 c intension x[143] != x[235] using generic constraint 2.30/2.44 c intension x[143] != x[244] using generic constraint 2.30/2.44 c intension x[143] != x[247] using generic constraint 2.30/2.44 c intension x[144] != x[149] using generic constraint 2.30/2.44 c intension x[144] != x[154] using generic constraint 2.30/2.45 c intension x[144] != x[171] using generic constraint 2.30/2.45 c intension x[144] != x[176] using generic constraint 2.30/2.45 c intension x[144] != x[182] using generic constraint 2.30/2.45 c intension x[144] != x[186] using generic constraint 2.30/2.45 c intension x[144] != x[196] using generic constraint 2.30/2.45 c intension x[144] != x[202] using generic constraint 2.30/2.45 c intension x[144] != x[204] using generic constraint 2.30/2.45 c intension x[144] != x[218] using generic constraint 2.30/2.45 c intension x[144] != x[227] using generic constraint 2.30/2.45 c intension x[145] != x[153] using generic constraint 2.30/2.45 c intension x[145] != x[164] using generic constraint 2.30/2.45 c intension x[145] != x[190] using generic constraint 2.30/2.46 c intension x[145] != x[191] using generic constraint 2.30/2.46 c intension x[145] != x[201] using generic constraint 2.30/2.46 c intension x[145] != x[211] using generic constraint 2.30/2.46 c intension x[145] != x[220] using generic constraint 2.30/2.46 c intension x[145] != x[228] using generic constraint 2.30/2.46 c intension x[145] != x[230] using generic constraint 2.30/2.46 c intension x[145] != x[234] using generic constraint 2.30/2.46 c intension x[145] != x[240] using generic constraint 2.30/2.46 c intension x[146] != x[150] using generic constraint 2.30/2.46 c intension x[146] != x[151] using generic constraint 2.30/2.46 c intension x[146] != x[155] using generic constraint 2.30/2.47 c intension x[146] != x[159] using generic constraint 2.30/2.47 c intension x[146] != x[165] using generic constraint 2.30/2.47 c intension x[146] != x[174] using generic constraint 2.30/2.47 c intension x[146] != x[182] using generic constraint 2.30/2.47 c intension x[146] != x[183] using generic constraint 2.30/2.47 c intension x[146] != x[197] using generic constraint 2.30/2.47 c intension x[146] != x[219] using generic constraint 2.30/2.47 c intension x[146] != x[221] using generic constraint 2.30/2.47 c intension x[146] != x[227] using generic constraint 2.30/2.47 c intension x[146] != x[237] using generic constraint 2.30/2.47 c intension x[146] != x[240] using generic constraint 2.30/2.47 c intension x[146] != x[246] using generic constraint 2.30/2.48 c intension x[147] != x[165] using generic constraint 2.30/2.48 c intension x[147] != x[166] using generic constraint 2.30/2.48 c intension x[147] != x[171] using generic constraint 2.30/2.48 c intension x[147] != x[208] using generic constraint 2.30/2.48 c intension x[147] != x[227] using generic constraint 2.30/2.48 c intension x[148] != x[159] using generic constraint 2.30/2.48 c intension x[148] != x[163] using generic constraint 2.30/2.48 c intension x[148] != x[179] using generic constraint 2.30/2.48 c intension x[148] != x[180] using generic constraint 2.30/2.48 c intension x[148] != x[186] using generic constraint 2.30/2.48 c intension x[149] != x[152] using generic constraint 2.30/2.49 c intension x[149] != x[164] using generic constraint 2.30/2.49 c intension x[149] != x[182] using generic constraint 2.30/2.49 c intension x[149] != x[205] using generic constraint 2.30/2.49 c intension x[149] != x[206] using generic constraint 2.30/2.49 c intension x[149] != x[213] using generic constraint 2.30/2.49 c intension x[149] != x[221] using generic constraint 2.30/2.49 c intension x[149] != x[222] using generic constraint 2.30/2.49 c intension x[149] != x[229] using generic constraint 2.30/2.49 c intension x[149] != x[231] using generic constraint 2.30/2.49 c intension x[149] != x[237] using generic constraint 2.30/2.49 c intension x[149] != x[240] using generic constraint 2.30/2.50 c intension x[149] != x[244] using generic constraint 2.40/2.50 c intension x[149] != x[249] using generic constraint 2.40/2.50 c intension x[150] != x[151] using generic constraint 2.40/2.50 c intension x[150] != x[163] using generic constraint 2.40/2.50 c intension x[150] != x[174] using generic constraint 2.40/2.50 c intension x[150] != x[177] using generic constraint 2.40/2.50 c intension x[150] != x[178] using generic constraint 2.40/2.50 c intension x[150] != x[180] using generic constraint 2.40/2.50 c intension x[150] != x[185] using generic constraint 2.40/2.50 c intension x[150] != x[192] using generic constraint 2.40/2.50 c intension x[150] != x[220] using generic constraint 2.40/2.51 c intension x[150] != x[224] using generic constraint 2.40/2.51 c intension x[150] != x[230] using generic constraint 2.40/2.51 c intension x[150] != x[243] using generic constraint 2.40/2.51 c intension x[151] != x[167] using generic constraint 2.40/2.51 c intension x[151] != x[168] using generic constraint 2.40/2.51 c intension x[151] != x[172] using generic constraint 2.40/2.51 c intension x[151] != x[190] using generic constraint 2.40/2.51 c intension x[151] != x[194] using generic constraint 2.40/2.51 c intension x[151] != x[218] using generic constraint 2.40/2.51 c intension x[151] != x[226] using generic constraint 2.40/2.51 c intension x[151] != x[234] using generic constraint 2.40/2.51 c intension x[152] != x[153] using generic constraint 2.40/2.52 c intension x[152] != x[155] using generic constraint 2.40/2.52 c intension x[152] != x[170] using generic constraint 2.40/2.52 c intension x[152] != x[172] using generic constraint 2.40/2.52 c intension x[152] != x[175] using generic constraint 2.40/2.52 c intension x[152] != x[179] using generic constraint 2.40/2.52 c intension x[152] != x[180] using generic constraint 2.40/2.52 c intension x[152] != x[188] using generic constraint 2.40/2.52 c intension x[152] != x[194] using generic constraint 2.40/2.52 c intension x[152] != x[209] using generic constraint 2.40/2.52 c intension x[152] != x[211] using generic constraint 2.40/2.52 c intension x[152] != x[237] using generic constraint 2.40/2.53 c intension x[152] != x[238] using generic constraint 2.40/2.53 c intension x[152] != x[243] using generic constraint 2.40/2.53 c intension x[152] != x[247] using generic constraint 2.40/2.53 c intension x[153] != x[166] using generic constraint 2.40/2.53 c intension x[153] != x[190] using generic constraint 2.40/2.53 c intension x[153] != x[192] using generic constraint 2.40/2.53 c intension x[153] != x[204] using generic constraint 2.40/2.53 c intension x[153] != x[211] using generic constraint 2.40/2.53 c intension x[153] != x[218] using generic constraint 2.40/2.53 c intension x[153] != x[225] using generic constraint 2.40/2.53 c intension x[153] != x[226] using generic constraint 2.40/2.54 c intension x[153] != x[230] using generic constraint 2.40/2.54 c intension x[153] != x[234] using generic constraint 2.40/2.54 c intension x[153] != x[239] using generic constraint 2.40/2.54 c intension x[153] != x[248] using generic constraint 2.40/2.54 c intension x[154] != x[156] using generic constraint 2.40/2.54 c intension x[154] != x[160] using generic constraint 2.40/2.54 c intension x[154] != x[168] using generic constraint 2.40/2.54 c intension x[154] != x[180] using generic constraint 2.40/2.54 c intension x[154] != x[196] using generic constraint 2.40/2.54 c intension x[154] != x[235] using generic constraint 2.40/2.54 c intension x[154] != x[239] using generic constraint 2.40/2.54 c intension x[154] != x[242] using generic constraint 2.40/2.55 c intension x[154] != x[246] using generic constraint 2.40/2.55 c intension x[155] != x[157] using generic constraint 2.40/2.55 c intension x[155] != x[163] using generic constraint 2.40/2.55 c intension x[155] != x[166] using generic constraint 2.40/2.55 c intension x[155] != x[169] using generic constraint 2.40/2.55 c intension x[155] != x[170] using generic constraint 2.40/2.55 c intension x[155] != x[185] using generic constraint 2.40/2.55 c intension x[155] != x[186] using generic constraint 2.40/2.55 c intension x[155] != x[188] using generic constraint 2.40/2.55 c intension x[155] != x[190] using generic constraint 2.40/2.55 c intension x[155] != x[191] using generic constraint 2.40/2.56 c intension x[155] != x[199] using generic constraint 2.40/2.56 c intension x[155] != x[203] using generic constraint 2.40/2.56 c intension x[155] != x[207] using generic constraint 2.40/2.56 c intension x[155] != x[228] using generic constraint 2.40/2.56 c intension x[155] != x[236] using generic constraint 2.40/2.56 c intension x[155] != x[238] using generic constraint 2.40/2.56 c intension x[155] != x[242] using generic constraint 2.40/2.56 c intension x[155] != x[243] using generic constraint 2.40/2.56 c intension x[156] != x[157] using generic constraint 2.40/2.56 c intension x[156] != x[161] using generic constraint 2.40/2.56 c intension x[156] != x[163] using generic constraint 2.40/2.56 c intension x[156] != x[165] using generic constraint 2.40/2.57 c intension x[156] != x[196] using generic constraint 2.40/2.57 c intension x[156] != x[198] using generic constraint 2.40/2.57 c intension x[156] != x[206] using generic constraint 2.40/2.57 c intension x[156] != x[208] using generic constraint 2.40/2.57 c intension x[156] != x[220] using generic constraint 2.40/2.57 c intension x[156] != x[224] using generic constraint 2.40/2.57 c intension x[156] != x[247] using generic constraint 2.40/2.57 c intension x[157] != x[162] using generic constraint 2.40/2.57 c intension x[157] != x[166] using generic constraint 2.40/2.57 c intension x[157] != x[178] using generic constraint 2.40/2.57 c intension x[157] != x[182] using generic constraint 2.40/2.58 c intension x[157] != x[185] using generic constraint 2.40/2.58 c intension x[157] != x[188] using generic constraint 2.40/2.58 c intension x[157] != x[195] using generic constraint 2.40/2.58 c intension x[157] != x[196] using generic constraint 2.40/2.58 c intension x[157] != x[207] using generic constraint 2.40/2.58 c intension x[157] != x[224] using generic constraint 2.40/2.58 c intension x[157] != x[234] using generic constraint 2.40/2.58 c intension x[158] != x[166] using generic constraint 2.40/2.58 c intension x[158] != x[167] using generic constraint 2.40/2.58 c intension x[158] != x[169] using generic constraint 2.40/2.58 c intension x[158] != x[181] using generic constraint 2.40/2.59 c intension x[158] != x[188] using generic constraint 2.40/2.59 c intension x[158] != x[200] using generic constraint 2.40/2.59 c intension x[158] != x[203] using generic constraint 2.40/2.59 c intension x[158] != x[211] using generic constraint 2.40/2.59 c intension x[158] != x[217] using generic constraint 2.40/2.59 c intension x[158] != x[223] using generic constraint 2.40/2.59 c intension x[158] != x[224] using generic constraint 2.40/2.59 c intension x[158] != x[233] using generic constraint 2.40/2.59 c intension x[158] != x[234] using generic constraint 2.40/2.59 c intension x[158] != x[237] using generic constraint 2.40/2.59 c intension x[158] != x[239] using generic constraint 2.40/2.59 c intension x[158] != x[244] using generic constraint 2.50/2.60 c intension x[158] != x[246] using generic constraint 2.50/2.60 c intension x[158] != x[249] using generic constraint 2.50/2.60 c intension x[159] != x[162] using generic constraint 2.50/2.60 c intension x[159] != x[180] using generic constraint 2.50/2.60 c intension x[159] != x[181] using generic constraint 2.50/2.60 c intension x[159] != x[189] using generic constraint 2.50/2.60 c intension x[159] != x[194] using generic constraint 2.50/2.60 c intension x[159] != x[223] using generic constraint 2.50/2.60 c intension x[159] != x[225] using generic constraint 2.50/2.60 c intension x[159] != x[227] using generic constraint 2.50/2.60 c intension x[160] != x[171] using generic constraint 2.50/2.61 c intension x[160] != x[180] using generic constraint 2.50/2.61 c intension x[160] != x[191] using generic constraint 2.50/2.61 c intension x[160] != x[202] using generic constraint 2.50/2.61 c intension x[160] != x[203] using generic constraint 2.50/2.61 c intension x[160] != x[207] using generic constraint 2.50/2.61 c intension x[160] != x[211] using generic constraint 2.50/2.61 c intension x[160] != x[216] using generic constraint 2.50/2.61 c intension x[160] != x[220] using generic constraint 2.50/2.61 c intension x[160] != x[226] using generic constraint 2.50/2.61 c intension x[160] != x[230] using generic constraint 2.50/2.61 c intension x[160] != x[235] using generic constraint 2.50/2.62 c intension x[160] != x[241] using generic constraint 2.50/2.62 c intension x[160] != x[243] using generic constraint 2.50/2.62 c intension x[161] != x[163] using generic constraint 2.50/2.62 c intension x[161] != x[174] using generic constraint 2.50/2.62 c intension x[161] != x[185] using generic constraint 2.50/2.62 c intension x[161] != x[187] using generic constraint 2.50/2.62 c intension x[161] != x[216] using generic constraint 2.50/2.62 c intension x[161] != x[237] using generic constraint 2.50/2.62 c intension x[161] != x[238] using generic constraint 2.50/2.62 c intension x[161] != x[240] using generic constraint 2.50/2.62 c intension x[161] != x[243] using generic constraint 2.50/2.63 c intension x[161] != x[245] using generic constraint 2.50/2.63 c intension x[161] != x[246] using generic constraint 2.50/2.63 c intension x[161] != x[249] using generic constraint 2.50/2.63 c intension x[162] != x[187] using generic constraint 2.50/2.63 c intension x[162] != x[197] using generic constraint 2.50/2.63 c intension x[162] != x[211] using generic constraint 2.50/2.63 c intension x[162] != x[216] using generic constraint 2.50/2.63 c intension x[162] != x[228] using generic constraint 2.50/2.63 c intension x[162] != x[248] using generic constraint 2.50/2.63 c intension x[163] != x[174] using generic constraint 2.50/2.63 c intension x[163] != x[178] using generic constraint 2.50/2.63 c intension x[163] != x[181] using generic constraint 2.50/2.64 c intension x[163] != x[185] using generic constraint 2.50/2.64 c intension x[163] != x[189] using generic constraint 2.50/2.64 c intension x[163] != x[203] using generic constraint 2.50/2.64 c intension x[163] != x[205] using generic constraint 2.50/2.64 c intension x[163] != x[216] using generic constraint 2.50/2.64 c intension x[163] != x[222] using generic constraint 2.50/2.64 c intension x[163] != x[229] using generic constraint 2.50/2.64 c intension x[163] != x[234] using generic constraint 2.50/2.64 c intension x[163] != x[240] using generic constraint 2.50/2.64 c intension x[163] != x[245] using generic constraint 2.50/2.64 c intension x[164] != x[167] using generic constraint 2.50/2.65 c intension x[164] != x[195] using generic constraint 2.50/2.65 c intension x[164] != x[231] using generic constraint 2.50/2.65 c intension x[164] != x[234] using generic constraint 2.50/2.65 c intension x[164] != x[244] using generic constraint 2.50/2.65 c intension x[164] != x[248] using generic constraint 2.50/2.65 c intension x[165] != x[177] using generic constraint 2.50/2.65 c intension x[165] != x[183] using generic constraint 2.50/2.65 c intension x[165] != x[197] using generic constraint 2.50/2.65 c intension x[165] != x[203] using generic constraint 2.50/2.65 c intension x[165] != x[205] using generic constraint 2.50/2.65 c intension x[165] != x[211] using generic constraint 2.50/2.65 c intension x[165] != x[221] using generic constraint 2.50/2.66 c intension x[165] != x[229] using generic constraint 2.50/2.66 c intension x[165] != x[239] using generic constraint 2.50/2.66 c intension x[165] != x[244] using generic constraint 2.50/2.66 c intension x[165] != x[247] using generic constraint 2.50/2.66 c intension x[165] != x[248] using generic constraint 2.50/2.66 c intension x[166] != x[197] using generic constraint 2.50/2.66 c intension x[166] != x[199] using generic constraint 2.50/2.66 c intension x[167] != x[169] using generic constraint 2.50/2.66 c intension x[167] != x[179] using generic constraint 2.50/2.66 c intension x[167] != x[181] using generic constraint 2.50/2.66 c intension x[167] != x[197] using generic constraint 2.50/2.67 c intension x[167] != x[209] using generic constraint 2.50/2.67 c intension x[167] != x[212] using generic constraint 2.50/2.67 c intension x[167] != x[235] using generic constraint 2.50/2.67 c intension x[168] != x[173] using generic constraint 2.50/2.67 c intension x[168] != x[188] using generic constraint 2.50/2.67 c intension x[168] != x[189] using generic constraint 2.50/2.67 c intension x[168] != x[209] using generic constraint 2.50/2.67 c intension x[168] != x[216] using generic constraint 2.50/2.67 c intension x[168] != x[219] using generic constraint 2.50/2.67 c intension x[168] != x[227] using generic constraint 2.50/2.67 c intension x[168] != x[232] using generic constraint 2.50/2.68 c intension x[168] != x[243] using generic constraint 2.50/2.68 c intension x[168] != x[249] using generic constraint 2.50/2.68 c intension x[169] != x[171] using generic constraint 2.50/2.68 c intension x[169] != x[175] using generic constraint 2.50/2.68 c intension x[169] != x[185] using generic constraint 2.50/2.68 c intension x[169] != x[235] using generic constraint 2.50/2.68 c intension x[170] != x[176] using generic constraint 2.50/2.68 c intension x[170] != x[210] using generic constraint 2.50/2.68 c intension x[170] != x[211] using generic constraint 2.50/2.68 c intension x[170] != x[228] using generic constraint 2.50/2.68 c intension x[170] != x[233] using generic constraint 2.50/2.68 c intension x[170] != x[234] using generic constraint 2.50/2.69 c intension x[170] != x[236] using generic constraint 2.50/2.69 c intension x[170] != x[242] using generic constraint 2.50/2.69 c intension x[170] != x[246] using generic constraint 2.50/2.69 c intension x[171] != x[182] using generic constraint 2.50/2.69 c intension x[171] != x[192] using generic constraint 2.50/2.69 c intension x[171] != x[203] using generic constraint 2.50/2.69 c intension x[171] != x[208] using generic constraint 2.50/2.69 c intension x[171] != x[212] using generic constraint 2.50/2.69 c intension x[171] != x[228] using generic constraint 2.50/2.69 c intension x[171] != x[231] using generic constraint 2.50/2.69 c intension x[171] != x[235] using generic constraint 2.50/2.70 c intension x[171] != x[246] using generic constraint 2.59/2.70 c intension x[172] != x[182] using generic constraint 2.59/2.70 c intension x[172] != x[188] using generic constraint 2.59/2.70 c intension x[172] != x[211] using generic constraint 2.59/2.70 c intension x[172] != x[221] using generic constraint 2.59/2.70 c intension x[172] != x[231] using generic constraint 2.59/2.70 c intension x[172] != x[249] using generic constraint 2.59/2.70 c intension x[173] != x[176] using generic constraint 2.59/2.70 c intension x[173] != x[183] using generic constraint 2.59/2.70 c intension x[173] != x[194] using generic constraint 2.59/2.70 c intension x[173] != x[203] using generic constraint 2.59/2.71 c intension x[173] != x[213] using generic constraint 2.59/2.71 c intension x[173] != x[217] using generic constraint 2.59/2.71 c intension x[173] != x[218] using generic constraint 2.59/2.71 c intension x[173] != x[233] using generic constraint 2.59/2.71 c intension x[173] != x[239] using generic constraint 2.59/2.71 c intension x[174] != x[203] using generic constraint 2.59/2.71 c intension x[174] != x[214] using generic constraint 2.59/2.71 c intension x[174] != x[215] using generic constraint 2.59/2.71 c intension x[174] != x[236] using generic constraint 2.59/2.71 c intension x[175] != x[176] using generic constraint 2.59/2.71 c intension x[175] != x[193] using generic constraint 2.59/2.72 c intension x[175] != x[206] using generic constraint 2.59/2.72 c intension x[175] != x[227] using generic constraint 2.59/2.72 c intension x[175] != x[236] using generic constraint 2.59/2.72 c intension x[175] != x[237] using generic constraint 2.59/2.72 c intension x[175] != x[241] using generic constraint 2.59/2.72 c intension x[176] != x[188] using generic constraint 2.59/2.72 c intension x[176] != x[192] using generic constraint 2.59/2.72 c intension x[176] != x[200] using generic constraint 2.59/2.72 c intension x[176] != x[219] using generic constraint 2.59/2.72 c intension x[176] != x[227] using generic constraint 2.59/2.72 c intension x[176] != x[231] using generic constraint 2.59/2.72 c intension x[176] != x[237] using generic constraint 2.59/2.73 c intension x[176] != x[240] using generic constraint 2.59/2.73 c intension x[176] != x[246] using generic constraint 2.59/2.73 c intension x[177] != x[194] using generic constraint 2.59/2.73 c intension x[177] != x[198] using generic constraint 2.59/2.73 c intension x[178] != x[183] using generic constraint 2.59/2.73 c intension x[178] != x[192] using generic constraint 2.59/2.73 c intension x[178] != x[211] using generic constraint 2.59/2.73 c intension x[178] != x[215] using generic constraint 2.59/2.73 c intension x[178] != x[241] using generic constraint 2.59/2.73 c intension x[178] != x[244] using generic constraint 2.59/2.73 c intension x[179] != x[197] using generic constraint 2.59/2.74 c intension x[179] != x[233] using generic constraint 2.59/2.74 c intension x[180] != x[188] using generic constraint 2.59/2.74 c intension x[180] != x[208] using generic constraint 2.59/2.74 c intension x[180] != x[209] using generic constraint 2.59/2.74 c intension x[180] != x[236] using generic constraint 2.59/2.74 c intension x[180] != x[237] using generic constraint 2.59/2.74 c intension x[181] != x[182] using generic constraint 2.59/2.74 c intension x[181] != x[190] using generic constraint 2.59/2.74 c intension x[181] != x[202] using generic constraint 2.59/2.74 c intension x[181] != x[205] using generic constraint 2.59/2.74 c intension x[181] != x[212] using generic constraint 2.59/2.74 c intension x[181] != x[216] using generic constraint 2.59/2.75 c intension x[181] != x[218] using generic constraint 2.59/2.75 c intension x[181] != x[224] using generic constraint 2.59/2.75 c intension x[181] != x[231] using generic constraint 2.59/2.75 c intension x[181] != x[233] using generic constraint 2.59/2.75 c intension x[181] != x[235] using generic constraint 2.59/2.75 c intension x[181] != x[239] using generic constraint 2.59/2.75 c intension x[181] != x[248] using generic constraint 2.59/2.75 c intension x[182] != x[188] using generic constraint 2.59/2.75 c intension x[182] != x[194] using generic constraint 2.59/2.75 c intension x[182] != x[202] using generic constraint 2.59/2.75 c intension x[182] != x[217] using generic constraint 2.59/2.76 c intension x[182] != x[234] using generic constraint 2.59/2.76 c intension x[182] != x[235] using generic constraint 2.59/2.76 c intension x[182] != x[239] using generic constraint 2.59/2.76 c intension x[182] != x[247] using generic constraint 2.59/2.76 c intension x[183] != x[223] using generic constraint 2.59/2.76 c intension x[183] != x[236] using generic constraint 2.59/2.76 c intension x[183] != x[240] using generic constraint 2.59/2.76 c intension x[184] != x[187] using generic constraint 2.59/2.76 c intension x[184] != x[204] using generic constraint 2.59/2.76 c intension x[184] != x[213] using generic constraint 2.59/2.76 c intension x[184] != x[230] using generic constraint 2.59/2.77 c intension x[185] != x[194] using generic constraint 2.59/2.77 c intension x[185] != x[216] using generic constraint 2.59/2.77 c intension x[185] != x[232] using generic constraint 2.59/2.77 c intension x[185] != x[237] using generic constraint 2.59/2.77 c intension x[186] != x[190] using generic constraint 2.59/2.77 c intension x[186] != x[224] using generic constraint 2.59/2.77 c intension x[186] != x[232] using generic constraint 2.59/2.77 c intension x[186] != x[235] using generic constraint 2.59/2.77 c intension x[186] != x[238] using generic constraint 2.59/2.77 c intension x[186] != x[239] using generic constraint 2.59/2.77 c intension x[186] != x[241] using generic constraint 2.59/2.77 c intension x[186] != x[244] using generic constraint 2.59/2.78 c intension x[186] != x[249] using generic constraint 2.59/2.78 c intension x[187] != x[192] using generic constraint 2.59/2.78 c intension x[187] != x[197] using generic constraint 2.59/2.78 c intension x[187] != x[209] using generic constraint 2.59/2.78 c intension x[187] != x[220] using generic constraint 2.59/2.78 c intension x[187] != x[224] using generic constraint 2.59/2.78 c intension x[187] != x[246] using generic constraint 2.59/2.78 c intension x[188] != x[202] using generic constraint 2.59/2.78 c intension x[188] != x[219] using generic constraint 2.59/2.78 c intension x[188] != x[226] using generic constraint 2.59/2.78 c intension x[188] != x[231] using generic constraint 2.59/2.79 c intension x[189] != x[213] using generic constraint 2.59/2.79 c intension x[189] != x[217] using generic constraint 2.59/2.79 c intension x[189] != x[224] using generic constraint 2.59/2.79 c intension x[189] != x[239] using generic constraint 2.59/2.79 c intension x[189] != x[241] using generic constraint 2.59/2.79 c intension x[189] != x[247] using generic constraint 2.59/2.79 c intension x[190] != x[197] using generic constraint 2.59/2.79 c intension x[190] != x[204] using generic constraint 2.59/2.79 c intension x[190] != x[208] using generic constraint 2.59/2.79 c intension x[191] != x[198] using generic constraint 2.59/2.79 c intension x[191] != x[200] using generic constraint 2.59/2.80 c intension x[191] != x[235] using generic constraint 2.69/2.80 c intension x[191] != x[243] using generic constraint 2.69/2.80 c intension x[192] != x[197] using generic constraint 2.69/2.80 c intension x[192] != x[230] using generic constraint 2.69/2.80 c intension x[192] != x[235] using generic constraint 2.69/2.80 c intension x[193] != x[205] using generic constraint 2.69/2.80 c intension x[193] != x[213] using generic constraint 2.69/2.80 c intension x[193] != x[219] using generic constraint 2.69/2.80 c intension x[193] != x[236] using generic constraint 2.69/2.80 c intension x[194] != x[199] using generic constraint 2.69/2.80 c intension x[194] != x[202] using generic constraint 2.69/2.81 c intension x[194] != x[205] using generic constraint 2.69/2.81 c intension x[194] != x[207] using generic constraint 2.69/2.81 c intension x[194] != x[209] using generic constraint 2.69/2.81 c intension x[194] != x[216] using generic constraint 2.69/2.81 c intension x[194] != x[239] using generic constraint 2.69/2.81 c intension x[194] != x[247] using generic constraint 2.69/2.81 c intension x[195] != x[199] using generic constraint 2.69/2.81 c intension x[195] != x[205] using generic constraint 2.69/2.81 c intension x[195] != x[212] using generic constraint 2.69/2.81 c intension x[195] != x[221] using generic constraint 2.69/2.81 c intension x[195] != x[222] using generic constraint 2.69/2.81 c intension x[195] != x[235] using generic constraint 2.69/2.82 c intension x[195] != x[237] using generic constraint 2.69/2.82 c intension x[195] != x[241] using generic constraint 2.69/2.82 c intension x[195] != x[243] using generic constraint 2.69/2.82 c intension x[195] != x[248] using generic constraint 2.69/2.82 c intension x[196] != x[201] using generic constraint 2.69/2.82 c intension x[196] != x[203] using generic constraint 2.69/2.82 c intension x[196] != x[210] using generic constraint 2.69/2.82 c intension x[196] != x[214] using generic constraint 2.69/2.82 c intension x[196] != x[232] using generic constraint 2.69/2.82 c intension x[196] != x[246] using generic constraint 2.69/2.82 c intension x[196] != x[249] using generic constraint 2.69/2.83 c intension x[197] != x[198] using generic constraint 2.69/2.83 c intension x[197] != x[209] using generic constraint 2.69/2.83 c intension x[197] != x[222] using generic constraint 2.69/2.83 c intension x[197] != x[231] using generic constraint 2.69/2.83 c intension x[197] != x[241] using generic constraint 2.69/2.83 c intension x[197] != x[244] using generic constraint 2.69/2.83 c intension x[197] != x[245] using generic constraint 2.69/2.83 c intension x[198] != x[204] using generic constraint 2.69/2.83 c intension x[198] != x[209] using generic constraint 2.69/2.83 c intension x[198] != x[224] using generic constraint 2.69/2.83 c intension x[198] != x[241] using generic constraint 2.69/2.84 c intension x[199] != x[202] using generic constraint 2.69/2.84 c intension x[199] != x[207] using generic constraint 2.69/2.84 c intension x[199] != x[213] using generic constraint 2.69/2.84 c intension x[199] != x[216] using generic constraint 2.69/2.84 c intension x[199] != x[229] using generic constraint 2.69/2.84 c intension x[199] != x[242] using generic constraint 2.69/2.84 c intension x[200] != x[201] using generic constraint 2.69/2.84 c intension x[200] != x[206] using generic constraint 2.69/2.84 c intension x[200] != x[207] using generic constraint 2.69/2.84 c intension x[200] != x[218] using generic constraint 2.69/2.84 c intension x[200] != x[240] using generic constraint 2.69/2.84 c intension x[200] != x[241] using generic constraint 2.69/2.85 c intension x[200] != x[242] using generic constraint 2.69/2.85 c intension x[201] != x[220] using generic constraint 2.69/2.85 c intension x[201] != x[225] using generic constraint 2.69/2.85 c intension x[201] != x[231] using generic constraint 2.69/2.85 c intension x[202] != x[214] using generic constraint 2.69/2.85 c intension x[202] != x[222] using generic constraint 2.69/2.85 c intension x[202] != x[226] using generic constraint 2.69/2.85 c intension x[202] != x[229] using generic constraint 2.69/2.85 c intension x[202] != x[231] using generic constraint 2.69/2.85 c intension x[202] != x[234] using generic constraint 2.69/2.85 c intension x[202] != x[236] using generic constraint 2.69/2.86 c intension x[203] != x[207] using generic constraint 2.69/2.86 c intension x[203] != x[213] using generic constraint 2.69/2.86 c intension x[203] != x[233] using generic constraint 2.69/2.86 c intension x[203] != x[237] using generic constraint 2.69/2.86 c intension x[203] != x[240] using generic constraint 2.69/2.86 c intension x[204] != x[220] using generic constraint 2.69/2.86 c intension x[204] != x[227] using generic constraint 2.69/2.86 c intension x[204] != x[244] using generic constraint 2.69/2.86 c intension x[204] != x[246] using generic constraint 2.69/2.86 c intension x[204] != x[247] using generic constraint 2.69/2.86 c intension x[205] != x[213] using generic constraint 2.69/2.87 c intension x[205] != x[218] using generic constraint 2.69/2.87 c intension x[205] != x[221] using generic constraint 2.69/2.87 c intension x[205] != x[237] using generic constraint 2.69/2.87 c intension x[205] != x[240] using generic constraint 2.69/2.87 c intension x[205] != x[243] using generic constraint 2.69/2.87 c intension x[206] != x[221] using generic constraint 2.69/2.87 c intension x[206] != x[232] using generic constraint 2.69/2.87 c intension x[206] != x[233] using generic constraint 2.69/2.87 c intension x[206] != x[238] using generic constraint 2.69/2.87 c intension x[206] != x[241] using generic constraint 2.69/2.87 c intension x[207] != x[249] using generic constraint 2.69/2.87 c intension x[208] != x[214] using generic constraint 2.69/2.88 c intension x[208] != x[216] using generic constraint 2.69/2.88 c intension x[208] != x[218] using generic constraint 2.69/2.88 c intension x[208] != x[233] using generic constraint 2.69/2.88 c intension x[208] != x[235] using generic constraint 2.69/2.88 c intension x[208] != x[244] using generic constraint 2.69/2.88 c intension x[208] != x[248] using generic constraint 2.69/2.88 c intension x[209] != x[215] using generic constraint 2.69/2.88 c intension x[209] != x[222] using generic constraint 2.69/2.88 c intension x[209] != x[230] using generic constraint 2.69/2.88 c intension x[209] != x[231] using generic constraint 2.69/2.88 c intension x[209] != x[232] using generic constraint 2.69/2.89 c intension x[209] != x[235] using generic constraint 2.69/2.89 c intension x[210] != x[218] using generic constraint 2.69/2.89 c intension x[210] != x[223] using generic constraint 2.69/2.89 c intension x[210] != x[224] using generic constraint 2.69/2.89 c intension x[210] != x[246] using generic constraint 2.69/2.89 c intension x[210] != x[247] using generic constraint 2.69/2.89 c intension x[211] != x[223] using generic constraint 2.69/2.89 c intension x[211] != x[243] using generic constraint 2.69/2.89 c intension x[212] != x[219] using generic constraint 2.69/2.89 c intension x[212] != x[223] using generic constraint 2.69/2.89 c intension x[212] != x[224] using generic constraint 2.69/2.90 c intension x[212] != x[232] using generic constraint 2.79/2.90 c intension x[212] != x[237] using generic constraint 2.79/2.90 c intension x[212] != x[240] using generic constraint 2.79/2.90 c intension x[212] != x[241] using generic constraint 2.79/2.90 c intension x[212] != x[243] using generic constraint 2.79/2.90 c intension x[212] != x[244] using generic constraint 2.79/2.90 c intension x[213] != x[222] using generic constraint 2.79/2.90 c intension x[213] != x[240] using generic constraint 2.79/2.90 c intension x[213] != x[248] using generic constraint 2.79/2.90 c intension x[214] != x[221] using generic constraint 2.79/2.90 c intension x[214] != x[233] using generic constraint 2.79/2.91 c intension x[214] != x[234] using generic constraint 2.79/2.91 c intension x[214] != x[248] using generic constraint 2.79/2.91 c intension x[214] != x[249] using generic constraint 2.79/2.91 c intension x[215] != x[231] using generic constraint 2.79/2.91 c intension x[215] != x[236] using generic constraint 2.79/2.91 c intension x[216] != x[219] using generic constraint 2.79/2.91 c intension x[216] != x[226] using generic constraint 2.79/2.91 c intension x[216] != x[228] using generic constraint 2.79/2.91 c intension x[216] != x[244] using generic constraint 2.79/2.91 c intension x[216] != x[246] using generic constraint 2.79/2.91 c intension x[217] != x[236] using generic constraint 2.79/2.91 c intension x[217] != x[242] using generic constraint 2.79/2.92 c intension x[219] != x[229] using generic constraint 2.79/2.92 c intension x[219] != x[232] using generic constraint 2.79/2.92 c intension x[219] != x[234] using generic constraint 2.79/2.92 c intension x[219] != x[237] using generic constraint 2.79/2.92 c intension x[219] != x[246] using generic constraint 2.79/2.92 c intension x[220] != x[236] using generic constraint 2.79/2.92 c intension x[220] != x[240] using generic constraint 2.79/2.92 c intension x[221] != x[228] using generic constraint 2.79/2.92 c intension x[221] != x[241] using generic constraint 2.79/2.92 c intension x[221] != x[242] using generic constraint 2.79/2.92 c intension x[221] != x[244] using generic constraint 2.79/2.93 c intension x[222] != x[233] using generic constraint 2.79/2.93 c intension x[222] != x[237] using generic constraint 2.79/2.93 c intension x[222] != x[242] using generic constraint 2.79/2.93 c intension x[222] != x[248] using generic constraint 2.79/2.93 c intension x[223] != x[234] using generic constraint 2.79/2.93 c intension x[224] != x[229] using generic constraint 2.79/2.93 c intension x[224] != x[233] using generic constraint 2.79/2.93 c intension x[224] != x[246] using generic constraint 2.79/2.93 c intension x[225] != x[226] using generic constraint 2.79/2.93 c intension x[225] != x[235] using generic constraint 2.79/2.93 c intension x[225] != x[239] using generic constraint 2.79/2.94 c intension x[225] != x[246] using generic constraint 2.79/2.94 c intension x[226] != x[232] using generic constraint 2.79/2.94 c intension x[226] != x[234] using generic constraint 2.79/2.94 c intension x[227] != x[242] using generic constraint 2.79/2.94 c intension x[228] != x[235] using generic constraint 2.79/2.94 c intension x[228] != x[236] using generic constraint 2.79/2.94 c intension x[229] != x[236] using generic constraint 2.79/2.94 c intension x[229] != x[240] using generic constraint 2.79/2.94 c intension x[229] != x[241] using generic constraint 2.79/2.94 c intension x[230] != x[236] using generic constraint 2.79/2.94 c intension x[230] != x[239] using generic constraint 2.79/2.94 c intension x[230] != x[240] using generic constraint 2.79/2.95 c intension x[230] != x[242] using generic constraint 2.79/2.95 c intension x[232] != x[239] using generic constraint 2.79/2.95 c intension x[232] != x[240] using generic constraint 2.79/2.95 c intension x[233] != x[236] using generic constraint 2.79/2.95 c intension x[233] != x[241] using generic constraint 2.79/2.95 c intension x[234] != x[237] using generic constraint 2.79/2.95 c intension x[234] != x[247] using generic constraint 2.79/2.95 c intension x[234] != x[249] using generic constraint 2.79/2.95 c intension x[235] != x[247] using generic constraint 2.79/2.95 c intension x[236] != x[240] using generic constraint 2.79/2.95 c intension x[236] != x[248] using generic constraint 2.79/2.96 c intension x[238] != x[243] using generic constraint 2.79/2.96 c intension x[239] != x[242] using generic constraint 2.79/2.96 c intension x[239] != x[245] using generic constraint 2.79/2.96 c intension x[239] != x[249] using generic constraint 2.79/2.96 c intension x[241] != x[245] using generic constraint 2.79/2.96 c intension x[242] != x[248] using generic constraint 2.79/2.96 c intension x[245] != x[247] using generic constraint 2.79/2.96 c intension x[247] != x[248] using generic constraint 2.79/2.96 c intension x[248] != x[249] using generic constraint 3.39/3.51 c SAT : Variables: 62500 -- Clauses: 7781500 3.39/3.51 c best=?? lower=0 upper=249 3.39/3.52 c 3.39/3.52 c This is cosoco 1.12 -- 3.39/3.52 c 3.39/3.52 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265709-1502569439.xml 3.39/3.52 c enable optimization 3.39/3.52 c ========================================[ Problem Statistics ]=========================================== 3.39/3.52 c | 3.39/3.52 c | Parse time : 3.33 s 3.39/3.52 c | 3.39/3.52 c | Variables: 250 3.39/3.52 c | Domain Sizes: 250..250 3.39/3.52 c | 3.39/3.52 c | Constraints: 3219 3.39/3.52 c | Arity: 2..250 -- Binary: 3218 3.39/3.52 c | 3.39/3.52 c | Types: 3.39/3.52 c | (X != Y): 3218 3.39/3.52 c | Max constant: 1 3.39/3.52 c | 3.39/3.52 c ========================================================================================================= 3.39/3.52 o 10 3.39/3.52 c 1 calls to solver: best=10 lower=0 upper=9 3.39/3.52 o 9 3.39/3.58 o 8 3.39/3.58 c 3 calls to solver: best=8 lower=0 upper=7 2519.60/2520.00 2519.60/2520.00 c *** INTERRUPTED *** 2519.60/2520.00 c restarts : 604 2519.60/2520.00 c conflicts : 22966612 (9116 /sec) 2519.60/2520.00 c decisions : 158386022 (62864 /sec) 2519.60/2520.00 c propagations : 6073411782 (2410568 /sec) 2519.60/2520.00 c root propagations : 61947 2519.60/2520.00 c filter calls : 43432649671 (17238637 /sec) 2519.60/2520.00 c useless filter calls : 37698990156 (86 %) 2519.60/2520.00 c 2519.60/2520.00 c clauses : 7783819 2519.60/2520.00 c SAT propagations : 0 2519.60/2520.00 c SAT conflicts : 0 (0 learnts) 2519.60/2520.00 c Memory used : 346.09 MB 2519.60/2520.00 c CPU time : 2519.49 s 2519.60/2520.00 2519.60/2520.00 c nb Solutions = 3 2519.60/2520.00 s SATISFIABLE 2519.60/2520.00 c Best value found: 8 2519.60/2520.00 2519.60/2520.00 2519.60/2520.00 v <instantiation type='solution' cost='8'> 2519.60/2520.00 v <list>x[0] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[10] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[11] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[5] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[6] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[7] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[8] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[9] </list> 2519.60/2520.00 v <values>1 6 5 3 5 4 2 8 5 3 7 5 6 8 0 5 3 1 3 3 0 0 4 4 3 2 6 0 2 7 6 0 1 8 7 4 0 0 6 4 8 8 0 4 7 8 0 5 7 7 1 1 3 4 6 3 5 2 5 0 1 3 4 5 5 3 0 2 7 7 6 0 6 4 7 0 6 7 2 1 6 3 2 7 0 7 1 6 2 6 1 0 2 4 2 5 1 1 1 2 7 6 3 4 4 7 3 0 1 6 3 1 3 0 5 0 3 3 2 7 8 3 3 0 8 0 5 0 0 3 4 4 8 1 6 4 1 1 3 8 6 2 0 7 2 6 7 4 7 3 4 1 4 0 7 8 8 8 5 1 2 3 4 2 4 1 0 1 1 6 5 2 4 7 1 2 7 3 6 6 8 6 3 0 8 8 8 2 3 1 1 2 3 3 5 3 8 5 4 6 0 4 4 0 1 2 2 7 6 7 0 7 6 3 6 2 1 2 0 5 5 1 4 4 8 5 7 1 8 1 5 7 4 4 5 2 2 4 0 8 5 4 1 8 6 4 5 5 1 7 </values> 2519.60/2520.00 v </instantiation> 2519.60/2520.00
OK 8
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15312 MiB free) memory of node 1: 16384 MiB (15607 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265709-1502569439/watcher-4265709-1502569439 -o /tmp/evaluation-result-4265709-1502569439/solver-4265709-1502569439 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12623 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265709-1502569439.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=14493, runsolver pid=14490 [startup+0.10016 s]* /proc/loadavg: 2.35 4.09 3.40 3/182 14494 /proc/meminfo: memFree=31661568/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=27656 memory=3856 CPUtime=0.01 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 1138 0 0 0 1 0 0 0 20 0 1 0 59139388 28319744 964 18446744073709551615 4194304 5972588 140728066129856 140728066126504 5496960 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 6914 964 716 435 0 277 0 Current children cumulated CPU time: 0.01 s Current children cumulated vsize: 27656 KiB Current children cumulated memory: 3856 KiB [startup+0.20917 s]* /proc/loadavg: 2.35 4.09 3.40 3/182 14494 /proc/meminfo: memFree=31661568/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=28000 memory=4288 CPUtime=0.12 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 1236 0 0 0 12 0 0 0 20 0 1 0 59139388 28672000 1072 18446744073709551615 4194304 5972588 140728066129856 140728066126504 139629137508877 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 7000 1072 750 435 0 363 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28000 KiB Current children cumulated memory: 4288 KiB [startup+0.308905 s]* /proc/loadavg: 2.35 4.09 3.40 3/182 14494 /proc/meminfo: memFree=31661568/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=28132 memory=4288 CPUtime=0.22 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 1276 0 0 0 22 0 0 0 20 0 1 0 59139388 28807168 1072 18446744073709551615 4194304 5972588 140728066129856 140728066126504 139629128305760 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 7033 1072 750 435 0 396 0 Current children cumulated CPU time: 0.22 s Current children cumulated vsize: 28132 KiB Current children cumulated memory: 4288 KiB [startup+0.700331 s] /proc/loadavg: 2.35 4.09 3.40 3/182 14494 /proc/meminfo: memFree=31661228/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=28660 memory=4812 CPUtime=0.6 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 1425 0 0 0 60 0 0 0 20 0 1 0 59139388 29347840 1203 18446744073709551615 4194304 5972588 140728066129856 140728066126504 5210968 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 7165 1203 750 435 0 528 0 Current children cumulated CPU time: 0.6 s Current children cumulated vsize: 28660 KiB Current children cumulated memory: 4812 KiB [startup+1.50033 s] /proc/loadavg: 2.35 4.09 3.40 3/182 14494 /proc/meminfo: memFree=31660540/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=29980 memory=6132 CPUtime=1.4 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 1734 0 0 0 140 0 0 0 20 0 1 0 59139388 30699520 1533 18446744073709551615 4194304 5972588 140728066129856 140728066113576 139629127877498 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 7495 1533 750 435 0 858 0 Current children cumulated CPU time: 1.4 s Current children cumulated vsize: 29980 KiB Current children cumulated memory: 6132 KiB [startup+3.10938 s] /proc/loadavg: 2.35 4.09 3.40 3/184 14496 /proc/meminfo: memFree=31640168/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=126888 memory=83896 CPUtime=3 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 16981 0 0 0 298 2 0 0 20 0 1 0 59139388 129933312 20974 18446744073709551615 4194304 5972588 140728066129856 140728066113576 5280489 0 0 1 0 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 31722 20974 781 435 0 25085 0 Current children cumulated CPU time: 3 s Current children cumulated vsize: 126888 KiB Current children cumulated memory: 83896 KiB [startup+6.30033 s] /proc/loadavg: 2.33 4.05 3.39 3/187 14510 /proc/meminfo: memFree=31348380/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310116 CPUtime=6.19 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 51484 0 0 0 610 9 0 0 20 0 1 0 59139388 362901504 77529 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5328649 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77529 796 435 0 81962 0 Current children cumulated CPU time: 6.19 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310116 KiB [startup+12.7003 s] /proc/loadavg: 2.30 4.02 3.39 3/187 14511 /proc/meminfo: memFree=31348984/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310116 CPUtime=12.58 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 54003 0 0 0 1249 9 0 0 20 0 1 0 59139388 362901504 77529 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5077413 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77529 796 435 0 81962 0 Current children cumulated CPU time: 12.58 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310116 KiB [startup+25.5003 s] /proc/loadavg: 2.23 3.92 3.36 3/187 14511 /proc/meminfo: memFree=31348952/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310116 CPUtime=25.38 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 57883 0 0 0 2528 10 0 0 20 0 1 0 59139388 362901504 77529 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5327867 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77529 796 435 0 81962 0 Current children cumulated CPU time: 25.38 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310116 KiB [startup+51.1093 s] /proc/loadavg: 2.15 3.77 3.33 3/187 14511 /proc/meminfo: memFree=31349664/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310116 CPUtime=50.97 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 60779 0 0 0 5087 10 0 0 20 0 1 0 59139388 362901504 77529 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5099628 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77529 796 435 0 81962 0 Current children cumulated CPU time: 50.97 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310116 KiB [startup+102.3 s] /proc/loadavg: 2.07 3.49 3.26 3/186 14513 /proc/meminfo: memFree=31349228/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310152 CPUtime=102.13 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 63273 0 0 0 10203 10 0 0 20 0 1 0 59139388 362901504 77538 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5077416 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77538 796 435 0 81962 0 Current children cumulated CPU time: 102.13 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310152 KiB [startup+162.3 s] /proc/loadavg: 2.02 3.22 3.18 3/183 14515 /proc/meminfo: memFree=31354260/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310152 CPUtime=162.11 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 64843 0 0 0 16201 10 0 0 20 0 1 0 59139388 362901504 77538 18446744073709551615 4194304 5972588 140728066129856 140728066117048 4908860 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77538 796 435 0 81962 0 Current children cumulated CPU time: 162.11 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310152 KiB [startup+222.3 s] /proc/loadavg: 2.01 3.00 3.11 3/182 14517 /proc/meminfo: memFree=31353676/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=222.11 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 65877 0 0 0 22201 10 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5077504 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 222.11 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.82 3.04 3/182 14519 /proc/meminfo: memFree=31353184/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=282.1 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 66912 0 0 0 28200 10 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5328649 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 282.1 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.67 2.97 3/181 14521 /proc/meminfo: memFree=31353440/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=342.1 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 67947 0 0 0 34200 10 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5328503 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 342.1 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.55 2.91 3/181 14523 /proc/meminfo: memFree=31353192/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=402.09 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 68983 0 0 0 40199 10 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5077440 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 402.09 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.45 2.85 3/181 14525 /proc/meminfo: memFree=31353712/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=462.08 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 69911 0 0 0 46198 10 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5338173 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 462.08 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB ################ # More data... # ################ /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 1721.97 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.21 3/182 14665 /proc/meminfo: memFree=31351440/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=1781.96 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 91768 0 0 0 178185 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5328649 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 1781.96 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.20 3/186 14682 /proc/meminfo: memFree=31347176/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=1841.96 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 92687 0 0 0 184185 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5077413 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 1841.96 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.19 3/186 14684 /proc/meminfo: memFree=31346928/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=1901.95 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 93615 0 0 0 190184 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5094232 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 1901.95 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.18 3/183 14686 /proc/meminfo: memFree=31350596/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=1961.95 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 94653 0 0 0 196184 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5240328 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 1961.95 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.16 3/183 14688 /proc/meminfo: memFree=31351096/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=2021.94 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 95554 0 0 0 202183 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5321129 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 2021.94 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.15 3/182 14690 /proc/meminfo: memFree=31350888/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=2081.93 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 96457 0 0 0 208182 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5077400 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 2081.93 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.14 3/181 14692 /proc/meminfo: memFree=31351320/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=2141.93 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 97492 0 0 0 214182 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5328649 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 2141.93 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.13 3/181 14694 /proc/meminfo: memFree=31350948/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=2201.92 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 98404 0 0 0 220181 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5099616 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 2201.92 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+2262.3 s] /proc/loadavg: 2.05 2.03 2.13 3/181 14696 /proc/meminfo: memFree=31350956/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=2261.92 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 99306 0 0 0 226181 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5251122 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 2261.92 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+2322.3 s] /proc/loadavg: 2.07 2.04 2.13 3/181 14698 /proc/meminfo: memFree=31350708/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=2321.91 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 100205 0 0 0 232180 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5094096 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 2321.91 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+2382.3 s] /proc/loadavg: 2.03 2.03 2.13 3/181 14700 /proc/meminfo: memFree=31350956/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=2381.9 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 101242 0 0 0 238179 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5328649 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 2381.9 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+2442.3 s] /proc/loadavg: 2.01 2.03 2.12 3/186 14718 /proc/meminfo: memFree=31346344/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=2441.9 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 102160 0 0 0 244179 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5077517 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 2441.9 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB [startup+2502.3 s] /proc/loadavg: 2.07 2.04 2.12 3/186 14720 /proc/meminfo: memFree=31346360/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=2501.89 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 103074 0 0 0 250178 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5077400 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 2501.89 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.05 2.04 2.12 3/183 14720 /proc/meminfo: memFree=31349888/32770624 swapFree=67105588/67108860 [pid=14493] ppid=14490 vsize=354396 memory=310784 CPUtime=2519.6 cores=0,2,4,6 /proc/14493/stat : 14493 (cosoco) R 14490 14493 12560 0 -1 4202496 103376 0 0 0 251949 11 0 0 20 0 1 0 59139388 362901504 77696 18446744073709551615 4194304 5972588 140728066129856 140728066117048 5077396 0 0 1 8405026 0 0 0 17 2 0 0 9 0 0 8070896 8075904 18137088 140728066138564 140728066138664 140728066138664 140728066142158 0 /proc/14493/statm: 88599 77696 796 435 0 81962 0 Current children cumulated CPU time: 2519.6 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310784 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 14493 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.5 s, system=0.115988 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2519.61 CPU user time (s): 2519.5 CPU system time (s): 0.115988 CPU usage (%): 99.9841 Max. virtual memory (cumulated for all children) (KiB): 354396 Max. memory (cumulated for all children) (KiB): 310784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.5 system time used= 0.115988 maximum resident set size= 310864 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 103429 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= 95 involuntary context switches= 3172 # summary of solver processes directly reported to runsolver: # pid: 14493 # total CPU time (s): 2519.61 # total CPU user time (s): 2519.5 # total CPU system time (s): 0.115988 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.03843 second user time and 17.062 second system time The end
Begin job on node126 at 2017-08-12 22:09:58 IDJOB=4265709 IDBENCH=120626 IDSOLVER=2655 FILE ID=node126/4265709-1502569439 RUNJOBID= node126-1502565162-12623 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-dsjc-250-1.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265709-1502569439/watcher-4265709-1502569439 -o /tmp/evaluation-result-4265709-1502569439/solver-4265709-1502569439 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502565162-12623 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265709-1502569439.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4a78676e15c4a516bf0316b10322151a RANDOM SEED=1558684129 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31662576 kB MemAvailable: 31979412 kB Buffers: 229588 kB Cached: 358052 kB SwapCached: 524 kB Active: 533712 kB Inactive: 113740 kB Active(anon): 540 kB Inactive(anon): 84124 kB Active(file): 533172 kB Inactive(file): 29616 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 2364 kB Writeback: 0 kB AnonPages: 59340 kB Mapped: 46136 kB Shmem: 25248 kB Slab: 165848 kB SReclaimable: 139764 kB SUnreclaim: 26084 kB KernelStack: 3264 kB PageTables: 5088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 329340 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: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node126 at 2017-08-12 22:51:58