3.89/3.93	c intension x[0][1]=x[1][0]  using generic constraint 
3.89/3.93	c intension x[0][2]=x[2][0]  using generic constraint 
3.89/3.93	c intension x[0][3]=x[3][0]  using generic constraint 
3.89/3.93	c intension x[0][4]=x[4][0]  using generic constraint 
3.89/3.93	c intension x[0][5]=x[5][0]  using generic constraint 
3.89/3.93	c intension x[0][6]=x[6][0]  using generic constraint 
3.89/3.93	c intension x[0][7]=x[7][0]  using generic constraint 
3.89/3.93	c intension x[0][8]=x[8][0]  using generic constraint 
3.89/3.94	c intension x[0][9]=x[9][0]  using generic constraint 
3.89/3.94	c intension x[0][10]=x[10][0]  using generic constraint 
3.89/3.94	c intension x[0][11]=x[11][0]  using generic constraint 
3.89/3.94	c intension x[0][12]=x[12][0]  using generic constraint 
3.89/3.94	c intension x[0][13]=x[13][0]  using generic constraint 
3.89/3.94	c intension x[0][14]=x[14][0]  using generic constraint 
3.89/3.94	c intension x[0][15]=x[15][0]  using generic constraint 
3.89/3.94	c intension x[0][16]=x[16][0]  using generic constraint 
3.89/3.94	c intension x[0][17]=x[17][0]  using generic constraint 
3.89/3.94	c intension x[0][18]=x[18][0]  using generic constraint 
3.89/3.95	c intension x[0][19]=x[19][0]  using generic constraint 
3.89/3.95	c intension x[0][20]=x[20][0]  using generic constraint 
3.89/3.95	c intension x[0][21]=x[21][0]  using generic constraint 
3.89/3.95	c intension x[0][22]=x[22][0]  using generic constraint 
3.89/3.95	c intension x[0][23]=x[23][0]  using generic constraint 
3.89/3.95	c intension x[0][24]=x[24][0]  using generic constraint 
3.89/3.95	c intension x[0][25]=x[25][0]  using generic constraint 
3.89/3.95	c intension x[0][26]=x[26][0]  using generic constraint 
3.89/3.95	c intension x[0][27]=x[27][0]  using generic constraint 
3.89/3.95	c intension x[0][28]=x[28][0]  using generic constraint 
3.89/3.96	c intension x[0][29]=x[29][0]  using generic constraint 
3.89/3.96	c intension x[0][30]=x[30][0]  using generic constraint 
3.89/3.96	c intension x[0][31]=x[31][0]  using generic constraint 
3.89/3.96	c intension x[0][32]=x[32][0]  using generic constraint 
3.89/3.96	c intension x[0][33]=x[33][0]  using generic constraint 
3.89/3.96	c intension x[0][34]=x[34][0]  using generic constraint 
3.89/3.96	c intension x[0][35]=x[35][0]  using generic constraint 
3.89/3.96	c intension x[0][36]=x[36][0]  using generic constraint 
3.89/3.96	c intension x[0][37]=x[37][0]  using generic constraint 
3.89/3.97	c intension x[0][38]=x[38][0]  using generic constraint 
3.89/3.97	c intension x[1][0]=x[0][1]  using generic constraint 
3.89/3.97	c intension x[1][2]=x[2][1]  using generic constraint 
3.89/3.97	c intension x[1][3]=x[3][1]  using generic constraint 
3.89/3.97	c intension x[1][4]=x[4][1]  using generic constraint 
3.89/3.97	c intension x[1][5]=x[5][1]  using generic constraint 
3.89/3.97	c intension x[1][6]=x[6][1]  using generic constraint 
3.89/3.97	c intension x[1][7]=x[7][1]  using generic constraint 
3.89/3.97	c intension x[1][8]=x[8][1]  using generic constraint 
3.89/3.97	c intension x[1][9]=x[9][1]  using generic constraint 
3.89/3.98	c intension x[1][10]=x[10][1]  using generic constraint 
3.89/3.98	c intension x[1][11]=x[11][1]  using generic constraint 
3.89/3.98	c intension x[1][12]=x[12][1]  using generic constraint 
3.89/3.98	c intension x[1][13]=x[13][1]  using generic constraint 
3.89/3.98	c intension x[1][14]=x[14][1]  using generic constraint 
3.89/3.98	c intension x[1][15]=x[15][1]  using generic constraint 
3.89/3.98	c intension x[1][16]=x[16][1]  using generic constraint 
3.89/3.98	c intension x[1][17]=x[17][1]  using generic constraint 
3.89/3.98	c intension x[1][18]=x[18][1]  using generic constraint 
3.89/3.98	c intension x[1][19]=x[19][1]  using generic constraint 
3.89/3.99	c intension x[1][20]=x[20][1]  using generic constraint 
3.89/3.99	c intension x[1][21]=x[21][1]  using generic constraint 
3.89/3.99	c intension x[1][22]=x[22][1]  using generic constraint 
3.89/3.99	c intension x[1][23]=x[23][1]  using generic constraint 
3.89/3.99	c intension x[1][24]=x[24][1]  using generic constraint 
3.89/3.99	c intension x[1][25]=x[25][1]  using generic constraint 
3.89/3.99	c intension x[1][26]=x[26][1]  using generic constraint 
3.89/3.99	c intension x[1][27]=x[27][1]  using generic constraint 
3.89/3.99	c intension x[1][28]=x[28][1]  using generic constraint 
3.89/4.00	c intension x[1][29]=x[29][1]  using generic constraint 
3.99/4.00	c intension x[1][30]=x[30][1]  using generic constraint 
3.99/4.00	c intension x[1][31]=x[31][1]  using generic constraint 
3.99/4.00	c intension x[1][32]=x[32][1]  using generic constraint 
3.99/4.00	c intension x[1][33]=x[33][1]  using generic constraint 
3.99/4.00	c intension x[1][34]=x[34][1]  using generic constraint 
3.99/4.00	c intension x[1][35]=x[35][1]  using generic constraint 
3.99/4.00	c intension x[1][36]=x[36][1]  using generic constraint 
3.99/4.00	c intension x[1][37]=x[37][1]  using generic constraint 
3.99/4.01	c intension x[1][38]=x[38][1]  using generic constraint 
3.99/4.01	c intension x[2][0]=x[0][2]  using generic constraint 
3.99/4.01	c intension x[2][1]=x[1][2]  using generic constraint 
3.99/4.01	c intension x[2][3]=x[3][2]  using generic constraint 
3.99/4.01	c intension x[2][4]=x[4][2]  using generic constraint 
3.99/4.01	c intension x[2][5]=x[5][2]  using generic constraint 
3.99/4.01	c intension x[2][6]=x[6][2]  using generic constraint 
3.99/4.01	c intension x[2][7]=x[7][2]  using generic constraint 
3.99/4.01	c intension x[2][8]=x[8][2]  using generic constraint 
3.99/4.01	c intension x[2][9]=x[9][2]  using generic constraint 
3.99/4.02	c intension x[2][10]=x[10][2]  using generic constraint 
3.99/4.02	c intension x[2][11]=x[11][2]  using generic constraint 
3.99/4.02	c intension x[2][12]=x[12][2]  using generic constraint 
3.99/4.02	c intension x[2][13]=x[13][2]  using generic constraint 
3.99/4.02	c intension x[2][14]=x[14][2]  using generic constraint 
3.99/4.02	c intension x[2][15]=x[15][2]  using generic constraint 
3.99/4.02	c intension x[2][16]=x[16][2]  using generic constraint 
3.99/4.02	c intension x[2][17]=x[17][2]  using generic constraint 
3.99/4.02	c intension x[2][18]=x[18][2]  using generic constraint 
3.99/4.03	c intension x[2][19]=x[19][2]  using generic constraint 
3.99/4.03	c intension x[2][20]=x[20][2]  using generic constraint 
3.99/4.03	c intension x[2][21]=x[21][2]  using generic constraint 
3.99/4.03	c intension x[2][22]=x[22][2]  using generic constraint 
3.99/4.03	c intension x[2][23]=x[23][2]  using generic constraint 
3.99/4.03	c intension x[2][24]=x[24][2]  using generic constraint 
3.99/4.03	c intension x[2][25]=x[25][2]  using generic constraint 
3.99/4.03	c intension x[2][26]=x[26][2]  using generic constraint 
3.99/4.03	c intension x[2][27]=x[27][2]  using generic constraint 
3.99/4.03	c intension x[2][28]=x[28][2]  using generic constraint 
3.99/4.04	c intension x[2][29]=x[29][2]  using generic constraint 
3.99/4.04	c intension x[2][30]=x[30][2]  using generic constraint 
3.99/4.04	c intension x[2][31]=x[31][2]  using generic constraint 
3.99/4.04	c intension x[2][32]=x[32][2]  using generic constraint 
3.99/4.04	c intension x[2][33]=x[33][2]  using generic constraint 
3.99/4.04	c intension x[2][34]=x[34][2]  using generic constraint 
3.99/4.04	c intension x[2][35]=x[35][2]  using generic constraint 
3.99/4.04	c intension x[2][36]=x[36][2]  using generic constraint 
3.99/4.04	c intension x[2][37]=x[37][2]  using generic constraint 
3.99/4.04	c intension x[2][38]=x[38][2]  using generic constraint 
3.99/4.05	c intension x[3][0]=x[0][3]  using generic constraint 
3.99/4.05	c intension x[3][1]=x[1][3]  using generic constraint 
3.99/4.05	c intension x[3][2]=x[2][3]  using generic constraint 
3.99/4.05	c intension x[3][4]=x[4][3]  using generic constraint 
3.99/4.05	c intension x[3][5]=x[5][3]  using generic constraint 
3.99/4.05	c intension x[3][6]=x[6][3]  using generic constraint 
3.99/4.05	c intension x[3][7]=x[7][3]  using generic constraint 
3.99/4.05	c intension x[3][8]=x[8][3]  using generic constraint 
3.99/4.05	c intension x[3][9]=x[9][3]  using generic constraint 
3.99/4.06	c intension x[3][10]=x[10][3]  using generic constraint 
3.99/4.06	c intension x[3][11]=x[11][3]  using generic constraint 
3.99/4.06	c intension x[3][12]=x[12][3]  using generic constraint 
3.99/4.06	c intension x[3][13]=x[13][3]  using generic constraint 
3.99/4.06	c intension x[3][14]=x[14][3]  using generic constraint 
3.99/4.06	c intension x[3][15]=x[15][3]  using generic constraint 
3.99/4.06	c intension x[3][16]=x[16][3]  using generic constraint 
3.99/4.06	c intension x[3][17]=x[17][3]  using generic constraint 
3.99/4.06	c intension x[3][18]=x[18][3]  using generic constraint 
3.99/4.06	c intension x[3][19]=x[19][3]  using generic constraint 
3.99/4.07	c intension x[3][20]=x[20][3]  using generic constraint 
3.99/4.07	c intension x[3][21]=x[21][3]  using generic constraint 
3.99/4.07	c intension x[3][22]=x[22][3]  using generic constraint 
3.99/4.07	c intension x[3][23]=x[23][3]  using generic constraint 
3.99/4.07	c intension x[3][24]=x[24][3]  using generic constraint 
3.99/4.07	c intension x[3][25]=x[25][3]  using generic constraint 
3.99/4.07	c intension x[3][26]=x[26][3]  using generic constraint 
3.99/4.07	c intension x[3][27]=x[27][3]  using generic constraint 
3.99/4.07	c intension x[3][28]=x[28][3]  using generic constraint 
3.99/4.07	c intension x[3][29]=x[29][3]  using generic constraint 
3.99/4.08	c intension x[3][30]=x[30][3]  using generic constraint 
3.99/4.08	c intension x[3][31]=x[31][3]  using generic constraint 
3.99/4.08	c intension x[3][32]=x[32][3]  using generic constraint 
3.99/4.08	c intension x[3][33]=x[33][3]  using generic constraint 
3.99/4.08	c intension x[3][34]=x[34][3]  using generic constraint 
3.99/4.08	c intension x[3][35]=x[35][3]  using generic constraint 
3.99/4.08	c intension x[3][36]=x[36][3]  using generic constraint 
3.99/4.08	c intension x[3][37]=x[37][3]  using generic constraint 
3.99/4.08	c intension x[3][38]=x[38][3]  using generic constraint 
3.99/4.09	c intension x[4][0]=x[0][4]  using generic constraint 
3.99/4.09	c intension x[4][1]=x[1][4]  using generic constraint 
3.99/4.09	c intension x[4][2]=x[2][4]  using generic constraint 
3.99/4.09	c intension x[4][3]=x[3][4]  using generic constraint 
3.99/4.09	c intension x[4][5]=x[5][4]  using generic constraint 
3.99/4.09	c intension x[4][6]=x[6][4]  using generic constraint 
3.99/4.09	c intension x[4][7]=x[7][4]  using generic constraint 
3.99/4.09	c intension x[4][8]=x[8][4]  using generic constraint 
3.99/4.09	c intension x[4][9]=x[9][4]  using generic constraint 
3.99/4.09	c intension x[4][10]=x[10][4]  using generic constraint 
4.09/4.10	c intension x[4][11]=x[11][4]  using generic constraint 
4.09/4.10	c intension x[4][12]=x[12][4]  using generic constraint 
4.09/4.10	c intension x[4][13]=x[13][4]  using generic constraint 
4.09/4.10	c intension x[4][14]=x[14][4]  using generic constraint 
4.09/4.10	c intension x[4][15]=x[15][4]  using generic constraint 
4.09/4.10	c intension x[4][16]=x[16][4]  using generic constraint 
4.09/4.10	c intension x[4][17]=x[17][4]  using generic constraint 
4.09/4.10	c intension x[4][18]=x[18][4]  using generic constraint 
4.09/4.10	c intension x[4][19]=x[19][4]  using generic constraint 
4.09/4.11	c intension x[4][20]=x[20][4]  using generic constraint 
4.09/4.11	c intension x[4][21]=x[21][4]  using generic constraint 
4.09/4.11	c intension x[4][22]=x[22][4]  using generic constraint 
4.09/4.11	c intension x[4][23]=x[23][4]  using generic constraint 
4.09/4.11	c intension x[4][24]=x[24][4]  using generic constraint 
4.09/4.11	c intension x[4][25]=x[25][4]  using generic constraint 
4.09/4.11	c intension x[4][26]=x[26][4]  using generic constraint 
4.09/4.11	c intension x[4][27]=x[27][4]  using generic constraint 
4.09/4.11	c intension x[4][28]=x[28][4]  using generic constraint 
4.09/4.11	c intension x[4][29]=x[29][4]  using generic constraint 
4.09/4.12	c intension x[4][30]=x[30][4]  using generic constraint 
4.09/4.12	c intension x[4][31]=x[31][4]  using generic constraint 
4.09/4.12	c intension x[4][32]=x[32][4]  using generic constraint 
4.09/4.12	c intension x[4][33]=x[33][4]  using generic constraint 
4.09/4.12	c intension x[4][34]=x[34][4]  using generic constraint 
4.09/4.12	c intension x[4][35]=x[35][4]  using generic constraint 
4.09/4.12	c intension x[4][36]=x[36][4]  using generic constraint 
4.09/4.12	c intension x[4][37]=x[37][4]  using generic constraint 
4.09/4.12	c intension x[4][38]=x[38][4]  using generic constraint 
4.09/4.13	c intension x[5][0]=x[0][5]  using generic constraint 
4.09/4.13	c intension x[5][1]=x[1][5]  using generic constraint 
4.09/4.13	c intension x[5][2]=x[2][5]  using generic constraint 
4.09/4.13	c intension x[5][3]=x[3][5]  using generic constraint 
4.09/4.13	c intension x[5][4]=x[4][5]  using generic constraint 
4.09/4.13	c intension x[5][6]=x[6][5]  using generic constraint 
4.09/4.13	c intension x[5][7]=x[7][5]  using generic constraint 
4.09/4.13	c intension x[5][8]=x[8][5]  using generic constraint 
4.09/4.13	c intension x[5][9]=x[9][5]  using generic constraint 
4.09/4.13	c intension x[5][10]=x[10][5]  using generic constraint 
4.09/4.14	c intension x[5][11]=x[11][5]  using generic constraint 
4.09/4.14	c intension x[5][12]=x[12][5]  using generic constraint 
4.09/4.14	c intension x[5][13]=x[13][5]  using generic constraint 
4.09/4.14	c intension x[5][14]=x[14][5]  using generic constraint 
4.09/4.14	c intension x[5][15]=x[15][5]  using generic constraint 
4.09/4.14	c intension x[5][16]=x[16][5]  using generic constraint 
4.09/4.14	c intension x[5][17]=x[17][5]  using generic constraint 
4.09/4.14	c intension x[5][18]=x[18][5]  using generic constraint 
4.09/4.14	c intension x[5][19]=x[19][5]  using generic constraint 
4.09/4.14	c intension x[5][20]=x[20][5]  using generic constraint 
4.09/4.15	c intension x[5][21]=x[21][5]  using generic constraint 
4.09/4.15	c intension x[5][22]=x[22][5]  using generic constraint 
4.09/4.15	c intension x[5][23]=x[23][5]  using generic constraint 
4.09/4.15	c intension x[5][24]=x[24][5]  using generic constraint 
4.09/4.15	c intension x[5][25]=x[25][5]  using generic constraint 
4.09/4.15	c intension x[5][26]=x[26][5]  using generic constraint 
4.09/4.15	c intension x[5][27]=x[27][5]  using generic constraint 
4.09/4.15	c intension x[5][28]=x[28][5]  using generic constraint 
4.09/4.15	c intension x[5][29]=x[29][5]  using generic constraint 
4.09/4.16	c intension x[5][30]=x[30][5]  using generic constraint 
4.09/4.16	c intension x[5][31]=x[31][5]  using generic constraint 
4.09/4.16	c intension x[5][32]=x[32][5]  using generic constraint 
4.09/4.16	c intension x[5][33]=x[33][5]  using generic constraint 
4.09/4.16	c intension x[5][34]=x[34][5]  using generic constraint 
4.09/4.16	c intension x[5][35]=x[35][5]  using generic constraint 
4.09/4.16	c intension x[5][36]=x[36][5]  using generic constraint 
4.09/4.16	c intension x[5][37]=x[37][5]  using generic constraint 
4.09/4.16	c intension x[5][38]=x[38][5]  using generic constraint 
4.09/4.16	c intension x[6][0]=x[0][6]  using generic constraint 
4.09/4.17	c intension x[6][1]=x[1][6]  using generic constraint 
4.09/4.17	c intension x[6][2]=x[2][6]  using generic constraint 
4.09/4.17	c intension x[6][3]=x[3][6]  using generic constraint 
4.09/4.17	c intension x[6][4]=x[4][6]  using generic constraint 
4.09/4.17	c intension x[6][5]=x[5][6]  using generic constraint 
4.09/4.17	c intension x[6][7]=x[7][6]  using generic constraint 
4.09/4.17	c intension x[6][8]=x[8][6]  using generic constraint 
4.09/4.17	c intension x[6][9]=x[9][6]  using generic constraint 
4.09/4.17	c intension x[6][10]=x[10][6]  using generic constraint 
4.09/4.17	c intension x[6][11]=x[11][6]  using generic constraint 
4.09/4.18	c intension x[6][12]=x[12][6]  using generic constraint 
4.09/4.18	c intension x[6][13]=x[13][6]  using generic constraint 
4.09/4.18	c intension x[6][14]=x[14][6]  using generic constraint 
4.09/4.18	c intension x[6][15]=x[15][6]  using generic constraint 
4.09/4.18	c intension x[6][16]=x[16][6]  using generic constraint 
4.09/4.18	c intension x[6][17]=x[17][6]  using generic constraint 
4.09/4.18	c intension x[6][18]=x[18][6]  using generic constraint 
4.09/4.18	c intension x[6][19]=x[19][6]  using generic constraint 
4.09/4.18	c intension x[6][20]=x[20][6]  using generic constraint 
4.09/4.19	c intension x[6][21]=x[21][6]  using generic constraint 
4.09/4.19	c intension x[6][22]=x[22][6]  using generic constraint 
4.09/4.19	c intension x[6][23]=x[23][6]  using generic constraint 
4.09/4.19	c intension x[6][24]=x[24][6]  using generic constraint 
4.09/4.19	c intension x[6][25]=x[25][6]  using generic constraint 
4.09/4.19	c intension x[6][26]=x[26][6]  using generic constraint 
4.09/4.19	c intension x[6][27]=x[27][6]  using generic constraint 
4.09/4.19	c intension x[6][28]=x[28][6]  using generic constraint 
4.09/4.19	c intension x[6][29]=x[29][6]  using generic constraint 
4.09/4.19	c intension x[6][30]=x[30][6]  using generic constraint 
4.19/4.20	c intension x[6][31]=x[31][6]  using generic constraint 
4.19/4.20	c intension x[6][32]=x[32][6]  using generic constraint 
4.19/4.20	c intension x[6][33]=x[33][6]  using generic constraint 
4.19/4.20	c intension x[6][34]=x[34][6]  using generic constraint 
4.19/4.20	c intension x[6][35]=x[35][6]  using generic constraint 
4.19/4.20	c intension x[6][36]=x[36][6]  using generic constraint 
4.19/4.20	c intension x[6][37]=x[37][6]  using generic constraint 
4.19/4.20	c intension x[6][38]=x[38][6]  using generic constraint 
4.19/4.20	c intension x[7][0]=x[0][7]  using generic constraint 
4.19/4.21	c intension x[7][1]=x[1][7]  using generic constraint 
4.19/4.21	c intension x[7][2]=x[2][7]  using generic constraint 
4.19/4.21	c intension x[7][3]=x[3][7]  using generic constraint 
4.19/4.21	c intension x[7][4]=x[4][7]  using generic constraint 
4.19/4.21	c intension x[7][5]=x[5][7]  using generic constraint 
4.19/4.21	c intension x[7][6]=x[6][7]  using generic constraint 
4.19/4.21	c intension x[7][8]=x[8][7]  using generic constraint 
4.19/4.21	c intension x[7][9]=x[9][7]  using generic constraint 
4.19/4.21	c intension x[7][10]=x[10][7]  using generic constraint 
4.19/4.21	c intension x[7][11]=x[11][7]  using generic constraint 
4.19/4.22	c intension x[7][12]=x[12][7]  using generic constraint 
4.19/4.22	c intension x[7][13]=x[13][7]  using generic constraint 
4.19/4.22	c intension x[7][14]=x[14][7]  using generic constraint 
4.19/4.22	c intension x[7][15]=x[15][7]  using generic constraint 
4.19/4.22	c intension x[7][16]=x[16][7]  using generic constraint 
4.19/4.22	c intension x[7][17]=x[17][7]  using generic constraint 
4.19/4.22	c intension x[7][18]=x[18][7]  using generic constraint 
4.19/4.22	c intension x[7][19]=x[19][7]  using generic constraint 
4.19/4.22	c intension x[7][20]=x[20][7]  using generic constraint 
4.19/4.23	c intension x[7][21]=x[21][7]  using generic constraint 
4.19/4.23	c intension x[7][22]=x[22][7]  using generic constraint 
4.19/4.23	c intension x[7][23]=x[23][7]  using generic constraint 
4.19/4.23	c intension x[7][24]=x[24][7]  using generic constraint 
4.19/4.23	c intension x[7][25]=x[25][7]  using generic constraint 
4.19/4.23	c intension x[7][26]=x[26][7]  using generic constraint 
4.19/4.23	c intension x[7][27]=x[27][7]  using generic constraint 
4.19/4.23	c intension x[7][28]=x[28][7]  using generic constraint 
4.19/4.23	c intension x[7][29]=x[29][7]  using generic constraint 
4.19/4.23	c intension x[7][30]=x[30][7]  using generic constraint 
4.19/4.24	c intension x[7][31]=x[31][7]  using generic constraint 
4.19/4.24	c intension x[7][32]=x[32][7]  using generic constraint 
4.19/4.24	c intension x[7][33]=x[33][7]  using generic constraint 
4.19/4.24	c intension x[7][34]=x[34][7]  using generic constraint 
4.19/4.24	c intension x[7][35]=x[35][7]  using generic constraint 
4.19/4.24	c intension x[7][36]=x[36][7]  using generic constraint 
4.19/4.24	c intension x[7][37]=x[37][7]  using generic constraint 
4.19/4.24	c intension x[7][38]=x[38][7]  using generic constraint 
4.19/4.24	c intension x[8][0]=x[0][8]  using generic constraint 
4.19/4.24	c intension x[8][1]=x[1][8]  using generic constraint 
4.19/4.25	c intension x[8][2]=x[2][8]  using generic constraint 
4.19/4.25	c intension x[8][3]=x[3][8]  using generic constraint 
4.19/4.25	c intension x[8][4]=x[4][8]  using generic constraint 
4.19/4.25	c intension x[8][5]=x[5][8]  using generic constraint 
4.19/4.25	c intension x[8][6]=x[6][8]  using generic constraint 
4.19/4.25	c intension x[8][7]=x[7][8]  using generic constraint 
4.19/4.25	c intension x[8][9]=x[9][8]  using generic constraint 
4.19/4.25	c intension x[8][10]=x[10][8]  using generic constraint 
4.19/4.25	c intension x[8][11]=x[11][8]  using generic constraint 
4.19/4.26	c intension x[8][12]=x[12][8]  using generic constraint 
4.19/4.26	c intension x[8][13]=x[13][8]  using generic constraint 
4.19/4.26	c intension x[8][14]=x[14][8]  using generic constraint 
4.19/4.26	c intension x[8][15]=x[15][8]  using generic constraint 
4.19/4.26	c intension x[8][16]=x[16][8]  using generic constraint 
4.19/4.26	c intension x[8][17]=x[17][8]  using generic constraint 
4.19/4.26	c intension x[8][18]=x[18][8]  using generic constraint 
4.19/4.26	c intension x[8][19]=x[19][8]  using generic constraint 
4.19/4.26	c intension x[8][20]=x[20][8]  using generic constraint 
4.19/4.26	c intension x[8][21]=x[21][8]  using generic constraint 
4.19/4.27	c intension x[8][22]=x[22][8]  using generic constraint 
4.19/4.27	c intension x[8][23]=x[23][8]  using generic constraint 
4.19/4.27	c intension x[8][24]=x[24][8]  using generic constraint 
4.19/4.27	c intension x[8][25]=x[25][8]  using generic constraint 
4.19/4.27	c intension x[8][26]=x[26][8]  using generic constraint 
4.19/4.27	c intension x[8][27]=x[27][8]  using generic constraint 
4.19/4.27	c intension x[8][28]=x[28][8]  using generic constraint 
4.19/4.27	c intension x[8][29]=x[29][8]  using generic constraint 
4.19/4.27	c intension x[8][30]=x[30][8]  using generic constraint 
4.19/4.28	c intension x[8][31]=x[31][8]  using generic constraint 
4.19/4.28	c intension x[8][32]=x[32][8]  using generic constraint 
4.19/4.28	c intension x[8][33]=x[33][8]  using generic constraint 
4.19/4.28	c intension x[8][34]=x[34][8]  using generic constraint 
4.19/4.28	c intension x[8][35]=x[35][8]  using generic constraint 
4.19/4.28	c intension x[8][36]=x[36][8]  using generic constraint 
4.19/4.28	c intension x[8][37]=x[37][8]  using generic constraint 
4.19/4.28	c intension x[8][38]=x[38][8]  using generic constraint 
4.19/4.28	c intension x[9][0]=x[0][9]  using generic constraint 
4.19/4.28	c intension x[9][1]=x[1][9]  using generic constraint 
4.19/4.29	c intension x[9][2]=x[2][9]  using generic constraint 
4.19/4.29	c intension x[9][3]=x[3][9]  using generic constraint 
4.19/4.29	c intension x[9][4]=x[4][9]  using generic constraint 
4.19/4.29	c intension x[9][5]=x[5][9]  using generic constraint 
4.19/4.29	c intension x[9][6]=x[6][9]  using generic constraint 
4.19/4.29	c intension x[9][7]=x[7][9]  using generic constraint 
4.19/4.29	c intension x[9][8]=x[8][9]  using generic constraint 
4.19/4.29	c intension x[9][10]=x[10][9]  using generic constraint 
4.19/4.29	c intension x[9][11]=x[11][9]  using generic constraint 
4.19/4.30	c intension x[9][12]=x[12][9]  using generic constraint 
4.29/4.30	c intension x[9][13]=x[13][9]  using generic constraint 
4.29/4.30	c intension x[9][14]=x[14][9]  using generic constraint 
4.29/4.30	c intension x[9][15]=x[15][9]  using generic constraint 
4.29/4.30	c intension x[9][16]=x[16][9]  using generic constraint 
4.29/4.30	c intension x[9][17]=x[17][9]  using generic constraint 
4.29/4.30	c intension x[9][18]=x[18][9]  using generic constraint 
4.29/4.30	c intension x[9][19]=x[19][9]  using generic constraint 
4.29/4.30	c intension x[9][20]=x[20][9]  using generic constraint 
4.29/4.30	c intension x[9][21]=x[21][9]  using generic constraint 
4.29/4.31	c intension x[9][22]=x[22][9]  using generic constraint 
4.29/4.31	c intension x[9][23]=x[23][9]  using generic constraint 
4.29/4.31	c intension x[9][24]=x[24][9]  using generic constraint 
4.29/4.31	c intension x[9][25]=x[25][9]  using generic constraint 
4.29/4.31	c intension x[9][26]=x[26][9]  using generic constraint 
4.29/4.31	c intension x[9][27]=x[27][9]  using generic constraint 
4.29/4.31	c intension x[9][28]=x[28][9]  using generic constraint 
4.29/4.31	c intension x[9][29]=x[29][9]  using generic constraint 
4.29/4.31	c intension x[9][30]=x[30][9]  using generic constraint 
4.29/4.32	c intension x[9][31]=x[31][9]  using generic constraint 
4.29/4.32	c intension x[9][32]=x[32][9]  using generic constraint 
4.29/4.32	c intension x[9][33]=x[33][9]  using generic constraint 
4.29/4.32	c intension x[9][34]=x[34][9]  using generic constraint 
4.29/4.32	c intension x[9][35]=x[35][9]  using generic constraint 
4.29/4.32	c intension x[9][36]=x[36][9]  using generic constraint 
4.29/4.32	c intension x[9][37]=x[37][9]  using generic constraint 
4.29/4.32	c intension x[9][38]=x[38][9]  using generic constraint 
4.29/4.32	c intension x[10][0]=x[0][10]  using generic constraint 
4.29/4.32	c intension x[10][1]=x[1][10]  using generic constraint 
4.29/4.33	c intension x[10][2]=x[2][10]  using generic constraint 
4.29/4.33	c intension x[10][3]=x[3][10]  using generic constraint 
4.29/4.33	c intension x[10][4]=x[4][10]  using generic constraint 
4.29/4.33	c intension x[10][5]=x[5][10]  using generic constraint 
4.29/4.33	c intension x[10][6]=x[6][10]  using generic constraint 
4.29/4.33	c intension x[10][7]=x[7][10]  using generic constraint 
4.29/4.33	c intension x[10][8]=x[8][10]  using generic constraint 
4.29/4.33	c intension x[10][9]=x[9][10]  using generic constraint 
4.29/4.33	c intension x[10][11]=x[11][10]  using generic constraint 
4.29/4.34	c intension x[10][12]=x[12][10]  using generic constraint 
4.29/4.34	c intension x[10][13]=x[13][10]  using generic constraint 
4.29/4.34	c intension x[10][14]=x[14][10]  using generic constraint 
4.29/4.34	c intension x[10][15]=x[15][10]  using generic constraint 
4.29/4.34	c intension x[10][16]=x[16][10]  using generic constraint 
4.29/4.34	c intension x[10][17]=x[17][10]  using generic constraint 
4.29/4.34	c intension x[10][18]=x[18][10]  using generic constraint 
4.29/4.34	c intension x[10][19]=x[19][10]  using generic constraint 
4.29/4.34	c intension x[10][20]=x[20][10]  using generic constraint 
4.29/4.34	c intension x[10][21]=x[21][10]  using generic constraint 
4.29/4.35	c intension x[10][22]=x[22][10]  using generic constraint 
4.29/4.35	c intension x[10][23]=x[23][10]  using generic constraint 
4.29/4.35	c intension x[10][24]=x[24][10]  using generic constraint 
4.29/4.35	c intension x[10][25]=x[25][10]  using generic constraint 
4.29/4.35	c intension x[10][26]=x[26][10]  using generic constraint 
4.29/4.35	c intension x[10][27]=x[27][10]  using generic constraint 
4.29/4.35	c intension x[10][28]=x[28][10]  using generic constraint 
4.29/4.35	c intension x[10][29]=x[29][10]  using generic constraint 
4.29/4.35	c intension x[10][30]=x[30][10]  using generic constraint 
4.29/4.36	c intension x[10][31]=x[31][10]  using generic constraint 
4.29/4.36	c intension x[10][32]=x[32][10]  using generic constraint 
4.29/4.36	c intension x[10][33]=x[33][10]  using generic constraint 
4.29/4.36	c intension x[10][34]=x[34][10]  using generic constraint 
4.29/4.36	c intension x[10][35]=x[35][10]  using generic constraint 
4.29/4.36	c intension x[10][36]=x[36][10]  using generic constraint 
4.29/4.36	c intension x[10][37]=x[37][10]  using generic constraint 
4.29/4.36	c intension x[10][38]=x[38][10]  using generic constraint 
4.29/4.36	c intension x[11][0]=x[0][11]  using generic constraint 
4.29/4.36	c intension x[11][1]=x[1][11]  using generic constraint 
4.29/4.37	c intension x[11][2]=x[2][11]  using generic constraint 
4.29/4.37	c intension x[11][3]=x[3][11]  using generic constraint 
4.29/4.37	c intension x[11][4]=x[4][11]  using generic constraint 
4.29/4.37	c intension x[11][5]=x[5][11]  using generic constraint 
4.29/4.37	c intension x[11][6]=x[6][11]  using generic constraint 
4.29/4.37	c intension x[11][7]=x[7][11]  using generic constraint 
4.29/4.37	c intension x[11][8]=x[8][11]  using generic constraint 
4.29/4.37	c intension x[11][9]=x[9][11]  using generic constraint 
4.29/4.37	c intension x[11][10]=x[10][11]  using generic constraint 
4.29/4.38	c intension x[11][12]=x[12][11]  using generic constraint 
4.29/4.38	c intension x[11][13]=x[13][11]  using generic constraint 
4.29/4.38	c intension x[11][14]=x[14][11]  using generic constraint 
4.29/4.38	c intension x[11][15]=x[15][11]  using generic constraint 
4.29/4.38	c intension x[11][16]=x[16][11]  using generic constraint 
4.29/4.38	c intension x[11][17]=x[17][11]  using generic constraint 
4.29/4.38	c intension x[11][18]=x[18][11]  using generic constraint 
4.29/4.38	c intension x[11][19]=x[19][11]  using generic constraint 
4.29/4.38	c intension x[11][20]=x[20][11]  using generic constraint 
4.29/4.38	c intension x[11][21]=x[21][11]  using generic constraint 
4.29/4.39	c intension x[11][22]=x[22][11]  using generic constraint 
4.29/4.39	c intension x[11][23]=x[23][11]  using generic constraint 
4.29/4.39	c intension x[11][24]=x[24][11]  using generic constraint 
4.29/4.39	c intension x[11][25]=x[25][11]  using generic constraint 
4.29/4.39	c intension x[11][26]=x[26][11]  using generic constraint 
4.29/4.39	c intension x[11][27]=x[27][11]  using generic constraint 
4.29/4.39	c intension x[11][28]=x[28][11]  using generic constraint 
4.29/4.39	c intension x[11][29]=x[29][11]  using generic constraint 
4.29/4.39	c intension x[11][30]=x[30][11]  using generic constraint 
4.29/4.40	c intension x[11][31]=x[31][11]  using generic constraint 
4.29/4.40	c intension x[11][32]=x[32][11]  using generic constraint 
4.29/4.40	c intension x[11][33]=x[33][11]  using generic constraint 
4.29/4.40	c intension x[11][34]=x[34][11]  using generic constraint 
4.29/4.40	c intension x[11][35]=x[35][11]  using generic constraint 
4.29/4.40	c intension x[11][36]=x[36][11]  using generic constraint 
4.29/4.40	c intension x[11][37]=x[37][11]  using generic constraint 
4.29/4.40	c intension x[11][38]=x[38][11]  using generic constraint 
4.40/4.40	c intension x[12][0]=x[0][12]  using generic constraint 
4.40/4.40	c intension x[12][1]=x[1][12]  using generic constraint 
4.40/4.41	c intension x[12][2]=x[2][12]  using generic constraint 
4.40/4.41	c intension x[12][3]=x[3][12]  using generic constraint 
4.40/4.41	c intension x[12][4]=x[4][12]  using generic constraint 
4.40/4.41	c intension x[12][5]=x[5][12]  using generic constraint 
4.40/4.41	c intension x[12][6]=x[6][12]  using generic constraint 
4.40/4.41	c intension x[12][7]=x[7][12]  using generic constraint 
4.40/4.41	c intension x[12][8]=x[8][12]  using generic constraint 
4.40/4.41	c intension x[12][9]=x[9][12]  using generic constraint 
4.40/4.41	c intension x[12][10]=x[10][12]  using generic constraint 
4.40/4.42	c intension x[12][11]=x[11][12]  using generic constraint 
4.40/4.42	c intension x[12][13]=x[13][12]  using generic constraint 
4.40/4.42	c intension x[12][14]=x[14][12]  using generic constraint 
4.40/4.42	c intension x[12][15]=x[15][12]  using generic constraint 
4.40/4.42	c intension x[12][16]=x[16][12]  using generic constraint 
4.40/4.42	c intension x[12][17]=x[17][12]  using generic constraint 
4.40/4.42	c intension x[12][18]=x[18][12]  using generic constraint 
4.40/4.42	c intension x[12][19]=x[19][12]  using generic constraint 
4.40/4.42	c intension x[12][20]=x[20][12]  using generic constraint 
4.40/4.42	c intension x[12][21]=x[21][12]  using generic constraint 
4.40/4.43	c intension x[12][22]=x[22][12]  using generic constraint 
4.40/4.43	c intension x[12][23]=x[23][12]  using generic constraint 
4.40/4.43	c intension x[12][24]=x[24][12]  using generic constraint 
4.40/4.43	c intension x[12][25]=x[25][12]  using generic constraint 
4.40/4.43	c intension x[12][26]=x[26][12]  using generic constraint 
4.40/4.43	c intension x[12][27]=x[27][12]  using generic constraint 
4.40/4.43	c intension x[12][28]=x[28][12]  using generic constraint 
4.40/4.43	c intension x[12][29]=x[29][12]  using generic constraint 
4.40/4.43	c intension x[12][30]=x[30][12]  using generic constraint 
4.40/4.44	c intension x[12][31]=x[31][12]  using generic constraint 
4.40/4.44	c intension x[12][32]=x[32][12]  using generic constraint 
4.40/4.44	c intension x[12][33]=x[33][12]  using generic constraint 
4.40/4.44	c intension x[12][34]=x[34][12]  using generic constraint 
4.40/4.44	c intension x[12][35]=x[35][12]  using generic constraint 
4.40/4.44	c intension x[12][36]=x[36][12]  using generic constraint 
4.40/4.44	c intension x[12][37]=x[37][12]  using generic constraint 
4.40/4.44	c intension x[12][38]=x[38][12]  using generic constraint 
4.40/4.44	c intension x[13][0]=x[0][13]  using generic constraint 
4.40/4.44	c intension x[13][1]=x[1][13]  using generic constraint 
4.40/4.45	c intension x[13][2]=x[2][13]  using generic constraint 
4.40/4.45	c intension x[13][3]=x[3][13]  using generic constraint 
4.40/4.45	c intension x[13][4]=x[4][13]  using generic constraint 
4.40/4.45	c intension x[13][5]=x[5][13]  using generic constraint 
4.40/4.45	c intension x[13][6]=x[6][13]  using generic constraint 
4.40/4.45	c intension x[13][7]=x[7][13]  using generic constraint 
4.40/4.45	c intension x[13][8]=x[8][13]  using generic constraint 
4.40/4.45	c intension x[13][9]=x[9][13]  using generic constraint 
4.40/4.45	c intension x[13][10]=x[10][13]  using generic constraint 
4.40/4.46	c intension x[13][11]=x[11][13]  using generic constraint 
4.40/4.46	c intension x[13][12]=x[12][13]  using generic constraint 
4.40/4.46	c intension x[13][14]=x[14][13]  using generic constraint 
4.40/4.46	c intension x[13][15]=x[15][13]  using generic constraint 
4.40/4.46	c intension x[13][16]=x[16][13]  using generic constraint 
4.40/4.46	c intension x[13][17]=x[17][13]  using generic constraint 
4.40/4.46	c intension x[13][18]=x[18][13]  using generic constraint 
4.40/4.46	c intension x[13][19]=x[19][13]  using generic constraint 
4.40/4.46	c intension x[13][20]=x[20][13]  using generic constraint 
4.40/4.47	c intension x[13][21]=x[21][13]  using generic constraint 
4.40/4.47	c intension x[13][22]=x[22][13]  using generic constraint 
4.40/4.47	c intension x[13][23]=x[23][13]  using generic constraint 
4.40/4.47	c intension x[13][24]=x[24][13]  using generic constraint 
4.40/4.47	c intension x[13][25]=x[25][13]  using generic constraint 
4.40/4.47	c intension x[13][26]=x[26][13]  using generic constraint 
4.40/4.47	c intension x[13][27]=x[27][13]  using generic constraint 
4.40/4.47	c intension x[13][28]=x[28][13]  using generic constraint 
4.40/4.47	c intension x[13][29]=x[29][13]  using generic constraint 
4.40/4.47	c intension x[13][30]=x[30][13]  using generic constraint 
4.40/4.48	c intension x[13][31]=x[31][13]  using generic constraint 
4.40/4.48	c intension x[13][32]=x[32][13]  using generic constraint 
4.40/4.48	c intension x[13][33]=x[33][13]  using generic constraint 
4.40/4.48	c intension x[13][34]=x[34][13]  using generic constraint 
4.40/4.48	c intension x[13][35]=x[35][13]  using generic constraint 
4.40/4.48	c intension x[13][36]=x[36][13]  using generic constraint 
4.40/4.48	c intension x[13][37]=x[37][13]  using generic constraint 
4.40/4.48	c intension x[13][38]=x[38][13]  using generic constraint 
4.40/4.48	c intension x[14][0]=x[0][14]  using generic constraint 
4.40/4.49	c intension x[14][1]=x[1][14]  using generic constraint 
4.40/4.49	c intension x[14][2]=x[2][14]  using generic constraint 
4.40/4.49	c intension x[14][3]=x[3][14]  using generic constraint 
4.40/4.49	c intension x[14][4]=x[4][14]  using generic constraint 
4.40/4.49	c intension x[14][5]=x[5][14]  using generic constraint 
4.40/4.49	c intension x[14][6]=x[6][14]  using generic constraint 
4.40/4.49	c intension x[14][7]=x[7][14]  using generic constraint 
4.40/4.49	c intension x[14][8]=x[8][14]  using generic constraint 
4.40/4.49	c intension x[14][9]=x[9][14]  using generic constraint 
4.40/4.49	c intension x[14][10]=x[10][14]  using generic constraint 
4.40/4.50	c intension x[14][11]=x[11][14]  using generic constraint 
4.40/4.50	c intension x[14][12]=x[12][14]  using generic constraint 
4.40/4.50	c intension x[14][13]=x[13][14]  using generic constraint 
4.40/4.50	c intension x[14][15]=x[15][14]  using generic constraint 
4.40/4.50	c intension x[14][16]=x[16][14]  using generic constraint 
4.40/4.50	c intension x[14][17]=x[17][14]  using generic constraint 
4.40/4.50	c intension x[14][18]=x[18][14]  using generic constraint 
4.40/4.50	c intension x[14][19]=x[19][14]  using generic constraint 
4.50/4.50	c intension x[14][20]=x[20][14]  using generic constraint 
4.50/4.51	c intension x[14][21]=x[21][14]  using generic constraint 
4.50/4.51	c intension x[14][22]=x[22][14]  using generic constraint 
4.50/4.51	c intension x[14][23]=x[23][14]  using generic constraint 
4.50/4.51	c intension x[14][24]=x[24][14]  using generic constraint 
4.50/4.51	c intension x[14][25]=x[25][14]  using generic constraint 
4.50/4.51	c intension x[14][26]=x[26][14]  using generic constraint 
4.50/4.51	c intension x[14][27]=x[27][14]  using generic constraint 
4.50/4.51	c intension x[14][28]=x[28][14]  using generic constraint 
4.50/4.51	c intension x[14][29]=x[29][14]  using generic constraint 
4.50/4.51	c intension x[14][30]=x[30][14]  using generic constraint 
4.50/4.52	c intension x[14][31]=x[31][14]  using generic constraint 
4.50/4.52	c intension x[14][32]=x[32][14]  using generic constraint 
4.50/4.52	c intension x[14][33]=x[33][14]  using generic constraint 
4.50/4.52	c intension x[14][34]=x[34][14]  using generic constraint 
4.50/4.52	c intension x[14][35]=x[35][14]  using generic constraint 
4.50/4.52	c intension x[14][36]=x[36][14]  using generic constraint 
4.50/4.52	c intension x[14][37]=x[37][14]  using generic constraint 
4.50/4.52	c intension x[14][38]=x[38][14]  using generic constraint 
4.50/4.52	c intension x[15][0]=x[0][15]  using generic constraint 
4.50/4.53	c intension x[15][1]=x[1][15]  using generic constraint 
4.50/4.53	c intension x[15][2]=x[2][15]  using generic constraint 
4.50/4.53	c intension x[15][3]=x[3][15]  using generic constraint 
4.50/4.53	c intension x[15][4]=x[4][15]  using generic constraint 
4.50/4.53	c intension x[15][5]=x[5][15]  using generic constraint 
4.50/4.53	c intension x[15][6]=x[6][15]  using generic constraint 
4.50/4.53	c intension x[15][7]=x[7][15]  using generic constraint 
4.50/4.53	c intension x[15][8]=x[8][15]  using generic constraint 
4.50/4.53	c intension x[15][9]=x[9][15]  using generic constraint 
4.50/4.53	c intension x[15][10]=x[10][15]  using generic constraint 
4.50/4.54	c intension x[15][11]=x[11][15]  using generic constraint 
4.50/4.54	c intension x[15][12]=x[12][15]  using generic constraint 
4.50/4.54	c intension x[15][13]=x[13][15]  using generic constraint 
4.50/4.54	c intension x[15][14]=x[14][15]  using generic constraint 
4.50/4.54	c intension x[15][16]=x[16][15]  using generic constraint 
4.50/4.54	c intension x[15][17]=x[17][15]  using generic constraint 
4.50/4.54	c intension x[15][18]=x[18][15]  using generic constraint 
4.50/4.54	c intension x[15][19]=x[19][15]  using generic constraint 
4.50/4.54	c intension x[15][20]=x[20][15]  using generic constraint 
4.50/4.55	c intension x[15][21]=x[21][15]  using generic constraint 
4.50/4.55	c intension x[15][22]=x[22][15]  using generic constraint 
4.50/4.55	c intension x[15][23]=x[23][15]  using generic constraint 
4.50/4.55	c intension x[15][24]=x[24][15]  using generic constraint 
4.50/4.55	c intension x[15][25]=x[25][15]  using generic constraint 
4.50/4.55	c intension x[15][26]=x[26][15]  using generic constraint 
4.50/4.55	c intension x[15][27]=x[27][15]  using generic constraint 
4.50/4.55	c intension x[15][28]=x[28][15]  using generic constraint 
4.50/4.55	c intension x[15][29]=x[29][15]  using generic constraint 
4.50/4.55	c intension x[15][30]=x[30][15]  using generic constraint 
4.50/4.56	c intension x[15][31]=x[31][15]  using generic constraint 
4.50/4.56	c intension x[15][32]=x[32][15]  using generic constraint 
4.50/4.56	c intension x[15][33]=x[33][15]  using generic constraint 
4.50/4.56	c intension x[15][34]=x[34][15]  using generic constraint 
4.50/4.56	c intension x[15][35]=x[35][15]  using generic constraint 
4.50/4.56	c intension x[15][36]=x[36][15]  using generic constraint 
4.50/4.56	c intension x[15][37]=x[37][15]  using generic constraint 
4.50/4.56	c intension x[15][38]=x[38][15]  using generic constraint 
4.50/4.56	c intension x[16][0]=x[0][16]  using generic constraint 
4.50/4.57	c intension x[16][1]=x[1][16]  using generic constraint 
4.50/4.57	c intension x[16][2]=x[2][16]  using generic constraint 
4.50/4.57	c intension x[16][3]=x[3][16]  using generic constraint 
4.50/4.57	c intension x[16][4]=x[4][16]  using generic constraint 
4.50/4.57	c intension x[16][5]=x[5][16]  using generic constraint 
4.50/4.57	c intension x[16][6]=x[6][16]  using generic constraint 
4.50/4.57	c intension x[16][7]=x[7][16]  using generic constraint 
4.50/4.57	c intension x[16][8]=x[8][16]  using generic constraint 
4.50/4.57	c intension x[16][9]=x[9][16]  using generic constraint 
4.50/4.58	c intension x[16][10]=x[10][16]  using generic constraint 
4.50/4.58	c intension x[16][11]=x[11][16]  using generic constraint 
4.50/4.58	c intension x[16][12]=x[12][16]  using generic constraint 
4.50/4.58	c intension x[16][13]=x[13][16]  using generic constraint 
4.50/4.58	c intension x[16][14]=x[14][16]  using generic constraint 
4.50/4.58	c intension x[16][15]=x[15][16]  using generic constraint 
4.50/4.58	c intension x[16][17]=x[17][16]  using generic constraint 
4.50/4.58	c intension x[16][18]=x[18][16]  using generic constraint 
4.50/4.58	c intension x[16][19]=x[19][16]  using generic constraint 
4.50/4.58	c intension x[16][20]=x[20][16]  using generic constraint 
4.50/4.59	c intension x[16][21]=x[21][16]  using generic constraint 
4.50/4.59	c intension x[16][22]=x[22][16]  using generic constraint 
4.50/4.59	c intension x[16][23]=x[23][16]  using generic constraint 
4.50/4.59	c intension x[16][24]=x[24][16]  using generic constraint 
4.50/4.59	c intension x[16][25]=x[25][16]  using generic constraint 
4.50/4.59	c intension x[16][26]=x[26][16]  using generic constraint 
4.50/4.59	c intension x[16][27]=x[27][16]  using generic constraint 
4.50/4.59	c intension x[16][28]=x[28][16]  using generic constraint 
4.50/4.59	c intension x[16][29]=x[29][16]  using generic constraint 
4.50/4.60	c intension x[16][30]=x[30][16]  using generic constraint 
4.59/4.60	c intension x[16][31]=x[31][16]  using generic constraint 
4.59/4.60	c intension x[16][32]=x[32][16]  using generic constraint 
4.59/4.60	c intension x[16][33]=x[33][16]  using generic constraint 
4.59/4.60	c intension x[16][34]=x[34][16]  using generic constraint 
4.59/4.60	c intension x[16][35]=x[35][16]  using generic constraint 
4.59/4.60	c intension x[16][36]=x[36][16]  using generic constraint 
4.59/4.60	c intension x[16][37]=x[37][16]  using generic constraint 
4.59/4.60	c intension x[16][38]=x[38][16]  using generic constraint 
4.59/4.61	c intension x[17][0]=x[0][17]  using generic constraint 
4.59/4.61	c intension x[17][1]=x[1][17]  using generic constraint 
4.59/4.61	c intension x[17][2]=x[2][17]  using generic constraint 
4.59/4.61	c intension x[17][3]=x[3][17]  using generic constraint 
4.59/4.61	c intension x[17][4]=x[4][17]  using generic constraint 
4.59/4.61	c intension x[17][5]=x[5][17]  using generic constraint 
4.59/4.61	c intension x[17][6]=x[6][17]  using generic constraint 
4.59/4.61	c intension x[17][7]=x[7][17]  using generic constraint 
4.59/4.61	c intension x[17][8]=x[8][17]  using generic constraint 
4.59/4.61	c intension x[17][9]=x[9][17]  using generic constraint 
4.59/4.62	c intension x[17][10]=x[10][17]  using generic constraint 
4.59/4.62	c intension x[17][11]=x[11][17]  using generic constraint 
4.59/4.62	c intension x[17][12]=x[12][17]  using generic constraint 
4.59/4.62	c intension x[17][13]=x[13][17]  using generic constraint 
4.59/4.62	c intension x[17][14]=x[14][17]  using generic constraint 
4.59/4.62	c intension x[17][15]=x[15][17]  using generic constraint 
4.59/4.62	c intension x[17][16]=x[16][17]  using generic constraint 
4.59/4.62	c intension x[17][18]=x[18][17]  using generic constraint 
4.59/4.62	c intension x[17][19]=x[19][17]  using generic constraint 
4.59/4.63	c intension x[17][20]=x[20][17]  using generic constraint 
4.59/4.63	c intension x[17][21]=x[21][17]  using generic constraint 
4.59/4.63	c intension x[17][22]=x[22][17]  using generic constraint 
4.59/4.63	c intension x[17][23]=x[23][17]  using generic constraint 
4.59/4.63	c intension x[17][24]=x[24][17]  using generic constraint 
4.59/4.63	c intension x[17][25]=x[25][17]  using generic constraint 
4.59/4.63	c intension x[17][26]=x[26][17]  using generic constraint 
4.59/4.63	c intension x[17][27]=x[27][17]  using generic constraint 
4.59/4.63	c intension x[17][28]=x[28][17]  using generic constraint 
4.59/4.63	c intension x[17][29]=x[29][17]  using generic constraint 
4.59/4.64	c intension x[17][30]=x[30][17]  using generic constraint 
4.59/4.64	c intension x[17][31]=x[31][17]  using generic constraint 
4.59/4.64	c intension x[17][32]=x[32][17]  using generic constraint 
4.59/4.64	c intension x[17][33]=x[33][17]  using generic constraint 
4.59/4.64	c intension x[17][34]=x[34][17]  using generic constraint 
4.59/4.64	c intension x[17][35]=x[35][17]  using generic constraint 
4.59/4.64	c intension x[17][36]=x[36][17]  using generic constraint 
4.59/4.64	c intension x[17][37]=x[37][17]  using generic constraint 
4.59/4.64	c intension x[17][38]=x[38][17]  using generic constraint 
4.59/4.65	c intension x[18][0]=x[0][18]  using generic constraint 
4.59/4.65	c intension x[18][1]=x[1][18]  using generic constraint 
4.59/4.65	c intension x[18][2]=x[2][18]  using generic constraint 
4.59/4.65	c intension x[18][3]=x[3][18]  using generic constraint 
4.59/4.65	c intension x[18][4]=x[4][18]  using generic constraint 
4.59/4.65	c intension x[18][5]=x[5][18]  using generic constraint 
4.59/4.65	c intension x[18][6]=x[6][18]  using generic constraint 
4.59/4.65	c intension x[18][7]=x[7][18]  using generic constraint 
4.59/4.65	c intension x[18][8]=x[8][18]  using generic constraint 
4.59/4.65	c intension x[18][9]=x[9][18]  using generic constraint 
4.59/4.66	c intension x[18][10]=x[10][18]  using generic constraint 
4.59/4.66	c intension x[18][11]=x[11][18]  using generic constraint 
4.59/4.66	c intension x[18][12]=x[12][18]  using generic constraint 
4.59/4.66	c intension x[18][13]=x[13][18]  using generic constraint 
4.59/4.66	c intension x[18][14]=x[14][18]  using generic constraint 
4.59/4.66	c intension x[18][15]=x[15][18]  using generic constraint 
4.59/4.66	c intension x[18][16]=x[16][18]  using generic constraint 
4.59/4.66	c intension x[18][17]=x[17][18]  using generic constraint 
4.59/4.66	c intension x[18][19]=x[19][18]  using generic constraint 
4.59/4.67	c intension x[18][20]=x[20][18]  using generic constraint 
4.59/4.67	c intension x[18][21]=x[21][18]  using generic constraint 
4.59/4.67	c intension x[18][22]=x[22][18]  using generic constraint 
4.59/4.67	c intension x[18][23]=x[23][18]  using generic constraint 
4.59/4.67	c intension x[18][24]=x[24][18]  using generic constraint 
4.59/4.67	c intension x[18][25]=x[25][18]  using generic constraint 
4.59/4.67	c intension x[18][26]=x[26][18]  using generic constraint 
4.59/4.67	c intension x[18][27]=x[27][18]  using generic constraint 
4.59/4.67	c intension x[18][28]=x[28][18]  using generic constraint 
4.59/4.67	c intension x[18][29]=x[29][18]  using generic constraint 
4.59/4.68	c intension x[18][30]=x[30][18]  using generic constraint 
4.59/4.68	c intension x[18][31]=x[31][18]  using generic constraint 
4.59/4.68	c intension x[18][32]=x[32][18]  using generic constraint 
4.59/4.68	c intension x[18][33]=x[33][18]  using generic constraint 
4.59/4.68	c intension x[18][34]=x[34][18]  using generic constraint 
4.59/4.68	c intension x[18][35]=x[35][18]  using generic constraint 
4.59/4.68	c intension x[18][36]=x[36][18]  using generic constraint 
4.59/4.68	c intension x[18][37]=x[37][18]  using generic constraint 
4.59/4.68	c intension x[18][38]=x[38][18]  using generic constraint 
4.59/4.69	c intension x[19][0]=x[0][19]  using generic constraint 
4.59/4.69	c intension x[19][1]=x[1][19]  using generic constraint 
4.59/4.69	c intension x[19][2]=x[2][19]  using generic constraint 
4.59/4.69	c intension x[19][3]=x[3][19]  using generic constraint 
4.59/4.69	c intension x[19][4]=x[4][19]  using generic constraint 
4.59/4.69	c intension x[19][5]=x[5][19]  using generic constraint 
4.59/4.69	c intension x[19][6]=x[6][19]  using generic constraint 
4.59/4.69	c intension x[19][7]=x[7][19]  using generic constraint 
4.59/4.69	c intension x[19][8]=x[8][19]  using generic constraint 
4.59/4.70	c intension x[19][9]=x[9][19]  using generic constraint 
4.69/4.70	c intension x[19][10]=x[10][19]  using generic constraint 
4.69/4.70	c intension x[19][11]=x[11][19]  using generic constraint 
4.69/4.70	c intension x[19][12]=x[12][19]  using generic constraint 
4.69/4.70	c intension x[19][13]=x[13][19]  using generic constraint 
4.69/4.70	c intension x[19][14]=x[14][19]  using generic constraint 
4.69/4.70	c intension x[19][15]=x[15][19]  using generic constraint 
4.69/4.70	c intension x[19][16]=x[16][19]  using generic constraint 
4.69/4.70	c intension x[19][17]=x[17][19]  using generic constraint 
4.69/4.70	c intension x[19][18]=x[18][19]  using generic constraint 
4.69/4.71	c intension x[19][20]=x[20][19]  using generic constraint 
4.69/4.71	c intension x[19][21]=x[21][19]  using generic constraint 
4.69/4.71	c intension x[19][22]=x[22][19]  using generic constraint 
4.69/4.71	c intension x[19][23]=x[23][19]  using generic constraint 
4.69/4.71	c intension x[19][24]=x[24][19]  using generic constraint 
4.69/4.71	c intension x[19][25]=x[25][19]  using generic constraint 
4.69/4.71	c intension x[19][26]=x[26][19]  using generic constraint 
4.69/4.71	c intension x[19][27]=x[27][19]  using generic constraint 
4.69/4.71	c intension x[19][28]=x[28][19]  using generic constraint 
4.69/4.72	c intension x[19][29]=x[29][19]  using generic constraint 
4.69/4.72	c intension x[19][30]=x[30][19]  using generic constraint 
4.69/4.72	c intension x[19][31]=x[31][19]  using generic constraint 
4.69/4.72	c intension x[19][32]=x[32][19]  using generic constraint 
4.69/4.72	c intension x[19][33]=x[33][19]  using generic constraint 
4.69/4.72	c intension x[19][34]=x[34][19]  using generic constraint 
4.69/4.72	c intension x[19][35]=x[35][19]  using generic constraint 
4.69/4.72	c intension x[19][36]=x[36][19]  using generic constraint 
4.69/4.72	c intension x[19][37]=x[37][19]  using generic constraint 
4.69/4.72	c intension x[19][38]=x[38][19]  using generic constraint 
4.69/4.73	c intension x[20][0]=x[0][20]  using generic constraint 
4.69/4.73	c intension x[20][1]=x[1][20]  using generic constraint 
4.69/4.73	c intension x[20][2]=x[2][20]  using generic constraint 
4.69/4.73	c intension x[20][3]=x[3][20]  using generic constraint 
4.69/4.73	c intension x[20][4]=x[4][20]  using generic constraint 
4.69/4.73	c intension x[20][5]=x[5][20]  using generic constraint 
4.69/4.73	c intension x[20][6]=x[6][20]  using generic constraint 
4.69/4.73	c intension x[20][7]=x[7][20]  using generic constraint 
4.69/4.73	c intension x[20][8]=x[8][20]  using generic constraint 
4.69/4.74	c intension x[20][9]=x[9][20]  using generic constraint 
4.69/4.74	c intension x[20][10]=x[10][20]  using generic constraint 
4.69/4.74	c intension x[20][11]=x[11][20]  using generic constraint 
4.69/4.74	c intension x[20][12]=x[12][20]  using generic constraint 
4.69/4.74	c intension x[20][13]=x[13][20]  using generic constraint 
4.69/4.74	c intension x[20][14]=x[14][20]  using generic constraint 
4.69/4.74	c intension x[20][15]=x[15][20]  using generic constraint 
4.69/4.74	c intension x[20][16]=x[16][20]  using generic constraint 
4.69/4.74	c intension x[20][17]=x[17][20]  using generic constraint 
4.69/4.75	c intension x[20][18]=x[18][20]  using generic constraint 
4.69/4.75	c intension x[20][19]=x[19][20]  using generic constraint 
4.69/4.75	c intension x[20][21]=x[21][20]  using generic constraint 
4.69/4.75	c intension x[20][22]=x[22][20]  using generic constraint 
4.69/4.75	c intension x[20][23]=x[23][20]  using generic constraint 
4.69/4.75	c intension x[20][24]=x[24][20]  using generic constraint 
4.69/4.75	c intension x[20][25]=x[25][20]  using generic constraint 
4.69/4.75	c intension x[20][26]=x[26][20]  using generic constraint 
4.69/4.75	c intension x[20][27]=x[27][20]  using generic constraint 
4.69/4.75	c intension x[20][28]=x[28][20]  using generic constraint 
4.69/4.76	c intension x[20][29]=x[29][20]  using generic constraint 
4.69/4.76	c intension x[20][30]=x[30][20]  using generic constraint 
4.69/4.76	c intension x[20][31]=x[31][20]  using generic constraint 
4.69/4.76	c intension x[20][32]=x[32][20]  using generic constraint 
4.69/4.76	c intension x[20][33]=x[33][20]  using generic constraint 
4.69/4.76	c intension x[20][34]=x[34][20]  using generic constraint 
4.69/4.76	c intension x[20][35]=x[35][20]  using generic constraint 
4.69/4.76	c intension x[20][36]=x[36][20]  using generic constraint 
4.69/4.76	c intension x[20][37]=x[37][20]  using generic constraint 
4.69/4.77	c intension x[20][38]=x[38][20]  using generic constraint 
4.69/4.77	c intension x[21][0]=x[0][21]  using generic constraint 
4.69/4.77	c intension x[21][1]=x[1][21]  using generic constraint 
4.69/4.77	c intension x[21][2]=x[2][21]  using generic constraint 
4.69/4.77	c intension x[21][3]=x[3][21]  using generic constraint 
4.69/4.77	c intension x[21][4]=x[4][21]  using generic constraint 
4.69/4.77	c intension x[21][5]=x[5][21]  using generic constraint 
4.69/4.77	c intension x[21][6]=x[6][21]  using generic constraint 
4.69/4.77	c intension x[21][7]=x[7][21]  using generic constraint 
4.69/4.78	c intension x[21][8]=x[8][21]  using generic constraint 
4.69/4.78	c intension x[21][9]=x[9][21]  using generic constraint 
4.69/4.78	c intension x[21][10]=x[10][21]  using generic constraint 
4.69/4.78	c intension x[21][11]=x[11][21]  using generic constraint 
4.69/4.78	c intension x[21][12]=x[12][21]  using generic constraint 
4.69/4.78	c intension x[21][13]=x[13][21]  using generic constraint 
4.69/4.78	c intension x[21][14]=x[14][21]  using generic constraint 
4.69/4.78	c intension x[21][15]=x[15][21]  using generic constraint 
4.69/4.78	c intension x[21][16]=x[16][21]  using generic constraint 
4.69/4.78	c intension x[21][17]=x[17][21]  using generic constraint 
4.69/4.79	c intension x[21][18]=x[18][21]  using generic constraint 
4.69/4.79	c intension x[21][19]=x[19][21]  using generic constraint 
4.69/4.79	c intension x[21][20]=x[20][21]  using generic constraint 
4.69/4.79	c intension x[21][22]=x[22][21]  using generic constraint 
4.69/4.79	c intension x[21][23]=x[23][21]  using generic constraint 
4.69/4.79	c intension x[21][24]=x[24][21]  using generic constraint 
4.69/4.79	c intension x[21][25]=x[25][21]  using generic constraint 
4.69/4.79	c intension x[21][26]=x[26][21]  using generic constraint 
4.69/4.79	c intension x[21][27]=x[27][21]  using generic constraint 
4.69/4.80	c intension x[21][28]=x[28][21]  using generic constraint 
4.79/4.80	c intension x[21][29]=x[29][21]  using generic constraint 
4.79/4.80	c intension x[21][30]=x[30][21]  using generic constraint 
4.79/4.80	c intension x[21][31]=x[31][21]  using generic constraint 
4.79/4.80	c intension x[21][32]=x[32][21]  using generic constraint 
4.79/4.80	c intension x[21][33]=x[33][21]  using generic constraint 
4.79/4.80	c intension x[21][34]=x[34][21]  using generic constraint 
4.79/4.80	c intension x[21][35]=x[35][21]  using generic constraint 
4.79/4.80	c intension x[21][36]=x[36][21]  using generic constraint 
4.79/4.80	c intension x[21][37]=x[37][21]  using generic constraint 
4.79/4.81	c intension x[21][38]=x[38][21]  using generic constraint 
4.79/4.81	c intension x[22][0]=x[0][22]  using generic constraint 
4.79/4.81	c intension x[22][1]=x[1][22]  using generic constraint 
4.79/4.81	c intension x[22][2]=x[2][22]  using generic constraint 
4.79/4.81	c intension x[22][3]=x[3][22]  using generic constraint 
4.79/4.81	c intension x[22][4]=x[4][22]  using generic constraint 
4.79/4.81	c intension x[22][5]=x[5][22]  using generic constraint 
4.79/4.81	c intension x[22][6]=x[6][22]  using generic constraint 
4.79/4.81	c intension x[22][7]=x[7][22]  using generic constraint 
4.79/4.82	c intension x[22][8]=x[8][22]  using generic constraint 
4.79/4.82	c intension x[22][9]=x[9][22]  using generic constraint 
4.79/4.82	c intension x[22][10]=x[10][22]  using generic constraint 
4.79/4.82	c intension x[22][11]=x[11][22]  using generic constraint 
4.79/4.82	c intension x[22][12]=x[12][22]  using generic constraint 
4.79/4.82	c intension x[22][13]=x[13][22]  using generic constraint 
4.79/4.82	c intension x[22][14]=x[14][22]  using generic constraint 
4.79/4.82	c intension x[22][15]=x[15][22]  using generic constraint 
4.79/4.82	c intension x[22][16]=x[16][22]  using generic constraint 
4.79/4.83	c intension x[22][17]=x[17][22]  using generic constraint 
4.79/4.83	c intension x[22][18]=x[18][22]  using generic constraint 
4.79/4.83	c intension x[22][19]=x[19][22]  using generic constraint 
4.79/4.83	c intension x[22][20]=x[20][22]  using generic constraint 
4.79/4.83	c intension x[22][21]=x[21][22]  using generic constraint 
4.79/4.83	c intension x[22][23]=x[23][22]  using generic constraint 
4.79/4.83	c intension x[22][24]=x[24][22]  using generic constraint 
4.79/4.83	c intension x[22][25]=x[25][22]  using generic constraint 
4.79/4.83	c intension x[22][26]=x[26][22]  using generic constraint 
4.79/4.83	c intension x[22][27]=x[27][22]  using generic constraint 
4.79/4.84	c intension x[22][28]=x[28][22]  using generic constraint 
4.79/4.84	c intension x[22][29]=x[29][22]  using generic constraint 
4.79/4.84	c intension x[22][30]=x[30][22]  using generic constraint 
4.79/4.84	c intension x[22][31]=x[31][22]  using generic constraint 
4.79/4.84	c intension x[22][32]=x[32][22]  using generic constraint 
4.79/4.84	c intension x[22][33]=x[33][22]  using generic constraint 
4.79/4.84	c intension x[22][34]=x[34][22]  using generic constraint 
4.79/4.84	c intension x[22][35]=x[35][22]  using generic constraint 
4.79/4.84	c intension x[22][36]=x[36][22]  using generic constraint 
4.79/4.85	c intension x[22][37]=x[37][22]  using generic constraint 
4.79/4.85	c intension x[22][38]=x[38][22]  using generic constraint 
4.79/4.85	c intension x[23][0]=x[0][23]  using generic constraint 
4.79/4.85	c intension x[23][1]=x[1][23]  using generic constraint 
4.79/4.85	c intension x[23][2]=x[2][23]  using generic constraint 
4.79/4.85	c intension x[23][3]=x[3][23]  using generic constraint 
4.79/4.85	c intension x[23][4]=x[4][23]  using generic constraint 
4.79/4.85	c intension x[23][5]=x[5][23]  using generic constraint 
4.79/4.85	c intension x[23][6]=x[6][23]  using generic constraint 
4.79/4.85	c intension x[23][7]=x[7][23]  using generic constraint 
4.79/4.86	c intension x[23][8]=x[8][23]  using generic constraint 
4.79/4.86	c intension x[23][9]=x[9][23]  using generic constraint 
4.79/4.86	c intension x[23][10]=x[10][23]  using generic constraint 
4.79/4.86	c intension x[23][11]=x[11][23]  using generic constraint 
4.79/4.86	c intension x[23][12]=x[12][23]  using generic constraint 
4.79/4.86	c intension x[23][13]=x[13][23]  using generic constraint 
4.79/4.86	c intension x[23][14]=x[14][23]  using generic constraint 
4.79/4.86	c intension x[23][15]=x[15][23]  using generic constraint 
4.79/4.86	c intension x[23][16]=x[16][23]  using generic constraint 
4.79/4.87	c intension x[23][17]=x[17][23]  using generic constraint 
4.79/4.87	c intension x[23][18]=x[18][23]  using generic constraint 
4.79/4.87	c intension x[23][19]=x[19][23]  using generic constraint 
4.79/4.87	c intension x[23][20]=x[20][23]  using generic constraint 
4.79/4.87	c intension x[23][21]=x[21][23]  using generic constraint 
4.79/4.87	c intension x[23][22]=x[22][23]  using generic constraint 
4.79/4.87	c intension x[23][24]=x[24][23]  using generic constraint 
4.79/4.87	c intension x[23][25]=x[25][23]  using generic constraint 
4.79/4.87	c intension x[23][26]=x[26][23]  using generic constraint 
4.79/4.87	c intension x[23][27]=x[27][23]  using generic constraint 
4.79/4.88	c intension x[23][28]=x[28][23]  using generic constraint 
4.79/4.88	c intension x[23][29]=x[29][23]  using generic constraint 
4.79/4.88	c intension x[23][30]=x[30][23]  using generic constraint 
4.79/4.88	c intension x[23][31]=x[31][23]  using generic constraint 
4.79/4.88	c intension x[23][32]=x[32][23]  using generic constraint 
4.79/4.88	c intension x[23][33]=x[33][23]  using generic constraint 
4.79/4.88	c intension x[23][34]=x[34][23]  using generic constraint 
4.79/4.88	c intension x[23][35]=x[35][23]  using generic constraint 
4.79/4.88	c intension x[23][36]=x[36][23]  using generic constraint 
4.79/4.89	c intension x[23][37]=x[37][23]  using generic constraint 
4.79/4.89	c intension x[23][38]=x[38][23]  using generic constraint 
4.79/4.89	c intension x[24][0]=x[0][24]  using generic constraint 
4.79/4.89	c intension x[24][1]=x[1][24]  using generic constraint 
4.79/4.89	c intension x[24][2]=x[2][24]  using generic constraint 
4.79/4.89	c intension x[24][3]=x[3][24]  using generic constraint 
4.79/4.89	c intension x[24][4]=x[4][24]  using generic constraint 
4.79/4.89	c intension x[24][5]=x[5][24]  using generic constraint 
4.79/4.89	c intension x[24][6]=x[6][24]  using generic constraint 
4.79/4.89	c intension x[24][7]=x[7][24]  using generic constraint 
4.89/4.90	c intension x[24][8]=x[8][24]  using generic constraint 
4.89/4.90	c intension x[24][9]=x[9][24]  using generic constraint 
4.89/4.90	c intension x[24][10]=x[10][24]  using generic constraint 
4.89/4.90	c intension x[24][11]=x[11][24]  using generic constraint 
4.89/4.90	c intension x[24][12]=x[12][24]  using generic constraint 
4.89/4.90	c intension x[24][13]=x[13][24]  using generic constraint 
4.89/4.90	c intension x[24][14]=x[14][24]  using generic constraint 
4.89/4.90	c intension x[24][15]=x[15][24]  using generic constraint 
4.89/4.90	c intension x[24][16]=x[16][24]  using generic constraint 
4.89/4.91	c intension x[24][17]=x[17][24]  using generic constraint 
4.89/4.91	c intension x[24][18]=x[18][24]  using generic constraint 
4.89/4.91	c intension x[24][19]=x[19][24]  using generic constraint 
4.89/4.91	c intension x[24][20]=x[20][24]  using generic constraint 
4.89/4.91	c intension x[24][21]=x[21][24]  using generic constraint 
4.89/4.91	c intension x[24][22]=x[22][24]  using generic constraint 
4.89/4.91	c intension x[24][23]=x[23][24]  using generic constraint 
4.89/4.91	c intension x[24][25]=x[25][24]  using generic constraint 
4.89/4.91	c intension x[24][26]=x[26][24]  using generic constraint 
4.89/4.92	c intension x[24][27]=x[27][24]  using generic constraint 
4.89/4.92	c intension x[24][28]=x[28][24]  using generic constraint 
4.89/4.92	c intension x[24][29]=x[29][24]  using generic constraint 
4.89/4.92	c intension x[24][30]=x[30][24]  using generic constraint 
4.89/4.92	c intension x[24][31]=x[31][24]  using generic constraint 
4.89/4.92	c intension x[24][32]=x[32][24]  using generic constraint 
4.89/4.92	c intension x[24][33]=x[33][24]  using generic constraint 
4.89/4.92	c intension x[24][34]=x[34][24]  using generic constraint 
4.89/4.92	c intension x[24][35]=x[35][24]  using generic constraint 
4.89/4.92	c intension x[24][36]=x[36][24]  using generic constraint 
4.89/4.93	c intension x[24][37]=x[37][24]  using generic constraint 
4.89/4.93	c intension x[24][38]=x[38][24]  using generic constraint 
4.89/4.93	c intension x[25][0]=x[0][25]  using generic constraint 
4.89/4.93	c intension x[25][1]=x[1][25]  using generic constraint 
4.89/4.93	c intension x[25][2]=x[2][25]  using generic constraint 
4.89/4.93	c intension x[25][3]=x[3][25]  using generic constraint 
4.89/4.93	c intension x[25][4]=x[4][25]  using generic constraint 
4.89/4.93	c intension x[25][5]=x[5][25]  using generic constraint 
4.89/4.93	c intension x[25][6]=x[6][25]  using generic constraint 
4.89/4.94	c intension x[25][7]=x[7][25]  using generic constraint 
4.89/4.94	c intension x[25][8]=x[8][25]  using generic constraint 
4.89/4.94	c intension x[25][9]=x[9][25]  using generic constraint 
4.89/4.94	c intension x[25][10]=x[10][25]  using generic constraint 
4.89/4.94	c intension x[25][11]=x[11][25]  using generic constraint 
4.89/4.94	c intension x[25][12]=x[12][25]  using generic constraint 
4.89/4.94	c intension x[25][13]=x[13][25]  using generic constraint 
4.89/4.94	c intension x[25][14]=x[14][25]  using generic constraint 
4.89/4.94	c intension x[25][15]=x[15][25]  using generic constraint 
4.89/4.95	c intension x[25][16]=x[16][25]  using generic constraint 
4.89/4.95	c intension x[25][17]=x[17][25]  using generic constraint 
4.89/4.95	c intension x[25][18]=x[18][25]  using generic constraint 
4.89/4.95	c intension x[25][19]=x[19][25]  using generic constraint 
4.89/4.95	c intension x[25][20]=x[20][25]  using generic constraint 
4.89/4.95	c intension x[25][21]=x[21][25]  using generic constraint 
4.89/4.95	c intension x[25][22]=x[22][25]  using generic constraint 
4.89/4.95	c intension x[25][23]=x[23][25]  using generic constraint 
4.89/4.95	c intension x[25][24]=x[24][25]  using generic constraint 
4.89/4.95	c intension x[25][26]=x[26][25]  using generic constraint 
4.89/4.96	c intension x[25][27]=x[27][25]  using generic constraint 
4.89/4.96	c intension x[25][28]=x[28][25]  using generic constraint 
4.89/4.96	c intension x[25][29]=x[29][25]  using generic constraint 
4.89/4.96	c intension x[25][30]=x[30][25]  using generic constraint 
4.89/4.96	c intension x[25][31]=x[31][25]  using generic constraint 
4.89/4.96	c intension x[25][32]=x[32][25]  using generic constraint 
4.89/4.96	c intension x[25][33]=x[33][25]  using generic constraint 
4.89/4.96	c intension x[25][34]=x[34][25]  using generic constraint 
4.89/4.96	c intension x[25][35]=x[35][25]  using generic constraint 
4.89/4.97	c intension x[25][36]=x[36][25]  using generic constraint 
4.89/4.97	c intension x[25][37]=x[37][25]  using generic constraint 
4.89/4.97	c intension x[25][38]=x[38][25]  using generic constraint 
4.89/4.97	c intension x[26][0]=x[0][26]  using generic constraint 
4.89/4.97	c intension x[26][1]=x[1][26]  using generic constraint 
4.89/4.97	c intension x[26][2]=x[2][26]  using generic constraint 
4.89/4.97	c intension x[26][3]=x[3][26]  using generic constraint 
4.89/4.97	c intension x[26][4]=x[4][26]  using generic constraint 
4.89/4.97	c intension x[26][5]=x[5][26]  using generic constraint 
4.89/4.97	c intension x[26][6]=x[6][26]  using generic constraint 
4.89/4.98	c intension x[26][7]=x[7][26]  using generic constraint 
4.89/4.98	c intension x[26][8]=x[8][26]  using generic constraint 
4.89/4.98	c intension x[26][9]=x[9][26]  using generic constraint 
4.89/4.98	c intension x[26][10]=x[10][26]  using generic constraint 
4.89/4.98	c intension x[26][11]=x[11][26]  using generic constraint 
4.89/4.98	c intension x[26][12]=x[12][26]  using generic constraint 
4.89/4.98	c intension x[26][13]=x[13][26]  using generic constraint 
4.89/4.98	c intension x[26][14]=x[14][26]  using generic constraint 
4.89/4.98	c intension x[26][15]=x[15][26]  using generic constraint 
4.89/4.99	c intension x[26][16]=x[16][26]  using generic constraint 
4.89/4.99	c intension x[26][17]=x[17][26]  using generic constraint 
4.89/4.99	c intension x[26][18]=x[18][26]  using generic constraint 
4.89/4.99	c intension x[26][19]=x[19][26]  using generic constraint 
4.89/4.99	c intension x[26][20]=x[20][26]  using generic constraint 
4.89/4.99	c intension x[26][21]=x[21][26]  using generic constraint 
4.89/4.99	c intension x[26][22]=x[22][26]  using generic constraint 
4.89/4.99	c intension x[26][23]=x[23][26]  using generic constraint 
4.89/4.99	c intension x[26][24]=x[24][26]  using generic constraint 
4.89/4.99	c intension x[26][25]=x[25][26]  using generic constraint 
4.99/5.00	c intension x[26][27]=x[27][26]  using generic constraint 
4.99/5.00	c intension x[26][28]=x[28][26]  using generic constraint 
4.99/5.00	c intension x[26][29]=x[29][26]  using generic constraint 
4.99/5.00	c intension x[26][30]=x[30][26]  using generic constraint 
4.99/5.00	c intension x[26][31]=x[31][26]  using generic constraint 
4.99/5.00	c intension x[26][32]=x[32][26]  using generic constraint 
4.99/5.00	c intension x[26][33]=x[33][26]  using generic constraint 
4.99/5.00	c intension x[26][34]=x[34][26]  using generic constraint 
4.99/5.00	c intension x[26][35]=x[35][26]  using generic constraint 
4.99/5.01	c intension x[26][36]=x[36][26]  using generic constraint 
4.99/5.01	c intension x[26][37]=x[37][26]  using generic constraint 
4.99/5.01	c intension x[26][38]=x[38][26]  using generic constraint 
4.99/5.01	c intension x[27][0]=x[0][27]  using generic constraint 
4.99/5.01	c intension x[27][1]=x[1][27]  using generic constraint 
4.99/5.01	c intension x[27][2]=x[2][27]  using generic constraint 
4.99/5.01	c intension x[27][3]=x[3][27]  using generic constraint 
4.99/5.01	c intension x[27][4]=x[4][27]  using generic constraint 
4.99/5.01	c intension x[27][5]=x[5][27]  using generic constraint 
4.99/5.02	c intension x[27][6]=x[6][27]  using generic constraint 
4.99/5.02	c intension x[27][7]=x[7][27]  using generic constraint 
4.99/5.02	c intension x[27][8]=x[8][27]  using generic constraint 
4.99/5.02	c intension x[27][9]=x[9][27]  using generic constraint 
4.99/5.02	c intension x[27][10]=x[10][27]  using generic constraint 
4.99/5.02	c intension x[27][11]=x[11][27]  using generic constraint 
4.99/5.02	c intension x[27][12]=x[12][27]  using generic constraint 
4.99/5.02	c intension x[27][13]=x[13][27]  using generic constraint 
4.99/5.02	c intension x[27][14]=x[14][27]  using generic constraint 
4.99/5.03	c intension x[27][15]=x[15][27]  using generic constraint 
4.99/5.03	c intension x[27][16]=x[16][27]  using generic constraint 
4.99/5.03	c intension x[27][17]=x[17][27]  using generic constraint 
4.99/5.03	c intension x[27][18]=x[18][27]  using generic constraint 
4.99/5.03	c intension x[27][19]=x[19][27]  using generic constraint 
4.99/5.03	c intension x[27][20]=x[20][27]  using generic constraint 
4.99/5.03	c intension x[27][21]=x[21][27]  using generic constraint 
4.99/5.03	c intension x[27][22]=x[22][27]  using generic constraint 
4.99/5.03	c intension x[27][23]=x[23][27]  using generic constraint 
4.99/5.03	c intension x[27][24]=x[24][27]  using generic constraint 
4.99/5.04	c intension x[27][25]=x[25][27]  using generic constraint 
4.99/5.04	c intension x[27][26]=x[26][27]  using generic constraint 
4.99/5.04	c intension x[27][28]=x[28][27]  using generic constraint 
4.99/5.04	c intension x[27][29]=x[29][27]  using generic constraint 
4.99/5.04	c intension x[27][30]=x[30][27]  using generic constraint 
4.99/5.04	c intension x[27][31]=x[31][27]  using generic constraint 
4.99/5.04	c intension x[27][32]=x[32][27]  using generic constraint 
4.99/5.04	c intension x[27][33]=x[33][27]  using generic constraint 
4.99/5.04	c intension x[27][34]=x[34][27]  using generic constraint 
4.99/5.05	c intension x[27][35]=x[35][27]  using generic constraint 
4.99/5.05	c intension x[27][36]=x[36][27]  using generic constraint 
4.99/5.05	c intension x[27][37]=x[37][27]  using generic constraint 
4.99/5.05	c intension x[27][38]=x[38][27]  using generic constraint 
4.99/5.05	c intension x[28][0]=x[0][28]  using generic constraint 
4.99/5.05	c intension x[28][1]=x[1][28]  using generic constraint 
4.99/5.05	c intension x[28][2]=x[2][28]  using generic constraint 
4.99/5.05	c intension x[28][3]=x[3][28]  using generic constraint 
4.99/5.05	c intension x[28][4]=x[4][28]  using generic constraint 
4.99/5.05	c intension x[28][5]=x[5][28]  using generic constraint 
4.99/5.06	c intension x[28][6]=x[6][28]  using generic constraint 
4.99/5.06	c intension x[28][7]=x[7][28]  using generic constraint 
4.99/5.06	c intension x[28][8]=x[8][28]  using generic constraint 
4.99/5.06	c intension x[28][9]=x[9][28]  using generic constraint 
4.99/5.06	c intension x[28][10]=x[10][28]  using generic constraint 
4.99/5.06	c intension x[28][11]=x[11][28]  using generic constraint 
4.99/5.06	c intension x[28][12]=x[12][28]  using generic constraint 
4.99/5.06	c intension x[28][13]=x[13][28]  using generic constraint 
4.99/5.06	c intension x[28][14]=x[14][28]  using generic constraint 
4.99/5.07	c intension x[28][15]=x[15][28]  using generic constraint 
4.99/5.07	c intension x[28][16]=x[16][28]  using generic constraint 
4.99/5.07	c intension x[28][17]=x[17][28]  using generic constraint 
4.99/5.07	c intension x[28][18]=x[18][28]  using generic constraint 
4.99/5.07	c intension x[28][19]=x[19][28]  using generic constraint 
4.99/5.07	c intension x[28][20]=x[20][28]  using generic constraint 
4.99/5.07	c intension x[28][21]=x[21][28]  using generic constraint 
4.99/5.07	c intension x[28][22]=x[22][28]  using generic constraint 
4.99/5.07	c intension x[28][23]=x[23][28]  using generic constraint 
4.99/5.07	c intension x[28][24]=x[24][28]  using generic constraint 
4.99/5.08	c intension x[28][25]=x[25][28]  using generic constraint 
4.99/5.08	c intension x[28][26]=x[26][28]  using generic constraint 
4.99/5.08	c intension x[28][27]=x[27][28]  using generic constraint 
4.99/5.08	c intension x[28][29]=x[29][28]  using generic constraint 
4.99/5.08	c intension x[28][30]=x[30][28]  using generic constraint 
4.99/5.08	c intension x[28][31]=x[31][28]  using generic constraint 
4.99/5.08	c intension x[28][32]=x[32][28]  using generic constraint 
4.99/5.08	c intension x[28][33]=x[33][28]  using generic constraint 
4.99/5.08	c intension x[28][34]=x[34][28]  using generic constraint 
4.99/5.09	c intension x[28][35]=x[35][28]  using generic constraint 
4.99/5.09	c intension x[28][36]=x[36][28]  using generic constraint 
4.99/5.09	c intension x[28][37]=x[37][28]  using generic constraint 
4.99/5.09	c intension x[28][38]=x[38][28]  using generic constraint 
4.99/5.09	c intension x[29][0]=x[0][29]  using generic constraint 
4.99/5.09	c intension x[29][1]=x[1][29]  using generic constraint 
4.99/5.09	c intension x[29][2]=x[2][29]  using generic constraint 
4.99/5.09	c intension x[29][3]=x[3][29]  using generic constraint 
4.99/5.09	c intension x[29][4]=x[4][29]  using generic constraint 
4.99/5.10	c intension x[29][5]=x[5][29]  using generic constraint 
5.09/5.10	c intension x[29][6]=x[6][29]  using generic constraint 
5.09/5.10	c intension x[29][7]=x[7][29]  using generic constraint 
5.09/5.10	c intension x[29][8]=x[8][29]  using generic constraint 
5.09/5.10	c intension x[29][9]=x[9][29]  using generic constraint 
5.09/5.10	c intension x[29][10]=x[10][29]  using generic constraint 
5.09/5.10	c intension x[29][11]=x[11][29]  using generic constraint 
5.09/5.10	c intension x[29][12]=x[12][29]  using generic constraint 
5.09/5.10	c intension x[29][13]=x[13][29]  using generic constraint 
5.09/5.10	c intension x[29][14]=x[14][29]  using generic constraint 
5.09/5.11	c intension x[29][15]=x[15][29]  using generic constraint 
5.09/5.11	c intension x[29][16]=x[16][29]  using generic constraint 
5.09/5.11	c intension x[29][17]=x[17][29]  using generic constraint 
5.09/5.11	c intension x[29][18]=x[18][29]  using generic constraint 
5.09/5.11	c intension x[29][19]=x[19][29]  using generic constraint 
5.09/5.11	c intension x[29][20]=x[20][29]  using generic constraint 
5.09/5.11	c intension x[29][21]=x[21][29]  using generic constraint 
5.09/5.11	c intension x[29][22]=x[22][29]  using generic constraint 
5.09/5.11	c intension x[29][23]=x[23][29]  using generic constraint 
5.09/5.12	c intension x[29][24]=x[24][29]  using generic constraint 
5.09/5.12	c intension x[29][25]=x[25][29]  using generic constraint 
5.09/5.12	c intension x[29][26]=x[26][29]  using generic constraint 
5.09/5.12	c intension x[29][27]=x[27][29]  using generic constraint 
5.09/5.12	c intension x[29][28]=x[28][29]  using generic constraint 
5.09/5.12	c intension x[29][30]=x[30][29]  using generic constraint 
5.09/5.12	c intension x[29][31]=x[31][29]  using generic constraint 
5.09/5.12	c intension x[29][32]=x[32][29]  using generic constraint 
5.09/5.12	c intension x[29][33]=x[33][29]  using generic constraint 
5.09/5.13	c intension x[29][34]=x[34][29]  using generic constraint 
5.09/5.13	c intension x[29][35]=x[35][29]  using generic constraint 
5.09/5.13	c intension x[29][36]=x[36][29]  using generic constraint 
5.09/5.13	c intension x[29][37]=x[37][29]  using generic constraint 
5.09/5.13	c intension x[29][38]=x[38][29]  using generic constraint 
5.09/5.13	c intension x[30][0]=x[0][30]  using generic constraint 
5.09/5.13	c intension x[30][1]=x[1][30]  using generic constraint 
5.09/5.13	c intension x[30][2]=x[2][30]  using generic constraint 
5.09/5.13	c intension x[30][3]=x[3][30]  using generic constraint 
5.09/5.13	c intension x[30][4]=x[4][30]  using generic constraint 
5.09/5.14	c intension x[30][5]=x[5][30]  using generic constraint 
5.09/5.14	c intension x[30][6]=x[6][30]  using generic constraint 
5.09/5.14	c intension x[30][7]=x[7][30]  using generic constraint 
5.09/5.14	c intension x[30][8]=x[8][30]  using generic constraint 
5.09/5.14	c intension x[30][9]=x[9][30]  using generic constraint 
5.09/5.14	c intension x[30][10]=x[10][30]  using generic constraint 
5.09/5.14	c intension x[30][11]=x[11][30]  using generic constraint 
5.09/5.14	c intension x[30][12]=x[12][30]  using generic constraint 
5.09/5.14	c intension x[30][13]=x[13][30]  using generic constraint 
5.09/5.15	c intension x[30][14]=x[14][30]  using generic constraint 
5.09/5.15	c intension x[30][15]=x[15][30]  using generic constraint 
5.09/5.15	c intension x[30][16]=x[16][30]  using generic constraint 
5.09/5.15	c intension x[30][17]=x[17][30]  using generic constraint 
5.09/5.15	c intension x[30][18]=x[18][30]  using generic constraint 
5.09/5.15	c intension x[30][19]=x[19][30]  using generic constraint 
5.09/5.15	c intension x[30][20]=x[20][30]  using generic constraint 
5.09/5.15	c intension x[30][21]=x[21][30]  using generic constraint 
5.09/5.15	c intension x[30][22]=x[22][30]  using generic constraint 
5.09/5.15	c intension x[30][23]=x[23][30]  using generic constraint 
5.09/5.16	c intension x[30][24]=x[24][30]  using generic constraint 
5.09/5.16	c intension x[30][25]=x[25][30]  using generic constraint 
5.09/5.16	c intension x[30][26]=x[26][30]  using generic constraint 
5.09/5.16	c intension x[30][27]=x[27][30]  using generic constraint 
5.09/5.16	c intension x[30][28]=x[28][30]  using generic constraint 
5.09/5.16	c intension x[30][29]=x[29][30]  using generic constraint 
5.09/5.16	c intension x[30][31]=x[31][30]  using generic constraint 
5.09/5.16	c intension x[30][32]=x[32][30]  using generic constraint 
5.09/5.16	c intension x[30][33]=x[33][30]  using generic constraint 
5.09/5.17	c intension x[30][34]=x[34][30]  using generic constraint 
5.09/5.17	c intension x[30][35]=x[35][30]  using generic constraint 
5.09/5.17	c intension x[30][36]=x[36][30]  using generic constraint 
5.09/5.17	c intension x[30][37]=x[37][30]  using generic constraint 
5.09/5.17	c intension x[30][38]=x[38][30]  using generic constraint 
5.09/5.17	c intension x[31][0]=x[0][31]  using generic constraint 
5.09/5.17	c intension x[31][1]=x[1][31]  using generic constraint 
5.09/5.17	c intension x[31][2]=x[2][31]  using generic constraint 
5.09/5.17	c intension x[31][3]=x[3][31]  using generic constraint 
5.09/5.17	c intension x[31][4]=x[4][31]  using generic constraint 
5.09/5.18	c intension x[31][5]=x[5][31]  using generic constraint 
5.09/5.18	c intension x[31][6]=x[6][31]  using generic constraint 
5.09/5.18	c intension x[31][7]=x[7][31]  using generic constraint 
5.09/5.18	c intension x[31][8]=x[8][31]  using generic constraint 
5.09/5.18	c intension x[31][9]=x[9][31]  using generic constraint 
5.09/5.18	c intension x[31][10]=x[10][31]  using generic constraint 
5.09/5.18	c intension x[31][11]=x[11][31]  using generic constraint 
5.09/5.18	c intension x[31][12]=x[12][31]  using generic constraint 
5.09/5.18	c intension x[31][13]=x[13][31]  using generic constraint 
5.09/5.19	c intension x[31][14]=x[14][31]  using generic constraint 
5.09/5.19	c intension x[31][15]=x[15][31]  using generic constraint 
5.09/5.19	c intension x[31][16]=x[16][31]  using generic constraint 
5.09/5.19	c intension x[31][17]=x[17][31]  using generic constraint 
5.09/5.19	c intension x[31][18]=x[18][31]  using generic constraint 
5.09/5.19	c intension x[31][19]=x[19][31]  using generic constraint 
5.09/5.19	c intension x[31][20]=x[20][31]  using generic constraint 
5.09/5.19	c intension x[31][21]=x[21][31]  using generic constraint 
5.09/5.19	c intension x[31][22]=x[22][31]  using generic constraint 
5.09/5.20	c intension x[31][23]=x[23][31]  using generic constraint 
5.19/5.20	c intension x[31][24]=x[24][31]  using generic constraint 
5.19/5.20	c intension x[31][25]=x[25][31]  using generic constraint 
5.19/5.20	c intension x[31][26]=x[26][31]  using generic constraint 
5.19/5.20	c intension x[31][27]=x[27][31]  using generic constraint 
5.19/5.20	c intension x[31][28]=x[28][31]  using generic constraint 
5.19/5.20	c intension x[31][29]=x[29][31]  using generic constraint 
5.19/5.20	c intension x[31][30]=x[30][31]  using generic constraint 
5.19/5.20	c intension x[31][32]=x[32][31]  using generic constraint 
5.19/5.20	c intension x[31][33]=x[33][31]  using generic constraint 
5.19/5.21	c intension x[31][34]=x[34][31]  using generic constraint 
5.19/5.21	c intension x[31][35]=x[35][31]  using generic constraint 
5.19/5.21	c intension x[31][36]=x[36][31]  using generic constraint 
5.19/5.21	c intension x[31][37]=x[37][31]  using generic constraint 
5.19/5.21	c intension x[31][38]=x[38][31]  using generic constraint 
5.19/5.21	c intension x[32][0]=x[0][32]  using generic constraint 
5.19/5.21	c intension x[32][1]=x[1][32]  using generic constraint 
5.19/5.21	c intension x[32][2]=x[2][32]  using generic constraint 
5.19/5.21	c intension x[32][3]=x[3][32]  using generic constraint 
5.19/5.22	c intension x[32][4]=x[4][32]  using generic constraint 
5.19/5.22	c intension x[32][5]=x[5][32]  using generic constraint 
5.19/5.22	c intension x[32][6]=x[6][32]  using generic constraint 
5.19/5.22	c intension x[32][7]=x[7][32]  using generic constraint 
5.19/5.22	c intension x[32][8]=x[8][32]  using generic constraint 
5.19/5.22	c intension x[32][9]=x[9][32]  using generic constraint 
5.19/5.22	c intension x[32][10]=x[10][32]  using generic constraint 
5.19/5.22	c intension x[32][11]=x[11][32]  using generic constraint 
5.19/5.22	c intension x[32][12]=x[12][32]  using generic constraint 
5.19/5.23	c intension x[32][13]=x[13][32]  using generic constraint 
5.19/5.23	c intension x[32][14]=x[14][32]  using generic constraint 
5.19/5.23	c intension x[32][15]=x[15][32]  using generic constraint 
5.19/5.23	c intension x[32][16]=x[16][32]  using generic constraint 
5.19/5.23	c intension x[32][17]=x[17][32]  using generic constraint 
5.19/5.23	c intension x[32][18]=x[18][32]  using generic constraint 
5.19/5.23	c intension x[32][19]=x[19][32]  using generic constraint 
5.19/5.23	c intension x[32][20]=x[20][32]  using generic constraint 
5.19/5.23	c intension x[32][21]=x[21][32]  using generic constraint 
5.19/5.23	c intension x[32][22]=x[22][32]  using generic constraint 
5.19/5.24	c intension x[32][23]=x[23][32]  using generic constraint 
5.19/5.24	c intension x[32][24]=x[24][32]  using generic constraint 
5.19/5.24	c intension x[32][25]=x[25][32]  using generic constraint 
5.19/5.24	c intension x[32][26]=x[26][32]  using generic constraint 
5.19/5.24	c intension x[32][27]=x[27][32]  using generic constraint 
5.19/5.24	c intension x[32][28]=x[28][32]  using generic constraint 
5.19/5.24	c intension x[32][29]=x[29][32]  using generic constraint 
5.19/5.24	c intension x[32][30]=x[30][32]  using generic constraint 
5.19/5.24	c intension x[32][31]=x[31][32]  using generic constraint 
5.19/5.25	c intension x[32][33]=x[33][32]  using generic constraint 
5.19/5.25	c intension x[32][34]=x[34][32]  using generic constraint 
5.19/5.25	c intension x[32][35]=x[35][32]  using generic constraint 
5.19/5.25	c intension x[32][36]=x[36][32]  using generic constraint 
5.19/5.25	c intension x[32][37]=x[37][32]  using generic constraint 
5.19/5.25	c intension x[32][38]=x[38][32]  using generic constraint 
5.19/5.25	c intension x[33][0]=x[0][33]  using generic constraint 
5.19/5.25	c intension x[33][1]=x[1][33]  using generic constraint 
5.19/5.25	c intension x[33][2]=x[2][33]  using generic constraint 
5.19/5.25	c intension x[33][3]=x[3][33]  using generic constraint 
5.19/5.26	c intension x[33][4]=x[4][33]  using generic constraint 
5.19/5.26	c intension x[33][5]=x[5][33]  using generic constraint 
5.19/5.26	c intension x[33][6]=x[6][33]  using generic constraint 
5.19/5.26	c intension x[33][7]=x[7][33]  using generic constraint 
5.19/5.26	c intension x[33][8]=x[8][33]  using generic constraint 
5.19/5.26	c intension x[33][9]=x[9][33]  using generic constraint 
5.19/5.26	c intension x[33][10]=x[10][33]  using generic constraint 
5.19/5.26	c intension x[33][11]=x[11][33]  using generic constraint 
5.19/5.26	c intension x[33][12]=x[12][33]  using generic constraint 
5.19/5.27	c intension x[33][13]=x[13][33]  using generic constraint 
5.19/5.27	c intension x[33][14]=x[14][33]  using generic constraint 
5.19/5.27	c intension x[33][15]=x[15][33]  using generic constraint 
5.19/5.27	c intension x[33][16]=x[16][33]  using generic constraint 
5.19/5.27	c intension x[33][17]=x[17][33]  using generic constraint 
5.19/5.27	c intension x[33][18]=x[18][33]  using generic constraint 
5.19/5.27	c intension x[33][19]=x[19][33]  using generic constraint 
5.19/5.27	c intension x[33][20]=x[20][33]  using generic constraint 
5.19/5.27	c intension x[33][21]=x[21][33]  using generic constraint 
5.19/5.27	c intension x[33][22]=x[22][33]  using generic constraint 
5.19/5.28	c intension x[33][23]=x[23][33]  using generic constraint 
5.19/5.28	c intension x[33][24]=x[24][33]  using generic constraint 
5.19/5.28	c intension x[33][25]=x[25][33]  using generic constraint 
5.19/5.28	c intension x[33][26]=x[26][33]  using generic constraint 
5.19/5.28	c intension x[33][27]=x[27][33]  using generic constraint 
5.19/5.28	c intension x[33][28]=x[28][33]  using generic constraint 
5.19/5.28	c intension x[33][29]=x[29][33]  using generic constraint 
5.19/5.28	c intension x[33][30]=x[30][33]  using generic constraint 
5.19/5.28	c intension x[33][31]=x[31][33]  using generic constraint 
5.19/5.29	c intension x[33][32]=x[32][33]  using generic constraint 
5.19/5.29	c intension x[33][34]=x[34][33]  using generic constraint 
5.19/5.29	c intension x[33][35]=x[35][33]  using generic constraint 
5.19/5.29	c intension x[33][36]=x[36][33]  using generic constraint 
5.19/5.29	c intension x[33][37]=x[37][33]  using generic constraint 
5.19/5.29	c intension x[33][38]=x[38][33]  using generic constraint 
5.19/5.29	c intension x[34][0]=x[0][34]  using generic constraint 
5.19/5.29	c intension x[34][1]=x[1][34]  using generic constraint 
5.19/5.29	c intension x[34][2]=x[2][34]  using generic constraint 
5.19/5.30	c intension x[34][3]=x[3][34]  using generic constraint 
5.29/5.30	c intension x[34][4]=x[4][34]  using generic constraint 
5.29/5.30	c intension x[34][5]=x[5][34]  using generic constraint 
5.29/5.30	c intension x[34][6]=x[6][34]  using generic constraint 
5.29/5.30	c intension x[34][7]=x[7][34]  using generic constraint 
5.29/5.30	c intension x[34][8]=x[8][34]  using generic constraint 
5.29/5.30	c intension x[34][9]=x[9][34]  using generic constraint 
5.29/5.30	c intension x[34][10]=x[10][34]  using generic constraint 
5.29/5.30	c intension x[34][11]=x[11][34]  using generic constraint 
5.29/5.30	c intension x[34][12]=x[12][34]  using generic constraint 
5.29/5.31	c intension x[34][13]=x[13][34]  using generic constraint 
5.29/5.31	c intension x[34][14]=x[14][34]  using generic constraint 
5.29/5.31	c intension x[34][15]=x[15][34]  using generic constraint 
5.29/5.31	c intension x[34][16]=x[16][34]  using generic constraint 
5.29/5.31	c intension x[34][17]=x[17][34]  using generic constraint 
5.29/5.31	c intension x[34][18]=x[18][34]  using generic constraint 
5.29/5.31	c intension x[34][19]=x[19][34]  using generic constraint 
5.29/5.31	c intension x[34][20]=x[20][34]  using generic constraint 
5.29/5.31	c intension x[34][21]=x[21][34]  using generic constraint 
5.29/5.32	c intension x[34][22]=x[22][34]  using generic constraint 
5.29/5.32	c intension x[34][23]=x[23][34]  using generic constraint 
5.29/5.32	c intension x[34][24]=x[24][34]  using generic constraint 
5.29/5.32	c intension x[34][25]=x[25][34]  using generic constraint 
5.29/5.32	c intension x[34][26]=x[26][34]  using generic constraint 
5.29/5.32	c intension x[34][27]=x[27][34]  using generic constraint 
5.29/5.32	c intension x[34][28]=x[28][34]  using generic constraint 
5.29/5.32	c intension x[34][29]=x[29][34]  using generic constraint 
5.29/5.32	c intension x[34][30]=x[30][34]  using generic constraint 
5.29/5.32	c intension x[34][31]=x[31][34]  using generic constraint 
5.29/5.33	c intension x[34][32]=x[32][34]  using generic constraint 
5.29/5.33	c intension x[34][33]=x[33][34]  using generic constraint 
5.29/5.33	c intension x[34][35]=x[35][34]  using generic constraint 
5.29/5.33	c intension x[34][36]=x[36][34]  using generic constraint 
5.29/5.33	c intension x[34][37]=x[37][34]  using generic constraint 
5.29/5.33	c intension x[34][38]=x[38][34]  using generic constraint 
5.29/5.33	c intension x[35][0]=x[0][35]  using generic constraint 
5.29/5.33	c intension x[35][1]=x[1][35]  using generic constraint 
5.29/5.33	c intension x[35][2]=x[2][35]  using generic constraint 
5.29/5.34	c intension x[35][3]=x[3][35]  using generic constraint 
5.29/5.34	c intension x[35][4]=x[4][35]  using generic constraint 
5.29/5.34	c intension x[35][5]=x[5][35]  using generic constraint 
5.29/5.34	c intension x[35][6]=x[6][35]  using generic constraint 
5.29/5.34	c intension x[35][7]=x[7][35]  using generic constraint 
5.29/5.34	c intension x[35][8]=x[8][35]  using generic constraint 
5.29/5.34	c intension x[35][9]=x[9][35]  using generic constraint 
5.29/5.34	c intension x[35][10]=x[10][35]  using generic constraint 
5.29/5.34	c intension x[35][11]=x[11][35]  using generic constraint 
5.29/5.35	c intension x[35][12]=x[12][35]  using generic constraint 
5.29/5.35	c intension x[35][13]=x[13][35]  using generic constraint 
5.29/5.35	c intension x[35][14]=x[14][35]  using generic constraint 
5.29/5.35	c intension x[35][15]=x[15][35]  using generic constraint 
5.29/5.35	c intension x[35][16]=x[16][35]  using generic constraint 
5.29/5.35	c intension x[35][17]=x[17][35]  using generic constraint 
5.29/5.35	c intension x[35][18]=x[18][35]  using generic constraint 
5.29/5.35	c intension x[35][19]=x[19][35]  using generic constraint 
5.29/5.35	c intension x[35][20]=x[20][35]  using generic constraint 
5.29/5.35	c intension x[35][21]=x[21][35]  using generic constraint 
5.29/5.36	c intension x[35][22]=x[22][35]  using generic constraint 
5.29/5.36	c intension x[35][23]=x[23][35]  using generic constraint 
5.29/5.36	c intension x[35][24]=x[24][35]  using generic constraint 
5.29/5.36	c intension x[35][25]=x[25][35]  using generic constraint 
5.29/5.36	c intension x[35][26]=x[26][35]  using generic constraint 
5.29/5.36	c intension x[35][27]=x[27][35]  using generic constraint 
5.29/5.36	c intension x[35][28]=x[28][35]  using generic constraint 
5.29/5.36	c intension x[35][29]=x[29][35]  using generic constraint 
5.29/5.36	c intension x[35][30]=x[30][35]  using generic constraint 
5.29/5.37	c intension x[35][31]=x[31][35]  using generic constraint 
5.29/5.37	c intension x[35][32]=x[32][35]  using generic constraint 
5.29/5.37	c intension x[35][33]=x[33][35]  using generic constraint 
5.29/5.37	c intension x[35][34]=x[34][35]  using generic constraint 
5.29/5.37	c intension x[35][36]=x[36][35]  using generic constraint 
5.29/5.37	c intension x[35][37]=x[37][35]  using generic constraint 
5.29/5.37	c intension x[35][38]=x[38][35]  using generic constraint 
5.29/5.37	c intension x[36][0]=x[0][36]  using generic constraint 
5.29/5.37	c intension x[36][1]=x[1][36]  using generic constraint 
5.29/5.37	c intension x[36][2]=x[2][36]  using generic constraint 
5.29/5.38	c intension x[36][3]=x[3][36]  using generic constraint 
5.29/5.38	c intension x[36][4]=x[4][36]  using generic constraint 
5.29/5.38	c intension x[36][5]=x[5][36]  using generic constraint 
5.29/5.38	c intension x[36][6]=x[6][36]  using generic constraint 
5.29/5.38	c intension x[36][7]=x[7][36]  using generic constraint 
5.29/5.38	c intension x[36][8]=x[8][36]  using generic constraint 
5.29/5.38	c intension x[36][9]=x[9][36]  using generic constraint 
5.29/5.38	c intension x[36][10]=x[10][36]  using generic constraint 
5.29/5.38	c intension x[36][11]=x[11][36]  using generic constraint 
5.29/5.39	c intension x[36][12]=x[12][36]  using generic constraint 
5.29/5.39	c intension x[36][13]=x[13][36]  using generic constraint 
5.29/5.39	c intension x[36][14]=x[14][36]  using generic constraint 
5.29/5.39	c intension x[36][15]=x[15][36]  using generic constraint 
5.29/5.39	c intension x[36][16]=x[16][36]  using generic constraint 
5.29/5.39	c intension x[36][17]=x[17][36]  using generic constraint 
5.29/5.39	c intension x[36][18]=x[18][36]  using generic constraint 
5.29/5.39	c intension x[36][19]=x[19][36]  using generic constraint 
5.29/5.39	c intension x[36][20]=x[20][36]  using generic constraint 
5.29/5.40	c intension x[36][21]=x[21][36]  using generic constraint 
5.39/5.40	c intension x[36][22]=x[22][36]  using generic constraint 
5.39/5.40	c intension x[36][23]=x[23][36]  using generic constraint 
5.39/5.40	c intension x[36][24]=x[24][36]  using generic constraint 
5.39/5.40	c intension x[36][25]=x[25][36]  using generic constraint 
5.39/5.40	c intension x[36][26]=x[26][36]  using generic constraint 
5.39/5.40	c intension x[36][27]=x[27][36]  using generic constraint 
5.39/5.40	c intension x[36][28]=x[28][36]  using generic constraint 
5.39/5.40	c intension x[36][29]=x[29][36]  using generic constraint 
5.39/5.41	c intension x[36][30]=x[30][36]  using generic constraint 
5.39/5.41	c intension x[36][31]=x[31][36]  using generic constraint 
5.39/5.41	c intension x[36][32]=x[32][36]  using generic constraint 
5.39/5.41	c intension x[36][33]=x[33][36]  using generic constraint 
5.39/5.41	c intension x[36][34]=x[34][36]  using generic constraint 
5.39/5.41	c intension x[36][35]=x[35][36]  using generic constraint 
5.39/5.41	c intension x[36][37]=x[37][36]  using generic constraint 
5.39/5.41	c intension x[36][38]=x[38][36]  using generic constraint 
5.39/5.41	c intension x[37][0]=x[0][37]  using generic constraint 
5.39/5.41	c intension x[37][1]=x[1][37]  using generic constraint 
5.39/5.42	c intension x[37][2]=x[2][37]  using generic constraint 
5.39/5.42	c intension x[37][3]=x[3][37]  using generic constraint 
5.39/5.42	c intension x[37][4]=x[4][37]  using generic constraint 
5.39/5.42	c intension x[37][5]=x[5][37]  using generic constraint 
5.39/5.42	c intension x[37][6]=x[6][37]  using generic constraint 
5.39/5.42	c intension x[37][7]=x[7][37]  using generic constraint 
5.39/5.42	c intension x[37][8]=x[8][37]  using generic constraint 
5.39/5.42	c intension x[37][9]=x[9][37]  using generic constraint 
5.39/5.42	c intension x[37][10]=x[10][37]  using generic constraint 
5.39/5.43	c intension x[37][11]=x[11][37]  using generic constraint 
5.39/5.43	c intension x[37][12]=x[12][37]  using generic constraint 
5.39/5.43	c intension x[37][13]=x[13][37]  using generic constraint 
5.39/5.43	c intension x[37][14]=x[14][37]  using generic constraint 
5.39/5.43	c intension x[37][15]=x[15][37]  using generic constraint 
5.39/5.43	c intension x[37][16]=x[16][37]  using generic constraint 
5.39/5.43	c intension x[37][17]=x[17][37]  using generic constraint 
5.39/5.43	c intension x[37][18]=x[18][37]  using generic constraint 
5.39/5.43	c intension x[37][19]=x[19][37]  using generic constraint 
5.39/5.43	c intension x[37][20]=x[20][37]  using generic constraint 
5.39/5.44	c intension x[37][21]=x[21][37]  using generic constraint 
5.39/5.44	c intension x[37][22]=x[22][37]  using generic constraint 
5.39/5.44	c intension x[37][23]=x[23][37]  using generic constraint 
5.39/5.44	c intension x[37][24]=x[24][37]  using generic constraint 
5.39/5.44	c intension x[37][25]=x[25][37]  using generic constraint 
5.39/5.44	c intension x[37][26]=x[26][37]  using generic constraint 
5.39/5.44	c intension x[37][27]=x[27][37]  using generic constraint 
5.39/5.44	c intension x[37][28]=x[28][37]  using generic constraint 
5.39/5.44	c intension x[37][29]=x[29][37]  using generic constraint 
5.39/5.45	c intension x[37][30]=x[30][37]  using generic constraint 
5.39/5.45	c intension x[37][31]=x[31][37]  using generic constraint 
5.39/5.45	c intension x[37][32]=x[32][37]  using generic constraint 
5.39/5.45	c intension x[37][33]=x[33][37]  using generic constraint 
5.39/5.45	c intension x[37][34]=x[34][37]  using generic constraint 
5.39/5.45	c intension x[37][35]=x[35][37]  using generic constraint 
5.39/5.45	c intension x[37][36]=x[36][37]  using generic constraint 
5.39/5.45	c intension x[37][38]=x[38][37]  using generic constraint 
5.39/5.45	c intension x[38][0]=x[0][38]  using generic constraint 
5.39/5.45	c intension x[38][1]=x[1][38]  using generic constraint 
5.39/5.46	c intension x[38][2]=x[2][38]  using generic constraint 
5.39/5.46	c intension x[38][3]=x[3][38]  using generic constraint 
5.39/5.46	c intension x[38][4]=x[4][38]  using generic constraint 
5.39/5.46	c intension x[38][5]=x[5][38]  using generic constraint 
5.39/5.46	c intension x[38][6]=x[6][38]  using generic constraint 
5.39/5.46	c intension x[38][7]=x[7][38]  using generic constraint 
5.39/5.46	c intension x[38][8]=x[8][38]  using generic constraint 
5.39/5.46	c intension x[38][9]=x[9][38]  using generic constraint 
5.39/5.46	c intension x[38][10]=x[10][38]  using generic constraint 
5.39/5.47	c intension x[38][11]=x[11][38]  using generic constraint 
5.39/5.47	c intension x[38][12]=x[12][38]  using generic constraint 
5.39/5.47	c intension x[38][13]=x[13][38]  using generic constraint 
5.39/5.47	c intension x[38][14]=x[14][38]  using generic constraint 
5.39/5.47	c intension x[38][15]=x[15][38]  using generic constraint 
5.39/5.47	c intension x[38][16]=x[16][38]  using generic constraint 
5.39/5.47	c intension x[38][17]=x[17][38]  using generic constraint 
5.39/5.47	c intension x[38][18]=x[18][38]  using generic constraint 
5.39/5.47	c intension x[38][19]=x[19][38]  using generic constraint 
5.39/5.48	c intension x[38][20]=x[20][38]  using generic constraint 
5.39/5.48	c intension x[38][21]=x[21][38]  using generic constraint 
5.39/5.48	c intension x[38][22]=x[22][38]  using generic constraint 
5.39/5.48	c intension x[38][23]=x[23][38]  using generic constraint 
5.39/5.48	c intension x[38][24]=x[24][38]  using generic constraint 
5.39/5.48	c intension x[38][25]=x[25][38]  using generic constraint 
5.39/5.48	c intension x[38][26]=x[26][38]  using generic constraint 
5.39/5.48	c intension x[38][27]=x[27][38]  using generic constraint 
5.39/5.48	c intension x[38][28]=x[28][38]  using generic constraint 
5.39/5.48	c intension x[38][29]=x[29][38]  using generic constraint 
5.39/5.49	c intension x[38][30]=x[30][38]  using generic constraint 
5.39/5.49	c intension x[38][31]=x[31][38]  using generic constraint 
5.39/5.49	c intension x[38][32]=x[32][38]  using generic constraint 
5.39/5.49	c intension x[38][33]=x[33][38]  using generic constraint 
5.39/5.49	c intension x[38][34]=x[34][38]  using generic constraint 
5.39/5.49	c intension x[38][35]=x[35][38]  using generic constraint 
5.39/5.49	c intension x[38][36]=x[36][38]  using generic constraint 
5.39/5.49	c intension x[38][37]=x[37][38]  using generic constraint 
5.50/5.56	c SAT : Variables: 3591 -- Clauses: 12718
5.60/5.63	c root propagations     : 12          
5.60/5.63	c restarts enabled, print stats at every restarts
5.60/5.63	c
5.60/5.63	c
5.60/5.63	c
5.60/5.63	c This is cosoco 1.0 --  
5.60/5.63	c
5.60/5.63	c ========================================[ Problem Statistics ]===========================================
5.60/5.63	c |                                                                                                       
5.60/5.63	c |  Parse time        :         5.34 s 
5.60/5.63	c |
5.60/5.63	c |               Variables: 1561
5.60/5.63	c |            Domain Sizes: 1..120
5.60/5.63	c |
5.60/5.63	c |             Constraints: 83849
5.60/5.63	c |                   Arity: 2..78  -- Binary: 1520
5.60/5.63	c | 
5.60/5.63	c |                   Types: 
5.60/5.63	c |                          (X -Y <= k): 38
5.60/5.63	c |                          (X = Y): 1482
5.60/5.63	c |                          Lex: 38
5.60/5.63	c |                          Sum: 82291
5.60/5.63	c |                          
5.60/5.63	c =========================================================================================================
5.60/5.63	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
6.09/6.11	c 10             1434           1105680        4100           1              7              120   1414   791
6.39/6.45	c 20             2184           1537589        6066           1              9              158   732   606
6.89/6.92	c 30             2922           2436804        13058          1              12             40   488   284 
7.09/7.18	c 40             3505           2952528        17388          1              17             119   501   359
7.39/7.44	c 50             3906           3401377        20857          1              22             91   353   248 
7.59/7.68	c 60             4248           3887190        23815          1              25             211   298   256
7.89/7.92	c 70             4540           4351192        26739          1              32             48   258   153 
7.99/8.08	c 80             4831           4618626        29176          1              37             192   263   227
8.29/8.32	c 90             5115           5098645        32091          1              45             180   252   200
8.49/8.52	c 100            5514           5486470        35017          1              48             200   333   258
8.59/8.63	c 101            5782           5654060        36093          1              49             268   268   134
8.80/8.84	c 110            6181           6031583        38798          1              50             349   364   319
8.99/9.05	c 120            6572           6384900        40666          1              55             134   352   266
9.19/9.27	c 130            6957           6773726        43080          1              57             165   294   248
9.49/9.50	c 140            7257           7245375        46937          1              59             217   234   206
9.69/9.76	c 150            7764           7745586        50532          1              66             52   403   203 
9.90/9.97	c 160            7923           8174207        54915          1              67             49   65   51   
10.09/10.19	c 170            8385           8649866        58487          1              73             47   361   223 
10.59/10.63	c 180            9021           9592427        64196          1              82             44   606   257 
10.79/10.86	c 190            9340           9973665        66077          1              87             68   290   203 
11.10/11.11	c 200            9904           10449604       68558          1              94             137   540   317
11.39/11.45	c 210            10474          11086142       71531          1              99             129   535   192
11.49/11.57	c 211            10586          11192876       72401          1              100            112   112   56 
11.89/11.90	c 220            11327          11879131       77184          1              102            421   607   512
12.10/12.20	c 230            11981          12419782       79869          1              110            118   612   259
12.49/12.50	c 240            12583          12976074       82698          1              118            125   529   263
12.79/12.84	c 250            13066          13611311       85966          1              121            148   402   290
12.99/13.01	c 260            13208          13925110       90239          1              122            63   71   61   
13.19/13.29	c 270            13642          14548376       95252          1              125            44   365   207 
13.49/13.56	c 280            14005          15087462       99263          1              129            47   232   155 
13.79/13.82	c 290            14446          15635665       103514         1              136            48   394   193 
14.09/14.10	c 300            14796          16202519       107982         1              140            49   218   169 
14.29/14.32	c 310            14989          16664743       111280         1              146            43   145   100 
14.39/14.49	c 320            15197          17039108       113832         1              148            106   133   105
14.69/14.71	c 330            15379          17565568       117748         1              150            110   118   104
14.69/14.79	c 332            15504          17718471       118953         1              151            122   123   81 
15.09/15.13	c 340            16412          18366772       121933         1              155            135   874   209
15.29/15.36	c 350            16572          18728198       124662         1              156            104   114   99 
15.40/15.44	c 360            16674          18881793       127184         1              159            63   66   58   
15.69/15.73	c 370            16775          19583113       133989         1              163            32   44   33   
15.89/15.95	c 380            16868          20092343       139637         1              166            35   44   36   
15.99/16.09	c 390            16945          20417898       142933         1              169            33   44   34   
16.29/16.31	c 400            17028          20945332       147926         1              173            33   44   34   
16.50/16.53	c 410            17119          21449387       152601         1              177            36   44   37   
16.69/16.72	c 420            17214          21922961       156831         1              179            35   46   37   
16.99/17.04	c 430            18247          22567586       161498         1              184            33   553   424 
17.09/17.18	c 440            18333          22779900       163682         1              188            38   49   40   
17.29/17.32	c 450            18421          23142651       167268         1              190            41   50   41   
17.49/17.52	c 460            18547          23625280       171616         1              192            40   72   41   
17.60/17.70	c 465            18960          24030677       173713         1              196            46   396   161 
17.89/17.95	c 470            19409          24494807       176722         1              201            47   434   156 
18.28/18.30	c 480            20334          25187761       180512         1              207            46   869   495 
18.49/18.52	c 490            20779          25502603       182906         1              210            43   360   272 
18.59/18.67	c 500            21114          25786637       185163         1              213            199   299   260
18.89/18.98	c 510            21774          26391536       188220         1              218            336   515   413
19.09/19.16	c 520            22092          26702239       190792         1              221            52   297   238 
19.69/19.72	c 530            23052          27928148       195809         1              225            437   705   575
19.99/20.07	c 540            24015          28557015       198420         1              233            295   954   581
20.49/20.53	c 550            25146          29376088       201623         1              241            280   1095   676
20.89/20.98	c 560            26283          30156896       204837         1              251            49   1127   459
21.48/21.50	c 570            27054          31096235       208807         1              254            54   668   513 
21.88/21.94	c 580            28350          31910075       211997         1              262            277   1279   766
22.28/22.31	c 590            29193          32459050       215108         1              270            54   669   392 
22.28/22.38	conflict 35lvl : 51 bt51-147:0(593)X126549
22.48/22.51	c 600            29506          32793200       217446         1              277            53   278   169 
22.78/22.85	c 610            30432          33490132       220532         1              287            49   916   431 
22.88/22.95	c 611            30482          33516469       221206         1              288            50   50   25   
23.28/23.35	c 620            31698          34382815       225235         1              294            378   1133   811
23.78/23.82	c 630            32917          35210325       228672         1              298            275   1145   842
24.19/24.21	c 640            33592          35809408       231590         1              303            52   653   439 
24.58/24.62	c 650            34566          36585770       234620         1              313            57   965   586 
24.98/25.03	c 660            35356          37303643       237603         1              320            101   766   523
25.39/25.44	c 670            36413          38028800       240777         1              328            308   855   614
25.78/25.87	c 680            37586          38810995       243917         1              336            605   1137   821
26.19/26.22	c 690            38271          39352411       246381         1              344            232   672   457
26.59/26.64	c 700            39464          40133631       249747         1              352            443   1169   675
27.09/27.14	c 710            40772          40979903       253282         1              359            600   1227   913
27.49/27.55	c 720            41788          41639777       256204         1              368            464   1003   667
27.99/28.03	c solution 1
27.99/28.03	
27.99/28.03	v <instantiation type='solution'>
27.99/28.03	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] s </list>
27.99/28.03	v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 120 </values>
28.08/28.18	v </instantiation>
28.08/28.18	
28.08/28.18	c restarts              : 77          
28.08/28.18	c conflicts             : 724          (26 /sec)
28.08/28.18	c decisions             : 43354        (1560 /sec)
28.08/28.18	c propagations          : 259769      (9345 /sec)
28.08/28.18	c root propagations     : 12          
28.08/28.18	c filter calls          : 42519213       (1529536 /sec)
28.08/28.18	c useless filter calls  : 42361536       (99 %)
28.08/28.18	c
28.08/28.18	c clauses               : 13086
28.08/28.18	c SAT propagations      : 112
28.08/28.18	c SAT conflicts         : 0 (1 learnts)
28.08/28.18	c Memory used           : 587.89 MB
28.08/28.18	c CPU time              : 27.7987 s
28.08/28.18	
28.08/28.18	s SATISFIABLE

