3.69/3.78	c intension x[0][1]=x[1][0]  using generic constraint 
3.69/3.78	c intension x[0][2]=x[2][0]  using generic constraint 
3.69/3.78	c intension x[0][3]=x[3][0]  using generic constraint 
3.69/3.79	c intension x[0][4]=x[4][0]  using generic constraint 
3.69/3.79	c intension x[0][5]=x[5][0]  using generic constraint 
3.69/3.79	c intension x[0][6]=x[6][0]  using generic constraint 
3.69/3.79	c intension x[0][7]=x[7][0]  using generic constraint 
3.69/3.79	c intension x[0][8]=x[8][0]  using generic constraint 
3.69/3.79	c intension x[0][9]=x[9][0]  using generic constraint 
3.69/3.79	c intension x[0][10]=x[10][0]  using generic constraint 
3.69/3.79	c intension x[0][11]=x[11][0]  using generic constraint 
3.69/3.79	c intension x[0][12]=x[12][0]  using generic constraint 
3.69/3.79	c intension x[0][13]=x[13][0]  using generic constraint 
3.79/3.80	c intension x[0][14]=x[14][0]  using generic constraint 
3.79/3.80	c intension x[0][15]=x[15][0]  using generic constraint 
3.79/3.80	c intension x[0][16]=x[16][0]  using generic constraint 
3.79/3.80	c intension x[0][17]=x[17][0]  using generic constraint 
3.79/3.80	c intension x[0][18]=x[18][0]  using generic constraint 
3.79/3.80	c intension x[0][19]=x[19][0]  using generic constraint 
3.79/3.80	c intension x[0][20]=x[20][0]  using generic constraint 
3.79/3.80	c intension x[0][21]=x[21][0]  using generic constraint 
3.79/3.80	c intension x[0][22]=x[22][0]  using generic constraint 
3.79/3.80	c intension x[0][23]=x[23][0]  using generic constraint 
3.79/3.81	c intension x[0][24]=x[24][0]  using generic constraint 
3.79/3.81	c intension x[0][25]=x[25][0]  using generic constraint 
3.79/3.81	c intension x[0][26]=x[26][0]  using generic constraint 
3.79/3.81	c intension x[0][27]=x[27][0]  using generic constraint 
3.79/3.81	c intension x[0][28]=x[28][0]  using generic constraint 
3.79/3.81	c intension x[0][29]=x[29][0]  using generic constraint 
3.79/3.81	c intension x[0][30]=x[30][0]  using generic constraint 
3.79/3.81	c intension x[0][31]=x[31][0]  using generic constraint 
3.79/3.81	c intension x[0][32]=x[32][0]  using generic constraint 
3.79/3.82	c intension x[0][33]=x[33][0]  using generic constraint 
3.79/3.82	c intension x[0][34]=x[34][0]  using generic constraint 
3.79/3.82	c intension x[0][35]=x[35][0]  using generic constraint 
3.79/3.82	c intension x[0][36]=x[36][0]  using generic constraint 
3.79/3.82	c intension x[0][37]=x[37][0]  using generic constraint 
3.79/3.82	c intension x[0][38]=x[38][0]  using generic constraint 
3.79/3.82	c intension x[1][0]=x[0][1]  using generic constraint 
3.79/3.82	c intension x[1][2]=x[2][1]  using generic constraint 
3.79/3.82	c intension x[1][3]=x[3][1]  using generic constraint 
3.79/3.82	c intension x[1][4]=x[4][1]  using generic constraint 
3.79/3.83	c intension x[1][5]=x[5][1]  using generic constraint 
3.79/3.83	c intension x[1][6]=x[6][1]  using generic constraint 
3.79/3.83	c intension x[1][7]=x[7][1]  using generic constraint 
3.79/3.83	c intension x[1][8]=x[8][1]  using generic constraint 
3.79/3.83	c intension x[1][9]=x[9][1]  using generic constraint 
3.79/3.83	c intension x[1][10]=x[10][1]  using generic constraint 
3.79/3.83	c intension x[1][11]=x[11][1]  using generic constraint 
3.79/3.83	c intension x[1][12]=x[12][1]  using generic constraint 
3.79/3.83	c intension x[1][13]=x[13][1]  using generic constraint 
3.79/3.83	c intension x[1][14]=x[14][1]  using generic constraint 
3.79/3.84	c intension x[1][15]=x[15][1]  using generic constraint 
3.79/3.84	c intension x[1][16]=x[16][1]  using generic constraint 
3.79/3.84	c intension x[1][17]=x[17][1]  using generic constraint 
3.79/3.84	c intension x[1][18]=x[18][1]  using generic constraint 
3.79/3.84	c intension x[1][19]=x[19][1]  using generic constraint 
3.79/3.84	c intension x[1][20]=x[20][1]  using generic constraint 
3.79/3.84	c intension x[1][21]=x[21][1]  using generic constraint 
3.79/3.84	c intension x[1][22]=x[22][1]  using generic constraint 
3.79/3.84	c intension x[1][23]=x[23][1]  using generic constraint 
3.79/3.85	c intension x[1][24]=x[24][1]  using generic constraint 
3.79/3.85	c intension x[1][25]=x[25][1]  using generic constraint 
3.79/3.85	c intension x[1][26]=x[26][1]  using generic constraint 
3.79/3.85	c intension x[1][27]=x[27][1]  using generic constraint 
3.79/3.85	c intension x[1][28]=x[28][1]  using generic constraint 
3.79/3.85	c intension x[1][29]=x[29][1]  using generic constraint 
3.79/3.85	c intension x[1][30]=x[30][1]  using generic constraint 
3.79/3.85	c intension x[1][31]=x[31][1]  using generic constraint 
3.79/3.85	c intension x[1][32]=x[32][1]  using generic constraint 
3.79/3.85	c intension x[1][33]=x[33][1]  using generic constraint 
3.79/3.86	c intension x[1][34]=x[34][1]  using generic constraint 
3.79/3.86	c intension x[1][35]=x[35][1]  using generic constraint 
3.79/3.86	c intension x[1][36]=x[36][1]  using generic constraint 
3.79/3.86	c intension x[1][37]=x[37][1]  using generic constraint 
3.79/3.86	c intension x[1][38]=x[38][1]  using generic constraint 
3.79/3.86	c intension x[2][0]=x[0][2]  using generic constraint 
3.79/3.86	c intension x[2][1]=x[1][2]  using generic constraint 
3.79/3.86	c intension x[2][3]=x[3][2]  using generic constraint 
3.79/3.86	c intension x[2][4]=x[4][2]  using generic constraint 
3.79/3.86	c intension x[2][5]=x[5][2]  using generic constraint 
3.79/3.87	c intension x[2][6]=x[6][2]  using generic constraint 
3.79/3.87	c intension x[2][7]=x[7][2]  using generic constraint 
3.79/3.87	c intension x[2][8]=x[8][2]  using generic constraint 
3.79/3.87	c intension x[2][9]=x[9][2]  using generic constraint 
3.79/3.87	c intension x[2][10]=x[10][2]  using generic constraint 
3.79/3.87	c intension x[2][11]=x[11][2]  using generic constraint 
3.79/3.87	c intension x[2][12]=x[12][2]  using generic constraint 
3.79/3.87	c intension x[2][13]=x[13][2]  using generic constraint 
3.79/3.87	c intension x[2][14]=x[14][2]  using generic constraint 
3.79/3.87	c intension x[2][15]=x[15][2]  using generic constraint 
3.79/3.88	c intension x[2][16]=x[16][2]  using generic constraint 
3.79/3.88	c intension x[2][17]=x[17][2]  using generic constraint 
3.79/3.88	c intension x[2][18]=x[18][2]  using generic constraint 
3.79/3.88	c intension x[2][19]=x[19][2]  using generic constraint 
3.79/3.88	c intension x[2][20]=x[20][2]  using generic constraint 
3.79/3.88	c intension x[2][21]=x[21][2]  using generic constraint 
3.79/3.88	c intension x[2][22]=x[22][2]  using generic constraint 
3.79/3.88	c intension x[2][23]=x[23][2]  using generic constraint 
3.79/3.88	c intension x[2][24]=x[24][2]  using generic constraint 
3.79/3.89	c intension x[2][25]=x[25][2]  using generic constraint 
3.79/3.89	c intension x[2][26]=x[26][2]  using generic constraint 
3.79/3.89	c intension x[2][27]=x[27][2]  using generic constraint 
3.79/3.89	c intension x[2][28]=x[28][2]  using generic constraint 
3.79/3.89	c intension x[2][29]=x[29][2]  using generic constraint 
3.79/3.89	c intension x[2][30]=x[30][2]  using generic constraint 
3.79/3.89	c intension x[2][31]=x[31][2]  using generic constraint 
3.79/3.89	c intension x[2][32]=x[32][2]  using generic constraint 
3.79/3.89	c intension x[2][33]=x[33][2]  using generic constraint 
3.79/3.89	c intension x[2][34]=x[34][2]  using generic constraint 
3.89/3.90	c intension x[2][35]=x[35][2]  using generic constraint 
3.89/3.90	c intension x[2][36]=x[36][2]  using generic constraint 
3.89/3.90	c intension x[2][37]=x[37][2]  using generic constraint 
3.89/3.90	c intension x[2][38]=x[38][2]  using generic constraint 
3.89/3.90	c intension x[3][0]=x[0][3]  using generic constraint 
3.89/3.90	c intension x[3][1]=x[1][3]  using generic constraint 
3.89/3.90	c intension x[3][2]=x[2][3]  using generic constraint 
3.89/3.90	c intension x[3][4]=x[4][3]  using generic constraint 
3.89/3.90	c intension x[3][5]=x[5][3]  using generic constraint 
3.89/3.90	c intension x[3][6]=x[6][3]  using generic constraint 
3.89/3.91	c intension x[3][7]=x[7][3]  using generic constraint 
3.89/3.91	c intension x[3][8]=x[8][3]  using generic constraint 
3.89/3.91	c intension x[3][9]=x[9][3]  using generic constraint 
3.89/3.91	c intension x[3][10]=x[10][3]  using generic constraint 
3.89/3.91	c intension x[3][11]=x[11][3]  using generic constraint 
3.89/3.91	c intension x[3][12]=x[12][3]  using generic constraint 
3.89/3.91	c intension x[3][13]=x[13][3]  using generic constraint 
3.89/3.91	c intension x[3][14]=x[14][3]  using generic constraint 
3.89/3.91	c intension x[3][15]=x[15][3]  using generic constraint 
3.89/3.92	c intension x[3][16]=x[16][3]  using generic constraint 
3.89/3.92	c intension x[3][17]=x[17][3]  using generic constraint 
3.89/3.92	c intension x[3][18]=x[18][3]  using generic constraint 
3.89/3.92	c intension x[3][19]=x[19][3]  using generic constraint 
3.89/3.92	c intension x[3][20]=x[20][3]  using generic constraint 
3.89/3.92	c intension x[3][21]=x[21][3]  using generic constraint 
3.89/3.92	c intension x[3][22]=x[22][3]  using generic constraint 
3.89/3.92	c intension x[3][23]=x[23][3]  using generic constraint 
3.89/3.92	c intension x[3][24]=x[24][3]  using generic constraint 
3.89/3.92	c intension x[3][25]=x[25][3]  using generic constraint 
3.89/3.93	c intension x[3][26]=x[26][3]  using generic constraint 
3.89/3.93	c intension x[3][27]=x[27][3]  using generic constraint 
3.89/3.93	c intension x[3][28]=x[28][3]  using generic constraint 
3.89/3.93	c intension x[3][29]=x[29][3]  using generic constraint 
3.89/3.93	c intension x[3][30]=x[30][3]  using generic constraint 
3.89/3.93	c intension x[3][31]=x[31][3]  using generic constraint 
3.89/3.93	c intension x[3][32]=x[32][3]  using generic constraint 
3.89/3.93	c intension x[3][33]=x[33][3]  using generic constraint 
3.89/3.93	c intension x[3][34]=x[34][3]  using generic constraint 
3.89/3.93	c intension x[3][35]=x[35][3]  using generic constraint 
3.89/3.94	c intension x[3][36]=x[36][3]  using generic constraint 
3.89/3.94	c intension x[3][37]=x[37][3]  using generic constraint 
3.89/3.94	c intension x[3][38]=x[38][3]  using generic constraint 
3.89/3.94	c intension x[4][0]=x[0][4]  using generic constraint 
3.89/3.94	c intension x[4][1]=x[1][4]  using generic constraint 
3.89/3.94	c intension x[4][2]=x[2][4]  using generic constraint 
3.89/3.94	c intension x[4][3]=x[3][4]  using generic constraint 
3.89/3.94	c intension x[4][5]=x[5][4]  using generic constraint 
3.89/3.94	c intension x[4][6]=x[6][4]  using generic constraint 
3.89/3.95	c intension x[4][7]=x[7][4]  using generic constraint 
3.89/3.95	c intension x[4][8]=x[8][4]  using generic constraint 
3.89/3.95	c intension x[4][9]=x[9][4]  using generic constraint 
3.89/3.95	c intension x[4][10]=x[10][4]  using generic constraint 
3.89/3.95	c intension x[4][11]=x[11][4]  using generic constraint 
3.89/3.95	c intension x[4][12]=x[12][4]  using generic constraint 
3.89/3.95	c intension x[4][13]=x[13][4]  using generic constraint 
3.89/3.95	c intension x[4][14]=x[14][4]  using generic constraint 
3.89/3.95	c intension x[4][15]=x[15][4]  using generic constraint 
3.89/3.95	c intension x[4][16]=x[16][4]  using generic constraint 
3.89/3.96	c intension x[4][17]=x[17][4]  using generic constraint 
3.89/3.96	c intension x[4][18]=x[18][4]  using generic constraint 
3.89/3.96	c intension x[4][19]=x[19][4]  using generic constraint 
3.89/3.96	c intension x[4][20]=x[20][4]  using generic constraint 
3.89/3.96	c intension x[4][21]=x[21][4]  using generic constraint 
3.89/3.96	c intension x[4][22]=x[22][4]  using generic constraint 
3.89/3.96	c intension x[4][23]=x[23][4]  using generic constraint 
3.89/3.96	c intension x[4][24]=x[24][4]  using generic constraint 
3.89/3.96	c intension x[4][25]=x[25][4]  using generic constraint 
3.89/3.96	c intension x[4][26]=x[26][4]  using generic constraint 
3.89/3.97	c intension x[4][27]=x[27][4]  using generic constraint 
3.89/3.97	c intension x[4][28]=x[28][4]  using generic constraint 
3.89/3.97	c intension x[4][29]=x[29][4]  using generic constraint 
3.89/3.97	c intension x[4][30]=x[30][4]  using generic constraint 
3.89/3.97	c intension x[4][31]=x[31][4]  using generic constraint 
3.89/3.97	c intension x[4][32]=x[32][4]  using generic constraint 
3.89/3.97	c intension x[4][33]=x[33][4]  using generic constraint 
3.89/3.97	c intension x[4][34]=x[34][4]  using generic constraint 
3.89/3.97	c intension x[4][35]=x[35][4]  using generic constraint 
3.89/3.98	c intension x[4][36]=x[36][4]  using generic constraint 
3.89/3.98	c intension x[4][37]=x[37][4]  using generic constraint 
3.89/3.98	c intension x[4][38]=x[38][4]  using generic constraint 
3.89/3.98	c intension x[5][0]=x[0][5]  using generic constraint 
3.89/3.98	c intension x[5][1]=x[1][5]  using generic constraint 
3.89/3.98	c intension x[5][2]=x[2][5]  using generic constraint 
3.89/3.98	c intension x[5][3]=x[3][5]  using generic constraint 
3.89/3.98	c intension x[5][4]=x[4][5]  using generic constraint 
3.89/3.98	c intension x[5][6]=x[6][5]  using generic constraint 
3.89/3.98	c intension x[5][7]=x[7][5]  using generic constraint 
3.89/3.99	c intension x[5][8]=x[8][5]  using generic constraint 
3.89/3.99	c intension x[5][9]=x[9][5]  using generic constraint 
3.89/3.99	c intension x[5][10]=x[10][5]  using generic constraint 
3.89/3.99	c intension x[5][11]=x[11][5]  using generic constraint 
3.89/3.99	c intension x[5][12]=x[12][5]  using generic constraint 
3.89/3.99	c intension x[5][13]=x[13][5]  using generic constraint 
3.89/3.99	c intension x[5][14]=x[14][5]  using generic constraint 
3.89/3.99	c intension x[5][15]=x[15][5]  using generic constraint 
3.89/3.99	c intension x[5][16]=x[16][5]  using generic constraint 
3.89/3.99	c intension x[5][17]=x[17][5]  using generic constraint 
3.89/4.00	c intension x[5][18]=x[18][5]  using generic constraint 
3.89/4.00	c intension x[5][19]=x[19][5]  using generic constraint 
3.89/4.00	c intension x[5][20]=x[20][5]  using generic constraint 
3.89/4.00	c intension x[5][21]=x[21][5]  using generic constraint 
3.89/4.00	c intension x[5][22]=x[22][5]  using generic constraint 
3.89/4.00	c intension x[5][23]=x[23][5]  using generic constraint 
3.89/4.00	c intension x[5][24]=x[24][5]  using generic constraint 
3.89/4.00	c intension x[5][25]=x[25][5]  using generic constraint 
4.00/4.01	c intension x[5][26]=x[26][5]  using generic constraint 
4.00/4.01	c intension x[5][27]=x[27][5]  using generic constraint 
4.00/4.01	c intension x[5][28]=x[28][5]  using generic constraint 
4.00/4.01	c intension x[5][29]=x[29][5]  using generic constraint 
4.00/4.01	c intension x[5][30]=x[30][5]  using generic constraint 
4.00/4.01	c intension x[5][31]=x[31][5]  using generic constraint 
4.00/4.01	c intension x[5][32]=x[32][5]  using generic constraint 
4.00/4.01	c intension x[5][33]=x[33][5]  using generic constraint 
4.00/4.01	c intension x[5][34]=x[34][5]  using generic constraint 
4.00/4.01	c intension x[5][35]=x[35][5]  using generic constraint 
4.00/4.02	c intension x[5][36]=x[36][5]  using generic constraint 
4.00/4.02	c intension x[5][37]=x[37][5]  using generic constraint 
4.00/4.02	c intension x[5][38]=x[38][5]  using generic constraint 
4.00/4.02	c intension x[6][0]=x[0][6]  using generic constraint 
4.00/4.02	c intension x[6][1]=x[1][6]  using generic constraint 
4.00/4.02	c intension x[6][2]=x[2][6]  using generic constraint 
4.00/4.02	c intension x[6][3]=x[3][6]  using generic constraint 
4.00/4.02	c intension x[6][4]=x[4][6]  using generic constraint 
4.00/4.02	c intension x[6][5]=x[5][6]  using generic constraint 
4.00/4.03	c intension x[6][7]=x[7][6]  using generic constraint 
4.00/4.03	c intension x[6][8]=x[8][6]  using generic constraint 
4.00/4.03	c intension x[6][9]=x[9][6]  using generic constraint 
4.00/4.03	c intension x[6][10]=x[10][6]  using generic constraint 
4.00/4.03	c intension x[6][11]=x[11][6]  using generic constraint 
4.00/4.03	c intension x[6][12]=x[12][6]  using generic constraint 
4.00/4.03	c intension x[6][13]=x[13][6]  using generic constraint 
4.00/4.03	c intension x[6][14]=x[14][6]  using generic constraint 
4.00/4.03	c intension x[6][15]=x[15][6]  using generic constraint 
4.00/4.03	c intension x[6][16]=x[16][6]  using generic constraint 
4.00/4.04	c intension x[6][17]=x[17][6]  using generic constraint 
4.00/4.04	c intension x[6][18]=x[18][6]  using generic constraint 
4.00/4.04	c intension x[6][19]=x[19][6]  using generic constraint 
4.00/4.04	c intension x[6][20]=x[20][6]  using generic constraint 
4.00/4.04	c intension x[6][21]=x[21][6]  using generic constraint 
4.00/4.04	c intension x[6][22]=x[22][6]  using generic constraint 
4.00/4.04	c intension x[6][23]=x[23][6]  using generic constraint 
4.00/4.04	c intension x[6][24]=x[24][6]  using generic constraint 
4.00/4.04	c intension x[6][25]=x[25][6]  using generic constraint 
4.00/4.04	c intension x[6][26]=x[26][6]  using generic constraint 
4.00/4.05	c intension x[6][27]=x[27][6]  using generic constraint 
4.00/4.05	c intension x[6][28]=x[28][6]  using generic constraint 
4.00/4.05	c intension x[6][29]=x[29][6]  using generic constraint 
4.00/4.05	c intension x[6][30]=x[30][6]  using generic constraint 
4.00/4.05	c intension x[6][31]=x[31][6]  using generic constraint 
4.00/4.05	c intension x[6][32]=x[32][6]  using generic constraint 
4.00/4.05	c intension x[6][33]=x[33][6]  using generic constraint 
4.00/4.05	c intension x[6][34]=x[34][6]  using generic constraint 
4.00/4.05	c intension x[6][35]=x[35][6]  using generic constraint 
4.00/4.06	c intension x[6][36]=x[36][6]  using generic constraint 
4.00/4.06	c intension x[6][37]=x[37][6]  using generic constraint 
4.00/4.06	c intension x[6][38]=x[38][6]  using generic constraint 
4.00/4.06	c intension x[7][0]=x[0][7]  using generic constraint 
4.00/4.06	c intension x[7][1]=x[1][7]  using generic constraint 
4.00/4.06	c intension x[7][2]=x[2][7]  using generic constraint 
4.00/4.06	c intension x[7][3]=x[3][7]  using generic constraint 
4.00/4.06	c intension x[7][4]=x[4][7]  using generic constraint 
4.00/4.06	c intension x[7][5]=x[5][7]  using generic constraint 
4.00/4.06	c intension x[7][6]=x[6][7]  using generic constraint 
4.00/4.07	c intension x[7][8]=x[8][7]  using generic constraint 
4.00/4.07	c intension x[7][9]=x[9][7]  using generic constraint 
4.00/4.07	c intension x[7][10]=x[10][7]  using generic constraint 
4.00/4.07	c intension x[7][11]=x[11][7]  using generic constraint 
4.00/4.07	c intension x[7][12]=x[12][7]  using generic constraint 
4.00/4.07	c intension x[7][13]=x[13][7]  using generic constraint 
4.00/4.07	c intension x[7][14]=x[14][7]  using generic constraint 
4.00/4.07	c intension x[7][15]=x[15][7]  using generic constraint 
4.00/4.07	c intension x[7][16]=x[16][7]  using generic constraint 
4.00/4.08	c intension x[7][17]=x[17][7]  using generic constraint 
4.00/4.08	c intension x[7][18]=x[18][7]  using generic constraint 
4.00/4.08	c intension x[7][19]=x[19][7]  using generic constraint 
4.00/4.08	c intension x[7][20]=x[20][7]  using generic constraint 
4.00/4.08	c intension x[7][21]=x[21][7]  using generic constraint 
4.00/4.08	c intension x[7][22]=x[22][7]  using generic constraint 
4.00/4.08	c intension x[7][23]=x[23][7]  using generic constraint 
4.00/4.08	c intension x[7][24]=x[24][7]  using generic constraint 
4.00/4.08	c intension x[7][25]=x[25][7]  using generic constraint 
4.00/4.08	c intension x[7][26]=x[26][7]  using generic constraint 
4.00/4.09	c intension x[7][27]=x[27][7]  using generic constraint 
4.00/4.09	c intension x[7][28]=x[28][7]  using generic constraint 
4.00/4.09	c intension x[7][29]=x[29][7]  using generic constraint 
4.00/4.09	c intension x[7][30]=x[30][7]  using generic constraint 
4.00/4.09	c intension x[7][31]=x[31][7]  using generic constraint 
4.00/4.09	c intension x[7][32]=x[32][7]  using generic constraint 
4.00/4.09	c intension x[7][33]=x[33][7]  using generic constraint 
4.00/4.09	c intension x[7][34]=x[34][7]  using generic constraint 
4.00/4.09	c intension x[7][35]=x[35][7]  using generic constraint 
4.00/4.09	c intension x[7][36]=x[36][7]  using generic constraint 
4.00/4.10	c intension x[7][37]=x[37][7]  using generic constraint 
4.00/4.10	c intension x[7][38]=x[38][7]  using generic constraint 
4.00/4.10	c intension x[8][0]=x[0][8]  using generic constraint 
4.00/4.10	c intension x[8][1]=x[1][8]  using generic constraint 
4.00/4.10	c intension x[8][2]=x[2][8]  using generic constraint 
4.00/4.10	c intension x[8][3]=x[3][8]  using generic constraint 
4.00/4.10	c intension x[8][4]=x[4][8]  using generic constraint 
4.00/4.10	c intension x[8][5]=x[5][8]  using generic constraint 
4.00/4.10	c intension x[8][6]=x[6][8]  using generic constraint 
4.10/4.11	c intension x[8][7]=x[7][8]  using generic constraint 
4.10/4.11	c intension x[8][9]=x[9][8]  using generic constraint 
4.10/4.11	c intension x[8][10]=x[10][8]  using generic constraint 
4.10/4.11	c intension x[8][11]=x[11][8]  using generic constraint 
4.10/4.11	c intension x[8][12]=x[12][8]  using generic constraint 
4.10/4.11	c intension x[8][13]=x[13][8]  using generic constraint 
4.10/4.11	c intension x[8][14]=x[14][8]  using generic constraint 
4.10/4.11	c intension x[8][15]=x[15][8]  using generic constraint 
4.10/4.11	c intension x[8][16]=x[16][8]  using generic constraint 
4.10/4.11	c intension x[8][17]=x[17][8]  using generic constraint 
4.10/4.12	c intension x[8][18]=x[18][8]  using generic constraint 
4.10/4.12	c intension x[8][19]=x[19][8]  using generic constraint 
4.10/4.12	c intension x[8][20]=x[20][8]  using generic constraint 
4.10/4.12	c intension x[8][21]=x[21][8]  using generic constraint 
4.10/4.12	c intension x[8][22]=x[22][8]  using generic constraint 
4.10/4.12	c intension x[8][23]=x[23][8]  using generic constraint 
4.10/4.12	c intension x[8][24]=x[24][8]  using generic constraint 
4.10/4.12	c intension x[8][25]=x[25][8]  using generic constraint 
4.10/4.12	c intension x[8][26]=x[26][8]  using generic constraint 
4.10/4.13	c intension x[8][27]=x[27][8]  using generic constraint 
4.10/4.13	c intension x[8][28]=x[28][8]  using generic constraint 
4.10/4.13	c intension x[8][29]=x[29][8]  using generic constraint 
4.10/4.13	c intension x[8][30]=x[30][8]  using generic constraint 
4.10/4.13	c intension x[8][31]=x[31][8]  using generic constraint 
4.10/4.13	c intension x[8][32]=x[32][8]  using generic constraint 
4.10/4.13	c intension x[8][33]=x[33][8]  using generic constraint 
4.10/4.13	c intension x[8][34]=x[34][8]  using generic constraint 
4.10/4.13	c intension x[8][35]=x[35][8]  using generic constraint 
4.10/4.13	c intension x[8][36]=x[36][8]  using generic constraint 
4.10/4.14	c intension x[8][37]=x[37][8]  using generic constraint 
4.10/4.14	c intension x[8][38]=x[38][8]  using generic constraint 
4.10/4.14	c intension x[9][0]=x[0][9]  using generic constraint 
4.10/4.14	c intension x[9][1]=x[1][9]  using generic constraint 
4.10/4.14	c intension x[9][2]=x[2][9]  using generic constraint 
4.10/4.14	c intension x[9][3]=x[3][9]  using generic constraint 
4.10/4.14	c intension x[9][4]=x[4][9]  using generic constraint 
4.10/4.14	c intension x[9][5]=x[5][9]  using generic constraint 
4.10/4.14	c intension x[9][6]=x[6][9]  using generic constraint 
4.10/4.15	c intension x[9][7]=x[7][9]  using generic constraint 
4.10/4.15	c intension x[9][8]=x[8][9]  using generic constraint 
4.10/4.15	c intension x[9][10]=x[10][9]  using generic constraint 
4.10/4.15	c intension x[9][11]=x[11][9]  using generic constraint 
4.10/4.15	c intension x[9][12]=x[12][9]  using generic constraint 
4.10/4.15	c intension x[9][13]=x[13][9]  using generic constraint 
4.10/4.15	c intension x[9][14]=x[14][9]  using generic constraint 
4.10/4.15	c intension x[9][15]=x[15][9]  using generic constraint 
4.10/4.15	c intension x[9][16]=x[16][9]  using generic constraint 
4.10/4.15	c intension x[9][17]=x[17][9]  using generic constraint 
4.10/4.16	c intension x[9][18]=x[18][9]  using generic constraint 
4.10/4.16	c intension x[9][19]=x[19][9]  using generic constraint 
4.10/4.16	c intension x[9][20]=x[20][9]  using generic constraint 
4.10/4.16	c intension x[9][21]=x[21][9]  using generic constraint 
4.10/4.16	c intension x[9][22]=x[22][9]  using generic constraint 
4.10/4.16	c intension x[9][23]=x[23][9]  using generic constraint 
4.10/4.16	c intension x[9][24]=x[24][9]  using generic constraint 
4.10/4.16	c intension x[9][25]=x[25][9]  using generic constraint 
4.10/4.16	c intension x[9][26]=x[26][9]  using generic constraint 
4.10/4.17	c intension x[9][27]=x[27][9]  using generic constraint 
4.10/4.17	c intension x[9][28]=x[28][9]  using generic constraint 
4.10/4.17	c intension x[9][29]=x[29][9]  using generic constraint 
4.10/4.17	c intension x[9][30]=x[30][9]  using generic constraint 
4.10/4.17	c intension x[9][31]=x[31][9]  using generic constraint 
4.10/4.17	c intension x[9][32]=x[32][9]  using generic constraint 
4.10/4.17	c intension x[9][33]=x[33][9]  using generic constraint 
4.10/4.17	c intension x[9][34]=x[34][9]  using generic constraint 
4.10/4.17	c intension x[9][35]=x[35][9]  using generic constraint 
4.10/4.17	c intension x[9][36]=x[36][9]  using generic constraint 
4.10/4.18	c intension x[9][37]=x[37][9]  using generic constraint 
4.10/4.18	c intension x[9][38]=x[38][9]  using generic constraint 
4.10/4.18	c intension x[10][0]=x[0][10]  using generic constraint 
4.10/4.18	c intension x[10][1]=x[1][10]  using generic constraint 
4.10/4.18	c intension x[10][2]=x[2][10]  using generic constraint 
4.10/4.18	c intension x[10][3]=x[3][10]  using generic constraint 
4.10/4.18	c intension x[10][4]=x[4][10]  using generic constraint 
4.10/4.18	c intension x[10][5]=x[5][10]  using generic constraint 
4.10/4.18	c intension x[10][6]=x[6][10]  using generic constraint 
4.10/4.18	c intension x[10][7]=x[7][10]  using generic constraint 
4.10/4.19	c intension x[10][8]=x[8][10]  using generic constraint 
4.10/4.19	c intension x[10][9]=x[9][10]  using generic constraint 
4.10/4.19	c intension x[10][11]=x[11][10]  using generic constraint 
4.10/4.19	c intension x[10][12]=x[12][10]  using generic constraint 
4.10/4.19	c intension x[10][13]=x[13][10]  using generic constraint 
4.10/4.19	c intension x[10][14]=x[14][10]  using generic constraint 
4.10/4.19	c intension x[10][15]=x[15][10]  using generic constraint 
4.10/4.19	c intension x[10][16]=x[16][10]  using generic constraint 
4.10/4.19	c intension x[10][17]=x[17][10]  using generic constraint 
4.10/4.20	c intension x[10][18]=x[18][10]  using generic constraint 
4.19/4.20	c intension x[10][19]=x[19][10]  using generic constraint 
4.19/4.20	c intension x[10][20]=x[20][10]  using generic constraint 
4.19/4.20	c intension x[10][21]=x[21][10]  using generic constraint 
4.19/4.20	c intension x[10][22]=x[22][10]  using generic constraint 
4.19/4.20	c intension x[10][23]=x[23][10]  using generic constraint 
4.19/4.20	c intension x[10][24]=x[24][10]  using generic constraint 
4.19/4.20	c intension x[10][25]=x[25][10]  using generic constraint 
4.19/4.20	c intension x[10][26]=x[26][10]  using generic constraint 
4.19/4.20	c intension x[10][27]=x[27][10]  using generic constraint 
4.19/4.21	c intension x[10][28]=x[28][10]  using generic constraint 
4.19/4.21	c intension x[10][29]=x[29][10]  using generic constraint 
4.19/4.21	c intension x[10][30]=x[30][10]  using generic constraint 
4.19/4.21	c intension x[10][31]=x[31][10]  using generic constraint 
4.19/4.21	c intension x[10][32]=x[32][10]  using generic constraint 
4.19/4.21	c intension x[10][33]=x[33][10]  using generic constraint 
4.19/4.21	c intension x[10][34]=x[34][10]  using generic constraint 
4.19/4.21	c intension x[10][35]=x[35][10]  using generic constraint 
4.19/4.21	c intension x[10][36]=x[36][10]  using generic constraint 
4.19/4.22	c intension x[10][37]=x[37][10]  using generic constraint 
4.19/4.22	c intension x[10][38]=x[38][10]  using generic constraint 
4.19/4.22	c intension x[11][0]=x[0][11]  using generic constraint 
4.19/4.22	c intension x[11][1]=x[1][11]  using generic constraint 
4.19/4.22	c intension x[11][2]=x[2][11]  using generic constraint 
4.19/4.22	c intension x[11][3]=x[3][11]  using generic constraint 
4.19/4.22	c intension x[11][4]=x[4][11]  using generic constraint 
4.19/4.22	c intension x[11][5]=x[5][11]  using generic constraint 
4.19/4.22	c intension x[11][6]=x[6][11]  using generic constraint 
4.19/4.22	c intension x[11][7]=x[7][11]  using generic constraint 
4.19/4.23	c intension x[11][8]=x[8][11]  using generic constraint 
4.19/4.23	c intension x[11][9]=x[9][11]  using generic constraint 
4.19/4.23	c intension x[11][10]=x[10][11]  using generic constraint 
4.19/4.23	c intension x[11][12]=x[12][11]  using generic constraint 
4.19/4.23	c intension x[11][13]=x[13][11]  using generic constraint 
4.19/4.23	c intension x[11][14]=x[14][11]  using generic constraint 
4.19/4.23	c intension x[11][15]=x[15][11]  using generic constraint 
4.19/4.23	c intension x[11][16]=x[16][11]  using generic constraint 
4.19/4.23	c intension x[11][17]=x[17][11]  using generic constraint 
4.19/4.24	c intension x[11][18]=x[18][11]  using generic constraint 
4.19/4.24	c intension x[11][19]=x[19][11]  using generic constraint 
4.19/4.24	c intension x[11][20]=x[20][11]  using generic constraint 
4.19/4.24	c intension x[11][21]=x[21][11]  using generic constraint 
4.19/4.24	c intension x[11][22]=x[22][11]  using generic constraint 
4.19/4.24	c intension x[11][23]=x[23][11]  using generic constraint 
4.19/4.24	c intension x[11][24]=x[24][11]  using generic constraint 
4.19/4.24	c intension x[11][25]=x[25][11]  using generic constraint 
4.19/4.24	c intension x[11][26]=x[26][11]  using generic constraint 
4.19/4.24	c intension x[11][27]=x[27][11]  using generic constraint 
4.19/4.25	c intension x[11][28]=x[28][11]  using generic constraint 
4.19/4.25	c intension x[11][29]=x[29][11]  using generic constraint 
4.19/4.25	c intension x[11][30]=x[30][11]  using generic constraint 
4.19/4.25	c intension x[11][31]=x[31][11]  using generic constraint 
4.19/4.25	c intension x[11][32]=x[32][11]  using generic constraint 
4.19/4.25	c intension x[11][33]=x[33][11]  using generic constraint 
4.19/4.25	c intension x[11][34]=x[34][11]  using generic constraint 
4.19/4.25	c intension x[11][35]=x[35][11]  using generic constraint 
4.19/4.25	c intension x[11][36]=x[36][11]  using generic constraint 
4.19/4.26	c intension x[11][37]=x[37][11]  using generic constraint 
4.19/4.26	c intension x[11][38]=x[38][11]  using generic constraint 
4.19/4.26	c intension x[12][0]=x[0][12]  using generic constraint 
4.19/4.26	c intension x[12][1]=x[1][12]  using generic constraint 
4.19/4.26	c intension x[12][2]=x[2][12]  using generic constraint 
4.19/4.26	c intension x[12][3]=x[3][12]  using generic constraint 
4.19/4.26	c intension x[12][4]=x[4][12]  using generic constraint 
4.19/4.26	c intension x[12][5]=x[5][12]  using generic constraint 
4.19/4.26	c intension x[12][6]=x[6][12]  using generic constraint 
4.19/4.26	c intension x[12][7]=x[7][12]  using generic constraint 
4.19/4.27	c intension x[12][8]=x[8][12]  using generic constraint 
4.19/4.27	c intension x[12][9]=x[9][12]  using generic constraint 
4.19/4.27	c intension x[12][10]=x[10][12]  using generic constraint 
4.19/4.27	c intension x[12][11]=x[11][12]  using generic constraint 
4.19/4.27	c intension x[12][13]=x[13][12]  using generic constraint 
4.19/4.27	c intension x[12][14]=x[14][12]  using generic constraint 
4.19/4.27	c intension x[12][15]=x[15][12]  using generic constraint 
4.19/4.27	c intension x[12][16]=x[16][12]  using generic constraint 
4.19/4.27	c intension x[12][17]=x[17][12]  using generic constraint 
4.19/4.28	c intension x[12][18]=x[18][12]  using generic constraint 
4.19/4.28	c intension x[12][19]=x[19][12]  using generic constraint 
4.19/4.28	c intension x[12][20]=x[20][12]  using generic constraint 
4.19/4.28	c intension x[12][21]=x[21][12]  using generic constraint 
4.19/4.28	c intension x[12][22]=x[22][12]  using generic constraint 
4.19/4.28	c intension x[12][23]=x[23][12]  using generic constraint 
4.19/4.28	c intension x[12][24]=x[24][12]  using generic constraint 
4.19/4.28	c intension x[12][25]=x[25][12]  using generic constraint 
4.19/4.28	c intension x[12][26]=x[26][12]  using generic constraint 
4.19/4.28	c intension x[12][27]=x[27][12]  using generic constraint 
4.19/4.29	c intension x[12][28]=x[28][12]  using generic constraint 
4.19/4.29	c intension x[12][29]=x[29][12]  using generic constraint 
4.19/4.29	c intension x[12][30]=x[30][12]  using generic constraint 
4.19/4.29	c intension x[12][31]=x[31][12]  using generic constraint 
4.19/4.29	c intension x[12][32]=x[32][12]  using generic constraint 
4.19/4.29	c intension x[12][33]=x[33][12]  using generic constraint 
4.19/4.29	c intension x[12][34]=x[34][12]  using generic constraint 
4.19/4.29	c intension x[12][35]=x[35][12]  using generic constraint 
4.19/4.29	c intension x[12][36]=x[36][12]  using generic constraint 
4.19/4.30	c intension x[12][37]=x[37][12]  using generic constraint 
4.29/4.30	c intension x[12][38]=x[38][12]  using generic constraint 
4.29/4.30	c intension x[13][0]=x[0][13]  using generic constraint 
4.29/4.30	c intension x[13][1]=x[1][13]  using generic constraint 
4.29/4.30	c intension x[13][2]=x[2][13]  using generic constraint 
4.29/4.30	c intension x[13][3]=x[3][13]  using generic constraint 
4.29/4.30	c intension x[13][4]=x[4][13]  using generic constraint 
4.29/4.30	c intension x[13][5]=x[5][13]  using generic constraint 
4.29/4.30	c intension x[13][6]=x[6][13]  using generic constraint 
4.29/4.30	c intension x[13][7]=x[7][13]  using generic constraint 
4.29/4.31	c intension x[13][8]=x[8][13]  using generic constraint 
4.29/4.31	c intension x[13][9]=x[9][13]  using generic constraint 
4.29/4.31	c intension x[13][10]=x[10][13]  using generic constraint 
4.29/4.31	c intension x[13][11]=x[11][13]  using generic constraint 
4.29/4.31	c intension x[13][12]=x[12][13]  using generic constraint 
4.29/4.31	c intension x[13][14]=x[14][13]  using generic constraint 
4.29/4.31	c intension x[13][15]=x[15][13]  using generic constraint 
4.29/4.31	c intension x[13][16]=x[16][13]  using generic constraint 
4.29/4.31	c intension x[13][17]=x[17][13]  using generic constraint 
4.29/4.32	c intension x[13][18]=x[18][13]  using generic constraint 
4.29/4.32	c intension x[13][19]=x[19][13]  using generic constraint 
4.29/4.32	c intension x[13][20]=x[20][13]  using generic constraint 
4.29/4.32	c intension x[13][21]=x[21][13]  using generic constraint 
4.29/4.32	c intension x[13][22]=x[22][13]  using generic constraint 
4.29/4.32	c intension x[13][23]=x[23][13]  using generic constraint 
4.29/4.32	c intension x[13][24]=x[24][13]  using generic constraint 
4.29/4.32	c intension x[13][25]=x[25][13]  using generic constraint 
4.29/4.32	c intension x[13][26]=x[26][13]  using generic constraint 
4.29/4.32	c intension x[13][27]=x[27][13]  using generic constraint 
4.29/4.33	c intension x[13][28]=x[28][13]  using generic constraint 
4.29/4.33	c intension x[13][29]=x[29][13]  using generic constraint 
4.29/4.33	c intension x[13][30]=x[30][13]  using generic constraint 
4.29/4.33	c intension x[13][31]=x[31][13]  using generic constraint 
4.29/4.33	c intension x[13][32]=x[32][13]  using generic constraint 
4.29/4.33	c intension x[13][33]=x[33][13]  using generic constraint 
4.29/4.33	c intension x[13][34]=x[34][13]  using generic constraint 
4.29/4.33	c intension x[13][35]=x[35][13]  using generic constraint 
4.29/4.33	c intension x[13][36]=x[36][13]  using generic constraint 
4.29/4.34	c intension x[13][37]=x[37][13]  using generic constraint 
4.29/4.34	c intension x[13][38]=x[38][13]  using generic constraint 
4.29/4.34	c intension x[14][0]=x[0][14]  using generic constraint 
4.29/4.34	c intension x[14][1]=x[1][14]  using generic constraint 
4.29/4.34	c intension x[14][2]=x[2][14]  using generic constraint 
4.29/4.34	c intension x[14][3]=x[3][14]  using generic constraint 
4.29/4.34	c intension x[14][4]=x[4][14]  using generic constraint 
4.29/4.34	c intension x[14][5]=x[5][14]  using generic constraint 
4.29/4.34	c intension x[14][6]=x[6][14]  using generic constraint 
4.29/4.34	c intension x[14][7]=x[7][14]  using generic constraint 
4.29/4.35	c intension x[14][8]=x[8][14]  using generic constraint 
4.29/4.35	c intension x[14][9]=x[9][14]  using generic constraint 
4.29/4.35	c intension x[14][10]=x[10][14]  using generic constraint 
4.29/4.35	c intension x[14][11]=x[11][14]  using generic constraint 
4.29/4.35	c intension x[14][12]=x[12][14]  using generic constraint 
4.29/4.35	c intension x[14][13]=x[13][14]  using generic constraint 
4.29/4.35	c intension x[14][15]=x[15][14]  using generic constraint 
4.29/4.35	c intension x[14][16]=x[16][14]  using generic constraint 
4.29/4.35	c intension x[14][17]=x[17][14]  using generic constraint 
4.29/4.36	c intension x[14][18]=x[18][14]  using generic constraint 
4.29/4.36	c intension x[14][19]=x[19][14]  using generic constraint 
4.29/4.36	c intension x[14][20]=x[20][14]  using generic constraint 
4.29/4.36	c intension x[14][21]=x[21][14]  using generic constraint 
4.29/4.36	c intension x[14][22]=x[22][14]  using generic constraint 
4.29/4.36	c intension x[14][23]=x[23][14]  using generic constraint 
4.29/4.36	c intension x[14][24]=x[24][14]  using generic constraint 
4.29/4.36	c intension x[14][25]=x[25][14]  using generic constraint 
4.29/4.36	c intension x[14][26]=x[26][14]  using generic constraint 
4.29/4.36	c intension x[14][27]=x[27][14]  using generic constraint 
4.29/4.37	c intension x[14][28]=x[28][14]  using generic constraint 
4.29/4.37	c intension x[14][29]=x[29][14]  using generic constraint 
4.29/4.37	c intension x[14][30]=x[30][14]  using generic constraint 
4.29/4.37	c intension x[14][31]=x[31][14]  using generic constraint 
4.29/4.37	c intension x[14][32]=x[32][14]  using generic constraint 
4.29/4.37	c intension x[14][33]=x[33][14]  using generic constraint 
4.29/4.37	c intension x[14][34]=x[34][14]  using generic constraint 
4.29/4.37	c intension x[14][35]=x[35][14]  using generic constraint 
4.29/4.37	c intension x[14][36]=x[36][14]  using generic constraint 
4.29/4.38	c intension x[14][37]=x[37][14]  using generic constraint 
4.29/4.38	c intension x[14][38]=x[38][14]  using generic constraint 
4.29/4.38	c intension x[15][0]=x[0][15]  using generic constraint 
4.29/4.38	c intension x[15][1]=x[1][15]  using generic constraint 
4.29/4.38	c intension x[15][2]=x[2][15]  using generic constraint 
4.29/4.38	c intension x[15][3]=x[3][15]  using generic constraint 
4.29/4.38	c intension x[15][4]=x[4][15]  using generic constraint 
4.29/4.38	c intension x[15][5]=x[5][15]  using generic constraint 
4.29/4.38	c intension x[15][6]=x[6][15]  using generic constraint 
4.29/4.38	c intension x[15][7]=x[7][15]  using generic constraint 
4.29/4.39	c intension x[15][8]=x[8][15]  using generic constraint 
4.29/4.39	c intension x[15][9]=x[9][15]  using generic constraint 
4.29/4.39	c intension x[15][10]=x[10][15]  using generic constraint 
4.29/4.39	c intension x[15][11]=x[11][15]  using generic constraint 
4.29/4.39	c intension x[15][12]=x[12][15]  using generic constraint 
4.29/4.39	c intension x[15][13]=x[13][15]  using generic constraint 
4.29/4.39	c intension x[15][14]=x[14][15]  using generic constraint 
4.29/4.39	c intension x[15][16]=x[16][15]  using generic constraint 
4.29/4.39	c intension x[15][17]=x[17][15]  using generic constraint 
4.29/4.40	c intension x[15][18]=x[18][15]  using generic constraint 
4.39/4.40	c intension x[15][19]=x[19][15]  using generic constraint 
4.39/4.40	c intension x[15][20]=x[20][15]  using generic constraint 
4.39/4.40	c intension x[15][21]=x[21][15]  using generic constraint 
4.39/4.40	c intension x[15][22]=x[22][15]  using generic constraint 
4.39/4.40	c intension x[15][23]=x[23][15]  using generic constraint 
4.39/4.40	c intension x[15][24]=x[24][15]  using generic constraint 
4.39/4.40	c intension x[15][25]=x[25][15]  using generic constraint 
4.39/4.40	c intension x[15][26]=x[26][15]  using generic constraint 
4.39/4.40	c intension x[15][27]=x[27][15]  using generic constraint 
4.39/4.41	c intension x[15][28]=x[28][15]  using generic constraint 
4.39/4.41	c intension x[15][29]=x[29][15]  using generic constraint 
4.39/4.41	c intension x[15][30]=x[30][15]  using generic constraint 
4.39/4.41	c intension x[15][31]=x[31][15]  using generic constraint 
4.39/4.41	c intension x[15][32]=x[32][15]  using generic constraint 
4.39/4.41	c intension x[15][33]=x[33][15]  using generic constraint 
4.39/4.41	c intension x[15][34]=x[34][15]  using generic constraint 
4.39/4.41	c intension x[15][35]=x[35][15]  using generic constraint 
4.39/4.41	c intension x[15][36]=x[36][15]  using generic constraint 
4.39/4.42	c intension x[15][37]=x[37][15]  using generic constraint 
4.39/4.42	c intension x[15][38]=x[38][15]  using generic constraint 
4.39/4.42	c intension x[16][0]=x[0][16]  using generic constraint 
4.39/4.42	c intension x[16][1]=x[1][16]  using generic constraint 
4.39/4.42	c intension x[16][2]=x[2][16]  using generic constraint 
4.39/4.42	c intension x[16][3]=x[3][16]  using generic constraint 
4.39/4.42	c intension x[16][4]=x[4][16]  using generic constraint 
4.39/4.42	c intension x[16][5]=x[5][16]  using generic constraint 
4.39/4.42	c intension x[16][6]=x[6][16]  using generic constraint 
4.39/4.42	c intension x[16][7]=x[7][16]  using generic constraint 
4.39/4.43	c intension x[16][8]=x[8][16]  using generic constraint 
4.39/4.43	c intension x[16][9]=x[9][16]  using generic constraint 
4.39/4.43	c intension x[16][10]=x[10][16]  using generic constraint 
4.39/4.43	c intension x[16][11]=x[11][16]  using generic constraint 
4.39/4.43	c intension x[16][12]=x[12][16]  using generic constraint 
4.39/4.43	c intension x[16][13]=x[13][16]  using generic constraint 
4.39/4.43	c intension x[16][14]=x[14][16]  using generic constraint 
4.39/4.43	c intension x[16][15]=x[15][16]  using generic constraint 
4.39/4.43	c intension x[16][17]=x[17][16]  using generic constraint 
4.39/4.44	c intension x[16][18]=x[18][16]  using generic constraint 
4.39/4.44	c intension x[16][19]=x[19][16]  using generic constraint 
4.39/4.44	c intension x[16][20]=x[20][16]  using generic constraint 
4.39/4.44	c intension x[16][21]=x[21][16]  using generic constraint 
4.39/4.44	c intension x[16][22]=x[22][16]  using generic constraint 
4.39/4.44	c intension x[16][23]=x[23][16]  using generic constraint 
4.39/4.44	c intension x[16][24]=x[24][16]  using generic constraint 
4.39/4.44	c intension x[16][25]=x[25][16]  using generic constraint 
4.39/4.44	c intension x[16][26]=x[26][16]  using generic constraint 
4.39/4.44	c intension x[16][27]=x[27][16]  using generic constraint 
4.39/4.45	c intension x[16][28]=x[28][16]  using generic constraint 
4.39/4.45	c intension x[16][29]=x[29][16]  using generic constraint 
4.39/4.45	c intension x[16][30]=x[30][16]  using generic constraint 
4.39/4.45	c intension x[16][31]=x[31][16]  using generic constraint 
4.39/4.45	c intension x[16][32]=x[32][16]  using generic constraint 
4.39/4.45	c intension x[16][33]=x[33][16]  using generic constraint 
4.39/4.45	c intension x[16][34]=x[34][16]  using generic constraint 
4.39/4.45	c intension x[16][35]=x[35][16]  using generic constraint 
4.39/4.45	c intension x[16][36]=x[36][16]  using generic constraint 
4.39/4.46	c intension x[16][37]=x[37][16]  using generic constraint 
4.39/4.46	c intension x[16][38]=x[38][16]  using generic constraint 
4.39/4.46	c intension x[17][0]=x[0][17]  using generic constraint 
4.39/4.46	c intension x[17][1]=x[1][17]  using generic constraint 
4.39/4.46	c intension x[17][2]=x[2][17]  using generic constraint 
4.39/4.46	c intension x[17][3]=x[3][17]  using generic constraint 
4.39/4.46	c intension x[17][4]=x[4][17]  using generic constraint 
4.39/4.46	c intension x[17][5]=x[5][17]  using generic constraint 
4.39/4.46	c intension x[17][6]=x[6][17]  using generic constraint 
4.39/4.47	c intension x[17][7]=x[7][17]  using generic constraint 
4.39/4.47	c intension x[17][8]=x[8][17]  using generic constraint 
4.39/4.47	c intension x[17][9]=x[9][17]  using generic constraint 
4.39/4.47	c intension x[17][10]=x[10][17]  using generic constraint 
4.39/4.47	c intension x[17][11]=x[11][17]  using generic constraint 
4.39/4.47	c intension x[17][12]=x[12][17]  using generic constraint 
4.39/4.47	c intension x[17][13]=x[13][17]  using generic constraint 
4.39/4.47	c intension x[17][14]=x[14][17]  using generic constraint 
4.39/4.47	c intension x[17][15]=x[15][17]  using generic constraint 
4.39/4.47	c intension x[17][16]=x[16][17]  using generic constraint 
4.39/4.48	c intension x[17][18]=x[18][17]  using generic constraint 
4.39/4.48	c intension x[17][19]=x[19][17]  using generic constraint 
4.39/4.48	c intension x[17][20]=x[20][17]  using generic constraint 
4.39/4.48	c intension x[17][21]=x[21][17]  using generic constraint 
4.39/4.48	c intension x[17][22]=x[22][17]  using generic constraint 
4.39/4.48	c intension x[17][23]=x[23][17]  using generic constraint 
4.39/4.48	c intension x[17][24]=x[24][17]  using generic constraint 
4.39/4.48	c intension x[17][25]=x[25][17]  using generic constraint 
4.39/4.48	c intension x[17][26]=x[26][17]  using generic constraint 
4.39/4.49	c intension x[17][27]=x[27][17]  using generic constraint 
4.39/4.49	c intension x[17][28]=x[28][17]  using generic constraint 
4.39/4.49	c intension x[17][29]=x[29][17]  using generic constraint 
4.39/4.49	c intension x[17][30]=x[30][17]  using generic constraint 
4.39/4.49	c intension x[17][31]=x[31][17]  using generic constraint 
4.39/4.49	c intension x[17][32]=x[32][17]  using generic constraint 
4.39/4.49	c intension x[17][33]=x[33][17]  using generic constraint 
4.39/4.49	c intension x[17][34]=x[34][17]  using generic constraint 
4.39/4.49	c intension x[17][35]=x[35][17]  using generic constraint 
4.39/4.49	c intension x[17][36]=x[36][17]  using generic constraint 
4.49/4.50	c intension x[17][37]=x[37][17]  using generic constraint 
4.49/4.50	c intension x[17][38]=x[38][17]  using generic constraint 
4.49/4.50	c intension x[18][0]=x[0][18]  using generic constraint 
4.49/4.50	c intension x[18][1]=x[1][18]  using generic constraint 
4.49/4.50	c intension x[18][2]=x[2][18]  using generic constraint 
4.49/4.50	c intension x[18][3]=x[3][18]  using generic constraint 
4.49/4.50	c intension x[18][4]=x[4][18]  using generic constraint 
4.49/4.50	c intension x[18][5]=x[5][18]  using generic constraint 
4.49/4.50	c intension x[18][6]=x[6][18]  using generic constraint 
4.49/4.51	c intension x[18][7]=x[7][18]  using generic constraint 
4.49/4.51	c intension x[18][8]=x[8][18]  using generic constraint 
4.49/4.51	c intension x[18][9]=x[9][18]  using generic constraint 
4.49/4.51	c intension x[18][10]=x[10][18]  using generic constraint 
4.49/4.51	c intension x[18][11]=x[11][18]  using generic constraint 
4.49/4.51	c intension x[18][12]=x[12][18]  using generic constraint 
4.49/4.51	c intension x[18][13]=x[13][18]  using generic constraint 
4.49/4.51	c intension x[18][14]=x[14][18]  using generic constraint 
4.49/4.51	c intension x[18][15]=x[15][18]  using generic constraint 
4.49/4.51	c intension x[18][16]=x[16][18]  using generic constraint 
4.49/4.52	c intension x[18][17]=x[17][18]  using generic constraint 
4.49/4.52	c intension x[18][19]=x[19][18]  using generic constraint 
4.49/4.52	c intension x[18][20]=x[20][18]  using generic constraint 
4.49/4.52	c intension x[18][21]=x[21][18]  using generic constraint 
4.49/4.52	c intension x[18][22]=x[22][18]  using generic constraint 
4.49/4.52	c intension x[18][23]=x[23][18]  using generic constraint 
4.49/4.52	c intension x[18][24]=x[24][18]  using generic constraint 
4.49/4.52	c intension x[18][25]=x[25][18]  using generic constraint 
4.49/4.52	c intension x[18][26]=x[26][18]  using generic constraint 
4.49/4.53	c intension x[18][27]=x[27][18]  using generic constraint 
4.49/4.53	c intension x[18][28]=x[28][18]  using generic constraint 
4.49/4.53	c intension x[18][29]=x[29][18]  using generic constraint 
4.49/4.53	c intension x[18][30]=x[30][18]  using generic constraint 
4.49/4.53	c intension x[18][31]=x[31][18]  using generic constraint 
4.49/4.53	c intension x[18][32]=x[32][18]  using generic constraint 
4.49/4.53	c intension x[18][33]=x[33][18]  using generic constraint 
4.49/4.53	c intension x[18][34]=x[34][18]  using generic constraint 
4.49/4.53	c intension x[18][35]=x[35][18]  using generic constraint 
4.49/4.53	c intension x[18][36]=x[36][18]  using generic constraint 
4.49/4.54	c intension x[18][37]=x[37][18]  using generic constraint 
4.49/4.54	c intension x[18][38]=x[38][18]  using generic constraint 
4.49/4.54	c intension x[19][0]=x[0][19]  using generic constraint 
4.49/4.54	c intension x[19][1]=x[1][19]  using generic constraint 
4.49/4.54	c intension x[19][2]=x[2][19]  using generic constraint 
4.49/4.54	c intension x[19][3]=x[3][19]  using generic constraint 
4.49/4.54	c intension x[19][4]=x[4][19]  using generic constraint 
4.49/4.54	c intension x[19][5]=x[5][19]  using generic constraint 
4.49/4.54	c intension x[19][6]=x[6][19]  using generic constraint 
4.49/4.55	c intension x[19][7]=x[7][19]  using generic constraint 
4.49/4.55	c intension x[19][8]=x[8][19]  using generic constraint 
4.49/4.55	c intension x[19][9]=x[9][19]  using generic constraint 
4.49/4.55	c intension x[19][10]=x[10][19]  using generic constraint 
4.49/4.55	c intension x[19][11]=x[11][19]  using generic constraint 
4.49/4.55	c intension x[19][12]=x[12][19]  using generic constraint 
4.49/4.55	c intension x[19][13]=x[13][19]  using generic constraint 
4.49/4.55	c intension x[19][14]=x[14][19]  using generic constraint 
4.49/4.55	c intension x[19][15]=x[15][19]  using generic constraint 
4.49/4.55	c intension x[19][16]=x[16][19]  using generic constraint 
4.49/4.56	c intension x[19][17]=x[17][19]  using generic constraint 
4.49/4.56	c intension x[19][18]=x[18][19]  using generic constraint 
4.49/4.56	c intension x[19][20]=x[20][19]  using generic constraint 
4.49/4.56	c intension x[19][21]=x[21][19]  using generic constraint 
4.49/4.56	c intension x[19][22]=x[22][19]  using generic constraint 
4.49/4.56	c intension x[19][23]=x[23][19]  using generic constraint 
4.49/4.56	c intension x[19][24]=x[24][19]  using generic constraint 
4.49/4.56	c intension x[19][25]=x[25][19]  using generic constraint 
4.49/4.56	c intension x[19][26]=x[26][19]  using generic constraint 
4.49/4.57	c intension x[19][27]=x[27][19]  using generic constraint 
4.49/4.57	c intension x[19][28]=x[28][19]  using generic constraint 
4.49/4.57	c intension x[19][29]=x[29][19]  using generic constraint 
4.49/4.57	c intension x[19][30]=x[30][19]  using generic constraint 
4.49/4.57	c intension x[19][31]=x[31][19]  using generic constraint 
4.49/4.57	c intension x[19][32]=x[32][19]  using generic constraint 
4.49/4.57	c intension x[19][33]=x[33][19]  using generic constraint 
4.49/4.57	c intension x[19][34]=x[34][19]  using generic constraint 
4.49/4.57	c intension x[19][35]=x[35][19]  using generic constraint 
4.49/4.57	c intension x[19][36]=x[36][19]  using generic constraint 
4.49/4.58	c intension x[19][37]=x[37][19]  using generic constraint 
4.49/4.58	c intension x[19][38]=x[38][19]  using generic constraint 
4.49/4.58	c intension x[20][0]=x[0][20]  using generic constraint 
4.49/4.58	c intension x[20][1]=x[1][20]  using generic constraint 
4.49/4.58	c intension x[20][2]=x[2][20]  using generic constraint 
4.49/4.58	c intension x[20][3]=x[3][20]  using generic constraint 
4.49/4.58	c intension x[20][4]=x[4][20]  using generic constraint 
4.49/4.58	c intension x[20][5]=x[5][20]  using generic constraint 
4.49/4.58	c intension x[20][6]=x[6][20]  using generic constraint 
4.49/4.59	c intension x[20][7]=x[7][20]  using generic constraint 
4.49/4.59	c intension x[20][8]=x[8][20]  using generic constraint 
4.49/4.59	c intension x[20][9]=x[9][20]  using generic constraint 
4.49/4.59	c intension x[20][10]=x[10][20]  using generic constraint 
4.49/4.59	c intension x[20][11]=x[11][20]  using generic constraint 
4.49/4.59	c intension x[20][12]=x[12][20]  using generic constraint 
4.49/4.59	c intension x[20][13]=x[13][20]  using generic constraint 
4.49/4.59	c intension x[20][14]=x[14][20]  using generic constraint 
4.49/4.59	c intension x[20][15]=x[15][20]  using generic constraint 
4.49/4.59	c intension x[20][16]=x[16][20]  using generic constraint 
4.59/4.60	c intension x[20][17]=x[17][20]  using generic constraint 
4.59/4.60	c intension x[20][18]=x[18][20]  using generic constraint 
4.59/4.60	c intension x[20][19]=x[19][20]  using generic constraint 
4.59/4.60	c intension x[20][21]=x[21][20]  using generic constraint 
4.59/4.60	c intension x[20][22]=x[22][20]  using generic constraint 
4.59/4.60	c intension x[20][23]=x[23][20]  using generic constraint 
4.59/4.60	c intension x[20][24]=x[24][20]  using generic constraint 
4.59/4.60	c intension x[20][25]=x[25][20]  using generic constraint 
4.59/4.60	c intension x[20][26]=x[26][20]  using generic constraint 
4.59/4.61	c intension x[20][27]=x[27][20]  using generic constraint 
4.59/4.61	c intension x[20][28]=x[28][20]  using generic constraint 
4.59/4.61	c intension x[20][29]=x[29][20]  using generic constraint 
4.59/4.61	c intension x[20][30]=x[30][20]  using generic constraint 
4.59/4.61	c intension x[20][31]=x[31][20]  using generic constraint 
4.59/4.61	c intension x[20][32]=x[32][20]  using generic constraint 
4.59/4.61	c intension x[20][33]=x[33][20]  using generic constraint 
4.59/4.61	c intension x[20][34]=x[34][20]  using generic constraint 
4.59/4.61	c intension x[20][35]=x[35][20]  using generic constraint 
4.59/4.61	c intension x[20][36]=x[36][20]  using generic constraint 
4.59/4.62	c intension x[20][37]=x[37][20]  using generic constraint 
4.59/4.62	c intension x[20][38]=x[38][20]  using generic constraint 
4.59/4.62	c intension x[21][0]=x[0][21]  using generic constraint 
4.59/4.62	c intension x[21][1]=x[1][21]  using generic constraint 
4.59/4.62	c intension x[21][2]=x[2][21]  using generic constraint 
4.59/4.62	c intension x[21][3]=x[3][21]  using generic constraint 
4.59/4.62	c intension x[21][4]=x[4][21]  using generic constraint 
4.59/4.62	c intension x[21][5]=x[5][21]  using generic constraint 
4.59/4.62	c intension x[21][6]=x[6][21]  using generic constraint 
4.59/4.63	c intension x[21][7]=x[7][21]  using generic constraint 
4.59/4.63	c intension x[21][8]=x[8][21]  using generic constraint 
4.59/4.63	c intension x[21][9]=x[9][21]  using generic constraint 
4.59/4.63	c intension x[21][10]=x[10][21]  using generic constraint 
4.59/4.63	c intension x[21][11]=x[11][21]  using generic constraint 
4.59/4.63	c intension x[21][12]=x[12][21]  using generic constraint 
4.59/4.63	c intension x[21][13]=x[13][21]  using generic constraint 
4.59/4.63	c intension x[21][14]=x[14][21]  using generic constraint 
4.59/4.63	c intension x[21][15]=x[15][21]  using generic constraint 
4.59/4.63	c intension x[21][16]=x[16][21]  using generic constraint 
4.59/4.64	c intension x[21][17]=x[17][21]  using generic constraint 
4.59/4.64	c intension x[21][18]=x[18][21]  using generic constraint 
4.59/4.64	c intension x[21][19]=x[19][21]  using generic constraint 
4.59/4.64	c intension x[21][20]=x[20][21]  using generic constraint 
4.59/4.64	c intension x[21][22]=x[22][21]  using generic constraint 
4.59/4.64	c intension x[21][23]=x[23][21]  using generic constraint 
4.59/4.64	c intension x[21][24]=x[24][21]  using generic constraint 
4.59/4.64	c intension x[21][25]=x[25][21]  using generic constraint 
4.59/4.64	c intension x[21][26]=x[26][21]  using generic constraint 
4.59/4.65	c intension x[21][27]=x[27][21]  using generic constraint 
4.59/4.65	c intension x[21][28]=x[28][21]  using generic constraint 
4.59/4.65	c intension x[21][29]=x[29][21]  using generic constraint 
4.59/4.65	c intension x[21][30]=x[30][21]  using generic constraint 
4.59/4.65	c intension x[21][31]=x[31][21]  using generic constraint 
4.59/4.65	c intension x[21][32]=x[32][21]  using generic constraint 
4.59/4.65	c intension x[21][33]=x[33][21]  using generic constraint 
4.59/4.65	c intension x[21][34]=x[34][21]  using generic constraint 
4.59/4.65	c intension x[21][35]=x[35][21]  using generic constraint 
4.59/4.66	c intension x[21][36]=x[36][21]  using generic constraint 
4.59/4.66	c intension x[21][37]=x[37][21]  using generic constraint 
4.59/4.66	c intension x[21][38]=x[38][21]  using generic constraint 
4.59/4.66	c intension x[22][0]=x[0][22]  using generic constraint 
4.59/4.66	c intension x[22][1]=x[1][22]  using generic constraint 
4.59/4.66	c intension x[22][2]=x[2][22]  using generic constraint 
4.59/4.66	c intension x[22][3]=x[3][22]  using generic constraint 
4.59/4.66	c intension x[22][4]=x[4][22]  using generic constraint 
4.59/4.66	c intension x[22][5]=x[5][22]  using generic constraint 
4.59/4.66	c intension x[22][6]=x[6][22]  using generic constraint 
4.59/4.67	c intension x[22][7]=x[7][22]  using generic constraint 
4.59/4.67	c intension x[22][8]=x[8][22]  using generic constraint 
4.59/4.67	c intension x[22][9]=x[9][22]  using generic constraint 
4.59/4.67	c intension x[22][10]=x[10][22]  using generic constraint 
4.59/4.67	c intension x[22][11]=x[11][22]  using generic constraint 
4.59/4.67	c intension x[22][12]=x[12][22]  using generic constraint 
4.59/4.67	c intension x[22][13]=x[13][22]  using generic constraint 
4.59/4.67	c intension x[22][14]=x[14][22]  using generic constraint 
4.59/4.67	c intension x[22][15]=x[15][22]  using generic constraint 
4.59/4.68	c intension x[22][16]=x[16][22]  using generic constraint 
4.59/4.68	c intension x[22][17]=x[17][22]  using generic constraint 
4.59/4.68	c intension x[22][18]=x[18][22]  using generic constraint 
4.59/4.68	c intension x[22][19]=x[19][22]  using generic constraint 
4.59/4.68	c intension x[22][20]=x[20][22]  using generic constraint 
4.59/4.68	c intension x[22][21]=x[21][22]  using generic constraint 
4.59/4.68	c intension x[22][23]=x[23][22]  using generic constraint 
4.59/4.68	c intension x[22][24]=x[24][22]  using generic constraint 
4.59/4.68	c intension x[22][25]=x[25][22]  using generic constraint 
4.59/4.68	c intension x[22][26]=x[26][22]  using generic constraint 
4.59/4.69	c intension x[22][27]=x[27][22]  using generic constraint 
4.59/4.69	c intension x[22][28]=x[28][22]  using generic constraint 
4.59/4.69	c intension x[22][29]=x[29][22]  using generic constraint 
4.59/4.69	c intension x[22][30]=x[30][22]  using generic constraint 
4.59/4.69	c intension x[22][31]=x[31][22]  using generic constraint 
4.59/4.69	c intension x[22][32]=x[32][22]  using generic constraint 
4.59/4.69	c intension x[22][33]=x[33][22]  using generic constraint 
4.59/4.69	c intension x[22][34]=x[34][22]  using generic constraint 
4.59/4.69	c intension x[22][35]=x[35][22]  using generic constraint 
4.59/4.70	c intension x[22][36]=x[36][22]  using generic constraint 
4.69/4.70	c intension x[22][37]=x[37][22]  using generic constraint 
4.69/4.70	c intension x[22][38]=x[38][22]  using generic constraint 
4.69/4.70	c intension x[23][0]=x[0][23]  using generic constraint 
4.69/4.70	c intension x[23][1]=x[1][23]  using generic constraint 
4.69/4.70	c intension x[23][2]=x[2][23]  using generic constraint 
4.69/4.70	c intension x[23][3]=x[3][23]  using generic constraint 
4.69/4.70	c intension x[23][4]=x[4][23]  using generic constraint 
4.69/4.70	c intension x[23][5]=x[5][23]  using generic constraint 
4.69/4.70	c intension x[23][6]=x[6][23]  using generic constraint 
4.69/4.71	c intension x[23][7]=x[7][23]  using generic constraint 
4.69/4.71	c intension x[23][8]=x[8][23]  using generic constraint 
4.69/4.71	c intension x[23][9]=x[9][23]  using generic constraint 
4.69/4.71	c intension x[23][10]=x[10][23]  using generic constraint 
4.69/4.71	c intension x[23][11]=x[11][23]  using generic constraint 
4.69/4.71	c intension x[23][12]=x[12][23]  using generic constraint 
4.69/4.71	c intension x[23][13]=x[13][23]  using generic constraint 
4.69/4.71	c intension x[23][14]=x[14][23]  using generic constraint 
4.69/4.71	c intension x[23][15]=x[15][23]  using generic constraint 
4.69/4.72	c intension x[23][16]=x[16][23]  using generic constraint 
4.69/4.72	c intension x[23][17]=x[17][23]  using generic constraint 
4.69/4.72	c intension x[23][18]=x[18][23]  using generic constraint 
4.69/4.72	c intension x[23][19]=x[19][23]  using generic constraint 
4.69/4.72	c intension x[23][20]=x[20][23]  using generic constraint 
4.69/4.72	c intension x[23][21]=x[21][23]  using generic constraint 
4.69/4.72	c intension x[23][22]=x[22][23]  using generic constraint 
4.69/4.72	c intension x[23][24]=x[24][23]  using generic constraint 
4.69/4.72	c intension x[23][25]=x[25][23]  using generic constraint 
4.69/4.72	c intension x[23][26]=x[26][23]  using generic constraint 
4.69/4.73	c intension x[23][27]=x[27][23]  using generic constraint 
4.69/4.73	c intension x[23][28]=x[28][23]  using generic constraint 
4.69/4.73	c intension x[23][29]=x[29][23]  using generic constraint 
4.69/4.73	c intension x[23][30]=x[30][23]  using generic constraint 
4.69/4.73	c intension x[23][31]=x[31][23]  using generic constraint 
4.69/4.73	c intension x[23][32]=x[32][23]  using generic constraint 
4.69/4.73	c intension x[23][33]=x[33][23]  using generic constraint 
4.69/4.73	c intension x[23][34]=x[34][23]  using generic constraint 
4.69/4.73	c intension x[23][35]=x[35][23]  using generic constraint 
4.69/4.74	c intension x[23][36]=x[36][23]  using generic constraint 
4.69/4.74	c intension x[23][37]=x[37][23]  using generic constraint 
4.69/4.74	c intension x[23][38]=x[38][23]  using generic constraint 
4.69/4.74	c intension x[24][0]=x[0][24]  using generic constraint 
4.69/4.74	c intension x[24][1]=x[1][24]  using generic constraint 
4.69/4.74	c intension x[24][2]=x[2][24]  using generic constraint 
4.69/4.74	c intension x[24][3]=x[3][24]  using generic constraint 
4.69/4.74	c intension x[24][4]=x[4][24]  using generic constraint 
4.69/4.74	c intension x[24][5]=x[5][24]  using generic constraint 
4.69/4.74	c intension x[24][6]=x[6][24]  using generic constraint 
4.69/4.75	c intension x[24][7]=x[7][24]  using generic constraint 
4.69/4.75	c intension x[24][8]=x[8][24]  using generic constraint 
4.69/4.75	c intension x[24][9]=x[9][24]  using generic constraint 
4.69/4.75	c intension x[24][10]=x[10][24]  using generic constraint 
4.69/4.75	c intension x[24][11]=x[11][24]  using generic constraint 
4.69/4.75	c intension x[24][12]=x[12][24]  using generic constraint 
4.69/4.75	c intension x[24][13]=x[13][24]  using generic constraint 
4.69/4.75	c intension x[24][14]=x[14][24]  using generic constraint 
4.69/4.75	c intension x[24][15]=x[15][24]  using generic constraint 
4.69/4.76	c intension x[24][16]=x[16][24]  using generic constraint 
4.69/4.76	c intension x[24][17]=x[17][24]  using generic constraint 
4.69/4.76	c intension x[24][18]=x[18][24]  using generic constraint 
4.69/4.76	c intension x[24][19]=x[19][24]  using generic constraint 
4.69/4.76	c intension x[24][20]=x[20][24]  using generic constraint 
4.69/4.76	c intension x[24][21]=x[21][24]  using generic constraint 
4.69/4.76	c intension x[24][22]=x[22][24]  using generic constraint 
4.69/4.76	c intension x[24][23]=x[23][24]  using generic constraint 
4.69/4.76	c intension x[24][25]=x[25][24]  using generic constraint 
4.69/4.76	c intension x[24][26]=x[26][24]  using generic constraint 
4.69/4.77	c intension x[24][27]=x[27][24]  using generic constraint 
4.69/4.77	c intension x[24][28]=x[28][24]  using generic constraint 
4.69/4.77	c intension x[24][29]=x[29][24]  using generic constraint 
4.69/4.77	c intension x[24][30]=x[30][24]  using generic constraint 
4.69/4.77	c intension x[24][31]=x[31][24]  using generic constraint 
4.69/4.77	c intension x[24][32]=x[32][24]  using generic constraint 
4.69/4.77	c intension x[24][33]=x[33][24]  using generic constraint 
4.69/4.77	c intension x[24][34]=x[34][24]  using generic constraint 
4.69/4.77	c intension x[24][35]=x[35][24]  using generic constraint 
4.69/4.78	c intension x[24][36]=x[36][24]  using generic constraint 
4.69/4.78	c intension x[24][37]=x[37][24]  using generic constraint 
4.69/4.78	c intension x[24][38]=x[38][24]  using generic constraint 
4.69/4.78	c intension x[25][0]=x[0][25]  using generic constraint 
4.69/4.78	c intension x[25][1]=x[1][25]  using generic constraint 
4.69/4.78	c intension x[25][2]=x[2][25]  using generic constraint 
4.69/4.78	c intension x[25][3]=x[3][25]  using generic constraint 
4.69/4.78	c intension x[25][4]=x[4][25]  using generic constraint 
4.69/4.78	c intension x[25][5]=x[5][25]  using generic constraint 
4.69/4.79	c intension x[25][6]=x[6][25]  using generic constraint 
4.69/4.79	c intension x[25][7]=x[7][25]  using generic constraint 
4.69/4.79	c intension x[25][8]=x[8][25]  using generic constraint 
4.69/4.79	c intension x[25][9]=x[9][25]  using generic constraint 
4.69/4.79	c intension x[25][10]=x[10][25]  using generic constraint 
4.69/4.79	c intension x[25][11]=x[11][25]  using generic constraint 
4.69/4.79	c intension x[25][12]=x[12][25]  using generic constraint 
4.69/4.79	c intension x[25][13]=x[13][25]  using generic constraint 
4.69/4.79	c intension x[25][14]=x[14][25]  using generic constraint 
4.69/4.79	c intension x[25][15]=x[15][25]  using generic constraint 
4.79/4.80	c intension x[25][16]=x[16][25]  using generic constraint 
4.79/4.80	c intension x[25][17]=x[17][25]  using generic constraint 
4.79/4.80	c intension x[25][18]=x[18][25]  using generic constraint 
4.79/4.80	c intension x[25][19]=x[19][25]  using generic constraint 
4.79/4.80	c intension x[25][20]=x[20][25]  using generic constraint 
4.79/4.80	c intension x[25][21]=x[21][25]  using generic constraint 
4.79/4.80	c intension x[25][22]=x[22][25]  using generic constraint 
4.79/4.80	c intension x[25][23]=x[23][25]  using generic constraint 
4.79/4.80	c intension x[25][24]=x[24][25]  using generic constraint 
4.79/4.81	c intension x[25][26]=x[26][25]  using generic constraint 
4.79/4.81	c intension x[25][27]=x[27][25]  using generic constraint 
4.79/4.81	c intension x[25][28]=x[28][25]  using generic constraint 
4.79/4.81	c intension x[25][29]=x[29][25]  using generic constraint 
4.79/4.81	c intension x[25][30]=x[30][25]  using generic constraint 
4.79/4.81	c intension x[25][31]=x[31][25]  using generic constraint 
4.79/4.81	c intension x[25][32]=x[32][25]  using generic constraint 
4.79/4.81	c intension x[25][33]=x[33][25]  using generic constraint 
4.79/4.81	c intension x[25][34]=x[34][25]  using generic constraint 
4.79/4.81	c intension x[25][35]=x[35][25]  using generic constraint 
4.79/4.82	c intension x[25][36]=x[36][25]  using generic constraint 
4.79/4.82	c intension x[25][37]=x[37][25]  using generic constraint 
4.79/4.82	c intension x[25][38]=x[38][25]  using generic constraint 
4.79/4.82	c intension x[26][0]=x[0][26]  using generic constraint 
4.79/4.82	c intension x[26][1]=x[1][26]  using generic constraint 
4.79/4.82	c intension x[26][2]=x[2][26]  using generic constraint 
4.79/4.82	c intension x[26][3]=x[3][26]  using generic constraint 
4.79/4.82	c intension x[26][4]=x[4][26]  using generic constraint 
4.79/4.82	c intension x[26][5]=x[5][26]  using generic constraint 
4.79/4.83	c intension x[26][6]=x[6][26]  using generic constraint 
4.79/4.83	c intension x[26][7]=x[7][26]  using generic constraint 
4.79/4.83	c intension x[26][8]=x[8][26]  using generic constraint 
4.79/4.83	c intension x[26][9]=x[9][26]  using generic constraint 
4.79/4.83	c intension x[26][10]=x[10][26]  using generic constraint 
4.79/4.83	c intension x[26][11]=x[11][26]  using generic constraint 
4.79/4.83	c intension x[26][12]=x[12][26]  using generic constraint 
4.79/4.83	c intension x[26][13]=x[13][26]  using generic constraint 
4.79/4.83	c intension x[26][14]=x[14][26]  using generic constraint 
4.79/4.83	c intension x[26][15]=x[15][26]  using generic constraint 
4.79/4.84	c intension x[26][16]=x[16][26]  using generic constraint 
4.79/4.84	c intension x[26][17]=x[17][26]  using generic constraint 
4.79/4.84	c intension x[26][18]=x[18][26]  using generic constraint 
4.79/4.84	c intension x[26][19]=x[19][26]  using generic constraint 
4.79/4.84	c intension x[26][20]=x[20][26]  using generic constraint 
4.79/4.84	c intension x[26][21]=x[21][26]  using generic constraint 
4.79/4.84	c intension x[26][22]=x[22][26]  using generic constraint 
4.79/4.84	c intension x[26][23]=x[23][26]  using generic constraint 
4.79/4.84	c intension x[26][24]=x[24][26]  using generic constraint 
4.79/4.85	c intension x[26][25]=x[25][26]  using generic constraint 
4.79/4.85	c intension x[26][27]=x[27][26]  using generic constraint 
4.79/4.85	c intension x[26][28]=x[28][26]  using generic constraint 
4.79/4.85	c intension x[26][29]=x[29][26]  using generic constraint 
4.79/4.85	c intension x[26][30]=x[30][26]  using generic constraint 
4.79/4.85	c intension x[26][31]=x[31][26]  using generic constraint 
4.79/4.85	c intension x[26][32]=x[32][26]  using generic constraint 
4.79/4.85	c intension x[26][33]=x[33][26]  using generic constraint 
4.79/4.85	c intension x[26][34]=x[34][26]  using generic constraint 
4.79/4.85	c intension x[26][35]=x[35][26]  using generic constraint 
4.79/4.86	c intension x[26][36]=x[36][26]  using generic constraint 
4.79/4.86	c intension x[26][37]=x[37][26]  using generic constraint 
4.79/4.86	c intension x[26][38]=x[38][26]  using generic constraint 
4.79/4.86	c intension x[27][0]=x[0][27]  using generic constraint 
4.79/4.86	c intension x[27][1]=x[1][27]  using generic constraint 
4.79/4.86	c intension x[27][2]=x[2][27]  using generic constraint 
4.79/4.86	c intension x[27][3]=x[3][27]  using generic constraint 
4.79/4.86	c intension x[27][4]=x[4][27]  using generic constraint 
4.79/4.86	c intension x[27][5]=x[5][27]  using generic constraint 
4.79/4.87	c intension x[27][6]=x[6][27]  using generic constraint 
4.79/4.87	c intension x[27][7]=x[7][27]  using generic constraint 
4.79/4.87	c intension x[27][8]=x[8][27]  using generic constraint 
4.79/4.87	c intension x[27][9]=x[9][27]  using generic constraint 
4.79/4.87	c intension x[27][10]=x[10][27]  using generic constraint 
4.79/4.87	c intension x[27][11]=x[11][27]  using generic constraint 
4.79/4.87	c intension x[27][12]=x[12][27]  using generic constraint 
4.79/4.87	c intension x[27][13]=x[13][27]  using generic constraint 
4.79/4.87	c intension x[27][14]=x[14][27]  using generic constraint 
4.79/4.87	c intension x[27][15]=x[15][27]  using generic constraint 
4.79/4.88	c intension x[27][16]=x[16][27]  using generic constraint 
4.79/4.88	c intension x[27][17]=x[17][27]  using generic constraint 
4.79/4.88	c intension x[27][18]=x[18][27]  using generic constraint 
4.79/4.88	c intension x[27][19]=x[19][27]  using generic constraint 
4.79/4.88	c intension x[27][20]=x[20][27]  using generic constraint 
4.79/4.88	c intension x[27][21]=x[21][27]  using generic constraint 
4.79/4.88	c intension x[27][22]=x[22][27]  using generic constraint 
4.79/4.88	c intension x[27][23]=x[23][27]  using generic constraint 
4.79/4.88	c intension x[27][24]=x[24][27]  using generic constraint 
4.79/4.89	c intension x[27][25]=x[25][27]  using generic constraint 
4.79/4.89	c intension x[27][26]=x[26][27]  using generic constraint 
4.79/4.89	c intension x[27][28]=x[28][27]  using generic constraint 
4.79/4.89	c intension x[27][29]=x[29][27]  using generic constraint 
4.79/4.89	c intension x[27][30]=x[30][27]  using generic constraint 
4.79/4.89	c intension x[27][31]=x[31][27]  using generic constraint 
4.79/4.89	c intension x[27][32]=x[32][27]  using generic constraint 
4.79/4.89	c intension x[27][33]=x[33][27]  using generic constraint 
4.79/4.89	c intension x[27][34]=x[34][27]  using generic constraint 
4.79/4.89	c intension x[27][35]=x[35][27]  using generic constraint 
4.89/4.90	c intension x[27][36]=x[36][27]  using generic constraint 
4.89/4.90	c intension x[27][37]=x[37][27]  using generic constraint 
4.89/4.90	c intension x[27][38]=x[38][27]  using generic constraint 
4.89/4.90	c intension x[28][0]=x[0][28]  using generic constraint 
4.89/4.90	c intension x[28][1]=x[1][28]  using generic constraint 
4.89/4.90	c intension x[28][2]=x[2][28]  using generic constraint 
4.89/4.90	c intension x[28][3]=x[3][28]  using generic constraint 
4.89/4.90	c intension x[28][4]=x[4][28]  using generic constraint 
4.89/4.90	c intension x[28][5]=x[5][28]  using generic constraint 
4.89/4.91	c intension x[28][6]=x[6][28]  using generic constraint 
4.89/4.91	c intension x[28][7]=x[7][28]  using generic constraint 
4.89/4.91	c intension x[28][8]=x[8][28]  using generic constraint 
4.89/4.91	c intension x[28][9]=x[9][28]  using generic constraint 
4.89/4.91	c intension x[28][10]=x[10][28]  using generic constraint 
4.89/4.91	c intension x[28][11]=x[11][28]  using generic constraint 
4.89/4.91	c intension x[28][12]=x[12][28]  using generic constraint 
4.89/4.91	c intension x[28][13]=x[13][28]  using generic constraint 
4.89/4.91	c intension x[28][14]=x[14][28]  using generic constraint 
4.89/4.92	c intension x[28][15]=x[15][28]  using generic constraint 
4.89/4.92	c intension x[28][16]=x[16][28]  using generic constraint 
4.89/4.92	c intension x[28][17]=x[17][28]  using generic constraint 
4.89/4.92	c intension x[28][18]=x[18][28]  using generic constraint 
4.89/4.92	c intension x[28][19]=x[19][28]  using generic constraint 
4.89/4.92	c intension x[28][20]=x[20][28]  using generic constraint 
4.89/4.92	c intension x[28][21]=x[21][28]  using generic constraint 
4.89/4.92	c intension x[28][22]=x[22][28]  using generic constraint 
4.89/4.92	c intension x[28][23]=x[23][28]  using generic constraint 
4.89/4.92	c intension x[28][24]=x[24][28]  using generic constraint 
4.89/4.93	c intension x[28][25]=x[25][28]  using generic constraint 
4.89/4.93	c intension x[28][26]=x[26][28]  using generic constraint 
4.89/4.93	c intension x[28][27]=x[27][28]  using generic constraint 
4.89/4.93	c intension x[28][29]=x[29][28]  using generic constraint 
4.89/4.93	c intension x[28][30]=x[30][28]  using generic constraint 
4.89/4.93	c intension x[28][31]=x[31][28]  using generic constraint 
4.89/4.93	c intension x[28][32]=x[32][28]  using generic constraint 
4.89/4.93	c intension x[28][33]=x[33][28]  using generic constraint 
4.89/4.93	c intension x[28][34]=x[34][28]  using generic constraint 
4.89/4.94	c intension x[28][35]=x[35][28]  using generic constraint 
4.89/4.94	c intension x[28][36]=x[36][28]  using generic constraint 
4.89/4.94	c intension x[28][37]=x[37][28]  using generic constraint 
4.89/4.94	c intension x[28][38]=x[38][28]  using generic constraint 
4.89/4.94	c intension x[29][0]=x[0][29]  using generic constraint 
4.89/4.94	c intension x[29][1]=x[1][29]  using generic constraint 
4.89/4.94	c intension x[29][2]=x[2][29]  using generic constraint 
4.89/4.94	c intension x[29][3]=x[3][29]  using generic constraint 
4.89/4.94	c intension x[29][4]=x[4][29]  using generic constraint 
4.89/4.94	c intension x[29][5]=x[5][29]  using generic constraint 
4.89/4.95	c intension x[29][6]=x[6][29]  using generic constraint 
4.89/4.95	c intension x[29][7]=x[7][29]  using generic constraint 
4.89/4.95	c intension x[29][8]=x[8][29]  using generic constraint 
4.89/4.95	c intension x[29][9]=x[9][29]  using generic constraint 
4.89/4.95	c intension x[29][10]=x[10][29]  using generic constraint 
4.89/4.95	c intension x[29][11]=x[11][29]  using generic constraint 
4.89/4.95	c intension x[29][12]=x[12][29]  using generic constraint 
4.89/4.95	c intension x[29][13]=x[13][29]  using generic constraint 
4.89/4.95	c intension x[29][14]=x[14][29]  using generic constraint 
4.89/4.96	c intension x[29][15]=x[15][29]  using generic constraint 
4.89/4.96	c intension x[29][16]=x[16][29]  using generic constraint 
4.89/4.96	c intension x[29][17]=x[17][29]  using generic constraint 
4.89/4.96	c intension x[29][18]=x[18][29]  using generic constraint 
4.89/4.96	c intension x[29][19]=x[19][29]  using generic constraint 
4.89/4.96	c intension x[29][20]=x[20][29]  using generic constraint 
4.89/4.96	c intension x[29][21]=x[21][29]  using generic constraint 
4.89/4.96	c intension x[29][22]=x[22][29]  using generic constraint 
4.89/4.96	c intension x[29][23]=x[23][29]  using generic constraint 
4.89/4.96	c intension x[29][24]=x[24][29]  using generic constraint 
4.89/4.97	c intension x[29][25]=x[25][29]  using generic constraint 
4.89/4.97	c intension x[29][26]=x[26][29]  using generic constraint 
4.89/4.97	c intension x[29][27]=x[27][29]  using generic constraint 
4.89/4.97	c intension x[29][28]=x[28][29]  using generic constraint 
4.89/4.97	c intension x[29][30]=x[30][29]  using generic constraint 
4.89/4.97	c intension x[29][31]=x[31][29]  using generic constraint 
4.89/4.97	c intension x[29][32]=x[32][29]  using generic constraint 
4.89/4.97	c intension x[29][33]=x[33][29]  using generic constraint 
4.89/4.97	c intension x[29][34]=x[34][29]  using generic constraint 
4.89/4.98	c intension x[29][35]=x[35][29]  using generic constraint 
4.89/4.98	c intension x[29][36]=x[36][29]  using generic constraint 
4.89/4.98	c intension x[29][37]=x[37][29]  using generic constraint 
4.89/4.98	c intension x[29][38]=x[38][29]  using generic constraint 
4.89/4.98	c intension x[30][0]=x[0][30]  using generic constraint 
4.89/4.98	c intension x[30][1]=x[1][30]  using generic constraint 
4.89/4.98	c intension x[30][2]=x[2][30]  using generic constraint 
4.89/4.98	c intension x[30][3]=x[3][30]  using generic constraint 
4.89/4.98	c intension x[30][4]=x[4][30]  using generic constraint 
4.89/4.98	c intension x[30][5]=x[5][30]  using generic constraint 
4.89/4.99	c intension x[30][6]=x[6][30]  using generic constraint 
4.89/4.99	c intension x[30][7]=x[7][30]  using generic constraint 
4.89/4.99	c intension x[30][8]=x[8][30]  using generic constraint 
4.89/4.99	c intension x[30][9]=x[9][30]  using generic constraint 
4.89/4.99	c intension x[30][10]=x[10][30]  using generic constraint 
4.89/4.99	c intension x[30][11]=x[11][30]  using generic constraint 
4.89/4.99	c intension x[30][12]=x[12][30]  using generic constraint 
4.89/4.99	c intension x[30][13]=x[13][30]  using generic constraint 
4.89/4.99	c intension x[30][14]=x[14][30]  using generic constraint 
4.89/5.00	c intension x[30][15]=x[15][30]  using generic constraint 
4.89/5.00	c intension x[30][16]=x[16][30]  using generic constraint 
4.89/5.00	c intension x[30][17]=x[17][30]  using generic constraint 
4.89/5.00	c intension x[30][18]=x[18][30]  using generic constraint 
4.89/5.00	c intension x[30][19]=x[19][30]  using generic constraint 
4.89/5.00	c intension x[30][20]=x[20][30]  using generic constraint 
4.89/5.00	c intension x[30][21]=x[21][30]  using generic constraint 
4.89/5.00	c intension x[30][22]=x[22][30]  using generic constraint 
4.89/5.00	c intension x[30][23]=x[23][30]  using generic constraint 
5.00/5.01	c intension x[30][24]=x[24][30]  using generic constraint 
5.00/5.01	c intension x[30][25]=x[25][30]  using generic constraint 
5.00/5.01	c intension x[30][26]=x[26][30]  using generic constraint 
5.00/5.01	c intension x[30][27]=x[27][30]  using generic constraint 
5.00/5.01	c intension x[30][28]=x[28][30]  using generic constraint 
5.00/5.01	c intension x[30][29]=x[29][30]  using generic constraint 
5.00/5.01	c intension x[30][31]=x[31][30]  using generic constraint 
5.00/5.01	c intension x[30][32]=x[32][30]  using generic constraint 
5.00/5.01	c intension x[30][33]=x[33][30]  using generic constraint 
5.00/5.02	c intension x[30][34]=x[34][30]  using generic constraint 
5.00/5.02	c intension x[30][35]=x[35][30]  using generic constraint 
5.00/5.02	c intension x[30][36]=x[36][30]  using generic constraint 
5.00/5.02	c intension x[30][37]=x[37][30]  using generic constraint 
5.00/5.02	c intension x[30][38]=x[38][30]  using generic constraint 
5.00/5.02	c intension x[31][0]=x[0][31]  using generic constraint 
5.00/5.02	c intension x[31][1]=x[1][31]  using generic constraint 
5.00/5.02	c intension x[31][2]=x[2][31]  using generic constraint 
5.00/5.02	c intension x[31][3]=x[3][31]  using generic constraint 
5.00/5.02	c intension x[31][4]=x[4][31]  using generic constraint 
5.00/5.03	c intension x[31][5]=x[5][31]  using generic constraint 
5.00/5.03	c intension x[31][6]=x[6][31]  using generic constraint 
5.00/5.03	c intension x[31][7]=x[7][31]  using generic constraint 
5.00/5.03	c intension x[31][8]=x[8][31]  using generic constraint 
5.00/5.03	c intension x[31][9]=x[9][31]  using generic constraint 
5.00/5.03	c intension x[31][10]=x[10][31]  using generic constraint 
5.00/5.03	c intension x[31][11]=x[11][31]  using generic constraint 
5.00/5.03	c intension x[31][12]=x[12][31]  using generic constraint 
5.00/5.03	c intension x[31][13]=x[13][31]  using generic constraint 
5.00/5.04	c intension x[31][14]=x[14][31]  using generic constraint 
5.00/5.04	c intension x[31][15]=x[15][31]  using generic constraint 
5.00/5.04	c intension x[31][16]=x[16][31]  using generic constraint 
5.00/5.04	c intension x[31][17]=x[17][31]  using generic constraint 
5.00/5.04	c intension x[31][18]=x[18][31]  using generic constraint 
5.00/5.04	c intension x[31][19]=x[19][31]  using generic constraint 
5.00/5.04	c intension x[31][20]=x[20][31]  using generic constraint 
5.00/5.04	c intension x[31][21]=x[21][31]  using generic constraint 
5.00/5.04	c intension x[31][22]=x[22][31]  using generic constraint 
5.00/5.04	c intension x[31][23]=x[23][31]  using generic constraint 
5.00/5.05	c intension x[31][24]=x[24][31]  using generic constraint 
5.00/5.05	c intension x[31][25]=x[25][31]  using generic constraint 
5.00/5.05	c intension x[31][26]=x[26][31]  using generic constraint 
5.00/5.05	c intension x[31][27]=x[27][31]  using generic constraint 
5.00/5.05	c intension x[31][28]=x[28][31]  using generic constraint 
5.00/5.05	c intension x[31][29]=x[29][31]  using generic constraint 
5.00/5.05	c intension x[31][30]=x[30][31]  using generic constraint 
5.00/5.05	c intension x[31][32]=x[32][31]  using generic constraint 
5.00/5.05	c intension x[31][33]=x[33][31]  using generic constraint 
5.00/5.06	c intension x[31][34]=x[34][31]  using generic constraint 
5.00/5.06	c intension x[31][35]=x[35][31]  using generic constraint 
5.00/5.06	c intension x[31][36]=x[36][31]  using generic constraint 
5.00/5.06	c intension x[31][37]=x[37][31]  using generic constraint 
5.00/5.06	c intension x[31][38]=x[38][31]  using generic constraint 
5.00/5.06	c intension x[32][0]=x[0][32]  using generic constraint 
5.00/5.06	c intension x[32][1]=x[1][32]  using generic constraint 
5.00/5.06	c intension x[32][2]=x[2][32]  using generic constraint 
5.00/5.06	c intension x[32][3]=x[3][32]  using generic constraint 
5.00/5.06	c intension x[32][4]=x[4][32]  using generic constraint 
5.00/5.07	c intension x[32][5]=x[5][32]  using generic constraint 
5.00/5.07	c intension x[32][6]=x[6][32]  using generic constraint 
5.00/5.07	c intension x[32][7]=x[7][32]  using generic constraint 
5.00/5.07	c intension x[32][8]=x[8][32]  using generic constraint 
5.00/5.07	c intension x[32][9]=x[9][32]  using generic constraint 
5.00/5.07	c intension x[32][10]=x[10][32]  using generic constraint 
5.00/5.07	c intension x[32][11]=x[11][32]  using generic constraint 
5.00/5.07	c intension x[32][12]=x[12][32]  using generic constraint 
5.00/5.07	c intension x[32][13]=x[13][32]  using generic constraint 
5.00/5.08	c intension x[32][14]=x[14][32]  using generic constraint 
5.00/5.08	c intension x[32][15]=x[15][32]  using generic constraint 
5.00/5.08	c intension x[32][16]=x[16][32]  using generic constraint 
5.00/5.08	c intension x[32][17]=x[17][32]  using generic constraint 
5.00/5.08	c intension x[32][18]=x[18][32]  using generic constraint 
5.00/5.08	c intension x[32][19]=x[19][32]  using generic constraint 
5.00/5.08	c intension x[32][20]=x[20][32]  using generic constraint 
5.00/5.08	c intension x[32][21]=x[21][32]  using generic constraint 
5.00/5.08	c intension x[32][22]=x[22][32]  using generic constraint 
5.00/5.08	c intension x[32][23]=x[23][32]  using generic constraint 
5.00/5.09	c intension x[32][24]=x[24][32]  using generic constraint 
5.00/5.09	c intension x[32][25]=x[25][32]  using generic constraint 
5.00/5.09	c intension x[32][26]=x[26][32]  using generic constraint 
5.00/5.09	c intension x[32][27]=x[27][32]  using generic constraint 
5.00/5.09	c intension x[32][28]=x[28][32]  using generic constraint 
5.00/5.09	c intension x[32][29]=x[29][32]  using generic constraint 
5.00/5.09	c intension x[32][30]=x[30][32]  using generic constraint 
5.00/5.09	c intension x[32][31]=x[31][32]  using generic constraint 
5.00/5.09	c intension x[32][33]=x[33][32]  using generic constraint 
5.00/5.10	c intension x[32][34]=x[34][32]  using generic constraint 
5.00/5.10	c intension x[32][35]=x[35][32]  using generic constraint 
5.00/5.10	c intension x[32][36]=x[36][32]  using generic constraint 
5.00/5.10	c intension x[32][37]=x[37][32]  using generic constraint 
5.00/5.10	c intension x[32][38]=x[38][32]  using generic constraint 
5.00/5.10	c intension x[33][0]=x[0][33]  using generic constraint 
5.00/5.10	c intension x[33][1]=x[1][33]  using generic constraint 
5.00/5.10	c intension x[33][2]=x[2][33]  using generic constraint 
5.00/5.10	c intension x[33][3]=x[3][33]  using generic constraint 
5.10/5.10	c intension x[33][4]=x[4][33]  using generic constraint 
5.10/5.11	c intension x[33][5]=x[5][33]  using generic constraint 
5.10/5.11	c intension x[33][6]=x[6][33]  using generic constraint 
5.10/5.11	c intension x[33][7]=x[7][33]  using generic constraint 
5.10/5.11	c intension x[33][8]=x[8][33]  using generic constraint 
5.10/5.11	c intension x[33][9]=x[9][33]  using generic constraint 
5.10/5.11	c intension x[33][10]=x[10][33]  using generic constraint 
5.10/5.11	c intension x[33][11]=x[11][33]  using generic constraint 
5.10/5.11	c intension x[33][12]=x[12][33]  using generic constraint 
5.10/5.11	c intension x[33][13]=x[13][33]  using generic constraint 
5.10/5.12	c intension x[33][14]=x[14][33]  using generic constraint 
5.10/5.12	c intension x[33][15]=x[15][33]  using generic constraint 
5.10/5.12	c intension x[33][16]=x[16][33]  using generic constraint 
5.10/5.12	c intension x[33][17]=x[17][33]  using generic constraint 
5.10/5.12	c intension x[33][18]=x[18][33]  using generic constraint 
5.10/5.12	c intension x[33][19]=x[19][33]  using generic constraint 
5.10/5.12	c intension x[33][20]=x[20][33]  using generic constraint 
5.10/5.12	c intension x[33][21]=x[21][33]  using generic constraint 
5.10/5.12	c intension x[33][22]=x[22][33]  using generic constraint 
5.10/5.13	c intension x[33][23]=x[23][33]  using generic constraint 
5.10/5.13	c intension x[33][24]=x[24][33]  using generic constraint 
5.10/5.13	c intension x[33][25]=x[25][33]  using generic constraint 
5.10/5.13	c intension x[33][26]=x[26][33]  using generic constraint 
5.10/5.13	c intension x[33][27]=x[27][33]  using generic constraint 
5.10/5.13	c intension x[33][28]=x[28][33]  using generic constraint 
5.10/5.13	c intension x[33][29]=x[29][33]  using generic constraint 
5.10/5.13	c intension x[33][30]=x[30][33]  using generic constraint 
5.10/5.13	c intension x[33][31]=x[31][33]  using generic constraint 
5.10/5.13	c intension x[33][32]=x[32][33]  using generic constraint 
5.10/5.14	c intension x[33][34]=x[34][33]  using generic constraint 
5.10/5.14	c intension x[33][35]=x[35][33]  using generic constraint 
5.10/5.14	c intension x[33][36]=x[36][33]  using generic constraint 
5.10/5.14	c intension x[33][37]=x[37][33]  using generic constraint 
5.10/5.14	c intension x[33][38]=x[38][33]  using generic constraint 
5.10/5.14	c intension x[34][0]=x[0][34]  using generic constraint 
5.10/5.14	c intension x[34][1]=x[1][34]  using generic constraint 
5.10/5.14	c intension x[34][2]=x[2][34]  using generic constraint 
5.10/5.14	c intension x[34][3]=x[3][34]  using generic constraint 
5.10/5.15	c intension x[34][4]=x[4][34]  using generic constraint 
5.10/5.15	c intension x[34][5]=x[5][34]  using generic constraint 
5.10/5.15	c intension x[34][6]=x[6][34]  using generic constraint 
5.10/5.15	c intension x[34][7]=x[7][34]  using generic constraint 
5.10/5.15	c intension x[34][8]=x[8][34]  using generic constraint 
5.10/5.15	c intension x[34][9]=x[9][34]  using generic constraint 
5.10/5.15	c intension x[34][10]=x[10][34]  using generic constraint 
5.10/5.15	c intension x[34][11]=x[11][34]  using generic constraint 
5.10/5.15	c intension x[34][12]=x[12][34]  using generic constraint 
5.10/5.15	c intension x[34][13]=x[13][34]  using generic constraint 
5.10/5.16	c intension x[34][14]=x[14][34]  using generic constraint 
5.10/5.16	c intension x[34][15]=x[15][34]  using generic constraint 
5.10/5.16	c intension x[34][16]=x[16][34]  using generic constraint 
5.10/5.16	c intension x[34][17]=x[17][34]  using generic constraint 
5.10/5.16	c intension x[34][18]=x[18][34]  using generic constraint 
5.10/5.16	c intension x[34][19]=x[19][34]  using generic constraint 
5.10/5.16	c intension x[34][20]=x[20][34]  using generic constraint 
5.10/5.16	c intension x[34][21]=x[21][34]  using generic constraint 
5.10/5.16	c intension x[34][22]=x[22][34]  using generic constraint 
5.10/5.17	c intension x[34][23]=x[23][34]  using generic constraint 
5.10/5.17	c intension x[34][24]=x[24][34]  using generic constraint 
5.10/5.17	c intension x[34][25]=x[25][34]  using generic constraint 
5.10/5.17	c intension x[34][26]=x[26][34]  using generic constraint 
5.10/5.17	c intension x[34][27]=x[27][34]  using generic constraint 
5.10/5.17	c intension x[34][28]=x[28][34]  using generic constraint 
5.10/5.17	c intension x[34][29]=x[29][34]  using generic constraint 
5.10/5.17	c intension x[34][30]=x[30][34]  using generic constraint 
5.10/5.17	c intension x[34][31]=x[31][34]  using generic constraint 
5.10/5.17	c intension x[34][32]=x[32][34]  using generic constraint 
5.10/5.18	c intension x[34][33]=x[33][34]  using generic constraint 
5.10/5.18	c intension x[34][35]=x[35][34]  using generic constraint 
5.10/5.18	c intension x[34][36]=x[36][34]  using generic constraint 
5.10/5.18	c intension x[34][37]=x[37][34]  using generic constraint 
5.10/5.18	c intension x[34][38]=x[38][34]  using generic constraint 
5.10/5.18	c intension x[35][0]=x[0][35]  using generic constraint 
5.10/5.18	c intension x[35][1]=x[1][35]  using generic constraint 
5.10/5.18	c intension x[35][2]=x[2][35]  using generic constraint 
5.10/5.18	c intension x[35][3]=x[3][35]  using generic constraint 
5.10/5.19	c intension x[35][4]=x[4][35]  using generic constraint 
5.10/5.19	c intension x[35][5]=x[5][35]  using generic constraint 
5.10/5.19	c intension x[35][6]=x[6][35]  using generic constraint 
5.10/5.19	c intension x[35][7]=x[7][35]  using generic constraint 
5.10/5.19	c intension x[35][8]=x[8][35]  using generic constraint 
5.10/5.19	c intension x[35][9]=x[9][35]  using generic constraint 
5.10/5.19	c intension x[35][10]=x[10][35]  using generic constraint 
5.10/5.19	c intension x[35][11]=x[11][35]  using generic constraint 
5.10/5.19	c intension x[35][12]=x[12][35]  using generic constraint 
5.10/5.19	c intension x[35][13]=x[13][35]  using generic constraint 
5.19/5.20	c intension x[35][14]=x[14][35]  using generic constraint 
5.19/5.20	c intension x[35][15]=x[15][35]  using generic constraint 
5.19/5.20	c intension x[35][16]=x[16][35]  using generic constraint 
5.19/5.20	c intension x[35][17]=x[17][35]  using generic constraint 
5.19/5.20	c intension x[35][18]=x[18][35]  using generic constraint 
5.19/5.20	c intension x[35][19]=x[19][35]  using generic constraint 
5.19/5.20	c intension x[35][20]=x[20][35]  using generic constraint 
5.19/5.20	c intension x[35][21]=x[21][35]  using generic constraint 
5.19/5.20	c intension x[35][22]=x[22][35]  using generic constraint 
5.19/5.21	c intension x[35][23]=x[23][35]  using generic constraint 
5.19/5.21	c intension x[35][24]=x[24][35]  using generic constraint 
5.19/5.21	c intension x[35][25]=x[25][35]  using generic constraint 
5.19/5.21	c intension x[35][26]=x[26][35]  using generic constraint 
5.19/5.21	c intension x[35][27]=x[27][35]  using generic constraint 
5.19/5.21	c intension x[35][28]=x[28][35]  using generic constraint 
5.19/5.21	c intension x[35][29]=x[29][35]  using generic constraint 
5.19/5.21	c intension x[35][30]=x[30][35]  using generic constraint 
5.19/5.21	c intension x[35][31]=x[31][35]  using generic constraint 
5.19/5.21	c intension x[35][32]=x[32][35]  using generic constraint 
5.19/5.22	c intension x[35][33]=x[33][35]  using generic constraint 
5.19/5.22	c intension x[35][34]=x[34][35]  using generic constraint 
5.19/5.22	c intension x[35][36]=x[36][35]  using generic constraint 
5.19/5.22	c intension x[35][37]=x[37][35]  using generic constraint 
5.19/5.22	c intension x[35][38]=x[38][35]  using generic constraint 
5.19/5.22	c intension x[36][0]=x[0][36]  using generic constraint 
5.19/5.22	c intension x[36][1]=x[1][36]  using generic constraint 
5.19/5.22	c intension x[36][2]=x[2][36]  using generic constraint 
5.19/5.22	c intension x[36][3]=x[3][36]  using generic constraint 
5.19/5.23	c intension x[36][4]=x[4][36]  using generic constraint 
5.19/5.23	c intension x[36][5]=x[5][36]  using generic constraint 
5.19/5.23	c intension x[36][6]=x[6][36]  using generic constraint 
5.19/5.23	c intension x[36][7]=x[7][36]  using generic constraint 
5.19/5.23	c intension x[36][8]=x[8][36]  using generic constraint 
5.19/5.23	c intension x[36][9]=x[9][36]  using generic constraint 
5.19/5.23	c intension x[36][10]=x[10][36]  using generic constraint 
5.19/5.23	c intension x[36][11]=x[11][36]  using generic constraint 
5.19/5.23	c intension x[36][12]=x[12][36]  using generic constraint 
5.19/5.24	c intension x[36][13]=x[13][36]  using generic constraint 
5.19/5.24	c intension x[36][14]=x[14][36]  using generic constraint 
5.19/5.24	c intension x[36][15]=x[15][36]  using generic constraint 
5.19/5.24	c intension x[36][16]=x[16][36]  using generic constraint 
5.19/5.24	c intension x[36][17]=x[17][36]  using generic constraint 
5.19/5.24	c intension x[36][18]=x[18][36]  using generic constraint 
5.19/5.24	c intension x[36][19]=x[19][36]  using generic constraint 
5.19/5.24	c intension x[36][20]=x[20][36]  using generic constraint 
5.19/5.24	c intension x[36][21]=x[21][36]  using generic constraint 
5.19/5.24	c intension x[36][22]=x[22][36]  using generic constraint 
5.19/5.25	c intension x[36][23]=x[23][36]  using generic constraint 
5.19/5.25	c intension x[36][24]=x[24][36]  using generic constraint 
5.19/5.25	c intension x[36][25]=x[25][36]  using generic constraint 
5.19/5.25	c intension x[36][26]=x[26][36]  using generic constraint 
5.19/5.25	c intension x[36][27]=x[27][36]  using generic constraint 
5.19/5.25	c intension x[36][28]=x[28][36]  using generic constraint 
5.19/5.25	c intension x[36][29]=x[29][36]  using generic constraint 
5.19/5.25	c intension x[36][30]=x[30][36]  using generic constraint 
5.19/5.25	c intension x[36][31]=x[31][36]  using generic constraint 
5.19/5.26	c intension x[36][32]=x[32][36]  using generic constraint 
5.19/5.26	c intension x[36][33]=x[33][36]  using generic constraint 
5.19/5.26	c intension x[36][34]=x[34][36]  using generic constraint 
5.19/5.26	c intension x[36][35]=x[35][36]  using generic constraint 
5.19/5.26	c intension x[36][37]=x[37][36]  using generic constraint 
5.19/5.26	c intension x[36][38]=x[38][36]  using generic constraint 
5.19/5.26	c intension x[37][0]=x[0][37]  using generic constraint 
5.19/5.26	c intension x[37][1]=x[1][37]  using generic constraint 
5.19/5.26	c intension x[37][2]=x[2][37]  using generic constraint 
5.19/5.26	c intension x[37][3]=x[3][37]  using generic constraint 
5.19/5.27	c intension x[37][4]=x[4][37]  using generic constraint 
5.19/5.27	c intension x[37][5]=x[5][37]  using generic constraint 
5.19/5.27	c intension x[37][6]=x[6][37]  using generic constraint 
5.19/5.27	c intension x[37][7]=x[7][37]  using generic constraint 
5.19/5.27	c intension x[37][8]=x[8][37]  using generic constraint 
5.19/5.27	c intension x[37][9]=x[9][37]  using generic constraint 
5.19/5.27	c intension x[37][10]=x[10][37]  using generic constraint 
5.19/5.27	c intension x[37][11]=x[11][37]  using generic constraint 
5.19/5.27	c intension x[37][12]=x[12][37]  using generic constraint 
5.19/5.28	c intension x[37][13]=x[13][37]  using generic constraint 
5.19/5.28	c intension x[37][14]=x[14][37]  using generic constraint 
5.19/5.28	c intension x[37][15]=x[15][37]  using generic constraint 
5.19/5.28	c intension x[37][16]=x[16][37]  using generic constraint 
5.19/5.28	c intension x[37][17]=x[17][37]  using generic constraint 
5.19/5.28	c intension x[37][18]=x[18][37]  using generic constraint 
5.19/5.28	c intension x[37][19]=x[19][37]  using generic constraint 
5.19/5.28	c intension x[37][20]=x[20][37]  using generic constraint 
5.19/5.28	c intension x[37][21]=x[21][37]  using generic constraint 
5.19/5.28	c intension x[37][22]=x[22][37]  using generic constraint 
5.19/5.29	c intension x[37][23]=x[23][37]  using generic constraint 
5.19/5.29	c intension x[37][24]=x[24][37]  using generic constraint 
5.19/5.29	c intension x[37][25]=x[25][37]  using generic constraint 
5.19/5.29	c intension x[37][26]=x[26][37]  using generic constraint 
5.19/5.29	c intension x[37][27]=x[27][37]  using generic constraint 
5.19/5.29	c intension x[37][28]=x[28][37]  using generic constraint 
5.19/5.29	c intension x[37][29]=x[29][37]  using generic constraint 
5.19/5.29	c intension x[37][30]=x[30][37]  using generic constraint 
5.19/5.29	c intension x[37][31]=x[31][37]  using generic constraint 
5.19/5.30	c intension x[37][32]=x[32][37]  using generic constraint 
5.29/5.30	c intension x[37][33]=x[33][37]  using generic constraint 
5.29/5.30	c intension x[37][34]=x[34][37]  using generic constraint 
5.29/5.30	c intension x[37][35]=x[35][37]  using generic constraint 
5.29/5.30	c intension x[37][36]=x[36][37]  using generic constraint 
5.29/5.30	c intension x[37][38]=x[38][37]  using generic constraint 
5.29/5.30	c intension x[38][0]=x[0][38]  using generic constraint 
5.29/5.30	c intension x[38][1]=x[1][38]  using generic constraint 
5.29/5.30	c intension x[38][2]=x[2][38]  using generic constraint 
5.29/5.30	c intension x[38][3]=x[3][38]  using generic constraint 
5.29/5.31	c intension x[38][4]=x[4][38]  using generic constraint 
5.29/5.31	c intension x[38][5]=x[5][38]  using generic constraint 
5.29/5.31	c intension x[38][6]=x[6][38]  using generic constraint 
5.29/5.31	c intension x[38][7]=x[7][38]  using generic constraint 
5.29/5.31	c intension x[38][8]=x[8][38]  using generic constraint 
5.29/5.31	c intension x[38][9]=x[9][38]  using generic constraint 
5.29/5.31	c intension x[38][10]=x[10][38]  using generic constraint 
5.29/5.31	c intension x[38][11]=x[11][38]  using generic constraint 
5.29/5.31	c intension x[38][12]=x[12][38]  using generic constraint 
5.29/5.32	c intension x[38][13]=x[13][38]  using generic constraint 
5.29/5.32	c intension x[38][14]=x[14][38]  using generic constraint 
5.29/5.32	c intension x[38][15]=x[15][38]  using generic constraint 
5.29/5.32	c intension x[38][16]=x[16][38]  using generic constraint 
5.29/5.32	c intension x[38][17]=x[17][38]  using generic constraint 
5.29/5.32	c intension x[38][18]=x[18][38]  using generic constraint 
5.29/5.32	c intension x[38][19]=x[19][38]  using generic constraint 
5.29/5.32	c intension x[38][20]=x[20][38]  using generic constraint 
5.29/5.32	c intension x[38][21]=x[21][38]  using generic constraint 
5.29/5.32	c intension x[38][22]=x[22][38]  using generic constraint 
5.29/5.33	c intension x[38][23]=x[23][38]  using generic constraint 
5.29/5.33	c intension x[38][24]=x[24][38]  using generic constraint 
5.29/5.33	c intension x[38][25]=x[25][38]  using generic constraint 
5.29/5.33	c intension x[38][26]=x[26][38]  using generic constraint 
5.29/5.33	c intension x[38][27]=x[27][38]  using generic constraint 
5.29/5.33	c intension x[38][28]=x[28][38]  using generic constraint 
5.29/5.33	c intension x[38][29]=x[29][38]  using generic constraint 
5.29/5.33	c intension x[38][30]=x[30][38]  using generic constraint 
5.29/5.33	c intension x[38][31]=x[31][38]  using generic constraint 
5.29/5.34	c intension x[38][32]=x[32][38]  using generic constraint 
5.29/5.34	c intension x[38][33]=x[33][38]  using generic constraint 
5.29/5.34	c intension x[38][34]=x[34][38]  using generic constraint 
5.29/5.34	c intension x[38][35]=x[35][38]  using generic constraint 
5.29/5.34	c intension x[38][36]=x[36][38]  using generic constraint 
5.29/5.34	c intension x[38][37]=x[37][38]  using generic constraint 
5.39/5.41	c SAT : Variables: 3591 -- Clauses: 12718
5.39/5.48	c root propagations     : 12          
5.39/5.48	c restarts enabled, print stats at every restarts
5.39/5.48	c
5.39/5.48	c
5.39/5.48	c
5.39/5.48	c This is cosoco 1.12 --  
5.39/5.48	c
5.39/5.48	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266038-1502581080.xml 
5.39/5.48	c ========================================[ Problem Statistics ]===========================================
5.39/5.48	c |                                                                                                       
5.39/5.48	c |  Parse time        :         5.19 s 
5.39/5.48	c |
5.39/5.48	c |               Variables: 1561
5.39/5.48	c |            Domain Sizes: 1..120
5.39/5.48	c |
5.39/5.48	c |             Constraints: 83849
5.39/5.48	c |                   Arity: 2..78  -- Binary: 1520
5.39/5.48	c | 
5.39/5.48	c |                   Types: 
5.39/5.48	c |                          (X -Y <= k): 38
5.39/5.48	c |                          (X = Y): 1482
5.39/5.48	c |                          Lex: 38
5.39/5.48	c |                          Sum: 82291
5.39/5.48	c |                          
5.39/5.48	c =========================================================================================================
5.39/5.48	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
5.89/5.92	c 10             1434           1105680        4100           1              7              120   1414   791
6.19/6.28	c 20             2184           1537589        6066           1              9              158   732   606
6.68/6.75	c 30             2922           2436804        13058          1              12             40   488   284 
6.88/7.00	c 40             3505           2952528        17388          1              17             119   501   359
7.18/7.25	c 50             3906           3401377        20857          1              22             91   353   248 
7.38/7.49	c 60             4248           3887190        23815          1              25             211   298   256
7.68/7.72	c 70             4540           4351192        26739          1              32             48   258   153 
7.78/7.87	c 80             4831           4618626        29176          1              37             192   263   227
7.99/8.10	c 90             5115           5098645        32091          1              45             180   252   200
8.29/8.30	c 100            5514           5486470        35017          1              48             200   333   258
8.38/8.41	c 101            5782           5654060        36093          1              49             268   268   134
8.58/8.61	c 110            6181           6031583        38798          1              50             349   364   319
8.78/8.81	c 120            6572           6384900        40666          1              55             134   352   266
8.99/9.02	c 130            6957           6773726        43080          1              57             165   294   248
9.18/9.24	c 140            7257           7245375        46937          1              59             217   234   206
9.38/9.49	c 150            7764           7745586        50532          1              66             52   403   203 
9.68/9.70	c 160            7923           8174207        54915          1              67             49   65   51   
9.88/9.91	c 170            8385           8649866        58487          1              73             47   361   223 
10.28/10.34	c 180            9021           9592427        64196          1              82             44   606   257 
10.48/10.56	c 190            9340           9973665        66077          1              87             68   290   203 
10.78/10.80	c 200            9904           10449604       68558          1              94             137   540   317
11.09/11.12	c 210            10474          11086142       71531          1              99             129   535   192
11.18/11.23	c 211            10586          11192876       72401          1              100            112   112   56 
11.49/11.57	c 220            11327          11879131       77184          1              102            421   607   512
11.79/11.86	c 230            11981          12419782       79869          1              110            118   612   259
12.10/12.15	c 240            12583          12976074       82698          1              118            125   529   263
12.39/12.48	c 250            13066          13611311       85966          1              121            148   402   290
12.59/12.65	c 260            13208          13925110       90239          1              122            63   71   61   
12.89/12.91	c 270            13642          14548376       95252          1              125            44   365   207 
13.10/13.18	c 280            14005          15087462       99263          1              129            47   232   155 
13.39/13.43	c 290            14446          15635665       103514         1              136            48   394   193 
13.69/13.70	c 300            14796          16202519       107982         1              140            49   218   169 
13.89/13.91	c 310            14989          16664743       111280         1              146            43   145   100 
13.99/14.08	c 320            15197          17039108       113832         1              148            106   133   105
14.19/14.29	c 330            15379          17565568       117748         1              150            110   118   104
14.29/14.37	c 332            15504          17718471       118953         1              151            122   123   81 
14.59/14.69	c 340            16412          18366772       121933         1              155            135   874   209
14.88/14.92	c 350            16572          18728198       124662         1              156            104   114   99 
14.88/15.00	c 360            16674          18881793       127184         1              159            63   66   58   
15.18/15.28	c 370            16775          19583113       133989         1              163            32   44   33   
15.38/15.49	c 380            16868          20092343       139637         1              166            35   44   36   
15.58/15.63	c 390            16945          20417898       142933         1              169            33   44   34   
15.78/15.84	c 400            17028          20945332       147926         1              173            33   44   34   
15.99/16.04	c 410            17119          21449387       152601         1              177            36   44   37   
16.18/16.23	c 420            17214          21922961       156831         1              179            35   46   37   
16.49/16.55	c 430            18247          22567586       161498         1              184            33   553   424 
16.59/16.68	c 440            18333          22779900       163682         1              188            38   49   40   
16.79/16.82	c 450            18421          23142651       167268         1              190            41   50   41   
17.00/17.01	c 460            18547          23625280       171616         1              192            40   72   41   
17.10/17.18	c 465            18960          24030677       173713         1              196            46   396   161 
17.39/17.41	c 470            19409          24494807       176722         1              201            47   434   156 
17.69/17.75	c 480            20334          25187761       180512         1              207            46   869   495 
17.88/17.96	c 490            20779          25502603       182906         1              210            43   360   272 
18.09/18.11	c 500            21114          25786637       185163         1              213            199   299   260
18.38/18.40	c 510            21774          26391536       188220         1              218            336   515   413
18.48/18.57	c 520            22092          26702239       190792         1              221            52   297   238 
19.09/19.12	c 530            23052          27928148       195809         1              225            437   705   575
19.38/19.45	c 540            24015          28557015       198420         1              233            295   954   581
19.78/19.89	c 550            25146          29376088       201623         1              241            280   1095   676
20.28/20.33	c 560            26283          30156896       204837         1              251            49   1127   459
20.79/20.84	c 570            27054          31096235       208807         1              254            54   668   513 
21.19/21.25	c 580            28350          31910075       211997         1              262            277   1279   766
21.59/21.62	c 590            29193          32459050       215108         1              270            54   669   392 
21.59/21.69	conflict 35lvl : 51 bt51-147:0(593)X126549
21.79/21.81	c 600            29506          32793200       217446         1              277            53   278   169 
22.10/22.13	c 610            30432          33490132       220532         1              287            49   916   431 
22.19/22.23	c 611            30482          33516469       221206         1              288            50   50   25   
22.59/22.61	c 620            31698          34382815       225235         1              294            378   1133   811
23.00/23.08	c 630            32917          35210325       228672         1              298            275   1145   842
23.39/23.45	c 640            33592          35809408       231590         1              303            52   653   439 
23.79/23.84	c 650            34566          36585770       234620         1              313            57   965   586 
24.19/24.23	c 660            35356          37303643       237603         1              320            101   766   523
24.59/24.62	c 670            36413          38028800       240777         1              328            308   855   614
25.00/25.04	c 680            37586          38810995       243917         1              336            605   1137   821
25.29/25.38	c 690            38271          39352411       246381         1              344            232   672   457
25.69/25.78	c 700            39464          40133631       249747         1              352            443   1169   675
26.19/26.27	c 710            40772          40979903       253282         1              359            600   1227   913
26.59/26.66	c 720            41788          41639777       256204         1              368            464   1003   667
27.10/27.13	c solution 1
27.10/27.13	
27.10/27.13	v <instantiation type='solution'>
27.10/27.13	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.10/27.13	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>
27.10/27.13	v </instantiation>
27.10/27.13	
27.19/27.27	c restarts              : 77          
27.19/27.27	c conflicts             : 724          (27 /sec)
27.19/27.27	c decisions             : 43354        (1611 /sec)
27.19/27.27	c propagations          : 259769      (9655 /sec)
27.19/27.27	c root propagations     : 12          
27.19/27.27	c filter calls          : 42519213       (1580348 /sec)
27.19/27.27	c useless filter calls  : 42361536       (99 %)
27.19/27.27	c
27.19/27.27	c clauses               : 13086
27.19/27.27	c SAT propagations      : 112
27.19/27.27	c SAT conflicts         : 0 (1 learnts)
27.19/27.27	c Memory used           : 587.57 MB
27.19/27.27	c CPU time              : 26.9048 s
27.19/27.27	
27.19/27.27	s SATISFIABLE

