Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-sat 1.12 | SAT (TO) | 8 | 251.868 | 252.01199 |
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 | 242.198 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 250 |
Number of constraints | 3218 |
Number of domains | 1 |
Minimum domain size | 250 |
Maximum domain size | 250 |
Distribution of domain sizes | [{"size":250,"count":250}] |
Minimum variable degree | 14 |
Maximum variable degree | 39 |
Distribution of variable degrees | [{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":3},{"degree":17,"count":5},{"degree":18,"count":6},{"degree":19,"count":5},{"degree":20,"count":6},{"degree":21,"count":11},{"degree":22,"count":14},{"degree":23,"count":16},{"degree":24,"count":14},{"degree":25,"count":25},{"degree":26,"count":17},{"degree":27,"count":14},{"degree":28,"count":12},{"degree":29,"count":25},{"degree":30,"count":21},{"degree":31,"count":11},{"degree":32,"count":9},{"degree":33,"count":9},{"degree":34,"count":4},{"degree":35,"count":6},{"degree":36,"count":9},{"degree":37,"count":3},{"degree":38,"count":2},{"degree":39,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":3218}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 3218 |
Distribution of constraint types | [{"type":"intension","count":3218}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.14 c intension x[0] != x[20] using generic constraint 0.00/0.14 c intension x[0] != x[33] using generic constraint 0.00/0.14 c intension x[0] != x[44] using generic constraint 0.00/0.14 c intension x[0] != x[47] using generic constraint 0.00/0.14 c intension x[0] != x[64] using generic constraint 0.00/0.14 c intension x[0] != x[69] using generic constraint 0.00/0.14 c intension x[0] != x[73] using generic constraint 0.00/0.14 c intension x[0] != x[78] using generic constraint 0.00/0.14 c intension x[0] != x[84] using generic constraint 0.00/0.14 c intension x[0] != x[87] using generic constraint 0.00/0.15 c intension x[0] != x[89] using generic constraint 0.00/0.15 c intension x[0] != x[92] using generic constraint 0.00/0.15 c intension x[0] != x[96] using generic constraint 0.00/0.15 c intension x[0] != x[102] using generic constraint 0.00/0.15 c intension x[0] != x[109] using generic constraint 0.00/0.15 c intension x[0] != x[111] using generic constraint 0.00/0.15 c intension x[0] != x[116] using generic constraint 0.00/0.15 c intension x[0] != x[122] using generic constraint 0.00/0.15 c intension x[0] != x[130] using generic constraint 0.00/0.15 c intension x[0] != x[131] using generic constraint 0.00/0.15 c intension x[0] != x[132] using generic constraint 0.00/0.16 c intension x[0] != x[133] using generic constraint 0.00/0.16 c intension x[0] != x[152] using generic constraint 0.00/0.16 c intension x[0] != x[166] using generic constraint 0.00/0.16 c intension x[0] != x[167] using generic constraint 0.00/0.16 c intension x[0] != x[173] using generic constraint 0.00/0.16 c intension x[0] != x[176] using generic constraint 0.00/0.16 c intension x[0] != x[191] using generic constraint 0.00/0.16 c intension x[0] != x[194] using generic constraint 0.00/0.16 c intension x[0] != x[195] using generic constraint 0.00/0.16 c intension x[0] != x[197] using generic constraint 0.00/0.16 c intension x[0] != x[202] using generic constraint 0.00/0.17 c intension x[0] != x[221] using generic constraint 0.00/0.17 c intension x[0] != x[230] using generic constraint 0.00/0.17 c intension x[0] != x[240] using generic constraint 0.00/0.17 c intension x[0] != x[241] using generic constraint 0.00/0.17 c intension x[0] != x[244] using generic constraint 0.00/0.17 c intension x[1] != x[4] using generic constraint 0.00/0.17 c intension x[1] != x[16] using generic constraint 0.00/0.17 c intension x[1] != x[40] using generic constraint 0.00/0.17 c intension x[1] != x[43] using generic constraint 0.00/0.17 c intension x[1] != x[50] using generic constraint 0.00/0.17 c intension x[1] != x[60] using generic constraint 0.00/0.17 c intension x[1] != x[77] using generic constraint 0.00/0.18 c intension x[1] != x[80] using generic constraint 0.00/0.18 c intension x[1] != x[86] using generic constraint 0.00/0.18 c intension x[1] != x[97] using generic constraint 0.00/0.18 c intension x[1] != x[127] using generic constraint 0.00/0.18 c intension x[1] != x[152] using generic constraint 0.00/0.18 c intension x[1] != x[163] using generic constraint 0.00/0.18 c intension x[1] != x[186] using generic constraint 0.00/0.18 c intension x[1] != x[195] using generic constraint 0.00/0.18 c intension x[1] != x[196] using generic constraint 0.00/0.18 c intension x[1] != x[199] using generic constraint 0.00/0.18 c intension x[1] != x[205] using generic constraint 0.00/0.19 c intension x[1] != x[210] using generic constraint 0.00/0.19 c intension x[1] != x[217] using generic constraint 0.00/0.19 c intension x[1] != x[241] using generic constraint 0.00/0.19 c intension x[1] != x[248] using generic constraint 0.00/0.19 c intension x[2] != x[5] using generic constraint 0.00/0.19 c intension x[2] != x[6] using generic constraint 0.00/0.19 c intension x[2] != x[12] using generic constraint 0.00/0.19 c intension x[2] != x[13] using generic constraint 0.00/0.19 c intension x[2] != x[19] using generic constraint 0.00/0.19 c intension x[2] != x[33] using generic constraint 0.00/0.19 c intension x[2] != x[44] using generic constraint 0.00/0.20 c intension x[2] != x[47] using generic constraint 0.00/0.20 c intension x[2] != x[51] using generic constraint 0.00/0.20 c intension x[2] != x[58] using generic constraint 0.00/0.20 c intension x[2] != x[65] using generic constraint 0.00/0.20 c intension x[2] != x[68] using generic constraint 0.00/0.20 c intension x[2] != x[79] using generic constraint 0.00/0.20 c intension x[2] != x[93] using generic constraint 0.00/0.20 c intension x[2] != x[111] using generic constraint 0.00/0.20 c intension x[2] != x[116] using generic constraint 0.00/0.20 c intension x[2] != x[117] using generic constraint 0.00/0.20 c intension x[2] != x[127] using generic constraint 0.00/0.20 c intension x[2] != x[157] using generic constraint 0.00/0.21 c intension x[2] != x[173] using generic constraint 0.00/0.21 c intension x[2] != x[176] using generic constraint 0.00/0.21 c intension x[2] != x[183] using generic constraint 0.00/0.21 c intension x[2] != x[188] using generic constraint 0.00/0.21 c intension x[2] != x[220] using generic constraint 0.00/0.21 c intension x[3] != x[5] using generic constraint 0.00/0.21 c intension x[3] != x[18] using generic constraint 0.00/0.21 c intension x[3] != x[39] using generic constraint 0.00/0.21 c intension x[3] != x[40] using generic constraint 0.00/0.21 c intension x[3] != x[56] using generic constraint 0.11/0.21 c intension x[3] != x[68] using generic constraint 0.11/0.22 c intension x[3] != x[70] using generic constraint 0.11/0.22 c intension x[3] != x[89] using generic constraint 0.11/0.22 c intension x[3] != x[108] using generic constraint 0.11/0.22 c intension x[3] != x[116] using generic constraint 0.11/0.22 c intension x[3] != x[129] using generic constraint 0.11/0.22 c intension x[3] != x[131] using generic constraint 0.11/0.22 c intension x[3] != x[140] using generic constraint 0.11/0.22 c intension x[3] != x[144] using generic constraint 0.11/0.22 c intension x[3] != x[185] using generic constraint 0.11/0.22 c intension x[3] != x[189] using generic constraint 0.11/0.22 c intension x[3] != x[190] using generic constraint 0.11/0.23 c intension x[3] != x[194] using generic constraint 0.11/0.23 c intension x[3] != x[209] using generic constraint 0.11/0.23 c intension x[3] != x[219] using generic constraint 0.11/0.23 c intension x[3] != x[223] using generic constraint 0.11/0.23 c intension x[3] != x[237] using generic constraint 0.11/0.23 c intension x[3] != x[242] using generic constraint 0.11/0.23 c intension x[3] != x[248] using generic constraint 0.11/0.23 c intension x[4] != x[18] using generic constraint 0.11/0.23 c intension x[4] != x[19] using generic constraint 0.11/0.23 c intension x[4] != x[23] using generic constraint 0.11/0.23 c intension x[4] != x[34] using generic constraint 0.11/0.24 c intension x[4] != x[37] using generic constraint 0.11/0.24 c intension x[4] != x[49] using generic constraint 0.11/0.24 c intension x[4] != x[57] using generic constraint 0.11/0.24 c intension x[4] != x[65] using generic constraint 0.11/0.24 c intension x[4] != x[68] using generic constraint 0.11/0.24 c intension x[4] != x[84] using generic constraint 0.11/0.24 c intension x[4] != x[92] using generic constraint 0.11/0.24 c intension x[4] != x[93] using generic constraint 0.11/0.24 c intension x[4] != x[94] using generic constraint 0.11/0.24 c intension x[4] != x[102] using generic constraint 0.11/0.24 c intension x[4] != x[111] using generic constraint 0.11/0.25 c intension x[4] != x[112] using generic constraint 0.11/0.25 c intension x[4] != x[115] using generic constraint 0.11/0.25 c intension x[4] != x[129] using generic constraint 0.11/0.25 c intension x[4] != x[134] using generic constraint 0.11/0.25 c intension x[4] != x[137] using generic constraint 0.11/0.25 c intension x[4] != x[139] using generic constraint 0.11/0.25 c intension x[4] != x[146] using generic constraint 0.11/0.25 c intension x[4] != x[163] using generic constraint 0.11/0.25 c intension x[4] != x[168] using generic constraint 0.11/0.25 c intension x[4] != x[185] using generic constraint 0.11/0.26 c intension x[4] != x[192] using generic constraint 0.11/0.26 c intension x[4] != x[198] using generic constraint 0.11/0.26 c intension x[4] != x[199] using generic constraint 0.11/0.26 c intension x[4] != x[208] using generic constraint 0.11/0.26 c intension x[4] != x[210] using generic constraint 0.11/0.26 c intension x[4] != x[217] using generic constraint 0.11/0.26 c intension x[4] != x[223] using generic constraint 0.11/0.26 c intension x[4] != x[237] using generic constraint 0.11/0.26 c intension x[4] != x[247] using generic constraint 0.11/0.26 c intension x[5] != x[7] using generic constraint 0.11/0.26 c intension x[5] != x[27] using generic constraint 0.11/0.27 c intension x[5] != x[33] using generic constraint 0.11/0.27 c intension x[5] != x[38] using generic constraint 0.11/0.27 c intension x[5] != x[52] using generic constraint 0.11/0.27 c intension x[5] != x[61] using generic constraint 0.11/0.27 c intension x[5] != x[62] using generic constraint 0.11/0.27 c intension x[5] != x[92] using generic constraint 0.11/0.27 c intension x[5] != x[93] using generic constraint 0.11/0.27 c intension x[5] != x[96] using generic constraint 0.11/0.27 c intension x[5] != x[99] using generic constraint 0.11/0.27 c intension x[5] != x[108] using generic constraint 0.11/0.27 c intension x[5] != x[110] using generic constraint 0.11/0.28 c intension x[5] != x[116] using generic constraint 0.11/0.28 c intension x[5] != x[117] using generic constraint 0.11/0.28 c intension x[5] != x[144] using generic constraint 0.11/0.28 c intension x[5] != x[159] using generic constraint 0.11/0.28 c intension x[5] != x[168] using generic constraint 0.11/0.28 c intension x[5] != x[177] using generic constraint 0.11/0.28 c intension x[5] != x[233] using generic constraint 0.11/0.28 c intension x[5] != x[243] using generic constraint 0.11/0.28 c intension x[6] != x[15] using generic constraint 0.11/0.28 c intension x[6] != x[48] using generic constraint 0.11/0.28 c intension x[6] != x[58] using generic constraint 0.11/0.29 c intension x[6] != x[66] using generic constraint 0.11/0.29 c intension x[6] != x[68] using generic constraint 0.11/0.29 c intension x[6] != x[83] using generic constraint 0.11/0.29 c intension x[6] != x[98] using generic constraint 0.11/0.29 c intension x[6] != x[105] using generic constraint 0.11/0.29 c intension x[6] != x[106] using generic constraint 0.11/0.29 c intension x[6] != x[118] using generic constraint 0.11/0.29 c intension x[6] != x[122] using generic constraint 0.11/0.29 c intension x[6] != x[153] using generic constraint 0.11/0.29 c intension x[6] != x[164] using generic constraint 0.11/0.29 c intension x[6] != x[165] using generic constraint 0.11/0.30 c intension x[6] != x[168] using generic constraint 0.11/0.30 c intension x[6] != x[177] using generic constraint 0.11/0.30 c intension x[6] != x[194] using generic constraint 0.11/0.30 c intension x[6] != x[205] using generic constraint 0.11/0.30 c intension x[6] != x[213] using generic constraint 0.11/0.30 c intension x[6] != x[217] using generic constraint 0.11/0.30 c intension x[6] != x[220] using generic constraint 0.11/0.30 c intension x[6] != x[225] using generic constraint 0.11/0.30 c intension x[6] != x[228] using generic constraint 0.11/0.30 c intension x[6] != x[229] using generic constraint 0.11/0.30 c intension x[6] != x[245] using generic constraint 0.11/0.31 c intension x[7] != x[9] using generic constraint 0.11/0.31 c intension x[7] != x[14] using generic constraint 0.11/0.31 c intension x[7] != x[38] using generic constraint 0.11/0.31 c intension x[7] != x[48] using generic constraint 0.11/0.31 c intension x[7] != x[61] using generic constraint 0.11/0.31 c intension x[7] != x[67] using generic constraint 0.11/0.31 c intension x[7] != x[80] using generic constraint 0.11/0.31 c intension x[7] != x[89] using generic constraint 0.11/0.31 c intension x[7] != x[100] using generic constraint 0.11/0.31 c intension x[7] != x[106] using generic constraint 0.21/0.31 c intension x[7] != x[120] using generic constraint 0.21/0.32 c intension x[7] != x[138] using generic constraint 0.21/0.32 c intension x[7] != x[147] using generic constraint 0.21/0.32 c intension x[7] != x[149] using generic constraint 0.21/0.32 c intension x[7] != x[168] using generic constraint 0.21/0.32 c intension x[7] != x[174] using generic constraint 0.21/0.32 c intension x[7] != x[176] using generic constraint 0.21/0.32 c intension x[7] != x[195] using generic constraint 0.21/0.32 c intension x[7] != x[196] using generic constraint 0.21/0.32 c intension x[7] != x[207] using generic constraint 0.21/0.32 c intension x[7] != x[225] using generic constraint 0.21/0.32 c intension x[7] != x[231] using generic constraint 0.21/0.32 c intension x[7] != x[240] using generic constraint 0.21/0.33 c intension x[7] != x[242] using generic constraint 0.21/0.33 c intension x[8] != x[20] using generic constraint 0.21/0.33 c intension x[8] != x[32] using generic constraint 0.21/0.33 c intension x[8] != x[50] using generic constraint 0.21/0.33 c intension x[8] != x[59] using generic constraint 0.21/0.33 c intension x[8] != x[65] using generic constraint 0.21/0.33 c intension x[8] != x[66] using generic constraint 0.21/0.33 c intension x[8] != x[86] using generic constraint 0.21/0.33 c intension x[8] != x[108] using generic constraint 0.21/0.33 c intension x[8] != x[109] using generic constraint 0.21/0.33 c intension x[8] != x[110] using generic constraint 0.21/0.34 c intension x[8] != x[123] using generic constraint 0.21/0.34 c intension x[8] != x[145] using generic constraint 0.21/0.34 c intension x[8] != x[155] using generic constraint 0.21/0.34 c intension x[8] != x[157] using generic constraint 0.21/0.34 c intension x[8] != x[158] using generic constraint 0.21/0.34 c intension x[8] != x[159] using generic constraint 0.21/0.34 c intension x[8] != x[171] using generic constraint 0.21/0.34 c intension x[8] != x[174] using generic constraint 0.21/0.34 c intension x[8] != x[200] using generic constraint 0.21/0.34 c intension x[8] != x[231] using generic constraint 0.21/0.34 c intension x[8] != x[240] using generic constraint 0.21/0.35 c intension x[8] != x[247] using generic constraint 0.21/0.35 c intension x[8] != x[248] using generic constraint 0.21/0.35 c intension x[9] != x[17] using generic constraint 0.21/0.35 c intension x[9] != x[38] using generic constraint 0.21/0.35 c intension x[9] != x[43] using generic constraint 0.21/0.35 c intension x[9] != x[54] using generic constraint 0.21/0.35 c intension x[9] != x[64] using generic constraint 0.21/0.35 c intension x[9] != x[69] using generic constraint 0.21/0.35 c intension x[9] != x[75] using generic constraint 0.21/0.35 c intension x[9] != x[77] using generic constraint 0.21/0.35 c intension x[9] != x[90] using generic constraint 0.21/0.36 c intension x[9] != x[93] using generic constraint 0.21/0.36 c intension x[9] != x[94] using generic constraint 0.21/0.36 c intension x[9] != x[97] using generic constraint 0.21/0.36 c intension x[9] != x[107] using generic constraint 0.21/0.36 c intension x[9] != x[142] using generic constraint 0.21/0.36 c intension x[9] != x[173] using generic constraint 0.21/0.36 c intension x[9] != x[183] using generic constraint 0.21/0.36 c intension x[9] != x[197] using generic constraint 0.21/0.36 c intension x[9] != x[204] using generic constraint 0.21/0.36 c intension x[9] != x[218] using generic constraint 0.21/0.36 c intension x[9] != x[220] using generic constraint 0.21/0.36 c intension x[9] != x[222] using generic constraint 0.21/0.37 c intension x[9] != x[228] using generic constraint 0.21/0.37 c intension x[10] != x[27] using generic constraint 0.21/0.37 c intension x[10] != x[33] using generic constraint 0.21/0.37 c intension x[10] != x[45] using generic constraint 0.21/0.37 c intension x[10] != x[64] using generic constraint 0.21/0.37 c intension x[10] != x[84] using generic constraint 0.21/0.37 c intension x[10] != x[87] using generic constraint 0.21/0.37 c intension x[10] != x[88] using generic constraint 0.21/0.37 c intension x[10] != x[106] using generic constraint 0.21/0.37 c intension x[10] != x[109] using generic constraint 0.21/0.37 c intension x[10] != x[114] using generic constraint 0.21/0.38 c intension x[10] != x[116] using generic constraint 0.21/0.38 c intension x[10] != x[143] using generic constraint 0.21/0.38 c intension x[10] != x[146] using generic constraint 0.21/0.38 c intension x[10] != x[159] using generic constraint 0.21/0.38 c intension x[10] != x[163] using generic constraint 0.21/0.38 c intension x[10] != x[168] using generic constraint 0.21/0.38 c intension x[10] != x[182] using generic constraint 0.21/0.38 c intension x[10] != x[204] using generic constraint 0.21/0.38 c intension x[10] != x[229] using generic constraint 0.21/0.38 c intension x[10] != x[237] using generic constraint 0.21/0.38 c intension x[10] != x[239] using generic constraint 0.21/0.39 c intension x[11] != x[23] using generic constraint 0.21/0.39 c intension x[11] != x[26] using generic constraint 0.21/0.39 c intension x[11] != x[28] using generic constraint 0.21/0.39 c intension x[11] != x[60] using generic constraint 0.21/0.39 c intension x[11] != x[61] using generic constraint 0.21/0.39 c intension x[11] != x[71] using generic constraint 0.21/0.39 c intension x[11] != x[83] using generic constraint 0.21/0.39 c intension x[11] != x[101] using generic constraint 0.21/0.39 c intension x[11] != x[103] using generic constraint 0.21/0.39 c intension x[11] != x[111] using generic constraint 0.21/0.39 c intension x[11] != x[113] using generic constraint 0.21/0.40 c intension x[11] != x[116] using generic constraint 0.21/0.40 c intension x[11] != x[123] using generic constraint 0.21/0.40 c intension x[11] != x[147] using generic constraint 0.21/0.40 c intension x[11] != x[171] using generic constraint 0.21/0.40 c intension x[11] != x[185] using generic constraint 0.21/0.40 c intension x[11] != x[188] using generic constraint 0.21/0.40 c intension x[11] != x[190] using generic constraint 0.21/0.40 c intension x[11] != x[203] using generic constraint 0.21/0.40 c intension x[11] != x[242] using generic constraint 0.21/0.40 c intension x[12] != x[28] using generic constraint 0.21/0.41 c intension x[12] != x[31] using generic constraint 0.21/0.41 c intension x[12] != x[34] using generic constraint 0.21/0.41 c intension x[12] != x[35] using generic constraint 0.21/0.41 c intension x[12] != x[44] using generic constraint 0.21/0.41 c intension x[12] != x[45] using generic constraint 0.21/0.41 c intension x[12] != x[49] using generic constraint 0.21/0.41 c intension x[12] != x[56] using generic constraint 0.21/0.41 c intension x[12] != x[70] using generic constraint 0.21/0.41 c intension x[12] != x[75] using generic constraint 0.21/0.41 c intension x[12] != x[82] using generic constraint 0.31/0.41 c intension x[12] != x[87] using generic constraint 0.31/0.42 c intension x[12] != x[88] using generic constraint 0.31/0.42 c intension x[12] != x[92] using generic constraint 0.31/0.42 c intension x[12] != x[100] using generic constraint 0.31/0.42 c intension x[12] != x[102] using generic constraint 0.31/0.42 c intension x[12] != x[114] using generic constraint 0.31/0.42 c intension x[12] != x[118] using generic constraint 0.31/0.42 c intension x[12] != x[119] using generic constraint 0.31/0.42 c intension x[12] != x[132] using generic constraint 0.31/0.42 c intension x[12] != x[134] using generic constraint 0.31/0.42 c intension x[12] != x[143] using generic constraint 0.31/0.42 c intension x[12] != x[153] using generic constraint 0.31/0.43 c intension x[12] != x[171] using generic constraint 0.31/0.43 c intension x[12] != x[172] using generic constraint 0.31/0.43 c intension x[12] != x[178] using generic constraint 0.31/0.43 c intension x[12] != x[186] using generic constraint 0.31/0.43 c intension x[12] != x[212] using generic constraint 0.31/0.43 c intension x[12] != x[229] using generic constraint 0.31/0.43 c intension x[12] != x[238] using generic constraint 0.31/0.43 c intension x[13] != x[18] using generic constraint 0.31/0.43 c intension x[13] != x[36] using generic constraint 0.31/0.43 c intension x[13] != x[37] using generic constraint 0.31/0.43 c intension x[13] != x[38] using generic constraint 0.31/0.43 c intension x[13] != x[39] using generic constraint 0.31/0.44 c intension x[13] != x[56] using generic constraint 0.31/0.44 c intension x[13] != x[81] using generic constraint 0.31/0.44 c intension x[13] != x[97] using generic constraint 0.31/0.44 c intension x[13] != x[102] using generic constraint 0.31/0.44 c intension x[13] != x[110] using generic constraint 0.31/0.44 c intension x[13] != x[113] using generic constraint 0.31/0.44 c intension x[13] != x[114] using generic constraint 0.31/0.44 c intension x[13] != x[128] using generic constraint 0.31/0.44 c intension x[13] != x[132] using generic constraint 0.31/0.44 c intension x[13] != x[133] using generic constraint 0.31/0.44 c intension x[13] != x[150] using generic constraint 0.31/0.45 c intension x[13] != x[152] using generic constraint 0.31/0.45 c intension x[13] != x[163] using generic constraint 0.31/0.45 c intension x[13] != x[165] using generic constraint 0.31/0.45 c intension x[13] != x[174] using generic constraint 0.31/0.45 c intension x[13] != x[187] using generic constraint 0.31/0.45 c intension x[13] != x[188] using generic constraint 0.31/0.45 c intension x[13] != x[214] using generic constraint 0.31/0.45 c intension x[13] != x[227] using generic constraint 0.31/0.45 c intension x[13] != x[236] using generic constraint 0.31/0.45 c intension x[14] != x[25] using generic constraint 0.31/0.45 c intension x[14] != x[27] using generic constraint 0.31/0.46 c intension x[14] != x[32] using generic constraint 0.31/0.46 c intension x[14] != x[45] using generic constraint 0.31/0.46 c intension x[14] != x[52] using generic constraint 0.31/0.46 c intension x[14] != x[55] using generic constraint 0.31/0.46 c intension x[14] != x[57] using generic constraint 0.31/0.46 c intension x[14] != x[70] using generic constraint 0.31/0.46 c intension x[14] != x[86] using generic constraint 0.31/0.46 c intension x[14] != x[90] using generic constraint 0.31/0.46 c intension x[14] != x[94] using generic constraint 0.31/0.46 c intension x[14] != x[100] using generic constraint 0.31/0.46 c intension x[14] != x[115] using generic constraint 0.31/0.47 c intension x[14] != x[128] using generic constraint 0.31/0.47 c intension x[14] != x[137] using generic constraint 0.31/0.47 c intension x[14] != x[140] using generic constraint 0.31/0.47 c intension x[14] != x[142] using generic constraint 0.31/0.47 c intension x[14] != x[144] using generic constraint 0.31/0.47 c intension x[14] != x[152] using generic constraint 0.31/0.47 c intension x[14] != x[158] using generic constraint 0.31/0.47 c intension x[14] != x[160] using generic constraint 0.31/0.47 c intension x[14] != x[221] using generic constraint 0.31/0.47 c intension x[14] != x[231] using generic constraint 0.31/0.47 c intension x[15] != x[28] using generic constraint 0.31/0.48 c intension x[15] != x[30] using generic constraint 0.31/0.48 c intension x[15] != x[62] using generic constraint 0.31/0.48 c intension x[15] != x[70] using generic constraint 0.31/0.48 c intension x[15] != x[90] using generic constraint 0.31/0.48 c intension x[15] != x[98] using generic constraint 0.31/0.48 c intension x[15] != x[101] using generic constraint 0.31/0.48 c intension x[15] != x[116] using generic constraint 0.31/0.48 c intension x[15] != x[121] using generic constraint 0.31/0.48 c intension x[15] != x[125] using generic constraint 0.31/0.48 c intension x[15] != x[131] using generic constraint 0.31/0.48 c intension x[15] != x[139] using generic constraint 0.31/0.49 c intension x[15] != x[145] using generic constraint 0.31/0.49 c intension x[15] != x[148] using generic constraint 0.31/0.49 c intension x[15] != x[149] using generic constraint 0.31/0.49 c intension x[15] != x[170] using generic constraint 0.31/0.49 c intension x[15] != x[173] using generic constraint 0.31/0.49 c intension x[15] != x[187] using generic constraint 0.31/0.49 c intension x[15] != x[188] using generic constraint 0.31/0.49 c intension x[15] != x[225] using generic constraint 0.31/0.49 c intension x[15] != x[229] using generic constraint 0.31/0.49 c intension x[15] != x[240] using generic constraint 0.31/0.49 c intension x[15] != x[248] using generic constraint 0.31/0.50 c intension x[16] != x[18] using generic constraint 0.31/0.50 c intension x[16] != x[21] using generic constraint 0.31/0.50 c intension x[16] != x[32] using generic constraint 0.31/0.50 c intension x[16] != x[39] using generic constraint 0.31/0.50 c intension x[16] != x[45] using generic constraint 0.31/0.50 c intension x[16] != x[51] using generic constraint 0.31/0.50 c intension x[16] != x[68] using generic constraint 0.31/0.50 c intension x[16] != x[70] using generic constraint 0.31/0.50 c intension x[16] != x[72] using generic constraint 0.31/0.50 c intension x[16] != x[86] using generic constraint 0.31/0.50 c intension x[16] != x[95] using generic constraint 0.31/0.51 c intension x[16] != x[97] using generic constraint 0.31/0.51 c intension x[16] != x[113] using generic constraint 0.31/0.51 c intension x[16] != x[120] using generic constraint 0.31/0.51 c intension x[16] != x[138] using generic constraint 0.31/0.51 c intension x[16] != x[156] using generic constraint 0.31/0.51 c intension x[16] != x[158] using generic constraint 0.31/0.51 c intension x[16] != x[187] using generic constraint 0.31/0.51 c intension x[16] != x[203] using generic constraint 0.31/0.51 c intension x[16] != x[208] using generic constraint 0.31/0.51 c intension x[16] != x[211] using generic constraint 0.41/0.51 c intension x[16] != x[216] using generic constraint 0.41/0.52 c intension x[16] != x[225] using generic constraint 0.41/0.52 c intension x[16] != x[243] using generic constraint 0.41/0.52 c intension x[17] != x[28] using generic constraint 0.41/0.52 c intension x[17] != x[37] using generic constraint 0.41/0.52 c intension x[17] != x[40] using generic constraint 0.41/0.52 c intension x[17] != x[54] using generic constraint 0.41/0.52 c intension x[17] != x[62] using generic constraint 0.41/0.52 c intension x[17] != x[63] using generic constraint 0.41/0.52 c intension x[17] != x[79] using generic constraint 0.41/0.52 c intension x[17] != x[84] using generic constraint 0.41/0.52 c intension x[17] != x[91] using generic constraint 0.41/0.53 c intension x[17] != x[127] using generic constraint 0.41/0.53 c intension x[17] != x[145] using generic constraint 0.41/0.53 c intension x[17] != x[147] using generic constraint 0.41/0.53 c intension x[17] != x[159] using generic constraint 0.41/0.53 c intension x[17] != x[161] using generic constraint 0.41/0.53 c intension x[17] != x[162] using generic constraint 0.41/0.53 c intension x[17] != x[165] using generic constraint 0.41/0.53 c intension x[17] != x[167] using generic constraint 0.41/0.53 c intension x[17] != x[177] using generic constraint 0.41/0.53 c intension x[17] != x[181] using generic constraint 0.41/0.53 c intension x[17] != x[187] using generic constraint 0.41/0.54 c intension x[17] != x[188] using generic constraint 0.41/0.54 c intension x[17] != x[190] using generic constraint 0.41/0.54 c intension x[17] != x[195] using generic constraint 0.41/0.54 c intension x[17] != x[203] using generic constraint 0.41/0.54 c intension x[17] != x[207] using generic constraint 0.41/0.54 c intension x[17] != x[208] using generic constraint 0.41/0.54 c intension x[17] != x[214] using generic constraint 0.41/0.54 c intension x[17] != x[225] using generic constraint 0.41/0.54 c intension x[17] != x[239] using generic constraint 0.41/0.54 c intension x[17] != x[240] using generic constraint 0.41/0.54 c intension x[18] != x[23] using generic constraint 0.41/0.54 c intension x[18] != x[26] using generic constraint 0.41/0.55 c intension x[18] != x[35] using generic constraint 0.41/0.55 c intension x[18] != x[44] using generic constraint 0.41/0.55 c intension x[18] != x[49] using generic constraint 0.41/0.55 c intension x[18] != x[55] using generic constraint 0.41/0.55 c intension x[18] != x[68] using generic constraint 0.41/0.55 c intension x[18] != x[80] using generic constraint 0.41/0.55 c intension x[18] != x[90] using generic constraint 0.41/0.55 c intension x[18] != x[96] using generic constraint 0.41/0.55 c intension x[18] != x[97] using generic constraint 0.41/0.55 c intension x[18] != x[98] using generic constraint 0.41/0.55 c intension x[18] != x[102] using generic constraint 0.41/0.56 c intension x[18] != x[110] using generic constraint 0.41/0.56 c intension x[18] != x[121] using generic constraint 0.41/0.56 c intension x[18] != x[124] using generic constraint 0.41/0.56 c intension x[18] != x[129] using generic constraint 0.41/0.56 c intension x[18] != x[130] using generic constraint 0.41/0.56 c intension x[18] != x[139] using generic constraint 0.41/0.56 c intension x[18] != x[140] using generic constraint 0.41/0.56 c intension x[18] != x[142] using generic constraint 0.41/0.56 c intension x[18] != x[145] using generic constraint 0.41/0.56 c intension x[18] != x[159] using generic constraint 0.41/0.56 c intension x[18] != x[177] using generic constraint 0.41/0.57 c intension x[18] != x[196] using generic constraint 0.41/0.57 c intension x[18] != x[205] using generic constraint 0.41/0.57 c intension x[18] != x[216] using generic constraint 0.41/0.57 c intension x[18] != x[240] using generic constraint 0.41/0.57 c intension x[18] != x[241] using generic constraint 0.41/0.57 c intension x[18] != x[246] using generic constraint 0.41/0.57 c intension x[19] != x[26] using generic constraint 0.41/0.57 c intension x[19] != x[38] using generic constraint 0.41/0.57 c intension x[19] != x[42] using generic constraint 0.41/0.57 c intension x[19] != x[61] using generic constraint 0.41/0.57 c intension x[19] != x[113] using generic constraint 0.41/0.58 c intension x[19] != x[118] using generic constraint 0.41/0.58 c intension x[19] != x[123] using generic constraint 0.41/0.58 c intension x[19] != x[127] using generic constraint 0.41/0.58 c intension x[19] != x[128] using generic constraint 0.41/0.58 c intension x[19] != x[131] using generic constraint 0.41/0.58 c intension x[19] != x[134] using generic constraint 0.41/0.58 c intension x[19] != x[140] using generic constraint 0.41/0.58 c intension x[19] != x[152] using generic constraint 0.41/0.58 c intension x[19] != x[161] using generic constraint 0.41/0.58 c intension x[19] != x[162] using generic constraint 0.41/0.58 c intension x[19] != x[165] using generic constraint 0.41/0.59 c intension x[19] != x[168] using generic constraint 0.41/0.59 c intension x[19] != x[170] using generic constraint 0.41/0.59 c intension x[19] != x[186] using generic constraint 0.41/0.59 c intension x[19] != x[193] using generic constraint 0.41/0.59 c intension x[19] != x[198] using generic constraint 0.41/0.59 c intension x[19] != x[217] using generic constraint 0.41/0.59 c intension x[19] != x[218] using generic constraint 0.41/0.59 c intension x[19] != x[219] using generic constraint 0.41/0.59 c intension x[19] != x[227] using generic constraint 0.41/0.59 c intension x[19] != x[230] using generic constraint 0.41/0.59 c intension x[19] != x[241] using generic constraint 0.41/0.60 c intension x[19] != x[249] using generic constraint 0.41/0.60 c intension x[20] != x[31] using generic constraint 0.41/0.60 c intension x[20] != x[41] using generic constraint 0.41/0.60 c intension x[20] != x[55] using generic constraint 0.41/0.60 c intension x[20] != x[57] using generic constraint 0.41/0.60 c intension x[20] != x[60] using generic constraint 0.41/0.60 c intension x[20] != x[89] using generic constraint 0.41/0.60 c intension x[20] != x[99] using generic constraint 0.41/0.60 c intension x[20] != x[100] using generic constraint 0.41/0.60 c intension x[20] != x[110] using generic constraint 0.41/0.60 c intension x[20] != x[119] using generic constraint 0.50/0.61 c intension x[20] != x[133] using generic constraint 0.50/0.61 c intension x[20] != x[152] using generic constraint 0.50/0.61 c intension x[20] != x[156] using generic constraint 0.50/0.61 c intension x[20] != x[163] using generic constraint 0.50/0.61 c intension x[20] != x[172] using generic constraint 0.50/0.61 c intension x[20] != x[203] using generic constraint 0.50/0.61 c intension x[20] != x[218] using generic constraint 0.50/0.61 c intension x[20] != x[222] using generic constraint 0.50/0.61 c intension x[20] != x[238] using generic constraint 0.50/0.61 c intension x[20] != x[239] using generic constraint 0.50/0.61 c intension x[20] != x[243] using generic constraint 0.50/0.62 c intension x[21] != x[27] using generic constraint 0.50/0.62 c intension x[21] != x[40] using generic constraint 0.50/0.62 c intension x[21] != x[44] using generic constraint 0.50/0.62 c intension x[21] != x[48] using generic constraint 0.50/0.62 c intension x[21] != x[64] using generic constraint 0.50/0.62 c intension x[21] != x[67] using generic constraint 0.50/0.62 c intension x[21] != x[70] using generic constraint 0.50/0.62 c intension x[21] != x[84] using generic constraint 0.50/0.62 c intension x[21] != x[108] using generic constraint 0.50/0.62 c intension x[21] != x[120] using generic constraint 0.50/0.62 c intension x[21] != x[121] using generic constraint 0.50/0.63 c intension x[21] != x[125] using generic constraint 0.50/0.63 c intension x[21] != x[126] using generic constraint 0.50/0.63 c intension x[21] != x[128] using generic constraint 0.50/0.63 c intension x[21] != x[131] using generic constraint 0.50/0.63 c intension x[21] != x[140] using generic constraint 0.50/0.63 c intension x[21] != x[143] using generic constraint 0.50/0.63 c intension x[21] != x[161] using generic constraint 0.50/0.63 c intension x[21] != x[207] using generic constraint 0.50/0.63 c intension x[21] != x[213] using generic constraint 0.50/0.63 c intension x[21] != x[224] using generic constraint 0.50/0.63 c intension x[21] != x[244] using generic constraint 0.50/0.64 c intension x[22] != x[23] using generic constraint 0.50/0.64 c intension x[22] != x[28] using generic constraint 0.50/0.64 c intension x[22] != x[35] using generic constraint 0.50/0.64 c intension x[22] != x[39] using generic constraint 0.50/0.64 c intension x[22] != x[56] using generic constraint 0.50/0.64 c intension x[22] != x[57] using generic constraint 0.50/0.64 c intension x[22] != x[74] using generic constraint 0.50/0.64 c intension x[22] != x[83] using generic constraint 0.50/0.64 c intension x[22] != x[85] using generic constraint 0.50/0.64 c intension x[22] != x[90] using generic constraint 0.50/0.64 c intension x[22] != x[100] using generic constraint 0.50/0.64 c intension x[22] != x[102] using generic constraint 0.50/0.65 c intension x[22] != x[114] using generic constraint 0.50/0.65 c intension x[22] != x[120] using generic constraint 0.50/0.65 c intension x[22] != x[138] using generic constraint 0.50/0.65 c intension x[22] != x[143] using generic constraint 0.50/0.65 c intension x[22] != x[152] using generic constraint 0.50/0.65 c intension x[22] != x[153] using generic constraint 0.50/0.65 c intension x[22] != x[156] using generic constraint 0.50/0.65 c intension x[22] != x[178] using generic constraint 0.50/0.65 c intension x[22] != x[187] using generic constraint 0.50/0.65 c intension x[22] != x[190] using generic constraint 0.50/0.65 c intension x[22] != x[201] using generic constraint 0.50/0.66 c intension x[22] != x[211] using generic constraint 0.50/0.66 c intension x[22] != x[223] using generic constraint 0.50/0.66 c intension x[22] != x[237] using generic constraint 0.50/0.66 c intension x[22] != x[239] using generic constraint 0.50/0.66 c intension x[22] != x[246] using generic constraint 0.50/0.66 c intension x[23] != x[31] using generic constraint 0.50/0.66 c intension x[23] != x[53] using generic constraint 0.50/0.66 c intension x[23] != x[65] using generic constraint 0.50/0.66 c intension x[23] != x[70] using generic constraint 0.50/0.66 c intension x[23] != x[73] using generic constraint 0.50/0.66 c intension x[23] != x[100] using generic constraint 0.50/0.67 c intension x[23] != x[107] using generic constraint 0.50/0.67 c intension x[23] != x[118] using generic constraint 0.50/0.67 c intension x[23] != x[121] using generic constraint 0.50/0.67 c intension x[23] != x[127] using generic constraint 0.50/0.67 c intension x[23] != x[133] using generic constraint 0.50/0.67 c intension x[23] != x[135] using generic constraint 0.50/0.67 c intension x[23] != x[153] using generic constraint 0.50/0.67 c intension x[23] != x[154] using generic constraint 0.50/0.67 c intension x[23] != x[156] using generic constraint 0.50/0.67 c intension x[23] != x[168] using generic constraint 0.50/0.67 c intension x[23] != x[179] using generic constraint 0.50/0.68 c intension x[23] != x[248] using generic constraint 0.50/0.68 c intension x[24] != x[40] using generic constraint 0.50/0.68 c intension x[24] != x[43] using generic constraint 0.50/0.68 c intension x[24] != x[51] using generic constraint 0.50/0.68 c intension x[24] != x[56] using generic constraint 0.50/0.68 c intension x[24] != x[66] using generic constraint 0.50/0.68 c intension x[24] != x[83] using generic constraint 0.50/0.68 c intension x[24] != x[87] using generic constraint 0.50/0.68 c intension x[24] != x[92] using generic constraint 0.50/0.68 c intension x[24] != x[93] using generic constraint 0.50/0.68 c intension x[24] != x[99] using generic constraint 0.50/0.69 c intension x[24] != x[103] using generic constraint 0.50/0.69 c intension x[24] != x[104] using generic constraint 0.50/0.69 c intension x[24] != x[111] using generic constraint 0.50/0.69 c intension x[24] != x[126] using generic constraint 0.50/0.69 c intension x[24] != x[190] using generic constraint 0.50/0.69 c intension x[24] != x[240] using generic constraint 0.50/0.69 c intension x[24] != x[242] using generic constraint 0.50/0.69 c intension x[24] != x[248] using generic constraint 0.50/0.69 c intension x[25] != x[39] using generic constraint 0.50/0.69 c intension x[25] != x[40] using generic constraint 0.50/0.69 c intension x[25] != x[47] using generic constraint 0.50/0.70 c intension x[25] != x[55] using generic constraint 0.59/0.70 c intension x[25] != x[96] using generic constraint 0.59/0.70 c intension x[25] != x[101] using generic constraint 0.59/0.70 c intension x[25] != x[103] using generic constraint 0.59/0.70 c intension x[25] != x[106] using generic constraint 0.59/0.70 c intension x[25] != x[112] using generic constraint 0.59/0.70 c intension x[25] != x[123] using generic constraint 0.59/0.70 c intension x[25] != x[157] using generic constraint 0.59/0.70 c intension x[25] != x[159] using generic constraint 0.59/0.70 c intension x[25] != x[173] using generic constraint 0.59/0.70 c intension x[25] != x[179] using generic constraint 0.59/0.71 c intension x[25] != x[182] using generic constraint 0.59/0.71 c intension x[25] != x[197] using generic constraint 0.59/0.71 c intension x[25] != x[200] using generic constraint 0.59/0.71 c intension x[25] != x[247] using generic constraint 0.59/0.71 c intension x[26] != x[32] using generic constraint 0.59/0.71 c intension x[26] != x[35] using generic constraint 0.59/0.71 c intension x[26] != x[41] using generic constraint 0.59/0.71 c intension x[26] != x[47] using generic constraint 0.59/0.71 c intension x[26] != x[49] using generic constraint 0.59/0.71 c intension x[26] != x[70] using generic constraint 0.59/0.71 c intension x[26] != x[78] using generic constraint 0.59/0.72 c intension x[26] != x[95] using generic constraint 0.59/0.72 c intension x[26] != x[109] using generic constraint 0.59/0.72 c intension x[26] != x[126] using generic constraint 0.59/0.72 c intension x[26] != x[144] using generic constraint 0.59/0.72 c intension x[26] != x[151] using generic constraint 0.59/0.72 c intension x[26] != x[158] using generic constraint 0.59/0.72 c intension x[26] != x[176] using generic constraint 0.59/0.72 c intension x[26] != x[199] using generic constraint 0.59/0.72 c intension x[26] != x[204] using generic constraint 0.59/0.72 c intension x[26] != x[212] using generic constraint 0.59/0.72 c intension x[26] != x[215] using generic constraint 0.59/0.73 c intension x[26] != x[221] using generic constraint 0.59/0.73 c intension x[26] != x[237] using generic constraint 0.59/0.73 c intension x[26] != x[244] using generic constraint 0.59/0.73 c intension x[27] != x[34] using generic constraint 0.59/0.73 c intension x[27] != x[41] using generic constraint 0.59/0.73 c intension x[27] != x[45] using generic constraint 0.59/0.73 c intension x[27] != x[50] using generic constraint 0.59/0.73 c intension x[27] != x[51] using generic constraint 0.59/0.73 c intension x[27] != x[52] using generic constraint 0.59/0.73 c intension x[27] != x[60] using generic constraint 0.59/0.73 c intension x[27] != x[72] using generic constraint 0.59/0.74 c intension x[27] != x[73] using generic constraint 0.59/0.74 c intension x[27] != x[94] using generic constraint 0.59/0.74 c intension x[27] != x[120] using generic constraint 0.59/0.74 c intension x[27] != x[124] using generic constraint 0.59/0.74 c intension x[27] != x[125] using generic constraint 0.59/0.74 c intension x[27] != x[128] using generic constraint 0.59/0.74 c intension x[27] != x[132] using generic constraint 0.59/0.74 c intension x[27] != x[136] using generic constraint 0.59/0.74 c intension x[27] != x[144] using generic constraint 0.59/0.74 c intension x[27] != x[153] using generic constraint 0.59/0.74 c intension x[27] != x[154] using generic constraint 0.59/0.75 c intension x[27] != x[167] using generic constraint 0.59/0.75 c intension x[27] != x[195] using generic constraint 0.59/0.75 c intension x[27] != x[201] using generic constraint 0.59/0.75 c intension x[27] != x[204] using generic constraint 0.59/0.75 c intension x[27] != x[214] using generic constraint 0.59/0.75 c intension x[27] != x[215] using generic constraint 0.59/0.75 c intension x[27] != x[218] using generic constraint 0.59/0.75 c intension x[27] != x[223] using generic constraint 0.59/0.75 c intension x[27] != x[241] using generic constraint 0.59/0.75 c intension x[28] != x[39] using generic constraint 0.59/0.75 c intension x[28] != x[54] using generic constraint 0.59/0.76 c intension x[28] != x[57] using generic constraint 0.59/0.76 c intension x[28] != x[66] using generic constraint 0.59/0.76 c intension x[28] != x[68] using generic constraint 0.59/0.76 c intension x[28] != x[71] using generic constraint 0.59/0.76 c intension x[28] != x[79] using generic constraint 0.59/0.76 c intension x[28] != x[93] using generic constraint 0.59/0.76 c intension x[28] != x[100] using generic constraint 0.59/0.76 c intension x[28] != x[114] using generic constraint 0.59/0.76 c intension x[28] != x[115] using generic constraint 0.59/0.76 c intension x[28] != x[130] using generic constraint 0.59/0.76 c intension x[28] != x[138] using generic constraint 0.59/0.77 c intension x[28] != x[147] using generic constraint 0.59/0.77 c intension x[28] != x[160] using generic constraint 0.59/0.77 c intension x[28] != x[165] using generic constraint 0.59/0.77 c intension x[28] != x[169] using generic constraint 0.59/0.77 c intension x[28] != x[172] using generic constraint 0.59/0.77 c intension x[28] != x[191] using generic constraint 0.59/0.77 c intension x[28] != x[198] using generic constraint 0.59/0.77 c intension x[28] != x[212] using generic constraint 0.59/0.77 c intension x[28] != x[216] using generic constraint 0.59/0.77 c intension x[28] != x[226] using generic constraint 0.59/0.77 c intension x[28] != x[231] using generic constraint 0.59/0.78 c intension x[28] != x[233] using generic constraint 0.59/0.78 c intension x[28] != x[234] using generic constraint 0.59/0.78 c intension x[28] != x[239] using generic constraint 0.59/0.78 c intension x[28] != x[244] using generic constraint 0.59/0.78 c intension x[28] != x[249] using generic constraint 0.59/0.78 c intension x[29] != x[39] using generic constraint 0.59/0.78 c intension x[29] != x[50] using generic constraint 0.59/0.78 c intension x[29] != x[52] using generic constraint 0.59/0.78 c intension x[29] != x[58] using generic constraint 0.59/0.78 c intension x[29] != x[67] using generic constraint 0.59/0.78 c intension x[29] != x[75] using generic constraint 0.59/0.79 c intension x[29] != x[86] using generic constraint 0.59/0.79 c intension x[29] != x[96] using generic constraint 0.59/0.79 c intension x[29] != x[102] using generic constraint 0.59/0.79 c intension x[29] != x[117] using generic constraint 0.59/0.79 c intension x[29] != x[118] using generic constraint 0.59/0.79 c intension x[29] != x[129] using generic constraint 0.59/0.79 c intension x[29] != x[132] using generic constraint 0.59/0.79 c intension x[29] != x[137] using generic constraint 0.59/0.79 c intension x[29] != x[141] using generic constraint 0.59/0.79 c intension x[29] != x[147] using generic constraint 0.59/0.79 c intension x[29] != x[154] using generic constraint 0.59/0.80 c intension x[29] != x[157] using generic constraint 0.69/0.80 c intension x[29] != x[182] using generic constraint 0.69/0.80 c intension x[29] != x[186] using generic constraint 0.69/0.80 c intension x[29] != x[193] using generic constraint 0.69/0.80 c intension x[29] != x[204] using generic constraint 0.69/0.80 c intension x[29] != x[223] using generic constraint 0.69/0.80 c intension x[29] != x[228] using generic constraint 0.69/0.80 c intension x[29] != x[231] using generic constraint 0.69/0.80 c intension x[29] != x[234] using generic constraint 0.69/0.80 c intension x[29] != x[240] using generic constraint 0.69/0.80 c intension x[30] != x[31] using generic constraint 0.69/0.81 c intension x[30] != x[32] using generic constraint 0.69/0.81 c intension x[30] != x[34] using generic constraint 0.69/0.81 c intension x[30] != x[45] using generic constraint 0.69/0.81 c intension x[30] != x[57] using generic constraint 0.69/0.81 c intension x[30] != x[58] using generic constraint 0.69/0.81 c intension x[30] != x[62] using generic constraint 0.69/0.81 c intension x[30] != x[104] using generic constraint 0.69/0.81 c intension x[30] != x[110] using generic constraint 0.69/0.81 c intension x[30] != x[116] using generic constraint 0.69/0.81 c intension x[30] != x[119] using generic constraint 0.69/0.81 c intension x[30] != x[142] using generic constraint 0.69/0.82 c intension x[30] != x[147] using generic constraint 0.69/0.82 c intension x[30] != x[159] using generic constraint 0.69/0.82 c intension x[30] != x[178] using generic constraint 0.69/0.82 c intension x[30] != x[199] using generic constraint 0.69/0.82 c intension x[30] != x[202] using generic constraint 0.69/0.82 c intension x[30] != x[216] using generic constraint 0.69/0.82 c intension x[30] != x[218] using generic constraint 0.69/0.82 c intension x[30] != x[249] using generic constraint 0.69/0.82 c intension x[31] != x[32] using generic constraint 0.69/0.82 c intension x[31] != x[33] using generic constraint 0.69/0.82 c intension x[31] != x[39] using generic constraint 0.69/0.83 c intension x[31] != x[48] using generic constraint 0.69/0.83 c intension x[31] != x[49] using generic constraint 0.69/0.83 c intension x[31] != x[55] using generic constraint 0.69/0.83 c intension x[31] != x[58] using generic constraint 0.69/0.83 c intension x[31] != x[62] using generic constraint 0.69/0.83 c intension x[31] != x[68] using generic constraint 0.69/0.83 c intension x[31] != x[76] using generic constraint 0.69/0.83 c intension x[31] != x[87] using generic constraint 0.69/0.83 c intension x[31] != x[94] using generic constraint 0.69/0.83 c intension x[31] != x[118] using generic constraint 0.69/0.83 c intension x[31] != x[122] using generic constraint 0.69/0.84 c intension x[31] != x[124] using generic constraint 0.69/0.84 c intension x[31] != x[131] using generic constraint 0.69/0.84 c intension x[31] != x[142] using generic constraint 0.69/0.84 c intension x[31] != x[147] using generic constraint 0.69/0.84 c intension x[31] != x[152] using generic constraint 0.69/0.84 c intension x[31] != x[160] using generic constraint 0.69/0.84 c intension x[31] != x[162] using generic constraint 0.69/0.84 c intension x[31] != x[172] using generic constraint 0.69/0.84 c intension x[31] != x[202] using generic constraint 0.69/0.84 c intension x[31] != x[207] using generic constraint 0.69/0.84 c intension x[31] != x[215] using generic constraint 0.69/0.85 c intension x[31] != x[227] using generic constraint 0.69/0.85 c intension x[31] != x[235] using generic constraint 0.69/0.85 c intension x[31] != x[237] using generic constraint 0.69/0.85 c intension x[32] != x[33] using generic constraint 0.69/0.85 c intension x[32] != x[42] using generic constraint 0.69/0.85 c intension x[32] != x[49] using generic constraint 0.69/0.85 c intension x[32] != x[58] using generic constraint 0.69/0.85 c intension x[32] != x[64] using generic constraint 0.69/0.85 c intension x[32] != x[68] using generic constraint 0.69/0.85 c intension x[32] != x[80] using generic constraint 0.69/0.85 c intension x[32] != x[101] using generic constraint 0.69/0.85 c intension x[32] != x[123] using generic constraint 0.69/0.86 c intension x[32] != x[142] using generic constraint 0.69/0.86 c intension x[32] != x[148] using generic constraint 0.69/0.86 c intension x[32] != x[155] using generic constraint 0.69/0.86 c intension x[32] != x[173] using generic constraint 0.69/0.86 c intension x[32] != x[186] using generic constraint 0.69/0.86 c intension x[32] != x[191] using generic constraint 0.69/0.86 c intension x[32] != x[194] using generic constraint 0.69/0.86 c intension x[32] != x[209] using generic constraint 0.69/0.86 c intension x[32] != x[210] using generic constraint 0.69/0.86 c intension x[32] != x[214] using generic constraint 0.69/0.86 c intension x[32] != x[233] using generic constraint 0.69/0.87 c intension x[32] != x[237] using generic constraint 0.69/0.87 c intension x[32] != x[242] using generic constraint 0.69/0.87 c intension x[32] != x[245] using generic constraint 0.69/0.87 c intension x[33] != x[47] using generic constraint 0.69/0.87 c intension x[33] != x[52] using generic constraint 0.69/0.87 c intension x[33] != x[57] using generic constraint 0.69/0.87 c intension x[33] != x[64] using generic constraint 0.69/0.87 c intension x[33] != x[68] using generic constraint 0.69/0.87 c intension x[33] != x[93] using generic constraint 0.69/0.87 c intension x[33] != x[118] using generic constraint 0.69/0.87 c intension x[33] != x[120] using generic constraint 0.69/0.88 c intension x[33] != x[156] using generic constraint 0.69/0.88 c intension x[33] != x[165] using generic constraint 0.69/0.88 c intension x[33] != x[170] using generic constraint 0.69/0.88 c intension x[33] != x[181] using generic constraint 0.69/0.88 c intension x[33] != x[203] using generic constraint 0.69/0.88 c intension x[33] != x[205] using generic constraint 0.69/0.88 c intension x[33] != x[211] using generic constraint 0.69/0.88 c intension x[33] != x[227] using generic constraint 0.69/0.88 c intension x[34] != x[35] using generic constraint 0.69/0.88 c intension x[34] != x[47] using generic constraint 0.69/0.88 c intension x[34] != x[55] using generic constraint 0.69/0.89 c intension x[34] != x[59] using generic constraint 0.69/0.89 c intension x[34] != x[60] using generic constraint 0.69/0.89 c intension x[34] != x[61] using generic constraint 0.69/0.89 c intension x[34] != x[71] using generic constraint 0.69/0.89 c intension x[34] != x[73] using generic constraint 0.69/0.89 c intension x[34] != x[78] using generic constraint 0.69/0.89 c intension x[34] != x[91] using generic constraint 0.69/0.89 c intension x[34] != x[95] using generic constraint 0.69/0.89 c intension x[34] != x[98] using generic constraint 0.69/0.89 c intension x[34] != x[127] using generic constraint 0.69/0.89 c intension x[34] != x[128] using generic constraint 0.69/0.90 c intension x[34] != x[129] using generic constraint 0.79/0.90 c intension x[34] != x[134] using generic constraint 0.79/0.90 c intension x[34] != x[151] using generic constraint 0.79/0.90 c intension x[34] != x[153] using generic constraint 0.79/0.90 c intension x[34] != x[154] using generic constraint 0.79/0.90 c intension x[34] != x[171] using generic constraint 0.79/0.90 c intension x[34] != x[175] using generic constraint 0.79/0.90 c intension x[34] != x[182] using generic constraint 0.79/0.90 c intension x[34] != x[187] using generic constraint 0.79/0.90 c intension x[34] != x[193] using generic constraint 0.79/0.90 c intension x[34] != x[206] using generic constraint 0.79/0.91 c intension x[34] != x[207] using generic constraint 0.79/0.91 c intension x[34] != x[208] using generic constraint 0.79/0.91 c intension x[34] != x[212] using generic constraint 0.79/0.91 c intension x[34] != x[218] using generic constraint 0.79/0.91 c intension x[34] != x[230] using generic constraint 0.79/0.91 c intension x[34] != x[242] using generic constraint 0.79/0.91 c intension x[35] != x[63] using generic constraint 0.79/0.91 c intension x[35] != x[71] using generic constraint 0.79/0.91 c intension x[35] != x[86] using generic constraint 0.79/0.91 c intension x[35] != x[87] using generic constraint 0.79/0.91 c intension x[35] != x[89] using generic constraint 0.79/0.92 c intension x[35] != x[92] using generic constraint 0.79/0.92 c intension x[35] != x[101] using generic constraint 0.79/0.92 c intension x[35] != x[103] using generic constraint 0.79/0.92 c intension x[35] != x[106] using generic constraint 0.79/0.92 c intension x[35] != x[113] using generic constraint 0.79/0.92 c intension x[35] != x[130] using generic constraint 0.79/0.92 c intension x[35] != x[139] using generic constraint 0.79/0.92 c intension x[35] != x[140] using generic constraint 0.79/0.92 c intension x[35] != x[146] using generic constraint 0.79/0.92 c intension x[35] != x[153] using generic constraint 0.79/0.92 c intension x[35] != x[156] using generic constraint 0.79/0.93 c intension x[35] != x[185] using generic constraint 0.79/0.93 c intension x[35] != x[229] using generic constraint 0.79/0.93 c intension x[35] != x[243] using generic constraint 0.79/0.93 c intension x[36] != x[47] using generic constraint 0.79/0.93 c intension x[36] != x[53] using generic constraint 0.79/0.93 c intension x[36] != x[55] using generic constraint 0.79/0.93 c intension x[36] != x[60] using generic constraint 0.79/0.93 c intension x[36] != x[64] using generic constraint 0.79/0.93 c intension x[36] != x[74] using generic constraint 0.79/0.93 c intension x[36] != x[81] using generic constraint 0.79/0.93 c intension x[36] != x[87] using generic constraint 0.79/0.94 c intension x[36] != x[97] using generic constraint 0.79/0.94 c intension x[36] != x[104] using generic constraint 0.79/0.94 c intension x[36] != x[120] using generic constraint 0.79/0.94 c intension x[36] != x[126] using generic constraint 0.79/0.94 c intension x[36] != x[132] using generic constraint 0.79/0.94 c intension x[36] != x[133] using generic constraint 0.79/0.94 c intension x[36] != x[139] using generic constraint 0.79/0.94 c intension x[36] != x[151] using generic constraint 0.79/0.94 c intension x[36] != x[155] using generic constraint 0.79/0.94 c intension x[36] != x[160] using generic constraint 0.79/0.94 c intension x[36] != x[166] using generic constraint 0.79/0.95 c intension x[36] != x[182] using generic constraint 0.79/0.95 c intension x[36] != x[189] using generic constraint 0.79/0.95 c intension x[36] != x[201] using generic constraint 0.79/0.95 c intension x[36] != x[204] using generic constraint 0.79/0.95 c intension x[36] != x[224] using generic constraint 0.79/0.95 c intension x[36] != x[232] using generic constraint 0.79/0.95 c intension x[36] != x[239] using generic constraint 0.79/0.95 c intension x[36] != x[243] using generic constraint 0.79/0.95 c intension x[37] != x[38] using generic constraint 0.79/0.95 c intension x[37] != x[84] using generic constraint 0.79/0.95 c intension x[37] != x[86] using generic constraint 0.79/0.96 c intension x[37] != x[100] using generic constraint 0.79/0.96 c intension x[37] != x[113] using generic constraint 0.79/0.96 c intension x[37] != x[123] using generic constraint 0.79/0.96 c intension x[37] != x[129] using generic constraint 0.79/0.96 c intension x[37] != x[132] using generic constraint 0.79/0.96 c intension x[37] != x[148] using generic constraint 0.79/0.96 c intension x[37] != x[152] using generic constraint 0.79/0.96 c intension x[37] != x[153] using generic constraint 0.79/0.96 c intension x[37] != x[154] using generic constraint 0.79/0.96 c intension x[37] != x[160] using generic constraint 0.79/0.96 c intension x[37] != x[161] using generic constraint 0.79/0.97 c intension x[37] != x[168] using generic constraint 0.79/0.97 c intension x[37] != x[189] using generic constraint 0.79/0.97 c intension x[37] != x[200] using generic constraint 0.79/0.97 c intension x[37] != x[212] using generic constraint 0.79/0.97 c intension x[37] != x[243] using generic constraint 0.79/0.97 c intension x[38] != x[40] using generic constraint 0.79/0.97 c intension x[38] != x[42] using generic constraint 0.79/0.97 c intension x[38] != x[56] using generic constraint 0.79/0.97 c intension x[38] != x[67] using generic constraint 0.79/0.97 c intension x[38] != x[72] using generic constraint 0.79/0.97 c intension x[38] != x[75] using generic constraint 0.79/0.98 c intension x[38] != x[77] using generic constraint 0.79/0.98 c intension x[38] != x[88] using generic constraint 0.79/0.98 c intension x[38] != x[89] using generic constraint 0.79/0.98 c intension x[38] != x[92] using generic constraint 0.79/0.98 c intension x[38] != x[93] using generic constraint 0.79/0.98 c intension x[38] != x[98] using generic constraint 0.79/0.98 c intension x[38] != x[114] using generic constraint 0.79/0.98 c intension x[38] != x[122] using generic constraint 0.79/0.98 c intension x[38] != x[129] using generic constraint 0.79/0.98 c intension x[38] != x[138] using generic constraint 0.79/0.98 c intension x[38] != x[160] using generic constraint 0.79/0.99 c intension x[38] != x[197] using generic constraint 0.79/0.99 c intension x[38] != x[206] using generic constraint 0.79/0.99 c intension x[38] != x[212] using generic constraint 0.79/0.99 c intension x[38] != x[231] using generic constraint 0.79/0.99 c intension x[38] != x[245] using generic constraint 0.79/0.99 c intension x[38] != x[249] using generic constraint 0.79/0.99 c intension x[39] != x[46] using generic constraint 0.79/0.99 c intension x[39] != x[54] using generic constraint 0.79/0.99 c intension x[39] != x[70] using generic constraint 0.79/0.99 c intension x[39] != x[75] using generic constraint 0.79/0.99 c intension x[39] != x[84] using generic constraint 0.79/1.00 c intension x[39] != x[99] using generic constraint 0.79/1.00 c intension x[39] != x[103] using generic constraint 0.79/1.00 c intension x[39] != x[165] using generic constraint 0.79/1.00 c intension x[39] != x[168] using generic constraint 0.79/1.00 c intension x[39] != x[190] using generic constraint 0.79/1.00 c intension x[39] != x[197] using generic constraint 0.79/1.00 c intension x[39] != x[198] using generic constraint 0.79/1.00 c intension x[39] != x[199] using generic constraint 0.79/1.00 c intension x[39] != x[211] using generic constraint 0.79/1.00 c intension x[39] != x[226] using generic constraint 0.79/1.00 c intension x[39] != x[227] using generic constraint 0.90/1.01 c intension x[39] != x[231] using generic constraint 0.90/1.01 c intension x[39] != x[232] using generic constraint 0.90/1.01 c intension x[39] != x[236] using generic constraint 0.90/1.01 c intension x[40] != x[59] using generic constraint 0.90/1.01 c intension x[40] != x[70] using generic constraint 0.90/1.01 c intension x[40] != x[72] using generic constraint 0.90/1.01 c intension x[40] != x[74] using generic constraint 0.90/1.01 c intension x[40] != x[99] using generic constraint 0.90/1.01 c intension x[40] != x[104] using generic constraint 0.90/1.01 c intension x[40] != x[121] using generic constraint 0.90/1.01 c intension x[40] != x[151] using generic constraint 0.90/1.02 c intension x[40] != x[187] using generic constraint 0.90/1.02 c intension x[40] != x[201] using generic constraint 0.90/1.02 c intension x[40] != x[217] using generic constraint 0.90/1.02 c intension x[40] != x[218] using generic constraint 0.90/1.02 c intension x[40] != x[222] using generic constraint 0.90/1.02 c intension x[40] != x[223] using generic constraint 0.90/1.02 c intension x[40] != x[232] using generic constraint 0.90/1.02 c intension x[40] != x[237] using generic constraint 0.90/1.02 c intension x[40] != x[239] using generic constraint 0.90/1.02 c intension x[41] != x[53] using generic constraint 0.90/1.02 c intension x[41] != x[55] using generic constraint 0.90/1.03 c intension x[41] != x[65] using generic constraint 0.90/1.03 c intension x[41] != x[66] using generic constraint 0.90/1.03 c intension x[41] != x[86] using generic constraint 0.90/1.03 c intension x[41] != x[91] using generic constraint 0.90/1.03 c intension x[41] != x[96] using generic constraint 0.90/1.03 c intension x[41] != x[97] using generic constraint 0.90/1.03 c intension x[41] != x[110] using generic constraint 0.90/1.03 c intension x[41] != x[120] using generic constraint 0.90/1.03 c intension x[41] != x[161] using generic constraint 0.90/1.03 c intension x[41] != x[162] using generic constraint 0.90/1.03 c intension x[41] != x[166] using generic constraint 0.90/1.04 c intension x[41] != x[171] using generic constraint 0.90/1.04 c intension x[41] != x[185] using generic constraint 0.90/1.04 c intension x[41] != x[207] using generic constraint 0.90/1.04 c intension x[41] != x[218] using generic constraint 0.90/1.04 c intension x[41] != x[231] using generic constraint 0.90/1.04 c intension x[41] != x[245] using generic constraint 0.90/1.04 c intension x[42] != x[43] using generic constraint 0.90/1.04 c intension x[42] != x[69] using generic constraint 0.90/1.04 c intension x[42] != x[84] using generic constraint 0.90/1.04 c intension x[42] != x[86] using generic constraint 0.90/1.04 c intension x[42] != x[98] using generic constraint 0.90/1.05 c intension x[42] != x[125] using generic constraint 0.90/1.05 c intension x[42] != x[129] using generic constraint 0.90/1.05 c intension x[42] != x[144] using generic constraint 0.90/1.05 c intension x[42] != x[146] using generic constraint 0.90/1.05 c intension x[42] != x[153] using generic constraint 0.90/1.05 c intension x[42] != x[164] using generic constraint 0.90/1.05 c intension x[42] != x[171] using generic constraint 0.90/1.05 c intension x[42] != x[186] using generic constraint 0.90/1.05 c intension x[42] != x[193] using generic constraint 0.90/1.05 c intension x[42] != x[202] using generic constraint 0.90/1.05 c intension x[42] != x[223] using generic constraint 0.90/1.05 c intension x[42] != x[226] using generic constraint 0.90/1.06 c intension x[42] != x[243] using generic constraint 0.90/1.06 c intension x[42] != x[246] using generic constraint 0.90/1.06 c intension x[43] != x[52] using generic constraint 0.90/1.06 c intension x[43] != x[53] using generic constraint 0.90/1.06 c intension x[43] != x[55] using generic constraint 0.90/1.06 c intension x[43] != x[56] using generic constraint 0.90/1.06 c intension x[43] != x[57] using generic constraint 0.90/1.06 c intension x[43] != x[71] using generic constraint 0.90/1.06 c intension x[43] != x[75] using generic constraint 0.90/1.06 c intension x[43] != x[90] using generic constraint 0.90/1.06 c intension x[43] != x[92] using generic constraint 0.90/1.07 c intension x[43] != x[93] using generic constraint 0.90/1.07 c intension x[43] != x[101] using generic constraint 0.90/1.07 c intension x[43] != x[103] using generic constraint 0.90/1.07 c intension x[43] != x[109] using generic constraint 0.90/1.07 c intension x[43] != x[114] using generic constraint 0.90/1.07 c intension x[43] != x[156] using generic constraint 0.90/1.07 c intension x[43] != x[157] using generic constraint 0.90/1.07 c intension x[43] != x[163] using generic constraint 0.90/1.07 c intension x[43] != x[175] using generic constraint 0.90/1.07 c intension x[43] != x[190] using generic constraint 0.90/1.07 c intension x[43] != x[198] using generic constraint 0.90/1.08 c intension x[43] != x[199] using generic constraint 0.90/1.08 c intension x[43] != x[205] using generic constraint 0.90/1.08 c intension x[43] != x[210] using generic constraint 0.90/1.08 c intension x[43] != x[219] using generic constraint 0.90/1.08 c intension x[43] != x[226] using generic constraint 0.90/1.08 c intension x[43] != x[243] using generic constraint 0.90/1.08 c intension x[43] != x[248] using generic constraint 0.90/1.08 c intension x[43] != x[249] using generic constraint 0.90/1.08 c intension x[44] != x[56] using generic constraint 0.90/1.08 c intension x[44] != x[58] using generic constraint 0.90/1.08 c intension x[44] != x[90] using generic constraint 0.90/1.09 c intension x[44] != x[99] using generic constraint 0.90/1.09 c intension x[44] != x[103] using generic constraint 0.90/1.09 c intension x[44] != x[132] using generic constraint 0.90/1.09 c intension x[44] != x[202] using generic constraint 0.90/1.09 c intension x[44] != x[210] using generic constraint 0.90/1.09 c intension x[44] != x[220] using generic constraint 0.90/1.09 c intension x[44] != x[221] using generic constraint 0.90/1.09 c intension x[44] != x[222] using generic constraint 0.90/1.09 c intension x[44] != x[225] using generic constraint 0.90/1.09 c intension x[44] != x[226] using generic constraint 0.90/1.09 c intension x[44] != x[231] using generic constraint 0.90/1.10 c intension x[44] != x[235] using generic constraint 0.90/1.10 c intension x[44] != x[237] using generic constraint 0.90/1.10 c intension x[44] != x[242] using generic constraint 0.90/1.10 c intension x[44] != x[248] using generic constraint 0.90/1.10 c intension x[45] != x[56] using generic constraint 0.90/1.10 c intension x[45] != x[60] using generic constraint 0.90/1.10 c intension x[45] != x[62] using generic constraint 0.90/1.10 c intension x[45] != x[80] using generic constraint 0.90/1.10 c intension x[45] != x[96] using generic constraint 0.90/1.10 c intension x[45] != x[112] using generic constraint 0.90/1.10 c intension x[45] != x[113] using generic constraint 1.00/1.11 c intension x[45] != x[127] using generic constraint 1.00/1.11 c intension x[45] != x[143] using generic constraint 1.00/1.11 c intension x[45] != x[151] using generic constraint 1.00/1.11 c intension x[45] != x[157] using generic constraint 1.00/1.11 c intension x[45] != x[167] using generic constraint 1.00/1.11 c intension x[45] != x[168] using generic constraint 1.00/1.11 c intension x[45] != x[172] using generic constraint 1.00/1.11 c intension x[45] != x[203] using generic constraint 1.00/1.11 c intension x[45] != x[204] using generic constraint 1.00/1.11 c intension x[45] != x[206] using generic constraint 1.00/1.11 c intension x[45] != x[209] using generic constraint 1.00/1.12 c intension x[45] != x[213] using generic constraint 1.00/1.12 c intension x[45] != x[227] using generic constraint 1.00/1.12 c intension x[45] != x[237] using generic constraint 1.00/1.12 c intension x[45] != x[239] using generic constraint 1.00/1.12 c intension x[46] != x[52] using generic constraint 1.00/1.12 c intension x[46] != x[55] using generic constraint 1.00/1.12 c intension x[46] != x[56] using generic constraint 1.00/1.12 c intension x[46] != x[87] using generic constraint 1.00/1.12 c intension x[46] != x[111] using generic constraint 1.00/1.12 c intension x[46] != x[117] using generic constraint 1.00/1.12 c intension x[46] != x[140] using generic constraint 1.00/1.13 c intension x[46] != x[148] using generic constraint 1.00/1.13 c intension x[46] != x[186] using generic constraint 1.00/1.13 c intension x[46] != x[197] using generic constraint 1.00/1.13 c intension x[46] != x[207] using generic constraint 1.00/1.13 c intension x[46] != x[218] using generic constraint 1.00/1.13 c intension x[46] != x[219] using generic constraint 1.00/1.13 c intension x[46] != x[230] using generic constraint 1.00/1.13 c intension x[46] != x[235] using generic constraint 1.00/1.13 c intension x[46] != x[244] using generic constraint 1.00/1.13 c intension x[47] != x[48] using generic constraint 1.00/1.13 c intension x[47] != x[58] using generic constraint 1.00/1.14 c intension x[47] != x[73] using generic constraint 1.00/1.14 c intension x[47] != x[75] using generic constraint 1.00/1.14 c intension x[47] != x[84] using generic constraint 1.00/1.14 c intension x[47] != x[85] using generic constraint 1.00/1.14 c intension x[47] != x[94] using generic constraint 1.00/1.14 c intension x[47] != x[110] using generic constraint 1.00/1.14 c intension x[47] != x[129] using generic constraint 1.00/1.14 c intension x[47] != x[131] using generic constraint 1.00/1.14 c intension x[47] != x[132] using generic constraint 1.00/1.14 c intension x[47] != x[145] using generic constraint 1.00/1.14 c intension x[47] != x[158] using generic constraint 1.00/1.15 c intension x[47] != x[173] using generic constraint 1.00/1.15 c intension x[47] != x[176] using generic constraint 1.00/1.15 c intension x[47] != x[188] using generic constraint 1.00/1.15 c intension x[47] != x[200] using generic constraint 1.00/1.15 c intension x[47] != x[212] using generic constraint 1.00/1.15 c intension x[47] != x[217] using generic constraint 1.00/1.15 c intension x[47] != x[224] using generic constraint 1.00/1.15 c intension x[47] != x[225] using generic constraint 1.00/1.15 c intension x[47] != x[230] using generic constraint 1.00/1.15 c intension x[47] != x[233] using generic constraint 1.00/1.15 c intension x[47] != x[240] using generic constraint 1.00/1.15 c intension x[48] != x[51] using generic constraint 1.00/1.16 c intension x[48] != x[80] using generic constraint 1.00/1.16 c intension x[48] != x[85] using generic constraint 1.00/1.16 c intension x[48] != x[100] using generic constraint 1.00/1.16 c intension x[48] != x[104] using generic constraint 1.00/1.16 c intension x[48] != x[113] using generic constraint 1.00/1.16 c intension x[48] != x[123] using generic constraint 1.00/1.16 c intension x[48] != x[126] using generic constraint 1.00/1.16 c intension x[48] != x[134] using generic constraint 1.00/1.16 c intension x[48] != x[157] using generic constraint 1.00/1.16 c intension x[48] != x[167] using generic constraint 1.00/1.16 c intension x[48] != x[168] using generic constraint 1.00/1.17 c intension x[48] != x[170] using generic constraint 1.00/1.17 c intension x[48] != x[177] using generic constraint 1.00/1.17 c intension x[48] != x[187] using generic constraint 1.00/1.17 c intension x[48] != x[202] using generic constraint 1.00/1.17 c intension x[48] != x[203] using generic constraint 1.00/1.17 c intension x[48] != x[207] using generic constraint 1.00/1.17 c intension x[48] != x[210] using generic constraint 1.00/1.17 c intension x[48] != x[215] using generic constraint 1.00/1.17 c intension x[48] != x[235] using generic constraint 1.00/1.17 c intension x[48] != x[244] using generic constraint 1.00/1.17 c intension x[49] != x[76] using generic constraint 1.00/1.18 c intension x[49] != x[82] using generic constraint 1.00/1.18 c intension x[49] != x[100] using generic constraint 1.00/1.18 c intension x[49] != x[127] using generic constraint 1.00/1.18 c intension x[49] != x[132] using generic constraint 1.00/1.18 c intension x[49] != x[135] using generic constraint 1.00/1.18 c intension x[49] != x[142] using generic constraint 1.00/1.18 c intension x[49] != x[170] using generic constraint 1.00/1.18 c intension x[49] != x[182] using generic constraint 1.00/1.18 c intension x[49] != x[191] using generic constraint 1.00/1.18 c intension x[49] != x[201] using generic constraint 1.00/1.18 c intension x[49] != x[212] using generic constraint 1.00/1.19 c intension x[49] != x[226] using generic constraint 1.00/1.19 c intension x[49] != x[227] using generic constraint 1.00/1.19 c intension x[49] != x[241] using generic constraint 1.00/1.19 c intension x[49] != x[244] using generic constraint 1.00/1.19 c intension x[50] != x[63] using generic constraint 1.00/1.19 c intension x[50] != x[80] using generic constraint 1.00/1.19 c intension x[50] != x[89] using generic constraint 1.00/1.19 c intension x[50] != x[112] using generic constraint 1.00/1.19 c intension x[50] != x[124] using generic constraint 1.00/1.19 c intension x[50] != x[133] using generic constraint 1.00/1.19 c intension x[50] != x[134] using generic constraint 1.00/1.20 c intension x[50] != x[168] using generic constraint 1.09/1.20 c intension x[50] != x[171] using generic constraint 1.09/1.20 c intension x[50] != x[180] using generic constraint 1.09/1.20 c intension x[50] != x[184] using generic constraint 1.09/1.20 c intension x[50] != x[197] using generic constraint 1.09/1.20 c intension x[50] != x[199] using generic constraint 1.09/1.20 c intension x[50] != x[202] using generic constraint 1.09/1.20 c intension x[50] != x[206] using generic constraint 1.09/1.20 c intension x[50] != x[211] using generic constraint 1.09/1.20 c intension x[50] != x[233] using generic constraint 1.09/1.20 c intension x[50] != x[235] using generic constraint 1.09/1.21 c intension x[51] != x[70] using generic constraint 1.09/1.21 c intension x[51] != x[93] using generic constraint 1.09/1.21 c intension x[51] != x[124] using generic constraint 1.09/1.21 c intension x[51] != x[138] using generic constraint 1.09/1.21 c intension x[51] != x[149] using generic constraint 1.09/1.21 c intension x[51] != x[152] using generic constraint 1.09/1.21 c intension x[51] != x[161] using generic constraint 1.09/1.21 c intension x[51] != x[170] using generic constraint 1.09/1.21 c intension x[51] != x[180] using generic constraint 1.09/1.21 c intension x[51] != x[183] using generic constraint 1.09/1.21 c intension x[51] != x[195] using generic constraint 1.09/1.22 c intension x[51] != x[199] using generic constraint 1.09/1.22 c intension x[51] != x[202] using generic constraint 1.09/1.22 c intension x[51] != x[207] using generic constraint 1.09/1.22 c intension x[51] != x[223] using generic constraint 1.09/1.22 c intension x[51] != x[232] using generic constraint 1.09/1.22 c intension x[51] != x[236] using generic constraint 1.09/1.22 c intension x[51] != x[246] using generic constraint 1.09/1.22 c intension x[51] != x[249] using generic constraint 1.09/1.22 c intension x[52] != x[65] using generic constraint 1.09/1.22 c intension x[52] != x[87] using generic constraint 1.09/1.22 c intension x[52] != x[89] using generic constraint 1.09/1.23 c intension x[52] != x[128] using generic constraint 1.09/1.23 c intension x[52] != x[136] using generic constraint 1.09/1.23 c intension x[52] != x[140] using generic constraint 1.09/1.23 c intension x[52] != x[143] using generic constraint 1.09/1.23 c intension x[52] != x[149] using generic constraint 1.09/1.23 c intension x[52] != x[151] using generic constraint 1.09/1.23 c intension x[52] != x[155] using generic constraint 1.09/1.23 c intension x[52] != x[193] using generic constraint 1.09/1.23 c intension x[52] != x[194] using generic constraint 1.09/1.23 c intension x[52] != x[198] using generic constraint 1.09/1.23 c intension x[52] != x[217] using generic constraint 1.09/1.24 c intension x[52] != x[237] using generic constraint 1.09/1.24 c intension x[53] != x[60] using generic constraint 1.09/1.24 c intension x[53] != x[65] using generic constraint 1.09/1.24 c intension x[53] != x[68] using generic constraint 1.09/1.24 c intension x[53] != x[90] using generic constraint 1.09/1.24 c intension x[53] != x[101] using generic constraint 1.09/1.24 c intension x[53] != x[109] using generic constraint 1.09/1.24 c intension x[53] != x[110] using generic constraint 1.09/1.24 c intension x[53] != x[112] using generic constraint 1.09/1.24 c intension x[53] != x[122] using generic constraint 1.09/1.24 c intension x[53] != x[123] using generic constraint 1.09/1.25 c intension x[53] != x[125] using generic constraint 1.09/1.25 c intension x[53] != x[132] using generic constraint 1.09/1.25 c intension x[53] != x[159] using generic constraint 1.09/1.25 c intension x[53] != x[168] using generic constraint 1.09/1.25 c intension x[53] != x[181] using generic constraint 1.09/1.25 c intension x[53] != x[188] using generic constraint 1.09/1.25 c intension x[53] != x[198] using generic constraint 1.09/1.25 c intension x[53] != x[199] using generic constraint 1.09/1.25 c intension x[53] != x[207] using generic constraint 1.09/1.25 c intension x[53] != x[219] using generic constraint 1.09/1.25 c intension x[53] != x[223] using generic constraint 1.09/1.26 c intension x[53] != x[224] using generic constraint 1.09/1.26 c intension x[54] != x[55] using generic constraint 1.09/1.26 c intension x[54] != x[84] using generic constraint 1.09/1.26 c intension x[54] != x[97] using generic constraint 1.09/1.26 c intension x[54] != x[99] using generic constraint 1.09/1.26 c intension x[54] != x[101] using generic constraint 1.09/1.26 c intension x[54] != x[104] using generic constraint 1.09/1.26 c intension x[54] != x[106] using generic constraint 1.09/1.26 c intension x[54] != x[128] using generic constraint 1.09/1.26 c intension x[54] != x[131] using generic constraint 1.09/1.26 c intension x[54] != x[143] using generic constraint 1.09/1.27 c intension x[54] != x[146] using generic constraint 1.09/1.27 c intension x[54] != x[152] using generic constraint 1.09/1.27 c intension x[54] != x[171] using generic constraint 1.09/1.27 c intension x[54] != x[196] using generic constraint 1.09/1.27 c intension x[54] != x[201] using generic constraint 1.09/1.27 c intension x[54] != x[204] using generic constraint 1.09/1.27 c intension x[54] != x[210] using generic constraint 1.09/1.27 c intension x[54] != x[214] using generic constraint 1.09/1.27 c intension x[54] != x[216] using generic constraint 1.09/1.27 c intension x[54] != x[223] using generic constraint 1.09/1.27 c intension x[55] != x[60] using generic constraint 1.09/1.27 c intension x[55] != x[65] using generic constraint 1.09/1.28 c intension x[55] != x[69] using generic constraint 1.09/1.28 c intension x[55] != x[73] using generic constraint 1.09/1.28 c intension x[55] != x[74] using generic constraint 1.09/1.28 c intension x[55] != x[77] using generic constraint 1.09/1.28 c intension x[55] != x[78] using generic constraint 1.09/1.28 c intension x[55] != x[80] using generic constraint 1.09/1.28 c intension x[55] != x[83] using generic constraint 1.09/1.28 c intension x[55] != x[103] using generic constraint 1.09/1.28 c intension x[55] != x[105] using generic constraint 1.09/1.28 c intension x[55] != x[122] using generic constraint 1.09/1.28 c intension x[55] != x[129] using generic constraint 1.09/1.29 c intension x[55] != x[143] using generic constraint 1.09/1.29 c intension x[55] != x[150] using generic constraint 1.09/1.29 c intension x[55] != x[159] using generic constraint 1.09/1.29 c intension x[55] != x[183] using generic constraint 1.09/1.29 c intension x[55] != x[185] using generic constraint 1.09/1.29 c intension x[55] != x[206] using generic constraint 1.09/1.29 c intension x[56] != x[62] using generic constraint 1.09/1.29 c intension x[56] != x[78] using generic constraint 1.09/1.29 c intension x[56] != x[91] using generic constraint 1.09/1.29 c intension x[56] != x[94] using generic constraint 1.09/1.29 c intension x[56] != x[99] using generic constraint 1.09/1.30 c intension x[56] != x[103] using generic constraint 1.19/1.30 c intension x[56] != x[107] using generic constraint 1.19/1.30 c intension x[56] != x[110] using generic constraint 1.19/1.30 c intension x[56] != x[111] using generic constraint 1.19/1.30 c intension x[56] != x[112] using generic constraint 1.19/1.30 c intension x[56] != x[116] using generic constraint 1.19/1.30 c intension x[56] != x[118] using generic constraint 1.19/1.30 c intension x[56] != x[132] using generic constraint 1.19/1.30 c intension x[56] != x[136] using generic constraint 1.19/1.30 c intension x[56] != x[141] using generic constraint 1.19/1.30 c intension x[56] != x[151] using generic constraint 1.19/1.31 c intension x[56] != x[165] using generic constraint 1.19/1.31 c intension x[56] != x[177] using generic constraint 1.19/1.31 c intension x[56] != x[208] using generic constraint 1.19/1.31 c intension x[56] != x[215] using generic constraint 1.19/1.31 c intension x[56] != x[222] using generic constraint 1.19/1.31 c intension x[57] != x[60] using generic constraint 1.19/1.31 c intension x[57] != x[65] using generic constraint 1.19/1.31 c intension x[57] != x[78] using generic constraint 1.19/1.31 c intension x[57] != x[79] using generic constraint 1.19/1.31 c intension x[57] != x[109] using generic constraint 1.19/1.31 c intension x[57] != x[113] using generic constraint 1.19/1.32 c intension x[57] != x[126] using generic constraint 1.19/1.32 c intension x[57] != x[128] using generic constraint 1.19/1.32 c intension x[57] != x[130] using generic constraint 1.19/1.32 c intension x[57] != x[145] using generic constraint 1.19/1.32 c intension x[57] != x[165] using generic constraint 1.19/1.32 c intension x[57] != x[169] using generic constraint 1.19/1.32 c intension x[57] != x[173] using generic constraint 1.19/1.32 c intension x[57] != x[187] using generic constraint 1.19/1.32 c intension x[57] != x[203] using generic constraint 1.19/1.32 c intension x[57] != x[205] using generic constraint 1.19/1.32 c intension x[57] != x[227] using generic constraint 1.19/1.33 c intension x[57] != x[239] using generic constraint 1.19/1.33 c intension x[57] != x[242] using generic constraint 1.19/1.33 c intension x[57] != x[243] using generic constraint 1.19/1.33 c intension x[58] != x[62] using generic constraint 1.19/1.33 c intension x[58] != x[73] using generic constraint 1.19/1.33 c intension x[58] != x[75] using generic constraint 1.19/1.33 c intension x[58] != x[86] using generic constraint 1.19/1.33 c intension x[58] != x[93] using generic constraint 1.19/1.33 c intension x[58] != x[120] using generic constraint 1.19/1.33 c intension x[58] != x[127] using generic constraint 1.19/1.33 c intension x[58] != x[137] using generic constraint 1.19/1.34 c intension x[58] != x[173] using generic constraint 1.19/1.34 c intension x[58] != x[178] using generic constraint 1.19/1.34 c intension x[58] != x[181] using generic constraint 1.19/1.34 c intension x[58] != x[186] using generic constraint 1.19/1.34 c intension x[58] != x[188] using generic constraint 1.19/1.34 c intension x[58] != x[225] using generic constraint 1.19/1.34 c intension x[58] != x[230] using generic constraint 1.19/1.34 c intension x[58] != x[247] using generic constraint 1.19/1.34 c intension x[59] != x[61] using generic constraint 1.19/1.34 c intension x[59] != x[70] using generic constraint 1.19/1.34 c intension x[59] != x[83] using generic constraint 1.19/1.35 c intension x[59] != x[84] using generic constraint 1.19/1.35 c intension x[59] != x[86] using generic constraint 1.19/1.35 c intension x[59] != x[102] using generic constraint 1.19/1.35 c intension x[59] != x[112] using generic constraint 1.19/1.35 c intension x[59] != x[126] using generic constraint 1.19/1.35 c intension x[59] != x[127] using generic constraint 1.19/1.35 c intension x[59] != x[147] using generic constraint 1.19/1.35 c intension x[59] != x[156] using generic constraint 1.19/1.35 c intension x[59] != x[160] using generic constraint 1.19/1.35 c intension x[59] != x[204] using generic constraint 1.19/1.35 c intension x[59] != x[219] using generic constraint 1.19/1.36 c intension x[59] != x[224] using generic constraint 1.19/1.37 c intension x[59] != x[229] using generic constraint 1.19/1.37 c intension x[59] != x[233] using generic constraint 1.19/1.37 c intension x[59] != x[235] using generic constraint 1.19/1.37 c intension x[59] != x[237] using generic constraint 1.19/1.37 c intension x[60] != x[62] using generic constraint 1.19/1.37 c intension x[60] != x[78] using generic constraint 1.19/1.37 c intension x[60] != x[79] using generic constraint 1.19/1.37 c intension x[60] != x[84] using generic constraint 1.19/1.37 c intension x[60] != x[91] using generic constraint 1.19/1.37 c intension x[60] != x[92] using generic constraint 1.19/1.37 c intension x[60] != x[100] using generic constraint 1.19/1.37 c intension x[60] != x[106] using generic constraint 1.19/1.37 c intension x[60] != x[126] using generic constraint 1.19/1.37 c intension x[60] != x[127] using generic constraint 1.19/1.37 c intension x[60] != x[132] using generic constraint 1.19/1.37 c intension x[60] != x[143] using generic constraint 1.19/1.37 c intension x[60] != x[172] using generic constraint 1.19/1.37 c intension x[60] != x[190] using generic constraint 1.19/1.37 c intension x[60] != x[210] using generic constraint 1.19/1.37 c intension x[60] != x[217] using generic constraint 1.19/1.37 c intension x[60] != x[218] using generic constraint 1.19/1.38 c intension x[60] != x[234] using generic constraint 1.19/1.38 c intension x[60] != x[236] using generic constraint 1.19/1.38 c intension x[61] != x[86] using generic constraint 1.19/1.38 c intension x[61] != x[97] using generic constraint 1.19/1.38 c intension x[61] != x[99] using generic constraint 1.19/1.38 c intension x[61] != x[102] using generic constraint 1.19/1.38 c intension x[61] != x[105] using generic constraint 1.19/1.38 c intension x[61] != x[106] using generic constraint 1.19/1.38 c intension x[61] != x[115] using generic constraint 1.19/1.38 c intension x[61] != x[118] using generic constraint 1.19/1.38 c intension x[61] != x[122] using generic constraint 1.19/1.38 c intension x[61] != x[123] using generic constraint 1.19/1.39 c intension x[61] != x[131] using generic constraint 1.19/1.39 c intension x[61] != x[135] using generic constraint 1.19/1.39 c intension x[61] != x[145] using generic constraint 1.19/1.39 c intension x[61] != x[149] using generic constraint 1.19/1.39 c intension x[61] != x[154] using generic constraint 1.19/1.39 c intension x[61] != x[173] using generic constraint 1.19/1.39 c intension x[61] != x[178] using generic constraint 1.19/1.39 c intension x[61] != x[183] using generic constraint 1.19/1.39 c intension x[61] != x[188] using generic constraint 1.19/1.39 c intension x[61] != x[196] using generic constraint 1.19/1.39 c intension x[61] != x[197] using generic constraint 1.29/1.40 c intension x[61] != x[198] using generic constraint 1.29/1.40 c intension x[61] != x[202] using generic constraint 1.29/1.40 c intension x[61] != x[212] using generic constraint 1.29/1.40 c intension x[61] != x[215] using generic constraint 1.29/1.40 c intension x[61] != x[224] using generic constraint 1.29/1.40 c intension x[61] != x[234] using generic constraint 1.29/1.40 c intension x[61] != x[237] using generic constraint 1.29/1.40 c intension x[62] != x[71] using generic constraint 1.29/1.40 c intension x[62] != x[86] using generic constraint 1.29/1.40 c intension x[62] != x[90] using generic constraint 1.29/1.40 c intension x[62] != x[108] using generic constraint 1.29/1.41 c intension x[62] != x[114] using generic constraint 1.29/1.41 c intension x[62] != x[118] using generic constraint 1.29/1.41 c intension x[62] != x[137] using generic constraint 1.29/1.41 c intension x[62] != x[140] using generic constraint 1.29/1.41 c intension x[62] != x[142] using generic constraint 1.29/1.41 c intension x[62] != x[148] using generic constraint 1.29/1.41 c intension x[62] != x[150] using generic constraint 1.29/1.41 c intension x[62] != x[157] using generic constraint 1.29/1.41 c intension x[62] != x[158] using generic constraint 1.29/1.41 c intension x[62] != x[187] using generic constraint 1.29/1.41 c intension x[62] != x[188] using generic constraint 1.29/1.42 c intension x[62] != x[204] using generic constraint 1.29/1.42 c intension x[62] != x[213] using generic constraint 1.29/1.42 c intension x[62] != x[214] using generic constraint 1.29/1.42 c intension x[62] != x[223] using generic constraint 1.29/1.42 c intension x[63] != x[64] using generic constraint 1.29/1.42 c intension x[63] != x[68] using generic constraint 1.29/1.42 c intension x[63] != x[70] using generic constraint 1.29/1.42 c intension x[63] != x[75] using generic constraint 1.29/1.42 c intension x[63] != x[82] using generic constraint 1.29/1.42 c intension x[63] != x[91] using generic constraint 1.29/1.42 c intension x[63] != x[95] using generic constraint 1.29/1.43 c intension x[63] != x[112] using generic constraint 1.29/1.43 c intension x[63] != x[118] using generic constraint 1.29/1.43 c intension x[63] != x[119] using generic constraint 1.29/1.43 c intension x[63] != x[122] using generic constraint 1.29/1.43 c intension x[63] != x[145] using generic constraint 1.29/1.43 c intension x[63] != x[153] using generic constraint 1.29/1.43 c intension x[63] != x[155] using generic constraint 1.29/1.43 c intension x[63] != x[182] using generic constraint 1.29/1.43 c intension x[63] != x[189] using generic constraint 1.29/1.43 c intension x[63] != x[198] using generic constraint 1.29/1.43 c intension x[63] != x[209] using generic constraint 1.29/1.44 c intension x[63] != x[218] using generic constraint 1.29/1.44 c intension x[63] != x[220] using generic constraint 1.29/1.44 c intension x[63] != x[221] using generic constraint 1.29/1.44 c intension x[63] != x[244] using generic constraint 1.29/1.44 c intension x[64] != x[75] using generic constraint 1.29/1.44 c intension x[64] != x[85] using generic constraint 1.29/1.44 c intension x[64] != x[94] using generic constraint 1.29/1.44 c intension x[64] != x[96] using generic constraint 1.29/1.44 c intension x[64] != x[97] using generic constraint 1.29/1.44 c intension x[64] != x[99] using generic constraint 1.29/1.44 c intension x[64] != x[100] using generic constraint 1.29/1.45 c intension x[64] != x[106] using generic constraint 1.29/1.45 c intension x[64] != x[114] using generic constraint 1.29/1.45 c intension x[64] != x[125] using generic constraint 1.29/1.45 c intension x[64] != x[127] using generic constraint 1.29/1.45 c intension x[64] != x[134] using generic constraint 1.29/1.45 c intension x[64] != x[144] using generic constraint 1.29/1.45 c intension x[64] != x[145] using generic constraint 1.29/1.45 c intension x[64] != x[151] using generic constraint 1.29/1.45 c intension x[64] != x[169] using generic constraint 1.29/1.45 c intension x[64] != x[179] using generic constraint 1.29/1.45 c intension x[64] != x[181] using generic constraint 1.29/1.46 c intension x[64] != x[186] using generic constraint 1.29/1.46 c intension x[64] != x[193] using generic constraint 1.29/1.46 c intension x[64] != x[199] using generic constraint 1.29/1.46 c intension x[64] != x[204] using generic constraint 1.29/1.46 c intension x[64] != x[205] using generic constraint 1.29/1.46 c intension x[64] != x[220] using generic constraint 1.29/1.46 c intension x[64] != x[222] using generic constraint 1.29/1.46 c intension x[64] != x[227] using generic constraint 1.29/1.46 c intension x[64] != x[235] using generic constraint 1.29/1.46 c intension x[65] != x[82] using generic constraint 1.29/1.46 c intension x[65] != x[97] using generic constraint 1.29/1.47 c intension x[65] != x[156] using generic constraint 1.29/1.47 c intension x[65] != x[174] using generic constraint 1.29/1.47 c intension x[65] != x[178] using generic constraint 1.29/1.47 c intension x[65] != x[179] using generic constraint 1.29/1.47 c intension x[65] != x[181] using generic constraint 1.29/1.47 c intension x[65] != x[193] using generic constraint 1.29/1.47 c intension x[65] != x[199] using generic constraint 1.29/1.47 c intension x[65] != x[210] using generic constraint 1.29/1.47 c intension x[65] != x[211] using generic constraint 1.29/1.47 c intension x[65] != x[220] using generic constraint 1.29/1.47 c intension x[65] != x[227] using generic constraint 1.29/1.48 c intension x[65] != x[228] using generic constraint 1.29/1.48 c intension x[65] != x[230] using generic constraint 1.29/1.48 c intension x[65] != x[234] using generic constraint 1.29/1.48 c intension x[66] != x[80] using generic constraint 1.29/1.48 c intension x[66] != x[87] using generic constraint 1.29/1.48 c intension x[66] != x[108] using generic constraint 1.29/1.48 c intension x[66] != x[113] using generic constraint 1.29/1.48 c intension x[66] != x[141] using generic constraint 1.29/1.48 c intension x[66] != x[148] using generic constraint 1.29/1.48 c intension x[66] != x[160] using generic constraint 1.29/1.48 c intension x[66] != x[170] using generic constraint 1.29/1.49 c intension x[66] != x[190] using generic constraint 1.29/1.49 c intension x[66] != x[213] using generic constraint 1.29/1.49 c intension x[66] != x[218] using generic constraint 1.29/1.49 c intension x[66] != x[247] using generic constraint 1.29/1.49 c intension x[67] != x[69] using generic constraint 1.29/1.49 c intension x[67] != x[86] using generic constraint 1.29/1.49 c intension x[67] != x[113] using generic constraint 1.29/1.49 c intension x[67] != x[136] using generic constraint 1.29/1.49 c intension x[67] != x[138] using generic constraint 1.29/1.49 c intension x[67] != x[163] using generic constraint 1.29/1.49 c intension x[67] != x[165] using generic constraint 1.29/1.49 c intension x[67] != x[169] using generic constraint 1.39/1.50 c intension x[67] != x[193] using generic constraint 1.39/1.50 c intension x[67] != x[198] using generic constraint 1.39/1.50 c intension x[67] != x[225] using generic constraint 1.39/1.50 c intension x[67] != x[231] using generic constraint 1.39/1.50 c intension x[67] != x[235] using generic constraint 1.39/1.50 c intension x[67] != x[242] using generic constraint 1.39/1.50 c intension x[67] != x[243] using generic constraint 1.39/1.50 c intension x[67] != x[244] using generic constraint 1.39/1.50 c intension x[68] != x[78] using generic constraint 1.39/1.50 c intension x[68] != x[96] using generic constraint 1.39/1.51 c intension x[68] != x[107] using generic constraint 1.39/1.51 c intension x[68] != x[108] using generic constraint 1.39/1.51 c intension x[68] != x[121] using generic constraint 1.39/1.51 c intension x[68] != x[128] using generic constraint 1.39/1.51 c intension x[68] != x[130] using generic constraint 1.39/1.51 c intension x[68] != x[135] using generic constraint 1.39/1.51 c intension x[68] != x[136] using generic constraint 1.39/1.51 c intension x[68] != x[153] using generic constraint 1.39/1.51 c intension x[68] != x[157] using generic constraint 1.39/1.51 c intension x[68] != x[186] using generic constraint 1.39/1.51 c intension x[68] != x[188] using generic constraint 1.39/1.52 c intension x[68] != x[193] using generic constraint 1.39/1.52 c intension x[68] != x[194] using generic constraint 1.39/1.52 c intension x[68] != x[196] using generic constraint 1.39/1.52 c intension x[68] != x[212] using generic constraint 1.39/1.52 c intension x[68] != x[222] using generic constraint 1.39/1.52 c intension x[68] != x[224] using generic constraint 1.39/1.52 c intension x[68] != x[229] using generic constraint 1.39/1.52 c intension x[68] != x[235] using generic constraint 1.39/1.52 c intension x[68] != x[240] using generic constraint 1.39/1.52 c intension x[68] != x[244] using generic constraint 1.39/1.52 c intension x[68] != x[249] using generic constraint 1.39/1.53 c intension x[69] != x[78] using generic constraint 1.39/1.53 c intension x[69] != x[108] using generic constraint 1.39/1.53 c intension x[69] != x[116] using generic constraint 1.39/1.53 c intension x[69] != x[119] using generic constraint 1.39/1.53 c intension x[69] != x[121] using generic constraint 1.39/1.53 c intension x[69] != x[136] using generic constraint 1.39/1.53 c intension x[69] != x[138] using generic constraint 1.39/1.53 c intension x[69] != x[146] using generic constraint 1.39/1.53 c intension x[69] != x[158] using generic constraint 1.39/1.53 c intension x[69] != x[178] using generic constraint 1.39/1.53 c intension x[69] != x[179] using generic constraint 1.39/1.54 c intension x[69] != x[184] using generic constraint 1.39/1.54 c intension x[69] != x[189] using generic constraint 1.39/1.54 c intension x[69] != x[190] using generic constraint 1.39/1.54 c intension x[69] != x[194] using generic constraint 1.39/1.54 c intension x[69] != x[205] using generic constraint 1.39/1.54 c intension x[69] != x[210] using generic constraint 1.39/1.54 c intension x[69] != x[213] using generic constraint 1.39/1.54 c intension x[69] != x[221] using generic constraint 1.39/1.54 c intension x[69] != x[234] using generic constraint 1.39/1.54 c intension x[69] != x[236] using generic constraint 1.39/1.54 c intension x[69] != x[240] using generic constraint 1.39/1.55 c intension x[69] != x[248] using generic constraint 1.39/1.55 c intension x[70] != x[74] using generic constraint 1.39/1.55 c intension x[70] != x[75] using generic constraint 1.39/1.55 c intension x[70] != x[93] using generic constraint 1.39/1.55 c intension x[70] != x[103] using generic constraint 1.39/1.55 c intension x[70] != x[134] using generic constraint 1.39/1.55 c intension x[70] != x[137] using generic constraint 1.39/1.55 c intension x[70] != x[144] using generic constraint 1.39/1.55 c intension x[70] != x[147] using generic constraint 1.39/1.55 c intension x[70] != x[148] using generic constraint 1.39/1.55 c intension x[70] != x[152] using generic constraint 1.39/1.56 c intension x[70] != x[156] using generic constraint 1.39/1.56 c intension x[70] != x[158] using generic constraint 1.39/1.56 c intension x[70] != x[193] using generic constraint 1.39/1.56 c intension x[70] != x[200] using generic constraint 1.39/1.56 c intension x[70] != x[212] using generic constraint 1.39/1.56 c intension x[70] != x[229] using generic constraint 1.39/1.56 c intension x[70] != x[231] using generic constraint 1.39/1.56 c intension x[70] != x[239] using generic constraint 1.39/1.56 c intension x[70] != x[241] using generic constraint 1.39/1.56 c intension x[70] != x[242] using generic constraint 1.39/1.56 c intension x[70] != x[246] using generic constraint 1.39/1.56 c intension x[71] != x[89] using generic constraint 1.39/1.57 c intension x[71] != x[94] using generic constraint 1.39/1.57 c intension x[71] != x[95] using generic constraint 1.39/1.57 c intension x[71] != x[99] using generic constraint 1.39/1.57 c intension x[71] != x[116] using generic constraint 1.39/1.57 c intension x[71] != x[117] using generic constraint 1.39/1.57 c intension x[71] != x[123] using generic constraint 1.39/1.57 c intension x[71] != x[130] using generic constraint 1.39/1.57 c intension x[71] != x[131] using generic constraint 1.39/1.57 c intension x[71] != x[142] using generic constraint 1.39/1.57 c intension x[71] != x[145] using generic constraint 1.39/1.57 c intension x[71] != x[151] using generic constraint 1.39/1.58 c intension x[71] != x[154] using generic constraint 1.39/1.58 c intension x[71] != x[165] using generic constraint 1.39/1.58 c intension x[71] != x[184] using generic constraint 1.39/1.58 c intension x[71] != x[188] using generic constraint 1.39/1.58 c intension x[71] != x[194] using generic constraint 1.39/1.58 c intension x[71] != x[204] using generic constraint 1.39/1.58 c intension x[71] != x[207] using generic constraint 1.39/1.58 c intension x[71] != x[208] using generic constraint 1.39/1.58 c intension x[71] != x[234] using generic constraint 1.39/1.58 c intension x[71] != x[244] using generic constraint 1.39/1.58 c intension x[71] != x[246] using generic constraint 1.39/1.59 c intension x[72] != x[79] using generic constraint 1.39/1.59 c intension x[72] != x[81] using generic constraint 1.39/1.59 c intension x[72] != x[92] using generic constraint 1.39/1.59 c intension x[72] != x[94] using generic constraint 1.39/1.59 c intension x[72] != x[95] using generic constraint 1.39/1.59 c intension x[72] != x[111] using generic constraint 1.39/1.59 c intension x[72] != x[112] using generic constraint 1.39/1.59 c intension x[72] != x[116] using generic constraint 1.39/1.59 c intension x[72] != x[118] using generic constraint 1.39/1.59 c intension x[72] != x[119] using generic constraint 1.39/1.59 c intension x[72] != x[126] using generic constraint 1.39/1.60 c intension x[72] != x[136] using generic constraint 1.49/1.60 c intension x[72] != x[146] using generic constraint 1.49/1.60 c intension x[72] != x[154] using generic constraint 1.49/1.60 c intension x[72] != x[228] using generic constraint 1.49/1.60 c intension x[72] != x[233] using generic constraint 1.49/1.60 c intension x[72] != x[247] using generic constraint 1.49/1.60 c intension x[73] != x[90] using generic constraint 1.49/1.60 c intension x[73] != x[112] using generic constraint 1.49/1.60 c intension x[73] != x[115] using generic constraint 1.49/1.60 c intension x[73] != x[130] using generic constraint 1.49/1.60 c intension x[73] != x[148] using generic constraint 1.49/1.61 c intension x[73] != x[169] using generic constraint 1.49/1.61 c intension x[73] != x[172] using generic constraint 1.49/1.61 c intension x[73] != x[177] using generic constraint 1.49/1.61 c intension x[73] != x[178] using generic constraint 1.49/1.61 c intension x[73] != x[181] using generic constraint 1.49/1.61 c intension x[73] != x[198] using generic constraint 1.49/1.61 c intension x[73] != x[200] using generic constraint 1.49/1.61 c intension x[73] != x[204] using generic constraint 1.49/1.61 c intension x[73] != x[218] using generic constraint 1.49/1.61 c intension x[73] != x[220] using generic constraint 1.49/1.61 c intension x[73] != x[240] using generic constraint 1.49/1.62 c intension x[74] != x[75] using generic constraint 1.49/1.62 c intension x[74] != x[85] using generic constraint 1.49/1.62 c intension x[74] != x[87] using generic constraint 1.49/1.62 c intension x[74] != x[103] using generic constraint 1.49/1.62 c intension x[74] != x[108] using generic constraint 1.49/1.62 c intension x[74] != x[113] using generic constraint 1.49/1.62 c intension x[74] != x[122] using generic constraint 1.49/1.62 c intension x[74] != x[128] using generic constraint 1.49/1.62 c intension x[74] != x[141] using generic constraint 1.49/1.62 c intension x[74] != x[144] using generic constraint 1.49/1.62 c intension x[74] != x[148] using generic constraint 1.49/1.63 c intension x[74] != x[168] using generic constraint 1.49/1.63 c intension x[74] != x[173] using generic constraint 1.49/1.63 c intension x[74] != x[207] using generic constraint 1.49/1.63 c intension x[74] != x[210] using generic constraint 1.49/1.63 c intension x[74] != x[224] using generic constraint 1.49/1.63 c intension x[74] != x[226] using generic constraint 1.49/1.63 c intension x[74] != x[232] using generic constraint 1.49/1.63 c intension x[74] != x[233] using generic constraint 1.49/1.63 c intension x[74] != x[237] using generic constraint 1.49/1.63 c intension x[74] != x[240] using generic constraint 1.49/1.63 c intension x[74] != x[242] using generic constraint 1.49/1.64 c intension x[74] != x[244] using generic constraint 1.49/1.64 c intension x[75] != x[108] using generic constraint 1.49/1.64 c intension x[75] != x[124] using generic constraint 1.49/1.64 c intension x[75] != x[125] using generic constraint 1.49/1.64 c intension x[75] != x[150] using generic constraint 1.49/1.64 c intension x[75] != x[155] using generic constraint 1.49/1.64 c intension x[75] != x[160] using generic constraint 1.49/1.64 c intension x[75] != x[164] using generic constraint 1.49/1.64 c intension x[75] != x[170] using generic constraint 1.49/1.64 c intension x[75] != x[176] using generic constraint 1.49/1.64 c intension x[75] != x[177] using generic constraint 1.49/1.65 c intension x[75] != x[179] using generic constraint 1.49/1.65 c intension x[75] != x[187] using generic constraint 1.49/1.65 c intension x[75] != x[204] using generic constraint 1.49/1.65 c intension x[75] != x[233] using generic constraint 1.49/1.65 c intension x[75] != x[234] using generic constraint 1.49/1.65 c intension x[75] != x[240] using generic constraint 1.49/1.65 c intension x[76] != x[87] using generic constraint 1.49/1.65 c intension x[76] != x[88] using generic constraint 1.49/1.65 c intension x[76] != x[91] using generic constraint 1.49/1.65 c intension x[76] != x[93] using generic constraint 1.49/1.65 c intension x[76] != x[102] using generic constraint 1.49/1.66 c intension x[76] != x[103] using generic constraint 1.49/1.66 c intension x[76] != x[109] using generic constraint 1.49/1.66 c intension x[76] != x[123] using generic constraint 1.49/1.66 c intension x[76] != x[125] using generic constraint 1.49/1.66 c intension x[76] != x[137] using generic constraint 1.49/1.66 c intension x[76] != x[177] using generic constraint 1.49/1.66 c intension x[76] != x[203] using generic constraint 1.49/1.66 c intension x[76] != x[204] using generic constraint 1.49/1.66 c intension x[76] != x[213] using generic constraint 1.49/1.66 c intension x[76] != x[222] using generic constraint 1.49/1.66 c intension x[76] != x[233] using generic constraint 1.49/1.67 c intension x[76] != x[247] using generic constraint 1.49/1.67 c intension x[77] != x[96] using generic constraint 1.49/1.67 c intension x[77] != x[143] using generic constraint 1.49/1.67 c intension x[77] != x[150] using generic constraint 1.49/1.67 c intension x[77] != x[172] using generic constraint 1.49/1.67 c intension x[77] != x[183] using generic constraint 1.49/1.67 c intension x[77] != x[185] using generic constraint 1.49/1.67 c intension x[77] != x[195] using generic constraint 1.49/1.67 c intension x[77] != x[200] using generic constraint 1.49/1.67 c intension x[77] != x[201] using generic constraint 1.49/1.67 c intension x[77] != x[233] using generic constraint 1.49/1.68 c intension x[77] != x[235] using generic constraint 1.49/1.68 c intension x[78] != x[88] using generic constraint 1.49/1.68 c intension x[78] != x[100] using generic constraint 1.49/1.68 c intension x[78] != x[109] using generic constraint 1.49/1.68 c intension x[78] != x[124] using generic constraint 1.49/1.68 c intension x[78] != x[133] using generic constraint 1.49/1.68 c intension x[78] != x[153] using generic constraint 1.49/1.68 c intension x[78] != x[171] using generic constraint 1.49/1.68 c intension x[78] != x[174] using generic constraint 1.49/1.68 c intension x[78] != x[215] using generic constraint 1.49/1.68 c intension x[78] != x[225] using generic constraint 1.49/1.68 c intension x[78] != x[237] using generic constraint 1.49/1.69 c intension x[79] != x[82] using generic constraint 1.49/1.69 c intension x[79] != x[84] using generic constraint 1.49/1.69 c intension x[79] != x[107] using generic constraint 1.49/1.69 c intension x[79] != x[110] using generic constraint 1.49/1.69 c intension x[79] != x[134] using generic constraint 1.49/1.69 c intension x[79] != x[157] using generic constraint 1.49/1.69 c intension x[79] != x[158] using generic constraint 1.49/1.69 c intension x[79] != x[181] using generic constraint 1.49/1.69 c intension x[79] != x[184] using generic constraint 1.49/1.69 c intension x[79] != x[185] using generic constraint 1.49/1.69 c intension x[79] != x[186] using generic constraint 1.59/1.70 c intension x[79] != x[192] using generic constraint 1.59/1.70 c intension x[79] != x[199] using generic constraint 1.59/1.70 c intension x[79] != x[200] using generic constraint 1.59/1.70 c intension x[79] != x[206] using generic constraint 1.59/1.70 c intension x[79] != x[214] using generic constraint 1.59/1.70 c intension x[79] != x[216] using generic constraint 1.59/1.70 c intension x[79] != x[222] using generic constraint 1.59/1.70 c intension x[80] != x[85] using generic constraint 1.59/1.70 c intension x[80] != x[88] using generic constraint 1.59/1.70 c intension x[80] != x[95] using generic constraint 1.59/1.70 c intension x[80] != x[103] using generic constraint 1.59/1.71 c intension x[80] != x[113] using generic constraint 1.59/1.71 c intension x[80] != x[130] using generic constraint 1.59/1.71 c intension x[80] != x[134] using generic constraint 1.59/1.71 c intension x[80] != x[150] using generic constraint 1.59/1.71 c intension x[80] != x[157] using generic constraint 1.59/1.71 c intension x[80] != x[158] using generic constraint 1.59/1.71 c intension x[80] != x[171] using generic constraint 1.59/1.71 c intension x[80] != x[181] using generic constraint 1.59/1.71 c intension x[80] != x[186] using generic constraint 1.59/1.71 c intension x[80] != x[195] using generic constraint 1.59/1.71 c intension x[80] != x[203] using generic constraint 1.59/1.72 c intension x[80] != x[213] using generic constraint 1.59/1.72 c intension x[80] != x[217] using generic constraint 1.59/1.72 c intension x[80] != x[244] using generic constraint 1.59/1.72 c intension x[80] != x[247] using generic constraint 1.59/1.72 c intension x[81] != x[96] using generic constraint 1.59/1.72 c intension x[81] != x[106] using generic constraint 1.59/1.72 c intension x[81] != x[107] using generic constraint 1.59/1.72 c intension x[81] != x[113] using generic constraint 1.59/1.72 c intension x[81] != x[125] using generic constraint 1.59/1.72 c intension x[81] != x[134] using generic constraint 1.59/1.72 c intension x[81] != x[138] using generic constraint 1.59/1.73 c intension x[81] != x[153] using generic constraint 1.59/1.73 c intension x[81] != x[162] using generic constraint 1.59/1.73 c intension x[81] != x[166] using generic constraint 1.59/1.73 c intension x[81] != x[167] using generic constraint 1.59/1.73 c intension x[81] != x[200] using generic constraint 1.59/1.73 c intension x[81] != x[203] using generic constraint 1.59/1.73 c intension x[81] != x[206] using generic constraint 1.59/1.73 c intension x[81] != x[233] using generic constraint 1.59/1.73 c intension x[81] != x[235] using generic constraint 1.59/1.73 c intension x[81] != x[237] using generic constraint 1.59/1.73 c intension x[81] != x[238] using generic constraint 1.59/1.74 c intension x[82] != x[89] using generic constraint 1.59/1.74 c intension x[82] != x[139] using generic constraint 1.59/1.74 c intension x[82] != x[160] using generic constraint 1.59/1.74 c intension x[82] != x[161] using generic constraint 1.59/1.74 c intension x[82] != x[175] using generic constraint 1.59/1.74 c intension x[82] != x[176] using generic constraint 1.59/1.74 c intension x[82] != x[181] using generic constraint 1.59/1.74 c intension x[82] != x[190] using generic constraint 1.59/1.74 c intension x[82] != x[192] using generic constraint 1.59/1.74 c intension x[82] != x[197] using generic constraint 1.59/1.74 c intension x[82] != x[214] using generic constraint 1.59/1.75 c intension x[82] != x[216] using generic constraint 1.59/1.75 c intension x[82] != x[223] using generic constraint 1.59/1.75 c intension x[82] != x[227] using generic constraint 1.59/1.75 c intension x[82] != x[246] using generic constraint 1.59/1.75 c intension x[82] != x[247] using generic constraint 1.59/1.75 c intension x[83] != x[86] using generic constraint 1.59/1.75 c intension x[83] != x[105] using generic constraint 1.59/1.75 c intension x[83] != x[115] using generic constraint 1.59/1.75 c intension x[83] != x[117] using generic constraint 1.59/1.75 c intension x[83] != x[129] using generic constraint 1.59/1.75 c intension x[83] != x[134] using generic constraint 1.59/1.76 c intension x[83] != x[139] using generic constraint 1.59/1.76 c intension x[83] != x[145] using generic constraint 1.59/1.76 c intension x[83] != x[150] using generic constraint 1.59/1.76 c intension x[83] != x[155] using generic constraint 1.59/1.76 c intension x[83] != x[178] using generic constraint 1.59/1.76 c intension x[83] != x[182] using generic constraint 1.59/1.76 c intension x[83] != x[185] using generic constraint 1.59/1.76 c intension x[83] != x[188] using generic constraint 1.59/1.76 c intension x[83] != x[206] using generic constraint 1.59/1.76 c intension x[83] != x[232] using generic constraint 1.59/1.76 c intension x[83] != x[244] using generic constraint 1.59/1.77 c intension x[83] != x[248] using generic constraint 1.59/1.77 c intension x[83] != x[249] using generic constraint 1.59/1.77 c intension x[84] != x[119] using generic constraint 1.59/1.77 c intension x[84] != x[130] using generic constraint 1.59/1.77 c intension x[84] != x[134] using generic constraint 1.59/1.77 c intension x[84] != x[147] using generic constraint 1.59/1.77 c intension x[84] != x[151] using generic constraint 1.59/1.77 c intension x[84] != x[161] using generic constraint 1.59/1.77 c intension x[84] != x[176] using generic constraint 1.59/1.77 c intension x[84] != x[185] using generic constraint 1.59/1.77 c intension x[84] != x[186] using generic constraint 1.59/1.78 c intension x[84] != x[198] using generic constraint 1.59/1.78 c intension x[84] != x[204] using generic constraint 1.59/1.78 c intension x[84] != x[209] using generic constraint 1.59/1.78 c intension x[84] != x[219] using generic constraint 1.59/1.78 c intension x[84] != x[224] using generic constraint 1.59/1.78 c intension x[84] != x[229] using generic constraint 1.59/1.78 c intension x[84] != x[239] using generic constraint 1.59/1.78 c intension x[85] != x[90] using generic constraint 1.59/1.78 c intension x[85] != x[97] using generic constraint 1.59/1.78 c intension x[85] != x[98] using generic constraint 1.59/1.78 c intension x[85] != x[107] using generic constraint 1.59/1.78 c intension x[85] != x[122] using generic constraint 1.59/1.79 c intension x[85] != x[123] using generic constraint 1.59/1.79 c intension x[85] != x[134] using generic constraint 1.59/1.79 c intension x[85] != x[142] using generic constraint 1.59/1.79 c intension x[85] != x[173] using generic constraint 1.59/1.79 c intension x[85] != x[183] using generic constraint 1.59/1.79 c intension x[85] != x[197] using generic constraint 1.59/1.79 c intension x[85] != x[213] using generic constraint 1.59/1.79 c intension x[85] != x[215] using generic constraint 1.59/1.79 c intension x[85] != x[231] using generic constraint 1.59/1.79 c intension x[86] != x[111] using generic constraint 1.59/1.79 c intension x[86] != x[114] using generic constraint 1.69/1.80 c intension x[86] != x[118] using generic constraint 1.69/1.80 c intension x[86] != x[120] using generic constraint 1.69/1.80 c intension x[86] != x[124] using generic constraint 1.69/1.80 c intension x[86] != x[127] using generic constraint 1.69/1.80 c intension x[86] != x[129] using generic constraint 1.69/1.80 c intension x[86] != x[143] using generic constraint 1.69/1.80 c intension x[86] != x[153] using generic constraint 1.69/1.80 c intension x[86] != x[156] using generic constraint 1.69/1.80 c intension x[86] != x[163] using generic constraint 1.69/1.80 c intension x[86] != x[194] using generic constraint 1.69/1.81 c intension x[86] != x[207] using generic constraint 1.69/1.81 c intension x[86] != x[208] using generic constraint 1.69/1.81 c intension x[86] != x[209] using generic constraint 1.69/1.81 c intension x[86] != x[210] using generic constraint 1.69/1.81 c intension x[86] != x[214] using generic constraint 1.69/1.81 c intension x[86] != x[218] using generic constraint 1.69/1.81 c intension x[86] != x[235] using generic constraint 1.69/1.81 c intension x[86] != x[247] using generic constraint 1.69/1.81 c intension x[87] != x[90] using generic constraint 1.69/1.81 c intension x[87] != x[91] using generic constraint 1.69/1.81 c intension x[87] != x[101] using generic constraint 1.69/1.81 c intension x[87] != x[107] using generic constraint 1.69/1.82 c intension x[87] != x[128] using generic constraint 1.69/1.82 c intension x[87] != x[133] using generic constraint 1.69/1.82 c intension x[87] != x[152] using generic constraint 1.69/1.82 c intension x[87] != x[153] using generic constraint 1.69/1.82 c intension x[87] != x[166] using generic constraint 1.69/1.82 c intension x[87] != x[168] using generic constraint 1.69/1.82 c intension x[87] != x[195] using generic constraint 1.69/1.82 c intension x[87] != x[199] using generic constraint 1.69/1.82 c intension x[87] != x[202] using generic constraint 1.69/1.82 c intension x[88] != x[106] using generic constraint 1.69/1.82 c intension x[88] != x[119] using generic constraint 1.69/1.83 c intension x[88] != x[124] using generic constraint 1.69/1.83 c intension x[88] != x[127] using generic constraint 1.69/1.83 c intension x[88] != x[129] using generic constraint 1.69/1.83 c intension x[88] != x[132] using generic constraint 1.69/1.83 c intension x[88] != x[139] using generic constraint 1.69/1.83 c intension x[88] != x[145] using generic constraint 1.69/1.83 c intension x[88] != x[150] using generic constraint 1.69/1.83 c intension x[88] != x[172] using generic constraint 1.69/1.83 c intension x[88] != x[178] using generic constraint 1.69/1.83 c intension x[88] != x[190] using generic constraint 1.69/1.83 c intension x[88] != x[192] using generic constraint 1.69/1.84 c intension x[88] != x[233] using generic constraint 1.69/1.84 c intension x[88] != x[243] using generic constraint 1.69/1.84 c intension x[89] != x[90] using generic constraint 1.69/1.84 c intension x[89] != x[97] using generic constraint 1.69/1.84 c intension x[89] != x[102] using generic constraint 1.69/1.84 c intension x[89] != x[105] using generic constraint 1.69/1.84 c intension x[89] != x[136] using generic constraint 1.69/1.84 c intension x[89] != x[144] using generic constraint 1.69/1.84 c intension x[89] != x[150] using generic constraint 1.69/1.84 c intension x[89] != x[151] using generic constraint 1.69/1.84 c intension x[89] != x[158] using generic constraint 1.69/1.85 c intension x[89] != x[160] using generic constraint 1.69/1.85 c intension x[89] != x[163] using generic constraint 1.69/1.85 c intension x[89] != x[176] using generic constraint 1.69/1.85 c intension x[89] != x[197] using generic constraint 1.69/1.85 c intension x[89] != x[198] using generic constraint 1.69/1.85 c intension x[89] != x[207] using generic constraint 1.69/1.85 c intension x[89] != x[211] using generic constraint 1.69/1.85 c intension x[89] != x[228] using generic constraint 1.69/1.85 c intension x[89] != x[229] using generic constraint 1.69/1.85 c intension x[89] != x[231] using generic constraint 1.69/1.85 c intension x[89] != x[239] using generic constraint 1.69/1.86 c intension x[89] != x[243] using generic constraint 1.69/1.86 c intension x[89] != x[244] using generic constraint 1.69/1.86 c intension x[90] != x[91] using generic constraint 1.69/1.86 c intension x[90] != x[96] using generic constraint 1.69/1.86 c intension x[90] != x[138] using generic constraint 1.69/1.86 c intension x[90] != x[146] using generic constraint 1.69/1.86 c intension x[90] != x[152] using generic constraint 1.69/1.86 c intension x[90] != x[155] using generic constraint 1.69/1.86 c intension x[90] != x[164] using generic constraint 1.69/1.86 c intension x[90] != x[172] using generic constraint 1.69/1.86 c intension x[90] != x[174] using generic constraint 1.69/1.87 c intension x[90] != x[202] using generic constraint 1.69/1.87 c intension x[90] != x[223] using generic constraint 1.69/1.87 c intension x[90] != x[227] using generic constraint 1.69/1.87 c intension x[90] != x[235] using generic constraint 1.69/1.87 c intension x[90] != x[247] using generic constraint 1.69/1.87 c intension x[90] != x[248] using generic constraint 1.69/1.87 c intension x[91] != x[95] using generic constraint 1.69/1.87 c intension x[91] != x[96] using generic constraint 1.69/1.87 c intension x[91] != x[104] using generic constraint 1.69/1.87 c intension x[91] != x[106] using generic constraint 1.69/1.87 c intension x[91] != x[132] using generic constraint 1.69/1.88 c intension x[91] != x[133] using generic constraint 1.69/1.88 c intension x[91] != x[148] using generic constraint 1.69/1.88 c intension x[91] != x[159] using generic constraint 1.69/1.88 c intension x[91] != x[173] using generic constraint 1.69/1.88 c intension x[91] != x[175] using generic constraint 1.69/1.88 c intension x[91] != x[181] using generic constraint 1.69/1.88 c intension x[91] != x[190] using generic constraint 1.69/1.88 c intension x[91] != x[209] using generic constraint 1.69/1.88 c intension x[91] != x[225] using generic constraint 1.69/1.88 c intension x[91] != x[232] using generic constraint 1.69/1.88 c intension x[91] != x[235] using generic constraint 1.69/1.89 c intension x[92] != x[108] using generic constraint 1.69/1.89 c intension x[92] != x[114] using generic constraint 1.69/1.89 c intension x[92] != x[117] using generic constraint 1.69/1.89 c intension x[92] != x[118] using generic constraint 1.69/1.89 c intension x[92] != x[119] using generic constraint 1.69/1.89 c intension x[92] != x[128] using generic constraint 1.69/1.89 c intension x[92] != x[134] using generic constraint 1.69/1.89 c intension x[92] != x[137] using generic constraint 1.69/1.89 c intension x[92] != x[138] using generic constraint 1.69/1.89 c intension x[92] != x[150] using generic constraint 1.69/1.89 c intension x[92] != x[153] using generic constraint 1.69/1.89 c intension x[92] != x[160] using generic constraint 1.79/1.90 c intension x[92] != x[170] using generic constraint 1.79/1.90 c intension x[92] != x[174] using generic constraint 1.79/1.90 c intension x[92] != x[200] using generic constraint 1.79/1.90 c intension x[92] != x[204] using generic constraint 1.79/1.90 c intension x[92] != x[212] using generic constraint 1.79/1.90 c intension x[92] != x[226] using generic constraint 1.79/1.90 c intension x[92] != x[243] using generic constraint 1.79/1.90 c intension x[93] != x[94] using generic constraint 1.79/1.90 c intension x[93] != x[102] using generic constraint 1.79/1.90 c intension x[93] != x[105] using generic constraint 1.79/1.91 c intension x[93] != x[114] using generic constraint 1.79/1.91 c intension x[93] != x[125] using generic constraint 1.79/1.91 c intension x[93] != x[134] using generic constraint 1.79/1.91 c intension x[93] != x[147] using generic constraint 1.79/1.91 c intension x[93] != x[148] using generic constraint 1.79/1.91 c intension x[93] != x[175] using generic constraint 1.79/1.91 c intension x[93] != x[194] using generic constraint 1.79/1.91 c intension x[93] != x[199] using generic constraint 1.79/1.91 c intension x[93] != x[204] using generic constraint 1.79/1.91 c intension x[93] != x[207] using generic constraint 1.79/1.91 c intension x[93] != x[220] using generic constraint 1.79/1.92 c intension x[93] != x[240] using generic constraint 1.79/1.92 c intension x[94] != x[101] using generic constraint 1.79/1.92 c intension x[94] != x[114] using generic constraint 1.79/1.92 c intension x[94] != x[118] using generic constraint 1.79/1.92 c intension x[94] != x[124] using generic constraint 1.79/1.92 c intension x[94] != x[133] using generic constraint 1.79/1.92 c intension x[94] != x[134] using generic constraint 1.79/1.92 c intension x[94] != x[135] using generic constraint 1.79/1.92 c intension x[94] != x[155] using generic constraint 1.79/1.92 c intension x[94] != x[165] using generic constraint 1.79/1.92 c intension x[94] != x[189] using generic constraint 1.79/1.93 c intension x[94] != x[217] using generic constraint 1.79/1.93 c intension x[94] != x[221] using generic constraint 1.79/1.93 c intension x[94] != x[228] using generic constraint 1.79/1.93 c intension x[95] != x[97] using generic constraint 1.79/1.93 c intension x[95] != x[104] using generic constraint 1.79/1.93 c intension x[95] != x[109] using generic constraint 1.79/1.93 c intension x[95] != x[145] using generic constraint 1.79/1.93 c intension x[95] != x[151] using generic constraint 1.79/1.93 c intension x[95] != x[157] using generic constraint 1.79/1.93 c intension x[95] != x[167] using generic constraint 1.79/1.93 c intension x[95] != x[192] using generic constraint 1.79/1.94 c intension x[95] != x[211] using generic constraint 1.79/1.94 c intension x[95] != x[219] using generic constraint 1.79/1.94 c intension x[95] != x[236] using generic constraint 1.79/1.94 c intension x[96] != x[102] using generic constraint 1.79/1.94 c intension x[96] != x[118] using generic constraint 1.79/1.94 c intension x[96] != x[125] using generic constraint 1.79/1.94 c intension x[96] != x[130] using generic constraint 1.79/1.94 c intension x[96] != x[136] using generic constraint 1.79/1.94 c intension x[96] != x[169] using generic constraint 1.79/1.94 c intension x[96] != x[205] using generic constraint 1.79/1.94 c intension x[96] != x[245] using generic constraint 1.79/1.95 c intension x[96] != x[249] using generic constraint 1.79/1.95 c intension x[97] != x[102] using generic constraint 1.79/1.95 c intension x[97] != x[117] using generic constraint 1.79/1.95 c intension x[97] != x[123] using generic constraint 1.79/1.95 c intension x[97] != x[147] using generic constraint 1.79/1.95 c intension x[97] != x[148] using generic constraint 1.79/1.95 c intension x[97] != x[164] using generic constraint 1.79/1.95 c intension x[97] != x[172] using generic constraint 1.79/1.95 c intension x[97] != x[198] using generic constraint 1.79/1.95 c intension x[97] != x[200] using generic constraint 1.79/1.95 c intension x[97] != x[208] using generic constraint 1.79/1.95 c intension x[97] != x[210] using generic constraint 1.79/1.96 c intension x[97] != x[217] using generic constraint 1.79/1.96 c intension x[97] != x[221] using generic constraint 1.79/1.96 c intension x[97] != x[243] using generic constraint 1.79/1.96 c intension x[97] != x[246] using generic constraint 1.79/1.96 c intension x[98] != x[112] using generic constraint 1.79/1.96 c intension x[98] != x[119] using generic constraint 1.79/1.96 c intension x[98] != x[148] using generic constraint 1.79/1.96 c intension x[98] != x[154] using generic constraint 1.79/1.96 c intension x[98] != x[159] using generic constraint 1.79/1.96 c intension x[98] != x[161] using generic constraint 1.79/1.96 c intension x[98] != x[173] using generic constraint 1.79/1.97 c intension x[98] != x[175] using generic constraint 1.79/1.97 c intension x[98] != x[187] using generic constraint 1.79/1.97 c intension x[98] != x[195] using generic constraint 1.79/1.97 c intension x[98] != x[201] using generic constraint 1.79/1.97 c intension x[98] != x[222] using generic constraint 1.79/1.97 c intension x[98] != x[226] using generic constraint 1.79/1.97 c intension x[98] != x[229] using generic constraint 1.79/1.97 c intension x[99] != x[104] using generic constraint 1.79/1.97 c intension x[99] != x[108] using generic constraint 1.79/1.97 c intension x[99] != x[140] using generic constraint 1.79/1.97 c intension x[99] != x[142] using generic constraint 1.79/1.98 c intension x[99] != x[162] using generic constraint 1.79/1.98 c intension x[99] != x[167] using generic constraint 1.79/1.98 c intension x[99] != x[170] using generic constraint 1.79/1.98 c intension x[99] != x[182] using generic constraint 1.79/1.98 c intension x[99] != x[183] using generic constraint 1.79/1.98 c intension x[99] != x[185] using generic constraint 1.79/1.98 c intension x[99] != x[203] using generic constraint 1.79/1.98 c intension x[99] != x[204] using generic constraint 1.79/1.98 c intension x[99] != x[212] using generic constraint 1.79/1.98 c intension x[99] != x[214] using generic constraint 1.79/1.98 c intension x[99] != x[227] using generic constraint 1.79/1.99 c intension x[99] != x[238] using generic constraint 1.79/1.99 c intension x[99] != x[247] using generic constraint 1.79/1.99 c intension x[99] != x[248] using generic constraint 1.79/1.99 c intension x[100] != x[102] using generic constraint 1.79/1.99 c intension x[100] != x[114] using generic constraint 1.79/1.99 c intension x[100] != x[117] using generic constraint 1.79/1.99 c intension x[100] != x[120] using generic constraint 1.79/1.99 c intension x[100] != x[138] using generic constraint 1.79/1.99 c intension x[100] != x[147] using generic constraint 1.79/1.99 c intension x[100] != x[153] using generic constraint 1.79/1.99 c intension x[100] != x[156] using generic constraint 1.79/2.00 c intension x[100] != x[157] using generic constraint 1.79/2.00 c intension x[100] != x[158] using generic constraint 1.79/2.00 c intension x[100] != x[162] using generic constraint 1.79/2.00 c intension x[100] != x[166] using generic constraint 1.79/2.00 c intension x[100] != x[168] using generic constraint 1.79/2.00 c intension x[100] != x[171] using generic constraint 1.79/2.00 c intension x[100] != x[173] using generic constraint 1.79/2.00 c intension x[100] != x[175] using generic constraint 1.79/2.00 c intension x[100] != x[218] using generic constraint 1.79/2.00 c intension x[100] != x[219] using generic constraint 1.79/2.00 c intension x[100] != x[227] using generic constraint 1.90/2.01 c intension x[101] != x[108] using generic constraint 1.90/2.01 c intension x[101] != x[118] using generic constraint 1.90/2.01 c intension x[101] != x[123] using generic constraint 1.90/2.01 c intension x[101] != x[141] using generic constraint 1.90/2.01 c intension x[101] != x[161] using generic constraint 1.90/2.01 c intension x[101] != x[167] using generic constraint 1.90/2.01 c intension x[101] != x[182] using generic constraint 1.90/2.01 c intension x[101] != x[198] using generic constraint 1.90/2.01 c intension x[101] != x[220] using generic constraint 1.90/2.01 c intension x[101] != x[222] using generic constraint 1.90/2.01 c intension x[101] != x[230] using generic constraint 1.90/2.02 c intension x[101] != x[233] using generic constraint 1.90/2.02 c intension x[101] != x[238] using generic constraint 1.90/2.02 c intension x[101] != x[249] using generic constraint 1.90/2.02 c intension x[102] != x[125] using generic constraint 1.90/2.02 c intension x[102] != x[145] using generic constraint 1.90/2.02 c intension x[102] != x[169] using generic constraint 1.90/2.02 c intension x[102] != x[181] using generic constraint 1.90/2.02 c intension x[102] != x[187] using generic constraint 1.90/2.02 c intension x[102] != x[189] using generic constraint 1.90/2.02 c intension x[102] != x[198] using generic constraint 1.90/2.02 c intension x[102] != x[199] using generic constraint 1.90/2.03 c intension x[102] != x[214] using generic constraint 1.90/2.03 c intension x[102] != x[220] using generic constraint 1.90/2.03 c intension x[102] != x[223] using generic constraint 1.90/2.03 c intension x[102] != x[227] using generic constraint 1.90/2.03 c intension x[102] != x[244] using generic constraint 1.90/2.03 c intension x[103] != x[110] using generic constraint 1.90/2.03 c intension x[103] != x[120] using generic constraint 1.90/2.03 c intension x[103] != x[121] using generic constraint 1.90/2.03 c intension x[103] != x[124] using generic constraint 1.90/2.03 c intension x[103] != x[128] using generic constraint 1.90/2.03 c intension x[103] != x[159] using generic constraint 1.90/2.04 c intension x[103] != x[170] using generic constraint 1.90/2.04 c intension x[103] != x[181] using generic constraint 1.90/2.04 c intension x[103] != x[182] using generic constraint 1.90/2.04 c intension x[103] != x[195] using generic constraint 1.90/2.04 c intension x[103] != x[208] using generic constraint 1.90/2.04 c intension x[103] != x[223] using generic constraint 1.90/2.04 c intension x[103] != x[248] using generic constraint 1.90/2.04 c intension x[104] != x[112] using generic constraint 1.90/2.04 c intension x[104] != x[114] using generic constraint 1.90/2.04 c intension x[104] != x[116] using generic constraint 1.90/2.04 c intension x[104] != x[147] using generic constraint 1.90/2.05 c intension x[104] != x[151] using generic constraint 1.90/2.05 c intension x[104] != x[155] using generic constraint 1.90/2.05 c intension x[104] != x[157] using generic constraint 1.90/2.05 c intension x[104] != x[159] using generic constraint 1.90/2.05 c intension x[104] != x[172] using generic constraint 1.90/2.05 c intension x[104] != x[182] using generic constraint 1.90/2.05 c intension x[104] != x[208] using generic constraint 1.90/2.05 c intension x[104] != x[214] using generic constraint 1.90/2.05 c intension x[104] != x[222] using generic constraint 1.90/2.05 c intension x[104] != x[225] using generic constraint 1.90/2.05 c intension x[104] != x[239] using generic constraint 1.90/2.06 c intension x[105] != x[109] using generic constraint 1.90/2.06 c intension x[105] != x[111] using generic constraint 1.90/2.06 c intension x[105] != x[124] using generic constraint 1.90/2.06 c intension x[105] != x[128] using generic constraint 1.90/2.06 c intension x[105] != x[135] using generic constraint 1.90/2.06 c intension x[105] != x[137] using generic constraint 1.90/2.06 c intension x[105] != x[145] using generic constraint 1.90/2.06 c intension x[105] != x[153] using generic constraint 1.90/2.06 c intension x[105] != x[158] using generic constraint 1.90/2.06 c intension x[105] != x[167] using generic constraint 1.90/2.06 c intension x[105] != x[179] using generic constraint 1.90/2.07 c intension x[105] != x[181] using generic constraint 1.90/2.07 c intension x[105] != x[186] using generic constraint 1.90/2.07 c intension x[105] != x[197] using generic constraint 1.90/2.07 c intension x[105] != x[198] using generic constraint 1.90/2.07 c intension x[105] != x[208] using generic constraint 1.90/2.07 c intension x[105] != x[209] using generic constraint 1.90/2.07 c intension x[105] != x[210] using generic constraint 1.90/2.07 c intension x[105] != x[215] using generic constraint 1.90/2.07 c intension x[105] != x[217] using generic constraint 1.90/2.07 c intension x[105] != x[222] using generic constraint 1.90/2.07 c intension x[105] != x[228] using generic constraint 1.90/2.08 c intension x[105] != x[234] using generic constraint 1.90/2.08 c intension x[105] != x[237] using generic constraint 1.90/2.08 c intension x[105] != x[239] using generic constraint 1.90/2.08 c intension x[105] != x[241] using generic constraint 1.90/2.08 c intension x[105] != x[242] using generic constraint 1.90/2.08 c intension x[106] != x[109] using generic constraint 1.90/2.08 c intension x[106] != x[114] using generic constraint 1.90/2.08 c intension x[106] != x[121] using generic constraint 1.90/2.08 c intension x[106] != x[145] using generic constraint 1.90/2.08 c intension x[106] != x[147] using generic constraint 1.90/2.08 c intension x[106] != x[151] using generic constraint 1.90/2.09 c intension x[106] != x[154] using generic constraint 1.90/2.09 c intension x[106] != x[156] using generic constraint 1.90/2.09 c intension x[106] != x[178] using generic constraint 1.90/2.09 c intension x[106] != x[196] using generic constraint 1.90/2.09 c intension x[106] != x[202] using generic constraint 1.90/2.09 c intension x[106] != x[205] using generic constraint 1.90/2.09 c intension x[107] != x[125] using generic constraint 1.90/2.09 c intension x[107] != x[126] using generic constraint 1.90/2.09 c intension x[107] != x[133] using generic constraint 1.90/2.09 c intension x[107] != x[148] using generic constraint 1.90/2.09 c intension x[107] != x[156] using generic constraint 1.90/2.09 c intension x[107] != x[168] using generic constraint 1.90/2.10 c intension x[107] != x[173] using generic constraint 1.90/2.10 c intension x[107] != x[180] using generic constraint 1.90/2.10 c intension x[107] != x[182] using generic constraint 1.90/2.10 c intension x[107] != x[184] using generic constraint 1.90/2.10 c intension x[107] != x[191] using generic constraint 1.90/2.10 c intension x[107] != x[193] using generic constraint 1.90/2.10 c intension x[107] != x[195] using generic constraint 1.90/2.10 c intension x[107] != x[205] using generic constraint 1.90/2.10 c intension x[107] != x[209] using generic constraint 1.90/2.10 c intension x[107] != x[214] using generic constraint 1.90/2.11 c intension x[107] != x[229] using generic constraint 2.00/2.11 c intension x[107] != x[234] using generic constraint 2.00/2.11 c intension x[107] != x[244] using generic constraint 2.00/2.11 c intension x[108] != x[150] using generic constraint 2.00/2.11 c intension x[108] != x[153] using generic constraint 2.00/2.11 c intension x[108] != x[157] using generic constraint 2.00/2.11 c intension x[108] != x[167] using generic constraint 2.00/2.11 c intension x[108] != x[172] using generic constraint 2.00/2.11 c intension x[108] != x[175] using generic constraint 2.00/2.11 c intension x[108] != x[210] using generic constraint 2.00/2.11 c intension x[108] != x[223] using generic constraint 2.00/2.12 c intension x[108] != x[231] using generic constraint 2.00/2.12 c intension x[109] != x[114] using generic constraint 2.00/2.12 c intension x[109] != x[117] using generic constraint 2.00/2.12 c intension x[109] != x[124] using generic constraint 2.00/2.12 c intension x[109] != x[133] using generic constraint 2.00/2.12 c intension x[109] != x[138] using generic constraint 2.00/2.12 c intension x[109] != x[146] using generic constraint 2.00/2.12 c intension x[109] != x[155] using generic constraint 2.00/2.12 c intension x[109] != x[156] using generic constraint 2.00/2.12 c intension x[109] != x[179] using generic constraint 2.00/2.12 c intension x[109] != x[191] using generic constraint 2.00/2.13 c intension x[109] != x[228] using generic constraint 2.00/2.13 c intension x[109] != x[241] using generic constraint 2.00/2.13 c intension x[110] != x[119] using generic constraint 2.00/2.13 c intension x[110] != x[125] using generic constraint 2.00/2.13 c intension x[110] != x[131] using generic constraint 2.00/2.13 c intension x[110] != x[171] using generic constraint 2.00/2.13 c intension x[110] != x[175] using generic constraint 2.00/2.13 c intension x[110] != x[176] using generic constraint 2.00/2.13 c intension x[110] != x[200] using generic constraint 2.00/2.13 c intension x[110] != x[204] using generic constraint 2.00/2.13 c intension x[111] != x[113] using generic constraint 2.00/2.14 c intension x[111] != x[131] using generic constraint 2.00/2.14 c intension x[111] != x[133] using generic constraint 2.00/2.14 c intension x[111] != x[142] using generic constraint 2.00/2.14 c intension x[111] != x[150] using generic constraint 2.00/2.14 c intension x[111] != x[161] using generic constraint 2.00/2.14 c intension x[111] != x[164] using generic constraint 2.00/2.14 c intension x[111] != x[180] using generic constraint 2.00/2.14 c intension x[111] != x[188] using generic constraint 2.00/2.14 c intension x[111] != x[196] using generic constraint 2.00/2.14 c intension x[111] != x[197] using generic constraint 2.00/2.14 c intension x[111] != x[217] using generic constraint 2.00/2.15 c intension x[111] != x[226] using generic constraint 2.00/2.15 c intension x[111] != x[237] using generic constraint 2.00/2.15 c intension x[111] != x[246] using generic constraint 2.00/2.15 c intension x[112] != x[131] using generic constraint 2.00/2.15 c intension x[112] != x[135] using generic constraint 2.00/2.15 c intension x[112] != x[148] using generic constraint 2.00/2.15 c intension x[112] != x[154] using generic constraint 2.00/2.15 c intension x[112] != x[160] using generic constraint 2.00/2.15 c intension x[112] != x[173] using generic constraint 2.00/2.15 c intension x[112] != x[178] using generic constraint 2.00/2.15 c intension x[112] != x[193] using generic constraint 2.00/2.16 c intension x[113] != x[128] using generic constraint 2.00/2.16 c intension x[113] != x[191] using generic constraint 2.00/2.16 c intension x[113] != x[193] using generic constraint 2.00/2.16 c intension x[113] != x[198] using generic constraint 2.00/2.16 c intension x[113] != x[200] using generic constraint 2.00/2.16 c intension x[113] != x[214] using generic constraint 2.00/2.16 c intension x[113] != x[225] using generic constraint 2.00/2.16 c intension x[113] != x[229] using generic constraint 2.00/2.16 c intension x[113] != x[230] using generic constraint 2.00/2.16 c intension x[113] != x[240] using generic constraint 2.00/2.16 c intension x[113] != x[247] using generic constraint 2.00/2.16 c intension x[114] != x[119] using generic constraint 2.00/2.17 c intension x[114] != x[135] using generic constraint 2.00/2.17 c intension x[114] != x[143] using generic constraint 2.00/2.17 c intension x[114] != x[144] using generic constraint 2.00/2.17 c intension x[114] != x[149] using generic constraint 2.00/2.17 c intension x[114] != x[150] using generic constraint 2.00/2.17 c intension x[114] != x[160] using generic constraint 2.00/2.17 c intension x[114] != x[162] using generic constraint 2.00/2.17 c intension x[114] != x[167] using generic constraint 2.00/2.17 c intension x[114] != x[174] using generic constraint 2.00/2.17 c intension x[114] != x[179] using generic constraint 2.00/2.17 c intension x[114] != x[198] using generic constraint 2.00/2.18 c intension x[114] != x[201] using generic constraint 2.00/2.18 c intension x[114] != x[210] using generic constraint 2.00/2.18 c intension x[114] != x[217] using generic constraint 2.00/2.18 c intension x[114] != x[218] using generic constraint 2.00/2.18 c intension x[114] != x[227] using generic constraint 2.00/2.18 c intension x[114] != x[240] using generic constraint 2.00/2.18 c intension x[115] != x[127] using generic constraint 2.00/2.18 c intension x[115] != x[131] using generic constraint 2.00/2.18 c intension x[115] != x[149] using generic constraint 2.00/2.18 c intension x[115] != x[153] using generic constraint 2.00/2.18 c intension x[115] != x[156] using generic constraint 2.00/2.19 c intension x[115] != x[172] using generic constraint 2.00/2.19 c intension x[115] != x[174] using generic constraint 2.00/2.19 c intension x[115] != x[196] using generic constraint 2.00/2.19 c intension x[115] != x[202] using generic constraint 2.00/2.19 c intension x[115] != x[203] using generic constraint 2.00/2.19 c intension x[115] != x[204] using generic constraint 2.00/2.19 c intension x[115] != x[218] using generic constraint 2.00/2.19 c intension x[115] != x[224] using generic constraint 2.00/2.19 c intension x[115] != x[227] using generic constraint 2.00/2.19 c intension x[115] != x[230] using generic constraint 2.00/2.19 c intension x[115] != x[233] using generic constraint 2.09/2.20 c intension x[115] != x[238] using generic constraint 2.09/2.20 c intension x[116] != x[122] using generic constraint 2.09/2.20 c intension x[116] != x[127] using generic constraint 2.09/2.20 c intension x[116] != x[133] using generic constraint 2.09/2.20 c intension x[116] != x[135] using generic constraint 2.09/2.20 c intension x[116] != x[142] using generic constraint 2.09/2.20 c intension x[116] != x[146] using generic constraint 2.09/2.20 c intension x[116] != x[152] using generic constraint 2.09/2.20 c intension x[116] != x[158] using generic constraint 2.09/2.20 c intension x[116] != x[162] using generic constraint 2.09/2.20 c intension x[116] != x[167] using generic constraint 2.09/2.21 c intension x[116] != x[174] using generic constraint 2.09/2.21 c intension x[116] != x[175] using generic constraint 2.09/2.21 c intension x[116] != x[176] using generic constraint 2.09/2.21 c intension x[116] != x[182] using generic constraint 2.09/2.21 c intension x[116] != x[187] using generic constraint 2.09/2.21 c intension x[116] != x[198] using generic constraint 2.09/2.21 c intension x[116] != x[210] using generic constraint 2.09/2.21 c intension x[116] != x[225] using generic constraint 2.09/2.21 c intension x[116] != x[231] using generic constraint 2.09/2.21 c intension x[116] != x[238] using generic constraint 2.09/2.21 c intension x[116] != x[239] using generic constraint 2.09/2.22 c intension x[116] != x[241] using generic constraint 2.09/2.22 c intension x[116] != x[243] using generic constraint 2.09/2.22 c intension x[117] != x[118] using generic constraint 2.09/2.22 c intension x[117] != x[124] using generic constraint 2.09/2.22 c intension x[117] != x[126] using generic constraint 2.09/2.22 c intension x[117] != x[128] using generic constraint 2.09/2.22 c intension x[117] != x[137] using generic constraint 2.09/2.22 c intension x[117] != x[142] using generic constraint 2.09/2.22 c intension x[117] != x[148] using generic constraint 2.09/2.22 c intension x[117] != x[154] using generic constraint 2.09/2.22 c intension x[117] != x[163] using generic constraint 2.09/2.23 c intension x[117] != x[177] using generic constraint 2.09/2.23 c intension x[117] != x[182] using generic constraint 2.09/2.23 c intension x[117] != x[184] using generic constraint 2.09/2.23 c intension x[117] != x[191] using generic constraint 2.09/2.23 c intension x[117] != x[201] using generic constraint 2.09/2.23 c intension x[117] != x[217] using generic constraint 2.09/2.23 c intension x[117] != x[222] using generic constraint 2.09/2.23 c intension x[117] != x[228] using generic constraint 2.09/2.23 c intension x[117] != x[246] using generic constraint 2.09/2.23 c intension x[118] != x[122] using generic constraint 2.09/2.23 c intension x[118] != x[129] using generic constraint 2.09/2.24 c intension x[118] != x[131] using generic constraint 2.09/2.24 c intension x[118] != x[158] using generic constraint 2.09/2.24 c intension x[118] != x[159] using generic constraint 2.09/2.24 c intension x[118] != x[161] using generic constraint 2.09/2.24 c intension x[118] != x[162] using generic constraint 2.09/2.24 c intension x[118] != x[163] using generic constraint 2.09/2.24 c intension x[118] != x[166] using generic constraint 2.09/2.24 c intension x[118] != x[181] using generic constraint 2.09/2.24 c intension x[118] != x[186] using generic constraint 2.09/2.24 c intension x[118] != x[198] using generic constraint 2.09/2.24 c intension x[118] != x[205] using generic constraint 2.09/2.25 c intension x[118] != x[223] using generic constraint 2.09/2.25 c intension x[118] != x[225] using generic constraint 2.09/2.25 c intension x[118] != x[232] using generic constraint 2.09/2.25 c intension x[119] != x[122] using generic constraint 2.09/2.25 c intension x[119] != x[143] using generic constraint 2.09/2.25 c intension x[119] != x[155] using generic constraint 2.09/2.25 c intension x[119] != x[156] using generic constraint 2.09/2.25 c intension x[119] != x[170] using generic constraint 2.09/2.25 c intension x[119] != x[186] using generic constraint 2.09/2.25 c intension x[119] != x[191] using generic constraint 2.09/2.25 c intension x[119] != x[195] using generic constraint 2.09/2.26 c intension x[119] != x[199] using generic constraint 2.09/2.26 c intension x[119] != x[200] using generic constraint 2.09/2.26 c intension x[119] != x[218] using generic constraint 2.09/2.26 c intension x[119] != x[222] using generic constraint 2.09/2.26 c intension x[119] != x[235] using generic constraint 2.09/2.26 c intension x[119] != x[240] using generic constraint 2.09/2.26 c intension x[120] != x[121] using generic constraint 2.09/2.26 c intension x[120] != x[122] using generic constraint 2.09/2.26 c intension x[120] != x[140] using generic constraint 2.09/2.26 c intension x[120] != x[151] using generic constraint 2.09/2.26 c intension x[120] != x[154] using generic constraint 2.09/2.27 c intension x[120] != x[163] using generic constraint 2.09/2.27 c intension x[120] != x[186] using generic constraint 2.09/2.27 c intension x[120] != x[196] using generic constraint 2.09/2.27 c intension x[120] != x[203] using generic constraint 2.09/2.27 c intension x[120] != x[208] using generic constraint 2.09/2.27 c intension x[120] != x[211] using generic constraint 2.09/2.27 c intension x[120] != x[241] using generic constraint 2.09/2.27 c intension x[121] != x[160] using generic constraint 2.09/2.27 c intension x[121] != x[163] using generic constraint 2.09/2.27 c intension x[121] != x[165] using generic constraint 2.09/2.27 c intension x[121] != x[169] using generic constraint 2.09/2.28 c intension x[121] != x[185] using generic constraint 2.09/2.28 c intension x[121] != x[195] using generic constraint 2.09/2.28 c intension x[121] != x[207] using generic constraint 2.09/2.28 c intension x[121] != x[211] using generic constraint 2.09/2.28 c intension x[121] != x[214] using generic constraint 2.09/2.28 c intension x[121] != x[239] using generic constraint 2.09/2.28 c intension x[121] != x[244] using generic constraint 2.09/2.28 c intension x[122] != x[129] using generic constraint 2.09/2.28 c intension x[122] != x[133] using generic constraint 2.09/2.28 c intension x[122] != x[139] using generic constraint 2.09/2.28 c intension x[122] != x[142] using generic constraint 2.09/2.29 c intension x[122] != x[146] using generic constraint 2.09/2.29 c intension x[122] != x[148] using generic constraint 2.09/2.29 c intension x[122] != x[162] using generic constraint 2.09/2.29 c intension x[122] != x[166] using generic constraint 2.09/2.29 c intension x[122] != x[169] using generic constraint 2.09/2.29 c intension x[122] != x[175] using generic constraint 2.09/2.29 c intension x[122] != x[198] using generic constraint 2.09/2.29 c intension x[122] != x[199] using generic constraint 2.09/2.29 c intension x[122] != x[203] using generic constraint 2.09/2.29 c intension x[122] != x[225] using generic constraint 2.09/2.29 c intension x[122] != x[229] using generic constraint 2.09/2.29 c intension x[122] != x[237] using generic constraint 2.19/2.30 c intension x[122] != x[239] using generic constraint 2.19/2.30 c intension x[122] != x[240] using generic constraint 2.19/2.30 c intension x[122] != x[242] using generic constraint 2.19/2.30 c intension x[123] != x[125] using generic constraint 2.19/2.30 c intension x[123] != x[143] using generic constraint 2.19/2.30 c intension x[123] != x[150] using generic constraint 2.19/2.30 c intension x[123] != x[151] using generic constraint 2.19/2.30 c intension x[123] != x[166] using generic constraint 2.19/2.30 c intension x[123] != x[168] using generic constraint 2.19/2.30 c intension x[123] != x[171] using generic constraint 2.19/2.31 c intension x[123] != x[173] using generic constraint 2.19/2.31 c intension x[123] != x[182] using generic constraint 2.19/2.31 c intension x[123] != x[196] using generic constraint 2.19/2.31 c intension x[123] != x[207] using generic constraint 2.19/2.31 c intension x[123] != x[215] using generic constraint 2.19/2.31 c intension x[123] != x[222] using generic constraint 2.19/2.31 c intension x[123] != x[242] using generic constraint 2.19/2.31 c intension x[123] != x[245] using generic constraint 2.19/2.31 c intension x[124] != x[125] using generic constraint 2.19/2.31 c intension x[124] != x[136] using generic constraint 2.19/2.31 c intension x[124] != x[162] using generic constraint 2.19/2.32 c intension x[124] != x[174] using generic constraint 2.19/2.32 c intension x[124] != x[181] using generic constraint 2.19/2.32 c intension x[124] != x[189] using generic constraint 2.19/2.32 c intension x[124] != x[196] using generic constraint 2.19/2.32 c intension x[124] != x[205] using generic constraint 2.19/2.32 c intension x[124] != x[218] using generic constraint 2.19/2.32 c intension x[124] != x[229] using generic constraint 2.19/2.32 c intension x[124] != x[234] using generic constraint 2.19/2.32 c intension x[124] != x[248] using generic constraint 2.19/2.32 c intension x[125] != x[131] using generic constraint 2.19/2.32 c intension x[125] != x[147] using generic constraint 2.19/2.33 c intension x[125] != x[152] using generic constraint 2.19/2.33 c intension x[125] != x[166] using generic constraint 2.19/2.33 c intension x[125] != x[187] using generic constraint 2.19/2.33 c intension x[125] != x[193] using generic constraint 2.19/2.33 c intension x[125] != x[194] using generic constraint 2.19/2.33 c intension x[125] != x[215] using generic constraint 2.19/2.33 c intension x[125] != x[229] using generic constraint 2.19/2.33 c intension x[125] != x[237] using generic constraint 2.19/2.33 c intension x[125] != x[245] using generic constraint 2.19/2.33 c intension x[126] != x[153] using generic constraint 2.19/2.33 c intension x[126] != x[164] using generic constraint 2.19/2.34 c intension x[126] != x[171] using generic constraint 2.19/2.34 c intension x[126] != x[187] using generic constraint 2.19/2.34 c intension x[126] != x[197] using generic constraint 2.19/2.34 c intension x[126] != x[199] using generic constraint 2.19/2.34 c intension x[126] != x[216] using generic constraint 2.19/2.34 c intension x[126] != x[218] using generic constraint 2.19/2.34 c intension x[126] != x[227] using generic constraint 2.19/2.34 c intension x[126] != x[242] using generic constraint 2.19/2.34 c intension x[127] != x[129] using generic constraint 2.19/2.34 c intension x[127] != x[140] using generic constraint 2.19/2.34 c intension x[127] != x[153] using generic constraint 2.19/2.34 c intension x[127] != x[190] using generic constraint 2.19/2.35 c intension x[127] != x[192] using generic constraint 2.19/2.35 c intension x[127] != x[206] using generic constraint 2.19/2.35 c intension x[127] != x[218] using generic constraint 2.19/2.35 c intension x[127] != x[241] using generic constraint 2.19/2.35 c intension x[127] != x[242] using generic constraint 2.19/2.35 c intension x[128] != x[131] using generic constraint 2.19/2.35 c intension x[128] != x[146] using generic constraint 2.19/2.35 c intension x[128] != x[149] using generic constraint 2.19/2.35 c intension x[128] != x[170] using generic constraint 2.19/2.35 c intension x[128] != x[180] using generic constraint 2.19/2.35 c intension x[128] != x[184] using generic constraint 2.19/2.36 c intension x[128] != x[187] using generic constraint 2.19/2.36 c intension x[128] != x[189] using generic constraint 2.19/2.36 c intension x[128] != x[191] using generic constraint 2.19/2.36 c intension x[128] != x[193] using generic constraint 2.19/2.36 c intension x[128] != x[209] using generic constraint 2.19/2.36 c intension x[128] != x[243] using generic constraint 2.19/2.36 c intension x[128] != x[245] using generic constraint 2.19/2.36 c intension x[128] != x[248] using generic constraint 2.19/2.36 c intension x[129] != x[141] using generic constraint 2.19/2.36 c intension x[129] != x[152] using generic constraint 2.19/2.36 c intension x[129] != x[156] using generic constraint 2.19/2.37 c intension x[129] != x[160] using generic constraint 2.19/2.37 c intension x[129] != x[168] using generic constraint 2.19/2.37 c intension x[129] != x[175] using generic constraint 2.19/2.37 c intension x[129] != x[200] using generic constraint 2.19/2.37 c intension x[129] != x[214] using generic constraint 2.19/2.37 c intension x[129] != x[231] using generic constraint 2.19/2.37 c intension x[130] != x[135] using generic constraint 2.19/2.37 c intension x[130] != x[148] using generic constraint 2.19/2.37 c intension x[130] != x[178] using generic constraint 2.19/2.37 c intension x[130] != x[180] using generic constraint 2.19/2.37 c intension x[130] != x[205] using generic constraint 2.19/2.38 c intension x[130] != x[209] using generic constraint 2.19/2.38 c intension x[130] != x[214] using generic constraint 2.19/2.38 c intension x[130] != x[241] using generic constraint 2.19/2.38 c intension x[131] != x[149] using generic constraint 2.19/2.38 c intension x[131] != x[153] using generic constraint 2.19/2.38 c intension x[131] != x[163] using generic constraint 2.19/2.38 c intension x[131] != x[165] using generic constraint 2.19/2.38 c intension x[131] != x[200] using generic constraint 2.19/2.38 c intension x[131] != x[205] using generic constraint 2.19/2.38 c intension x[131] != x[216] using generic constraint 2.19/2.38 c intension x[131] != x[245] using generic constraint 2.19/2.39 c intension x[131] != x[249] using generic constraint 2.19/2.39 c intension x[132] != x[148] using generic constraint 2.19/2.39 c intension x[132] != x[152] using generic constraint 2.19/2.39 c intension x[132] != x[177] using generic constraint 2.19/2.39 c intension x[132] != x[202] using generic constraint 2.19/2.39 c intension x[132] != x[213] using generic constraint 2.19/2.39 c intension x[132] != x[221] using generic constraint 2.19/2.39 c intension x[132] != x[223] using generic constraint 2.19/2.39 c intension x[132] != x[231] using generic constraint 2.19/2.39 c intension x[132] != x[234] using generic constraint 2.19/2.39 c intension x[132] != x[244] using generic constraint 2.19/2.40 c intension x[133] != x[145] using generic constraint 2.29/2.40 c intension x[133] != x[146] using generic constraint 2.29/2.40 c intension x[133] != x[147] using generic constraint 2.29/2.40 c intension x[133] != x[157] using generic constraint 2.29/2.40 c intension x[133] != x[159] using generic constraint 2.29/2.40 c intension x[133] != x[160] using generic constraint 2.29/2.40 c intension x[133] != x[174] using generic constraint 2.29/2.40 c intension x[133] != x[184] using generic constraint 2.29/2.40 c intension x[133] != x[187] using generic constraint 2.29/2.40 c intension x[133] != x[211] using generic constraint 2.29/2.40 c intension x[133] != x[227] using generic constraint 2.29/2.41 c intension x[133] != x[233] using generic constraint 2.29/2.41 c intension x[133] != x[244] using generic constraint 2.29/2.41 c intension x[133] != x[248] using generic constraint 2.29/2.41 c intension x[134] != x[143] using generic constraint 2.29/2.41 c intension x[134] != x[151] using generic constraint 2.29/2.41 c intension x[134] != x[158] using generic constraint 2.29/2.41 c intension x[134] != x[166] using generic constraint 2.29/2.41 c intension x[134] != x[170] using generic constraint 2.29/2.41 c intension x[134] != x[195] using generic constraint 2.29/2.41 c intension x[134] != x[196] using generic constraint 2.29/2.41 c intension x[134] != x[209] using generic constraint 2.29/2.42 c intension x[134] != x[212] using generic constraint 2.29/2.42 c intension x[134] != x[213] using generic constraint 2.29/2.42 c intension x[134] != x[222] using generic constraint 2.29/2.42 c intension x[134] != x[233] using generic constraint 2.29/2.42 c intension x[134] != x[238] using generic constraint 2.29/2.42 c intension x[134] != x[246] using generic constraint 2.29/2.42 c intension x[135] != x[145] using generic constraint 2.29/2.42 c intension x[135] != x[151] using generic constraint 2.29/2.42 c intension x[135] != x[176] using generic constraint 2.29/2.42 c intension x[135] != x[179] using generic constraint 2.29/2.42 c intension x[135] != x[188] using generic constraint 2.29/2.43 c intension x[135] != x[210] using generic constraint 2.29/2.43 c intension x[135] != x[220] using generic constraint 2.29/2.43 c intension x[135] != x[224] using generic constraint 2.29/2.43 c intension x[135] != x[230] using generic constraint 2.29/2.43 c intension x[135] != x[247] using generic constraint 2.29/2.43 c intension x[136] != x[138] using generic constraint 2.29/2.43 c intension x[136] != x[142] using generic constraint 2.29/2.43 c intension x[136] != x[143] using generic constraint 2.29/2.43 c intension x[136] != x[150] using generic constraint 2.29/2.43 c intension x[136] != x[151] using generic constraint 2.29/2.43 c intension x[136] != x[155] using generic constraint 2.29/2.44 c intension x[136] != x[170] using generic constraint 2.29/2.44 c intension x[136] != x[178] using generic constraint 2.29/2.44 c intension x[136] != x[184] using generic constraint 2.29/2.44 c intension x[136] != x[185] using generic constraint 2.29/2.44 c intension x[136] != x[201] using generic constraint 2.29/2.44 c intension x[136] != x[202] using generic constraint 2.29/2.44 c intension x[136] != x[213] using generic constraint 2.29/2.44 c intension x[136] != x[214] using generic constraint 2.29/2.44 c intension x[136] != x[229] using generic constraint 2.29/2.44 c intension x[136] != x[249] using generic constraint 2.29/2.44 c intension x[137] != x[170] using generic constraint 2.29/2.45 c intension x[137] != x[178] using generic constraint 2.29/2.45 c intension x[137] != x[181] using generic constraint 2.29/2.45 c intension x[137] != x[189] using generic constraint 2.29/2.45 c intension x[137] != x[190] using generic constraint 2.29/2.45 c intension x[137] != x[205] using generic constraint 2.29/2.45 c intension x[137] != x[230] using generic constraint 2.29/2.45 c intension x[137] != x[236] using generic constraint 2.29/2.45 c intension x[137] != x[238] using generic constraint 2.29/2.45 c intension x[137] != x[249] using generic constraint 2.29/2.45 c intension x[138] != x[143] using generic constraint 2.29/2.45 c intension x[138] != x[148] using generic constraint 2.29/2.46 c intension x[138] != x[154] using generic constraint 2.29/2.46 c intension x[138] != x[156] using generic constraint 2.29/2.46 c intension x[138] != x[170] using generic constraint 2.29/2.46 c intension x[138] != x[178] using generic constraint 2.29/2.46 c intension x[138] != x[189] using generic constraint 2.29/2.46 c intension x[138] != x[192] using generic constraint 2.29/2.46 c intension x[138] != x[196] using generic constraint 2.29/2.46 c intension x[138] != x[204] using generic constraint 2.29/2.46 c intension x[138] != x[222] using generic constraint 2.29/2.46 c intension x[138] != x[237] using generic constraint 2.29/2.46 c intension x[138] != x[239] using generic constraint 2.29/2.47 c intension x[139] != x[140] using generic constraint 2.29/2.47 c intension x[139] != x[160] using generic constraint 2.29/2.47 c intension x[139] != x[170] using generic constraint 2.29/2.47 c intension x[139] != x[173] using generic constraint 2.29/2.47 c intension x[139] != x[181] using generic constraint 2.29/2.47 c intension x[139] != x[196] using generic constraint 2.29/2.47 c intension x[139] != x[203] using generic constraint 2.29/2.47 c intension x[139] != x[234] using generic constraint 2.29/2.47 c intension x[139] != x[244] using generic constraint 2.29/2.47 c intension x[140] != x[143] using generic constraint 2.29/2.47 c intension x[140] != x[156] using generic constraint 2.29/2.47 c intension x[140] != x[157] using generic constraint 2.29/2.48 c intension x[140] != x[175] using generic constraint 2.29/2.48 c intension x[140] != x[178] using generic constraint 2.29/2.48 c intension x[140] != x[183] using generic constraint 2.29/2.48 c intension x[140] != x[188] using generic constraint 2.29/2.48 c intension x[140] != x[196] using generic constraint 2.29/2.48 c intension x[140] != x[205] using generic constraint 2.29/2.48 c intension x[140] != x[226] using generic constraint 2.29/2.48 c intension x[140] != x[239] using generic constraint 2.29/2.48 c intension x[141] != x[148] using generic constraint 2.29/2.48 c intension x[141] != x[189] using generic constraint 2.29/2.48 c intension x[141] != x[191] using generic constraint 2.29/2.49 c intension x[141] != x[192] using generic constraint 2.29/2.49 c intension x[141] != x[200] using generic constraint 2.29/2.49 c intension x[141] != x[223] using generic constraint 2.29/2.49 c intension x[141] != x[226] using generic constraint 2.29/2.49 c intension x[141] != x[247] using generic constraint 2.29/2.49 c intension x[142] != x[164] using generic constraint 2.29/2.49 c intension x[142] != x[167] using generic constraint 2.29/2.49 c intension x[142] != x[175] using generic constraint 2.29/2.49 c intension x[142] != x[179] using generic constraint 2.29/2.49 c intension x[142] != x[194] using generic constraint 2.29/2.49 c intension x[142] != x[195] using generic constraint 2.39/2.50 c intension x[142] != x[196] using generic constraint 2.39/2.50 c intension x[142] != x[207] using generic constraint 2.39/2.50 c intension x[142] != x[214] using generic constraint 2.39/2.50 c intension x[142] != x[219] using generic constraint 2.39/2.50 c intension x[142] != x[237] using generic constraint 2.39/2.50 c intension x[142] != x[238] using generic constraint 2.39/2.50 c intension x[143] != x[150] using generic constraint 2.39/2.50 c intension x[143] != x[151] using generic constraint 2.39/2.50 c intension x[143] != x[152] using generic constraint 2.39/2.50 c intension x[143] != x[158] using generic constraint 2.39/2.50 c intension x[143] != x[179] using generic constraint 2.39/2.51 c intension x[143] != x[205] using generic constraint 2.39/2.51 c intension x[143] != x[212] using generic constraint 2.39/2.51 c intension x[143] != x[223] using generic constraint 2.39/2.51 c intension x[143] != x[235] using generic constraint 2.39/2.51 c intension x[143] != x[244] using generic constraint 2.39/2.51 c intension x[143] != x[247] using generic constraint 2.39/2.51 c intension x[144] != x[149] using generic constraint 2.39/2.51 c intension x[144] != x[154] using generic constraint 2.39/2.51 c intension x[144] != x[171] using generic constraint 2.39/2.51 c intension x[144] != x[176] using generic constraint 2.39/2.51 c intension x[144] != x[182] using generic constraint 2.39/2.52 c intension x[144] != x[186] using generic constraint 2.39/2.52 c intension x[144] != x[196] using generic constraint 2.39/2.52 c intension x[144] != x[202] using generic constraint 2.39/2.52 c intension x[144] != x[204] using generic constraint 2.39/2.52 c intension x[144] != x[218] using generic constraint 2.39/2.52 c intension x[144] != x[227] using generic constraint 2.39/2.52 c intension x[145] != x[153] using generic constraint 2.39/2.52 c intension x[145] != x[164] using generic constraint 2.39/2.52 c intension x[145] != x[190] using generic constraint 2.39/2.52 c intension x[145] != x[191] using generic constraint 2.39/2.52 c intension x[145] != x[201] using generic constraint 2.39/2.53 c intension x[145] != x[211] using generic constraint 2.39/2.53 c intension x[145] != x[220] using generic constraint 2.39/2.53 c intension x[145] != x[228] using generic constraint 2.39/2.53 c intension x[145] != x[230] using generic constraint 2.39/2.53 c intension x[145] != x[234] using generic constraint 2.39/2.53 c intension x[145] != x[240] using generic constraint 2.39/2.53 c intension x[146] != x[150] using generic constraint 2.39/2.53 c intension x[146] != x[151] using generic constraint 2.39/2.53 c intension x[146] != x[155] using generic constraint 2.39/2.53 c intension x[146] != x[159] using generic constraint 2.39/2.53 c intension x[146] != x[165] using generic constraint 2.39/2.54 c intension x[146] != x[174] using generic constraint 2.39/2.54 c intension x[146] != x[182] using generic constraint 2.39/2.54 c intension x[146] != x[183] using generic constraint 2.39/2.54 c intension x[146] != x[197] using generic constraint 2.39/2.54 c intension x[146] != x[219] using generic constraint 2.39/2.54 c intension x[146] != x[221] using generic constraint 2.39/2.54 c intension x[146] != x[227] using generic constraint 2.39/2.54 c intension x[146] != x[237] using generic constraint 2.39/2.54 c intension x[146] != x[240] using generic constraint 2.39/2.54 c intension x[146] != x[246] using generic constraint 2.39/2.54 c intension x[147] != x[165] using generic constraint 2.39/2.55 c intension x[147] != x[166] using generic constraint 2.39/2.55 c intension x[147] != x[171] using generic constraint 2.39/2.55 c intension x[147] != x[208] using generic constraint 2.39/2.55 c intension x[147] != x[227] using generic constraint 2.39/2.55 c intension x[148] != x[159] using generic constraint 2.39/2.55 c intension x[148] != x[163] using generic constraint 2.39/2.55 c intension x[148] != x[179] using generic constraint 2.39/2.55 c intension x[148] != x[180] using generic constraint 2.39/2.55 c intension x[148] != x[186] using generic constraint 2.39/2.55 c intension x[149] != x[152] using generic constraint 2.39/2.55 c intension x[149] != x[164] using generic constraint 2.39/2.56 c intension x[149] != x[182] using generic constraint 2.39/2.56 c intension x[149] != x[205] using generic constraint 2.39/2.56 c intension x[149] != x[206] using generic constraint 2.39/2.56 c intension x[149] != x[213] using generic constraint 2.39/2.56 c intension x[149] != x[221] using generic constraint 2.39/2.56 c intension x[149] != x[222] using generic constraint 2.39/2.56 c intension x[149] != x[229] using generic constraint 2.39/2.56 c intension x[149] != x[231] using generic constraint 2.39/2.56 c intension x[149] != x[237] using generic constraint 2.39/2.56 c intension x[149] != x[240] using generic constraint 2.39/2.56 c intension x[149] != x[244] using generic constraint 2.39/2.57 c intension x[149] != x[249] using generic constraint 2.39/2.57 c intension x[150] != x[151] using generic constraint 2.39/2.57 c intension x[150] != x[163] using generic constraint 2.39/2.57 c intension x[150] != x[174] using generic constraint 2.39/2.57 c intension x[150] != x[177] using generic constraint 2.39/2.57 c intension x[150] != x[178] using generic constraint 2.39/2.57 c intension x[150] != x[180] using generic constraint 2.39/2.57 c intension x[150] != x[185] using generic constraint 2.39/2.57 c intension x[150] != x[192] using generic constraint 2.39/2.57 c intension x[150] != x[220] using generic constraint 2.39/2.57 c intension x[150] != x[224] using generic constraint 2.39/2.58 c intension x[150] != x[230] using generic constraint 2.39/2.58 c intension x[150] != x[243] using generic constraint 2.39/2.58 c intension x[151] != x[167] using generic constraint 2.39/2.58 c intension x[151] != x[168] using generic constraint 2.39/2.58 c intension x[151] != x[172] using generic constraint 2.39/2.58 c intension x[151] != x[190] using generic constraint 2.39/2.58 c intension x[151] != x[194] using generic constraint 2.39/2.58 c intension x[151] != x[218] using generic constraint 2.39/2.58 c intension x[151] != x[226] using generic constraint 2.39/2.58 c intension x[151] != x[234] using generic constraint 2.39/2.58 c intension x[152] != x[153] using generic constraint 2.39/2.59 c intension x[152] != x[155] using generic constraint 2.39/2.59 c intension x[152] != x[170] using generic constraint 2.39/2.59 c intension x[152] != x[172] using generic constraint 2.39/2.59 c intension x[152] != x[175] using generic constraint 2.39/2.59 c intension x[152] != x[179] using generic constraint 2.39/2.59 c intension x[152] != x[180] using generic constraint 2.39/2.59 c intension x[152] != x[188] using generic constraint 2.39/2.59 c intension x[152] != x[194] using generic constraint 2.39/2.59 c intension x[152] != x[209] using generic constraint 2.39/2.59 c intension x[152] != x[211] using generic constraint 2.39/2.59 c intension x[152] != x[237] using generic constraint 2.39/2.60 c intension x[152] != x[238] using generic constraint 2.49/2.60 c intension x[152] != x[243] using generic constraint 2.49/2.60 c intension x[152] != x[247] using generic constraint 2.49/2.60 c intension x[153] != x[166] using generic constraint 2.49/2.60 c intension x[153] != x[190] using generic constraint 2.49/2.60 c intension x[153] != x[192] using generic constraint 2.49/2.60 c intension x[153] != x[204] using generic constraint 2.49/2.60 c intension x[153] != x[211] using generic constraint 2.49/2.60 c intension x[153] != x[218] using generic constraint 2.49/2.60 c intension x[153] != x[225] using generic constraint 2.49/2.60 c intension x[153] != x[226] using generic constraint 2.49/2.61 c intension x[153] != x[230] using generic constraint 2.49/2.61 c intension x[153] != x[234] using generic constraint 2.49/2.61 c intension x[153] != x[239] using generic constraint 2.49/2.61 c intension x[153] != x[248] using generic constraint 2.49/2.61 c intension x[154] != x[156] using generic constraint 2.49/2.61 c intension x[154] != x[160] using generic constraint 2.49/2.61 c intension x[154] != x[168] using generic constraint 2.49/2.61 c intension x[154] != x[180] using generic constraint 2.49/2.61 c intension x[154] != x[196] using generic constraint 2.49/2.61 c intension x[154] != x[235] using generic constraint 2.49/2.61 c intension x[154] != x[239] using generic constraint 2.49/2.62 c intension x[154] != x[242] using generic constraint 2.49/2.62 c intension x[154] != x[246] using generic constraint 2.49/2.62 c intension x[155] != x[157] using generic constraint 2.49/2.62 c intension x[155] != x[163] using generic constraint 2.49/2.62 c intension x[155] != x[166] using generic constraint 2.49/2.62 c intension x[155] != x[169] using generic constraint 2.49/2.62 c intension x[155] != x[170] using generic constraint 2.49/2.62 c intension x[155] != x[185] using generic constraint 2.49/2.62 c intension x[155] != x[186] using generic constraint 2.49/2.62 c intension x[155] != x[188] using generic constraint 2.49/2.62 c intension x[155] != x[190] using generic constraint 2.49/2.63 c intension x[155] != x[191] using generic constraint 2.49/2.63 c intension x[155] != x[199] using generic constraint 2.49/2.63 c intension x[155] != x[203] using generic constraint 2.49/2.63 c intension x[155] != x[207] using generic constraint 2.49/2.63 c intension x[155] != x[228] using generic constraint 2.49/2.63 c intension x[155] != x[236] using generic constraint 2.49/2.63 c intension x[155] != x[238] using generic constraint 2.49/2.63 c intension x[155] != x[242] using generic constraint 2.49/2.63 c intension x[155] != x[243] using generic constraint 2.49/2.63 c intension x[156] != x[157] using generic constraint 2.49/2.63 c intension x[156] != x[161] using generic constraint 2.49/2.64 c intension x[156] != x[163] using generic constraint 2.49/2.64 c intension x[156] != x[165] using generic constraint 2.49/2.64 c intension x[156] != x[196] using generic constraint 2.49/2.64 c intension x[156] != x[198] using generic constraint 2.49/2.64 c intension x[156] != x[206] using generic constraint 2.49/2.64 c intension x[156] != x[208] using generic constraint 2.49/2.64 c intension x[156] != x[220] using generic constraint 2.49/2.64 c intension x[156] != x[224] using generic constraint 2.49/2.64 c intension x[156] != x[247] using generic constraint 2.49/2.64 c intension x[157] != x[162] using generic constraint 2.49/2.64 c intension x[157] != x[166] using generic constraint 2.49/2.65 c intension x[157] != x[178] using generic constraint 2.49/2.65 c intension x[157] != x[182] using generic constraint 2.49/2.65 c intension x[157] != x[185] using generic constraint 2.49/2.65 c intension x[157] != x[188] using generic constraint 2.49/2.65 c intension x[157] != x[195] using generic constraint 2.49/2.65 c intension x[157] != x[196] using generic constraint 2.49/2.65 c intension x[157] != x[207] using generic constraint 2.49/2.65 c intension x[157] != x[224] using generic constraint 2.49/2.65 c intension x[157] != x[234] using generic constraint 2.49/2.65 c intension x[158] != x[166] using generic constraint 2.49/2.65 c intension x[158] != x[167] using generic constraint 2.49/2.66 c intension x[158] != x[169] using generic constraint 2.49/2.66 c intension x[158] != x[181] using generic constraint 2.49/2.66 c intension x[158] != x[188] using generic constraint 2.49/2.66 c intension x[158] != x[200] using generic constraint 2.49/2.66 c intension x[158] != x[203] using generic constraint 2.49/2.66 c intension x[158] != x[211] using generic constraint 2.49/2.66 c intension x[158] != x[217] using generic constraint 2.49/2.66 c intension x[158] != x[223] using generic constraint 2.49/2.66 c intension x[158] != x[224] using generic constraint 2.49/2.66 c intension x[158] != x[233] using generic constraint 2.49/2.66 c intension x[158] != x[234] using generic constraint 2.49/2.67 c intension x[158] != x[237] using generic constraint 2.49/2.67 c intension x[158] != x[239] using generic constraint 2.49/2.67 c intension x[158] != x[244] using generic constraint 2.49/2.67 c intension x[158] != x[246] using generic constraint 2.49/2.67 c intension x[158] != x[249] using generic constraint 2.49/2.67 c intension x[159] != x[162] using generic constraint 2.49/2.67 c intension x[159] != x[180] using generic constraint 2.49/2.67 c intension x[159] != x[181] using generic constraint 2.49/2.67 c intension x[159] != x[189] using generic constraint 2.49/2.67 c intension x[159] != x[194] using generic constraint 2.49/2.67 c intension x[159] != x[223] using generic constraint 2.49/2.67 c intension x[159] != x[225] using generic constraint 2.49/2.68 c intension x[159] != x[227] using generic constraint 2.49/2.68 c intension x[160] != x[171] using generic constraint 2.49/2.68 c intension x[160] != x[180] using generic constraint 2.49/2.68 c intension x[160] != x[191] using generic constraint 2.49/2.68 c intension x[160] != x[202] using generic constraint 2.49/2.68 c intension x[160] != x[203] using generic constraint 2.49/2.68 c intension x[160] != x[207] using generic constraint 2.49/2.68 c intension x[160] != x[211] using generic constraint 2.49/2.68 c intension x[160] != x[216] using generic constraint 2.49/2.68 c intension x[160] != x[220] using generic constraint 2.49/2.68 c intension x[160] != x[226] using generic constraint 2.49/2.69 c intension x[160] != x[230] using generic constraint 2.49/2.69 c intension x[160] != x[235] using generic constraint 2.49/2.69 c intension x[160] != x[241] using generic constraint 2.49/2.69 c intension x[160] != x[243] using generic constraint 2.49/2.69 c intension x[161] != x[163] using generic constraint 2.49/2.69 c intension x[161] != x[174] using generic constraint 2.49/2.69 c intension x[161] != x[185] using generic constraint 2.49/2.69 c intension x[161] != x[187] using generic constraint 2.49/2.69 c intension x[161] != x[216] using generic constraint 2.49/2.69 c intension x[161] != x[237] using generic constraint 2.49/2.69 c intension x[161] != x[238] using generic constraint 2.59/2.70 c intension x[161] != x[240] using generic constraint 2.59/2.70 c intension x[161] != x[243] using generic constraint 2.59/2.70 c intension x[161] != x[245] using generic constraint 2.59/2.70 c intension x[161] != x[246] using generic constraint 2.59/2.70 c intension x[161] != x[249] using generic constraint 2.59/2.70 c intension x[162] != x[187] using generic constraint 2.59/2.70 c intension x[162] != x[197] using generic constraint 2.59/2.70 c intension x[162] != x[211] using generic constraint 2.59/2.70 c intension x[162] != x[216] using generic constraint 2.59/2.70 c intension x[162] != x[228] using generic constraint 2.59/2.70 c intension x[162] != x[248] using generic constraint 2.59/2.71 c intension x[163] != x[174] using generic constraint 2.59/2.71 c intension x[163] != x[178] using generic constraint 2.59/2.71 c intension x[163] != x[181] using generic constraint 2.59/2.71 c intension x[163] != x[185] using generic constraint 2.59/2.71 c intension x[163] != x[189] using generic constraint 2.59/2.71 c intension x[163] != x[203] using generic constraint 2.59/2.71 c intension x[163] != x[205] using generic constraint 2.59/2.71 c intension x[163] != x[216] using generic constraint 2.59/2.71 c intension x[163] != x[222] using generic constraint 2.59/2.71 c intension x[163] != x[229] using generic constraint 2.59/2.71 c intension x[163] != x[234] using generic constraint 2.59/2.72 c intension x[163] != x[240] using generic constraint 2.59/2.72 c intension x[163] != x[245] using generic constraint 2.59/2.72 c intension x[164] != x[167] using generic constraint 2.59/2.72 c intension x[164] != x[195] using generic constraint 2.59/2.72 c intension x[164] != x[231] using generic constraint 2.59/2.72 c intension x[164] != x[234] using generic constraint 2.59/2.72 c intension x[164] != x[244] using generic constraint 2.59/2.72 c intension x[164] != x[248] using generic constraint 2.59/2.72 c intension x[165] != x[177] using generic constraint 2.59/2.72 c intension x[165] != x[183] using generic constraint 2.59/2.72 c intension x[165] != x[197] using generic constraint 2.59/2.73 c intension x[165] != x[203] using generic constraint 2.59/2.73 c intension x[165] != x[205] using generic constraint 2.59/2.73 c intension x[165] != x[211] using generic constraint 2.59/2.73 c intension x[165] != x[221] using generic constraint 2.59/2.73 c intension x[165] != x[229] using generic constraint 2.59/2.73 c intension x[165] != x[239] using generic constraint 2.59/2.73 c intension x[165] != x[244] using generic constraint 2.59/2.73 c intension x[165] != x[247] using generic constraint 2.59/2.73 c intension x[165] != x[248] using generic constraint 2.59/2.73 c intension x[166] != x[197] using generic constraint 2.59/2.73 c intension x[166] != x[199] using generic constraint 2.59/2.74 c intension x[167] != x[169] using generic constraint 2.59/2.74 c intension x[167] != x[179] using generic constraint 2.59/2.74 c intension x[167] != x[181] using generic constraint 2.59/2.74 c intension x[167] != x[197] using generic constraint 2.59/2.74 c intension x[167] != x[209] using generic constraint 2.59/2.74 c intension x[167] != x[212] using generic constraint 2.59/2.74 c intension x[167] != x[235] using generic constraint 2.59/2.74 c intension x[168] != x[173] using generic constraint 2.59/2.74 c intension x[168] != x[188] using generic constraint 2.59/2.74 c intension x[168] != x[189] using generic constraint 2.59/2.74 c intension x[168] != x[209] using generic constraint 2.59/2.75 c intension x[168] != x[216] using generic constraint 2.59/2.75 c intension x[168] != x[219] using generic constraint 2.59/2.75 c intension x[168] != x[227] using generic constraint 2.59/2.75 c intension x[168] != x[232] using generic constraint 2.59/2.75 c intension x[168] != x[243] using generic constraint 2.59/2.75 c intension x[168] != x[249] using generic constraint 2.59/2.75 c intension x[169] != x[171] using generic constraint 2.59/2.75 c intension x[169] != x[175] using generic constraint 2.59/2.75 c intension x[169] != x[185] using generic constraint 2.59/2.75 c intension x[169] != x[235] using generic constraint 2.59/2.75 c intension x[170] != x[176] using generic constraint 2.59/2.76 c intension x[170] != x[210] using generic constraint 2.59/2.76 c intension x[170] != x[211] using generic constraint 2.59/2.76 c intension x[170] != x[228] using generic constraint 2.59/2.76 c intension x[170] != x[233] using generic constraint 2.59/2.76 c intension x[170] != x[234] using generic constraint 2.59/2.76 c intension x[170] != x[236] using generic constraint 2.59/2.76 c intension x[170] != x[242] using generic constraint 2.59/2.76 c intension x[170] != x[246] using generic constraint 2.59/2.76 c intension x[171] != x[182] using generic constraint 2.59/2.76 c intension x[171] != x[192] using generic constraint 2.59/2.76 c intension x[171] != x[203] using generic constraint 2.59/2.77 c intension x[171] != x[208] using generic constraint 2.59/2.77 c intension x[171] != x[212] using generic constraint 2.59/2.77 c intension x[171] != x[228] using generic constraint 2.59/2.77 c intension x[171] != x[231] using generic constraint 2.59/2.77 c intension x[171] != x[235] using generic constraint 2.59/2.77 c intension x[171] != x[246] using generic constraint 2.59/2.77 c intension x[172] != x[182] using generic constraint 2.59/2.77 c intension x[172] != x[188] using generic constraint 2.59/2.77 c intension x[172] != x[211] using generic constraint 2.59/2.77 c intension x[172] != x[221] using generic constraint 2.59/2.77 c intension x[172] != x[231] using generic constraint 2.59/2.78 c intension x[172] != x[249] using generic constraint 2.59/2.78 c intension x[173] != x[176] using generic constraint 2.59/2.78 c intension x[173] != x[183] using generic constraint 2.59/2.78 c intension x[173] != x[194] using generic constraint 2.59/2.78 c intension x[173] != x[203] using generic constraint 2.59/2.78 c intension x[173] != x[213] using generic constraint 2.59/2.78 c intension x[173] != x[217] using generic constraint 2.59/2.78 c intension x[173] != x[218] using generic constraint 2.59/2.78 c intension x[173] != x[233] using generic constraint 2.59/2.78 c intension x[173] != x[239] using generic constraint 2.59/2.78 c intension x[174] != x[203] using generic constraint 2.59/2.78 c intension x[174] != x[214] using generic constraint 2.59/2.79 c intension x[174] != x[215] using generic constraint 2.59/2.79 c intension x[174] != x[236] using generic constraint 2.59/2.79 c intension x[175] != x[176] using generic constraint 2.59/2.79 c intension x[175] != x[193] using generic constraint 2.59/2.79 c intension x[175] != x[206] using generic constraint 2.59/2.79 c intension x[175] != x[227] using generic constraint 2.59/2.79 c intension x[175] != x[236] using generic constraint 2.59/2.79 c intension x[175] != x[237] using generic constraint 2.59/2.79 c intension x[175] != x[241] using generic constraint 2.59/2.79 c intension x[176] != x[188] using generic constraint 2.59/2.79 c intension x[176] != x[192] using generic constraint 2.69/2.80 c intension x[176] != x[200] using generic constraint 2.69/2.80 c intension x[176] != x[219] using generic constraint 2.69/2.80 c intension x[176] != x[227] using generic constraint 2.69/2.80 c intension x[176] != x[231] using generic constraint 2.69/2.80 c intension x[176] != x[237] using generic constraint 2.69/2.80 c intension x[176] != x[240] using generic constraint 2.69/2.80 c intension x[176] != x[246] using generic constraint 2.69/2.80 c intension x[177] != x[194] using generic constraint 2.69/2.80 c intension x[177] != x[198] using generic constraint 2.69/2.80 c intension x[178] != x[183] using generic constraint 2.69/2.80 c intension x[178] != x[192] using generic constraint 2.69/2.81 c intension x[178] != x[211] using generic constraint 2.69/2.81 c intension x[178] != x[215] using generic constraint 2.69/2.81 c intension x[178] != x[241] using generic constraint 2.69/2.81 c intension x[178] != x[244] using generic constraint 2.69/2.81 c intension x[179] != x[197] using generic constraint 2.69/2.81 c intension x[179] != x[233] using generic constraint 2.69/2.81 c intension x[180] != x[188] using generic constraint 2.69/2.81 c intension x[180] != x[208] using generic constraint 2.69/2.81 c intension x[180] != x[209] using generic constraint 2.69/2.81 c intension x[180] != x[236] using generic constraint 2.69/2.81 c intension x[180] != x[237] using generic constraint 2.69/2.82 c intension x[181] != x[182] using generic constraint 2.69/2.82 c intension x[181] != x[190] using generic constraint 2.69/2.82 c intension x[181] != x[202] using generic constraint 2.69/2.82 c intension x[181] != x[205] using generic constraint 2.69/2.82 c intension x[181] != x[212] using generic constraint 2.69/2.82 c intension x[181] != x[216] using generic constraint 2.69/2.82 c intension x[181] != x[218] using generic constraint 2.69/2.82 c intension x[181] != x[224] using generic constraint 2.69/2.82 c intension x[181] != x[231] using generic constraint 2.69/2.82 c intension x[181] != x[233] using generic constraint 2.69/2.82 c intension x[181] != x[235] using generic constraint 2.69/2.83 c intension x[181] != x[239] using generic constraint 2.69/2.83 c intension x[181] != x[248] using generic constraint 2.69/2.83 c intension x[182] != x[188] using generic constraint 2.69/2.83 c intension x[182] != x[194] using generic constraint 2.69/2.83 c intension x[182] != x[202] using generic constraint 2.69/2.83 c intension x[182] != x[217] using generic constraint 2.69/2.83 c intension x[182] != x[234] using generic constraint 2.69/2.83 c intension x[182] != x[235] using generic constraint 2.69/2.83 c intension x[182] != x[239] using generic constraint 2.69/2.83 c intension x[182] != x[247] using generic constraint 2.69/2.83 c intension x[183] != x[223] using generic constraint 2.69/2.84 c intension x[183] != x[236] using generic constraint 2.69/2.84 c intension x[183] != x[240] using generic constraint 2.69/2.84 c intension x[184] != x[187] using generic constraint 2.69/2.84 c intension x[184] != x[204] using generic constraint 2.69/2.84 c intension x[184] != x[213] using generic constraint 2.69/2.84 c intension x[184] != x[230] using generic constraint 2.69/2.84 c intension x[185] != x[194] using generic constraint 2.69/2.84 c intension x[185] != x[216] using generic constraint 2.69/2.84 c intension x[185] != x[232] using generic constraint 2.69/2.84 c intension x[185] != x[237] using generic constraint 2.69/2.84 c intension x[186] != x[190] using generic constraint 2.69/2.85 c intension x[186] != x[224] using generic constraint 2.69/2.85 c intension x[186] != x[232] using generic constraint 2.69/2.85 c intension x[186] != x[235] using generic constraint 2.69/2.85 c intension x[186] != x[238] using generic constraint 2.69/2.85 c intension x[186] != x[239] using generic constraint 2.69/2.85 c intension x[186] != x[241] using generic constraint 2.69/2.85 c intension x[186] != x[244] using generic constraint 2.69/2.85 c intension x[186] != x[249] using generic constraint 2.69/2.85 c intension x[187] != x[192] using generic constraint 2.69/2.85 c intension x[187] != x[197] using generic constraint 2.69/2.85 c intension x[187] != x[209] using generic constraint 2.69/2.86 c intension x[187] != x[220] using generic constraint 2.69/2.86 c intension x[187] != x[224] using generic constraint 2.69/2.86 c intension x[187] != x[246] using generic constraint 2.69/2.86 c intension x[188] != x[202] using generic constraint 2.69/2.86 c intension x[188] != x[219] using generic constraint 2.69/2.86 c intension x[188] != x[226] using generic constraint 2.69/2.86 c intension x[188] != x[231] using generic constraint 2.69/2.86 c intension x[189] != x[213] using generic constraint 2.69/2.86 c intension x[189] != x[217] using generic constraint 2.69/2.86 c intension x[189] != x[224] using generic constraint 2.69/2.86 c intension x[189] != x[239] using generic constraint 2.69/2.87 c intension x[189] != x[241] using generic constraint 2.69/2.87 c intension x[189] != x[247] using generic constraint 2.69/2.87 c intension x[190] != x[197] using generic constraint 2.69/2.87 c intension x[190] != x[204] using generic constraint 2.69/2.87 c intension x[190] != x[208] using generic constraint 2.69/2.87 c intension x[191] != x[198] using generic constraint 2.69/2.87 c intension x[191] != x[200] using generic constraint 2.69/2.87 c intension x[191] != x[235] using generic constraint 2.69/2.87 c intension x[191] != x[243] using generic constraint 2.69/2.87 c intension x[192] != x[197] using generic constraint 2.69/2.87 c intension x[192] != x[230] using generic constraint 2.69/2.88 c intension x[192] != x[235] using generic constraint 2.69/2.88 c intension x[193] != x[205] using generic constraint 2.69/2.88 c intension x[193] != x[213] using generic constraint 2.69/2.88 c intension x[193] != x[219] using generic constraint 2.69/2.88 c intension x[193] != x[236] using generic constraint 2.69/2.88 c intension x[194] != x[199] using generic constraint 2.69/2.88 c intension x[194] != x[202] using generic constraint 2.69/2.88 c intension x[194] != x[205] using generic constraint 2.69/2.88 c intension x[194] != x[207] using generic constraint 2.69/2.88 c intension x[194] != x[209] using generic constraint 2.69/2.88 c intension x[194] != x[216] using generic constraint 2.69/2.89 c intension x[194] != x[239] using generic constraint 2.69/2.89 c intension x[194] != x[247] using generic constraint 2.69/2.89 c intension x[195] != x[199] using generic constraint 2.69/2.89 c intension x[195] != x[205] using generic constraint 2.69/2.89 c intension x[195] != x[212] using generic constraint 2.69/2.89 c intension x[195] != x[221] using generic constraint 2.69/2.89 c intension x[195] != x[222] using generic constraint 2.69/2.89 c intension x[195] != x[235] using generic constraint 2.69/2.89 c intension x[195] != x[237] using generic constraint 2.69/2.89 c intension x[195] != x[241] using generic constraint 2.69/2.89 c intension x[195] != x[243] using generic constraint 2.69/2.89 c intension x[195] != x[248] using generic constraint 2.78/2.90 c intension x[196] != x[201] using generic constraint 2.78/2.90 c intension x[196] != x[203] using generic constraint 2.78/2.90 c intension x[196] != x[210] using generic constraint 2.78/2.90 c intension x[196] != x[214] using generic constraint 2.78/2.90 c intension x[196] != x[232] using generic constraint 2.78/2.90 c intension x[196] != x[246] using generic constraint 2.78/2.90 c intension x[196] != x[249] using generic constraint 2.78/2.90 c intension x[197] != x[198] using generic constraint 2.78/2.90 c intension x[197] != x[209] using generic constraint 2.78/2.90 c intension x[197] != x[222] using generic constraint 2.78/2.91 c intension x[197] != x[231] using generic constraint 2.78/2.91 c intension x[197] != x[241] using generic constraint 2.78/2.91 c intension x[197] != x[244] using generic constraint 2.78/2.91 c intension x[197] != x[245] using generic constraint 2.78/2.91 c intension x[198] != x[204] using generic constraint 2.78/2.91 c intension x[198] != x[209] using generic constraint 2.78/2.91 c intension x[198] != x[224] using generic constraint 2.78/2.91 c intension x[198] != x[241] using generic constraint 2.78/2.91 c intension x[199] != x[202] using generic constraint 2.78/2.91 c intension x[199] != x[207] using generic constraint 2.78/2.91 c intension x[199] != x[213] using generic constraint 2.78/2.92 c intension x[199] != x[216] using generic constraint 2.78/2.92 c intension x[199] != x[229] using generic constraint 2.78/2.92 c intension x[199] != x[242] using generic constraint 2.78/2.92 c intension x[200] != x[201] using generic constraint 2.78/2.92 c intension x[200] != x[206] using generic constraint 2.78/2.92 c intension x[200] != x[207] using generic constraint 2.78/2.92 c intension x[200] != x[218] using generic constraint 2.78/2.92 c intension x[200] != x[240] using generic constraint 2.78/2.92 c intension x[200] != x[241] using generic constraint 2.78/2.92 c intension x[200] != x[242] using generic constraint 2.78/2.92 c intension x[201] != x[220] using generic constraint 2.78/2.93 c intension x[201] != x[225] using generic constraint 2.78/2.93 c intension x[201] != x[231] using generic constraint 2.78/2.93 c intension x[202] != x[214] using generic constraint 2.78/2.93 c intension x[202] != x[222] using generic constraint 2.78/2.93 c intension x[202] != x[226] using generic constraint 2.78/2.93 c intension x[202] != x[229] using generic constraint 2.78/2.93 c intension x[202] != x[231] using generic constraint 2.78/2.93 c intension x[202] != x[234] using generic constraint 2.78/2.93 c intension x[202] != x[236] using generic constraint 2.78/2.93 c intension x[203] != x[207] using generic constraint 2.78/2.93 c intension x[203] != x[213] using generic constraint 2.78/2.94 c intension x[203] != x[233] using generic constraint 2.78/2.94 c intension x[203] != x[237] using generic constraint 2.78/2.94 c intension x[203] != x[240] using generic constraint 2.78/2.94 c intension x[204] != x[220] using generic constraint 2.78/2.94 c intension x[204] != x[227] using generic constraint 2.78/2.94 c intension x[204] != x[244] using generic constraint 2.78/2.94 c intension x[204] != x[246] using generic constraint 2.78/2.94 c intension x[204] != x[247] using generic constraint 2.78/2.94 c intension x[205] != x[213] using generic constraint 2.78/2.94 c intension x[205] != x[218] using generic constraint 2.78/2.94 c intension x[205] != x[221] using generic constraint 2.78/2.95 c intension x[205] != x[237] using generic constraint 2.78/2.95 c intension x[205] != x[240] using generic constraint 2.78/2.95 c intension x[205] != x[243] using generic constraint 2.78/2.95 c intension x[206] != x[221] using generic constraint 2.78/2.95 c intension x[206] != x[232] using generic constraint 2.78/2.95 c intension x[206] != x[233] using generic constraint 2.78/2.95 c intension x[206] != x[238] using generic constraint 2.78/2.95 c intension x[206] != x[241] using generic constraint 2.78/2.95 c intension x[207] != x[249] using generic constraint 2.78/2.95 c intension x[208] != x[214] using generic constraint 2.78/2.95 c intension x[208] != x[216] using generic constraint 2.78/2.96 c intension x[208] != x[218] using generic constraint 2.78/2.96 c intension x[208] != x[233] using generic constraint 2.78/2.96 c intension x[208] != x[235] using generic constraint 2.78/2.96 c intension x[208] != x[244] using generic constraint 2.78/2.96 c intension x[208] != x[248] using generic constraint 2.78/2.96 c intension x[209] != x[215] using generic constraint 2.78/2.96 c intension x[209] != x[222] using generic constraint 2.78/2.96 c intension x[209] != x[230] using generic constraint 2.78/2.96 c intension x[209] != x[231] using generic constraint 2.78/2.96 c intension x[209] != x[232] using generic constraint 2.78/2.96 c intension x[209] != x[235] using generic constraint 2.78/2.96 c intension x[210] != x[218] using generic constraint 2.78/2.97 c intension x[210] != x[223] using generic constraint 2.78/2.97 c intension x[210] != x[224] using generic constraint 2.78/2.97 c intension x[210] != x[246] using generic constraint 2.78/2.97 c intension x[210] != x[247] using generic constraint 2.78/2.97 c intension x[211] != x[223] using generic constraint 2.78/2.97 c intension x[211] != x[243] using generic constraint 2.78/2.97 c intension x[212] != x[219] using generic constraint 2.78/2.97 c intension x[212] != x[223] using generic constraint 2.78/2.97 c intension x[212] != x[224] using generic constraint 2.78/2.97 c intension x[212] != x[232] using generic constraint 2.78/2.97 c intension x[212] != x[237] using generic constraint 2.78/2.98 c intension x[212] != x[240] using generic constraint 2.78/2.98 c intension x[212] != x[241] using generic constraint 2.78/2.98 c intension x[212] != x[243] using generic constraint 2.78/2.98 c intension x[212] != x[244] using generic constraint 2.78/2.98 c intension x[213] != x[222] using generic constraint 2.78/2.98 c intension x[213] != x[240] using generic constraint 2.78/2.98 c intension x[213] != x[248] using generic constraint 2.78/2.98 c intension x[214] != x[221] using generic constraint 2.78/2.98 c intension x[214] != x[233] using generic constraint 2.78/2.98 c intension x[214] != x[234] using generic constraint 2.78/2.98 c intension x[214] != x[248] using generic constraint 2.78/2.99 c intension x[214] != x[249] using generic constraint 2.78/2.99 c intension x[215] != x[231] using generic constraint 2.78/2.99 c intension x[215] != x[236] using generic constraint 2.78/2.99 c intension x[216] != x[219] using generic constraint 2.78/2.99 c intension x[216] != x[226] using generic constraint 2.78/2.99 c intension x[216] != x[228] using generic constraint 2.78/2.99 c intension x[216] != x[244] using generic constraint 2.78/2.99 c intension x[216] != x[246] using generic constraint 2.78/2.99 c intension x[217] != x[236] using generic constraint 2.78/2.99 c intension x[217] != x[242] using generic constraint 2.78/2.99 c intension x[219] != x[229] using generic constraint 2.78/3.00 c intension x[219] != x[232] using generic constraint 2.78/3.00 c intension x[219] != x[234] using generic constraint 2.78/3.00 c intension x[219] != x[237] using generic constraint 2.78/3.00 c intension x[219] != x[246] using generic constraint 2.78/3.00 c intension x[220] != x[236] using generic constraint 2.78/3.00 c intension x[220] != x[240] using generic constraint 2.78/3.00 c intension x[221] != x[228] using generic constraint 2.78/3.00 c intension x[221] != x[241] using generic constraint 2.78/3.00 c intension x[221] != x[242] using generic constraint 2.78/3.00 c intension x[221] != x[244] using generic constraint 2.78/3.00 c intension x[222] != x[233] using generic constraint 2.89/3.01 c intension x[222] != x[237] using generic constraint 2.89/3.01 c intension x[222] != x[242] using generic constraint 2.89/3.01 c intension x[222] != x[248] using generic constraint 2.89/3.01 c intension x[223] != x[234] using generic constraint 2.89/3.01 c intension x[224] != x[229] using generic constraint 2.89/3.01 c intension x[224] != x[233] using generic constraint 2.89/3.01 c intension x[224] != x[246] using generic constraint 2.89/3.01 c intension x[225] != x[226] using generic constraint 2.89/3.01 c intension x[225] != x[235] using generic constraint 2.89/3.01 c intension x[225] != x[239] using generic constraint 2.89/3.01 c intension x[225] != x[246] using generic constraint 2.89/3.02 c intension x[226] != x[232] using generic constraint 2.89/3.02 c intension x[226] != x[234] using generic constraint 2.89/3.02 c intension x[227] != x[242] using generic constraint 2.89/3.02 c intension x[228] != x[235] using generic constraint 2.89/3.02 c intension x[228] != x[236] using generic constraint 2.89/3.02 c intension x[229] != x[236] using generic constraint 2.89/3.02 c intension x[229] != x[240] using generic constraint 2.89/3.02 c intension x[229] != x[241] using generic constraint 2.89/3.02 c intension x[230] != x[236] using generic constraint 2.89/3.02 c intension x[230] != x[239] using generic constraint 2.89/3.02 c intension x[230] != x[240] using generic constraint 2.89/3.03 c intension x[230] != x[242] using generic constraint 2.89/3.03 c intension x[232] != x[239] using generic constraint 2.89/3.03 c intension x[232] != x[240] using generic constraint 2.89/3.03 c intension x[233] != x[236] using generic constraint 2.89/3.03 c intension x[233] != x[241] using generic constraint 2.89/3.03 c intension x[234] != x[237] using generic constraint 2.89/3.03 c intension x[234] != x[247] using generic constraint 2.89/3.03 c intension x[234] != x[249] using generic constraint 2.89/3.03 c intension x[235] != x[247] using generic constraint 2.89/3.03 c intension x[236] != x[240] using generic constraint 2.89/3.03 c intension x[236] != x[248] using generic constraint 2.89/3.04 c intension x[238] != x[243] using generic constraint 2.89/3.04 c intension x[239] != x[242] using generic constraint 2.89/3.04 c intension x[239] != x[245] using generic constraint 2.89/3.04 c intension x[239] != x[249] using generic constraint 2.89/3.04 c intension x[241] != x[245] using generic constraint 2.89/3.04 c intension x[242] != x[248] using generic constraint 2.89/3.04 c intension x[245] != x[247] using generic constraint 2.89/3.04 c intension x[247] != x[248] using generic constraint 2.89/3.04 c intension x[248] != x[249] using generic constraint 3.39/3.59 c SAT : Variables: 62500 -- Clauses: 7781500 3.39/3.59 c best=?? lower=0 upper=249 3.49/3.60 c 3.49/3.60 c This is cosoco 1.12 -- 3.49/3.60 c 3.49/3.60 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266699-1502644532.xml 3.49/3.60 c enable optimization 3.49/3.60 c ========================================[ Problem Statistics ]=========================================== 3.49/3.60 c | 3.49/3.60 c | Parse time : 3.40 s 3.49/3.60 c | 3.49/3.60 c | Variables: 250 3.49/3.60 c | Domain Sizes: 250..250 3.49/3.60 c | 3.49/3.60 c | Constraints: 3219 3.49/3.60 c | Arity: 2..250 -- Binary: 3218 3.49/3.60 c | 3.49/3.60 c | Types: 3.49/3.60 c | (X != Y): 3218 3.49/3.60 c | Max constant: 1 3.49/3.60 c | 3.49/3.60 c ========================================================================================================= 3.49/3.60 o 10 3.49/3.60 c 1 calls to solver: best=10 lower=0 upper=9 3.49/3.61 o 9 3.49/3.66 o 8 3.49/3.66 c 3 calls to solver: best=8 lower=0 upper=7 251.85/252.00 251.85/252.00 c *** INTERRUPTED *** 251.85/252.00 c restarts : 580 251.85/252.00 c conflicts : 2192450 (8709 /sec) 251.85/252.00 c decisions : 15276485 (60682 /sec) 251.85/252.00 c propagations : 587623163 (2334186 /sec) 251.85/252.00 c root propagations : 61947 251.85/252.00 c filter calls : 4204749230 (16702312 /sec) 251.85/252.00 c useless filter calls : 3649886852 (86 %) 251.85/252.00 c 251.85/252.00 c clauses : 7783536 251.85/252.00 c SAT propagations : 0 251.85/252.00 c SAT conflicts : 0 (0 learnts) 251.85/252.00 c Memory used : 346.09 MB 251.85/252.00 c CPU time : 251.746 s 251.85/252.00 251.85/252.00 c nb Solutions = 3 251.85/252.00 s SATISFIABLE 251.85/252.00 c Best value found: 8 251.85/252.00 251.85/252.00 251.85/252.00 v <instantiation type='solution' cost='8'> 251.85/252.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> 251.85/252.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> 251.85/252.00 v </instantiation> 251.85/252.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 (15476 MiB free) memory of node 1: 16384 MiB (13033 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266699-1502644532/watcher-4266699-1502644532 -o /tmp/evaluation-result-4266699-1502644532/solver-4266699-1502644532 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502642157-20628 --watchdog 312 cosoco -lc -model -restarts -sat HOME/instance-4266699-1502644532.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 solver pid=21484, runsolver pid=21481 Current StackSize limit: 8192 KiB [startup+0.100111 s]* /proc/loadavg: 2.20 3.25 3.04 3/189 21485 /proc/meminfo: memFree=29194500/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=27656 memory=3592 CPUtime=0 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 1123 0 0 0 0 0 0 0 20 0 1 0 111959647 28319744 898 18446744073709551615 4194304 5972588 140726884080816 140726884077464 5496960 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 6914 898 709 435 0 277 0 Current children cumulated CPU time: 0 s Current children cumulated vsize: 27656 KiB Current children cumulated memory: 3592 KiB [startup+0.209684 s]* /proc/loadavg: 2.20 3.25 3.04 3/189 21485 /proc/meminfo: memFree=29993496/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=27872 memory=4120 CPUtime=0.11 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 1230 0 0 0 11 0 0 0 20 0 1 0 111959647 28540928 1030 18446744073709551615 4194304 5972588 140726884080816 140726884077464 140688464792549 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 6968 1030 743 435 0 331 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 27872 KiB Current children cumulated memory: 4120 KiB [startup+0.30955 s]* /proc/loadavg: 2.20 3.25 3.04 2/187 21485 /proc/meminfo: memFree=31844376/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=28132 memory=4280 CPUtime=0.21 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 1268 0 0 0 21 0 0 0 20 0 1 0 111959647 28807168 1070 18446744073709551615 4194304 5972588 140726884080816 140726884064536 140688465230944 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 7033 1070 750 435 0 396 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 28132 KiB Current children cumulated memory: 4280 KiB [startup+0.700331 s] /proc/loadavg: 2.20 3.25 3.04 3/184 21495 /proc/meminfo: memFree=31844988/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=28660 memory=4804 CPUtime=0.59 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 1413 0 0 0 59 0 0 0 20 0 1 0 111959647 29347840 1201 18446744073709551615 4194304 5972588 140726884080816 140726884064536 140688474602091 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 7165 1201 750 435 0 528 0 Current children cumulated CPU time: 0.59 s Current children cumulated vsize: 28660 KiB Current children cumulated memory: 4804 KiB [startup+1.50035 s] /proc/loadavg: 2.20 3.25 3.04 6/202 21514 /proc/meminfo: memFree=31679476/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=29848 memory=6124 CPUtime=1.39 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 1715 0 0 0 139 0 0 0 20 0 1 0 111959647 30564352 1531 18446744073709551615 4194304 5972588 140726884080816 140726884064536 140688465230944 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 7462 1531 750 435 0 825 0 Current children cumulated CPU time: 1.39 s Current children cumulated vsize: 29848 KiB Current children cumulated memory: 6124 KiB [startup+3.10961 s] /proc/loadavg: 2.27 3.25 3.04 5/202 21514 /proc/meminfo: memFree=31450696/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=70624 memory=42052 CPUtime=3 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 9600 0 0 0 298 2 0 0 20 0 1 0 111959647 72318976 10513 18446744073709551615 4194304 5972588 140726884080816 140726884064536 140688464792549 0 0 1 0 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 17656 10513 781 435 0 11019 0 Current children cumulated CPU time: 3 s Current children cumulated vsize: 70624 KiB Current children cumulated memory: 42052 KiB [startup+6.30033 s] /proc/loadavg: 2.27 3.25 3.04 2/186 21517 /proc/meminfo: memFree=31540852/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=354396 memory=309248 CPUtime=6.19 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 52518 0 0 0 609 10 0 0 20 0 1 0 111959647 362901504 77312 18446744073709551615 4194304 5972588 140726884080816 140726884068008 5077504 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 88599 77312 796 435 0 81962 0 Current children cumulated CPU time: 6.19 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 309248 KiB [startup+12.7003 s] /proc/loadavg: 2.17 3.21 3.02 3/190 21547 /proc/meminfo: memFree=31502656/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=354396 memory=309248 CPUtime=12.59 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 56297 0 0 0 1249 10 0 0 20 0 1 0 111959647 362901504 77312 18446744073709551615 4194304 5972588 140726884080816 140726884068008 5077517 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 88599 77312 796 435 0 81962 0 Current children cumulated CPU time: 12.59 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 309248 KiB [startup+25.5003 s] /proc/loadavg: 2.13 3.15 3.01 3/190 21547 /proc/meminfo: memFree=31427792/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=354396 memory=309256 CPUtime=25.38 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 60472 0 0 0 2528 10 0 0 20 0 1 0 111959647 362901504 77314 18446744073709551615 4194304 5972588 140726884080816 140726884068008 5320799 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 88599 77314 796 435 0 81962 0 Current children cumulated CPU time: 25.38 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 309256 KiB [startup+51.1096 s] /proc/loadavg: 2.09 3.06 2.98 3/190 21548 /proc/meminfo: memFree=31340216/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=354396 memory=309256 CPUtime=50.98 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 63560 0 0 0 5087 11 0 0 20 0 1 0 111959647 362901504 77314 18446744073709551615 4194304 5972588 140726884080816 140726884068008 5077416 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 88599 77314 796 435 0 81962 0 Current children cumulated CPU time: 50.98 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 309256 KiB [startup+102.3 s] /proc/loadavg: 2.04 2.90 2.93 3/187 21549 /proc/meminfo: memFree=31344496/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=354396 memory=309292 CPUtime=102.15 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 66272 0 0 0 10204 11 0 0 20 0 1 0 111959647 362901504 77323 18446744073709551615 4194304 5972588 140726884080816 140726884068008 5328748 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 88599 77323 796 435 0 81962 0 Current children cumulated CPU time: 102.15 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 309292 KiB [startup+162.3 s] /proc/loadavg: 2.01 2.73 2.87 3/186 21551 /proc/meminfo: memFree=31343824/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=354396 memory=309292 CPUtime=162.14 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 68121 0 0 0 16203 11 0 0 20 0 1 0 111959647 362901504 77323 18446744073709551615 4194304 5972588 140726884080816 140726884068008 5077400 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 88599 77323 796 435 0 81962 0 Current children cumulated CPU time: 162.14 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 309292 KiB [startup+222.3 s] /proc/loadavg: 2.01 2.60 2.82 3/186 21553 /proc/meminfo: memFree=31342272/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=354396 memory=310076 CPUtime=222.14 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 69048 0 0 0 22203 11 0 0 20 0 1 0 111959647 362901504 77519 18446744073709551615 4194304 5972588 140726884080816 140726884068008 4908843 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 88599 77519 796 435 0 81962 0 Current children cumulated CPU time: 222.14 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310076 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.00 2.54 2.79 3/185 21555 /proc/meminfo: memFree=31341124/32770624 swapFree=67108764/67108860 [pid=21484] ppid=21481 vsize=354396 memory=310076 CPUtime=251.85 cores=0,2,4,6 /proc/21484/stat : 21484 (cosoco) R 21481 21484 4674 0 -1 4202496 69446 0 0 0 25174 11 0 0 20 0 1 0 111959647 362901504 77519 18446744073709551615 4194304 5972588 140726884080816 140726884068008 5328503 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 8070896 8075904 11493376 140726884082121 140726884082221 140726884082221 140726884085710 0 /proc/21484/statm: 88599 77519 796 435 0 81962 0 Current children cumulated CPU time: 251.85 s Current children cumulated vsize: 354396 KiB Current children cumulated memory: 310076 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.012 s] # the end of solver process 21484 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.747 s, system=0.121003 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.012 CPU time (s): 251.868 CPU user time (s): 251.747 CPU system time (s): 0.121003 CPU usage (%): 99.9428 Max. virtual memory (cumulated for all children) (KiB): 354396 Max. memory (cumulated for all children) (KiB): 310076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.747 system time used= 0.121003 maximum resident set size= 310156 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 69494 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= 98 involuntary context switches= 68 # summary of solver processes directly reported to runsolver: # pid: 21484 # total CPU time (s): 251.868 # total CPU user time (s): 251.747 # total CPU system time (s): 0.121003 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.02362 second user time and 1.84358 second system time The end
Begin job on node134 at 2017-08-13 19:01:38 IDJOB=4266699 IDBENCH=120626 IDSOLVER=2656 FILE ID=node134/4266699-1502644532 RUNJOBID= node134-1502642157-20628 PBS_JOBID= Free space on /tmp= 62024 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-4266699-1502644532/watcher-4266699-1502644532 -o /tmp/evaluation-result-4266699-1502644532/solver-4266699-1502644532 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502642157-20628 --watchdog 312 cosoco -lc -model -restarts -sat HOME/instance-4266699-1502644532.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4a78676e15c4a516bf0316b10322151a RANDOM SEED=175521660 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29195404 kB MemAvailable: 29320660 kB Buffers: 216088 kB Cached: 212132 kB SwapCached: 4 kB Active: 3014644 kB Inactive: 121888 kB Active(anon): 2652180 kB Inactive(anon): 97600 kB Active(file): 362464 kB Inactive(file): 24288 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108764 kB Dirty: 2280 kB Writeback: 0 kB AnonPages: 2707896 kB Mapped: 59136 kB Shmem: 41564 kB Slab: 135996 kB SReclaimable: 108676 kB SUnreclaim: 27320 kB KernelStack: 3360 kB PageTables: 10848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3564524 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 856064 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62028 MiB End job on node134 at 2017-08-13 19:05:50