OK	

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241973-1500653043/watcher-4241973-1500653043 -o /tmp/evaluation-result-4241973-1500653043/solver-4241973-1500653043 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500648174-2489 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241973-1500653043.xml 

pid=3462
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.07 2.05 2.00 2/242 3465
/proc/meminfo: memFree=32015588/32770624 swapFree=6268/209404
[pid=3465] ppid=3462 vsize=27252 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202496 1005 0 0 0 0 0 0 0 20 0 1 0 572735 27906048 801 33554432000 4194304 5970956 140731674107952 140731674104552 139848894786533 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38883328 140731674109116 140731674109251 140731674109251 140731674111950 0
/proc/3465/statm: 6813 801 698 434 0 177 0

[startup+0.100206 s]
/proc/loadavg: 2.07 2.05 2.00 2/242 3465
/proc/meminfo: memFree=32015588/32770624 swapFree=6268/209404
[pid=3465] ppid=3462 vsize=28492 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202496 1310 0 0 0 9 0 0 0 20 0 1 0 572735 29175808 1130 33554432000 4194304 5970956 140731674107952 140731674104552 5509563 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38883328 140731674109116 140731674109251 140731674109251 140731674111950 0
/proc/3465/statm: 7123 1130 713 434 0 487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28492

[startup+0.20035 s]
/proc/loadavg: 2.07 2.05 2.00 2/242 3465
/proc/meminfo: memFree=32015588/32770624 swapFree=6268/209404
[pid=3465] ppid=3462 vsize=28688 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202496 1374 0 0 0 19 0 0 0 20 0 1 0 572735 29376512 1196 33554432000 4194304 5970956 140731674107952 140731674104552 5386635 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38883328 140731674109116 140731674109251 140731674109251 140731674111950 0
/proc/3465/statm: 7172 1196 713 434 0 536 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28688