OK	

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12364 MiB free)
  memory of node 1: 16384 MiB (13667 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266038-1502581080/watcher-4266038-1502581080 -o /tmp/evaluation-result-4266038-1502581080/solver-4266038-1502581080 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266038-1502581080.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26514, runsolver pid=26511
Current StackSize limit: 8192 KiB


[startup+0.101095 s]*
/proc/loadavg: 1.96 1.98 2.03 3/188 26515
/proc/meminfo: memFree=26655400/32770624 swapFree=67108860/67108860
[pid=26514] ppid=26511 vsize=28496 memory=4548 CPUtime=0.1 cores=1,3,5,7
/proc/26514/stat : 26514 (cosoco) R 26511 26514 24318 0 -1 4202496 1331 0 0 0 10 0 0 0 20 0 1 0 91179668 29179904 1137 33554432000 4194304 5972588 140728512846384 140728512842952 5414530 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32985088 140728512853178 140728512853278 140728512853278 140728512856014 0
/proc/26514/statm: 7124 1137 720 435 0 487 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28496 KiB
Current children cumulated memory: 4548 KiB

[startup+0.209388 s]*
/proc/loadavg: 1.96 1.98 2.03 3/188 26515
/proc/meminfo: memFree=26655284/32770624 swapFree=67108860/67108860
[pid=26514] ppid=26511 vsize=28824 memory=4812 CPUtime=0.21 cores=1,3,5,7
/proc/26514/stat : 26514 (cosoco) R 26511 26514 24318 0 -1 4202496 1407 0 0 0 21 0 0 0 20 0 1 0 91179668 29515776 1203 33554432000 4194304 5972588 140728512846384 140728512842952 5669451 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32985088 140728512853178 140728512853278 140728512853278 140728512856014 0
/proc/26514/statm: 7206 1203 720 435 0 569 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28824 KiB
Current children cumulated memory: 4812 KiB

[startup+0.308994 s]*
/proc/loadavg: 1.96 1.98 2.03 3/188 26515
/proc/meminfo: memFree=26654912/32770624 swapFree=67108860/67108860
[pid=26514] ppid=26511 vsize=29148 memory=5092 CPUtime=0.31 cores=1,3,5,7
/proc/26514/stat : 26514 (cosoco) R 26511 26514 24318 0 -1 4202496 1529 0 0 0 31 0 0 0 20 0 1 0 91179668 29847552 1273 33554432000 4194304 5972588 140728512846384 140728512842952 5414514 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32985088 140728512853178 140728512853278 140728512853278 140728512856014 0
/proc/26514/statm: 7287 1273 720 435 0 650 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29148 KiB
Current children cumulated memory: 5092 KiB

[startup+0.700269 s]
/proc/loadavg: 1.96 1.98 2.03 3/188 26515
/proc/meminfo: memFree=26654168/32770624 swapFree=67108860/67108860
[pid=26514] ppid=26511 vsize=30324 memory=6320 CPUtime=0.69 cores=1,3,5,7
/proc/26514/stat : 26514 (cosoco) R 26511 26514 24318 0 -1 4202496 1902 0 0 0 69 0 0 0 20 0 1 0 91179668 31051776 1580 33554432000 4194304 5972588 140728512846384 140728512842952 139969602014208 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32985088 140728512853178 140728512853278 140728512853278 140728512856014 0
/proc/26514/statm: 7581 1580 720 435 0 944 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30324 KiB
Current children cumulated memory: 6320 KiB

[startup+1.50027 s]
/proc/loadavg: 1.96 1.99 2.03 3/188 26515
/proc/meminfo: memFree=26652308/32770624 swapFree=67108860/67108860
[pid=26514] ppid=26511 vsize=32808 memory=8520 CPUtime=1.49 cores=1,3,5,7
/proc/26514/stat : 26514 (cosoco) R 26511 26514 24318 0 -1 4202496 2676 0 0 0 149 0 0 0 20 0 1 0 91179668 33595392 2130 33554432000 4194304 5972588 140728512846384 140728512842952 5675324 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32985088 140728512853178 140728512853278 140728512853278 140728512856014 0
/proc/26514/statm: 8202 2130 720 435 0 1565 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32808 KiB
Current children cumulated memory: 8520 KiB

[startup+3.10953 s]
/proc/loadavg: 1.96 1.99 2.03 3/188 26515
/proc/meminfo: memFree=26420680/32770624 swapFree=67108860/67108860
[pid=26514] ppid=26511 vsize=309132 memory=284200 CPUtime=3.1 cores=1,3,5,7
/proc/26514/stat : 26514 (cosoco) R 26511 26514 24318 0 -1 4202496 73096 0 0 0 299 11 0 0 20 0 1 0 91179668 316551168 71050 33554432000 4194304 5972588 140728512846384 140728512839080 139969601575909 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32985088 140728512853178 140728512853278 140728512853278 140728512856014 0
/proc/26514/statm: 77283 71050 742 435 0 70646 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 309132 KiB
Current children cumulated memory: 284200 KiB

[startup+6.30033 s]
/proc/loadavg: 1.89 1.97 2.03 3/188 26515
/proc/meminfo: memFree=26089076/32770624 swapFree=67108860/67108860
[pid=26514] ppid=26511 vsize=598468 memory=570720 CPUtime=6.29 cores=1,3,5,7
/proc/26514/stat : 26514 (cosoco) R 26511 26514 24318 0 -1 4202496 264765 0 0 0 603 26 0 0 20 0 1 0 91179668 612831232 142680 33554432000 4194304 5972588 140728512846384 140728512843688 4909158 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 32985088 140728512853178 140728512853278 140728512853278 140728512856014 0
/proc/26514/statm: 149617 142680 849 435 0 142980 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 598468 KiB
Current children cumulated memory: 570720 KiB

[startup+12.7004 s]
/proc/loadavg: 1.82 1.95 2.02 3/188 26637
/proc/meminfo: memFree=25229740/32770624 swapFree=67108860/67108860
[pid=26514] ppid=26511 vsize=598996 memory=571480 CPUtime=12.69 cores=1,3,5,7
/proc/26514/stat : 26514 (cosoco) R 26511 26514 24318 0 -1 4202496 335931 0 0 0 1239 30 0 0 20 0 1 0 91179668 613371904 142870 33554432000 4194304 5972588 140728512846384 140728512843688 5046309 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 32985088 140728512853178 140728512853278 140728512853278 140728512856014 0
/proc/26514/statm: 149749 142870 849 435 0 143112 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 598996 KiB
Current children cumulated memory: 571480 KiB

[startup+25.5004 s]
/proc/loadavg: 1.84 1.95 2.02 3/188 26637
/proc/meminfo: memFree=25157264/32770624 swapFree=67108860/67108860
[pid=26514] ppid=26511 vsize=600872 memory=573580 CPUtime=25.49 cores=1,3,5,7
/proc/26514/stat : 26514 (cosoco) R 26511 26514 24318 0 -1 4202496 472117 0 0 0 2513 36 0 0 20 0 1 0 91179668 615292928 143395 33554432000 4194304 5972588 140728512846384 140728512843688 4908987 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 32985088 140728512853178 140728512853278 140728512853278 140728512856014 0
/proc/26514/statm: 150218 143395 852 435 0 143581 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 600872 KiB
Current children cumulated memory: 573580 KiB

[startup+27.3031 s]
# the end of solver process 26514 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=26.9056 s, system=0.389964 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6004 s]
/proc/loadavg: 1.84 1.95 2.02 3/188 26637
/proc/meminfo: memFree=25157264/32770624 swapFree=67108860/67108860
[pid=26514] ppid=26511 vsize=600872 memory=573580 CPUtime=25.59 cores=1,3,5,7
/proc/26514/stat : 26514 (cosoco) R 26511 26514 24318 0 -1 4202496 472117 0 0 0 2523 36 0 0 20 0 1 0 91179668 615292928 143395 33554432000 4194304 5972588 140728512846384 140728512843688 5046280 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 32985088 140728512853178 140728512853278 140728512853278 140728512856014 0
/proc/26514/statm: 150218 143395 852 435 0 143581 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 600872 KiB
Current children cumulated memory: 573580 KiB

[startup+26.4003 s]
/proc/loadavg: 1.86 1.96 2.02 3/188 26637
/proc/meminfo: memFree=25157388/32770624 swapFree=67108860/67108860
[pid=26514] ppid=26511 vsize=601004 memory=573708 CPUtime=26.39 cores=1,3,5,7
/proc/26514/stat : 26514 (cosoco) R 26511 26514 24318 0 -1 4202496 472600 0 0 0 2603 36 0 0 20 0 1 0 91179668 615428096 143427 33554432000 4194304 5972588 140728512846384 140728512843688 5046276 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 32985088 140728512853178 140728512853278 140728512853278 140728512856014 0
/proc/26514/statm: 150251 143427 852 435 0 143614 0
Current children cumulated CPU time: 26.39 s
Current children cumulated vsize: 601004 KiB
Current children cumulated memory: 573708 KiB

[startup+26.8003 s]
/proc/loadavg: 1.86 1.96 2.02 3/188 26637
/proc/meminfo: memFree=25157388/32770624 swapFree=67108860/67108860
[pid=26514] ppid=26511 vsize=601004 memory=573708 CPUtime=26.79 cores=1,3,5,7
/proc/26514/stat : 26514 (cosoco) R 26511 26514 24318 0 -1 4202496 472612 0 0 0 2643 36 0 0 20 0 1 0 91179668 615428096 143427 33554432000 4194304 5972588 140728512846384 140728512843688 5328649 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 32985088 140728512853178 140728512853278 140728512853278 140728512856014 0
/proc/26514/statm: 150251 143427 852 435 0 143614 0
Current children cumulated CPU time: 26.79 s
Current children cumulated vsize: 601004 KiB
Current children cumulated memory: 573708 KiB

[startup+27.2003 s]
/proc/loadavg: 1.86 1.96 2.02 3/188 26637
/proc/meminfo: memFree=25157084/32770624 swapFree=67108860/67108860
[pid=26514] ppid=26511 vsize=601672 memory=574520 CPUtime=27.19 cores=1,3,5,7
/proc/26514/stat : 26514 (cosoco) R 26511 26514 24318 0 -1 4202496 473835 0 0 0 2683 36 0 0 20 0 1 0 91179668 616112128 143630 33554432000 4194304 5972588 140728512846384 140728512843688 4909211 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 32985088 140728512853178 140728512853278 140728512853278 140728512856014 0
/proc/26514/statm: 150418 143630 852 435 0 143781 0
Current children cumulated CPU time: 27.19 s
Current children cumulated vsize: 601672 KiB
Current children cumulated memory: 574520 KiB

Child status: 0
Real time (s): 27.3032
CPU time (s): 27.2955
CPU user time (s): 26.9056
CPU system time (s): 0.389964
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 601672
Max. memory (cumulated for all children) (KiB): 574520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.9056
system time used= 0.389964
maximum resident set size= 574600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473872
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= 21
involuntary context switches= 32


# summary of solver processes directly reported to runsolver:
#   pid: 26514
#   total CPU time (s): 27.2955
#   total CPU user time (s): 26.9056
#   total CPU system time (s): 0.389964

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.173657 second user time and 0.300079 second system time

The end

Begin job on node105 at 2017-08-13 01:23:42
IDJOB=4266038
IDBENCH=133121
IDSOLVER=2655
FILE ID=node105/4266038-1502581080
RUNJOBID= node105-1502567255-24403
PBS_JOBID= 20628286
Free space on /tmp= 60656 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/DiamondFree/DiamondFree-m1-s1/DiamondFree-039.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266038-1502581080/watcher-4266038-1502581080 -o /tmp/evaluation-result-4266038-1502581080/solver-4266038-1502581080 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502567255-24403 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4266038-1502581080.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3424e6604ecfe46c0dbee75043c16945
RANDOM SEED=1351367025

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26657864 kB
MemAvailable:   31979392 kB
Buffers:          140280 kB
Cached:          5457980 kB
SwapCached:            0 kB
Active:           652372 kB
Inactive:        5000760 kB
Active(anon):      57304 kB
Inactive(anon):    25072 kB
Active(file):     595068 kB
Inactive(file):  4975688 kB
Unevictable:        6236 kB
Mlocked:            6236 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8632 kB
Writeback:             0 kB
AnonPages:         60512 kB
Mapped:            44164 kB
Shmem:             25228 kB
Slab:             159048 kB
SReclaimable:     133216 kB
SUnreclaim:        25832 kB
KernelStack:        3408 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     355812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60656 MiB
End job on node105 at 2017-08-13 01:24:09