[startup+0.300326 s]
/proc/loadavg: 2.07 2.05 2.00 2/242 3465
/proc/meminfo: memFree=32015588/32770624 swapFree=6268/209404
[pid=3465] ppid=3462 vsize=29144 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202496 1495 0 0 0 29 0 0 0 20 0 1 0 572735 29843456 1266 33554432000 4194304 5970956 140731674107952 140731674104552 5496079 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38883328 140731674109116 140731674109251 140731674109251 140731674111950 0
/proc/3465/statm: 7286 1266 713 434 0 650 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29144

[startup+0.700286 s]
/proc/loadavg: 2.07 2.05 2.00 2/242 3465
/proc/meminfo: memFree=32015588/32770624 swapFree=6268/209404
[pid=3465] ppid=3462 vsize=30320 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202496 1872 0 0 0 69 0 0 0 20 0 1 0 572735 31047680 1507 33554432000 4194304 5970956 140731674107952 140731674104552 5522153 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38883328 140731674109116 140731674109251 140731674109251 140731674111950 0
/proc/3465/statm: 7580 1507 713 434 0 944 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30320

[startup+1.50027 s]
/proc/loadavg: 2.07 2.05 2.00 3/243 3466
/proc/meminfo: memFree=32010900/32770624 swapFree=6268/209404
[pid=3465] ppid=3462 vsize=32672 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202496 2629 0 0 0 149 0 0 0 20 0 1 0 572735 33456128 2123 33554432000 4194304 5970956 140731674107952 140731674104552 139848894779004 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38883328 140731674109116 140731674109251 140731674109251 140731674111950 0
/proc/3465/statm: 8168 2123 713 434 0 1532 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32672

[startup+3.10033 s]
/proc/loadavg: 2.07 2.05 2.00 3/243 3466
/proc/meminfo: memFree=32006516/32770624 swapFree=6268/209304
[pid=3465] ppid=3462 vsize=260964 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202496 60676 0 0 0 301 8 0 0 20 0 1 0 572735 267227136 59091 33554432000 4194304 5970956 140731674107952 140731674101448 139848894786533 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38883328 140731674109116 140731674109251 140731674109251 140731674111950 0
/proc/3465/statm: 65241 59091 735 434 0 58605 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 260964

[startup+6.30034 s]
/proc/loadavg: 2.06 2.05 2.00 3/243 3466
/proc/meminfo: memFree=31459704/32770624 swapFree=6268/209532
[pid=3465] ppid=3462 vsize=598780 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202496 274306 0 0 0 603 26 0 0 20 0 1 0 572735 613150720 142762 33554432000 4194304 5970956 140731674107952 140731674105288 4908302 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38883328 140731674109116 140731674109251 140731674109251 140731674111950 0
/proc/3465/statm: 149695 142762 845 434 0 143059 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 598780

[startup+12.7003 s]
/proc/loadavg: 2.06 2.05 2.00 3/243 3466
/proc/meminfo: memFree=31444576/32770624 swapFree=6268/209532
[pid=3465] ppid=3462 vsize=599448 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202496 341663 0 0 0 1240 29 0 0 20 0 1 0 572735 613834752 142948 33554432000 4194304 5970956 140731674107952 140731674105288 4908288 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38883328 140731674109116 140731674109251 140731674109251 140731674111950 0
/proc/3465/statm: 149862 142948 845 434 0 143226 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 599448

[startup+25.5005 s]
/proc/loadavg: 2.04 2.04 2.00 3/243 3466
/proc/meminfo: memFree=31442220/32770624 swapFree=6268/209532
[pid=3465] ppid=3462 vsize=601208 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202496 483907 0 0 0 2512 36 0 0 20 0 1 0 572735 615636992 143474 33554432000 4194304 5970956 140731674107952 140731674105288 4908554 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38883328 140731674109116 140731674109251 140731674109251 140731674111950 0
/proc/3465/statm: 150302 143474 848 434 0 143666 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 601208

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3465 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6004 s]
/proc/loadavg: 2.04 2.04 2.00 3/243 3466
/proc/meminfo: memFree=31442220/32770624 swapFree=6268/209532
[pid=3465] ppid=3462 vsize=601208 CPUtime=25.58 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202496 483907 0 0 0 2522 36 0 0 20 0 1 0 572735 615636992 143474 33554432000 4194304 5970956 140731674107952 140731674105288 4908288 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38883328 140731674109116 140731674109251 140731674109251 140731674111950 0
/proc/3465/statm: 150302 143474 848 434 0 143666 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 601208

[startup+27.2003 s]
/proc/loadavg: 2.04 2.04 2.00 4/243 3466
/proc/meminfo: memFree=31441972/32770624 swapFree=6268/209532
[pid=3465] ppid=3462 vsize=601340 CPUtime=27.19 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202496 485773 0 0 0 2682 37 0 0 20 0 1 0 572735 615772160 143513 33554432000 4194304 5970956 140731674107952 140731674105288 4908508 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38883328 140731674109116 140731674109251 140731674109251 140731674111950 0
/proc/3465/statm: 150335 143513 848 434 0 143699 0
Current children cumulated CPU time (s) 27.19
Current children cumulated vsize (KiB) 601340

[startup+28.0003 s]
/proc/loadavg: 2.04 2.04 2.00 3/243 3466
/proc/meminfo: memFree=31441972/32770624 swapFree=6268/209532
[pid=3465] ppid=3462 vsize=601340 CPUtime=27.99 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202496 485895 0 0 0 2762 37 0 0 20 0 1 0 572735 615772160 143529 33554432000 4194304 5970956 140731674107952 140731674105288 4908284 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 38883328 140731674109116 140731674109251 140731674109251 140731674111950 0
/proc/3465/statm: 150335 143529 848 434 0 143699 0
Current children cumulated CPU time (s) 27.99
Current children cumulated vsize (KiB) 601340

[startup+28.2004 s]
/proc/loadavg: 2.04 2.04 2.00 3/243 3466
/proc/meminfo: memFree=31441972/32770624 swapFree=6268/209532
[pid=3465] ppid=3462 vsize=0 CPUtime=28.18 cores=0,2,4,6,8,10,12,14
/proc/3465/stat : 3465 (cosoco) R 3462 3465 2456 0 -1 4202500 487107 0 0 0 2779 39 0 0 20 0 1 0 572735 0 0 33554432000 0 0 0 0 0 0 0 4096 8405026 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/3465/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 28.18
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 28.2144
CPU time (s): 28.2067
CPU user time (s): 27.7988
CPU system time (s): 0.407884
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 602000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.7988
system time used= 0.407884
maximum resident set size= 574920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487107
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= 6
involuntary context switches= 1420

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.120028 second user time and 0.22291 second system time

The end

Begin job on node123 at 2017-07-21 18:04:03
IDJOB=4241973
IDBENCH=133121
IDSOLVER=2621
FILE ID=node123/4241973-1500653043
RUNJOBID= node123-1500648174-2489
PBS_JOBID= 20623297
Free space on /tmp= 62004 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/DiamondFree/DiamondFree-m1-s1/DiamondFree-039.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241973-1500653043/watcher-4241973-1500653043 -o /tmp/evaluation-result-4241973-1500653043/solver-4241973-1500653043 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1500648174-2489 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4241973-1500653043.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 3424e6604ecfe46c0dbee75043c16945
RANDOM SEED=1265001843

node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32015636 kB
MemAvailable:   32004176 kB
Buffers:           30388 kB
Cached:           270416 kB
SwapCached:            0 kB
Active:           164816 kB
Inactive:         218020 kB
Active(anon):      84744 kB
Inactive(anon):     8616 kB
Active(file):      80072 kB
Inactive(file):   209404 kB
Unevictable:        6268 kB
Mlocked:            6268 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8488 kB
Writeback:             0 kB
AnonPages:        124620 kB
Mapped:            31396 kB
Shmem:              8840 kB
Slab:              61276 kB
SReclaimable:      29800 kB
SUnreclaim:        31476 kB
KernelStack:        4560 kB
PageTables:         5604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     356272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62000 MiB
End job on node123 at 2017-07-21 18:04:32