0.41/0.50	c root propagations     : 0           
0.41/0.50	c restarts enabled, print stats at every restarts
0.41/0.50	c
0.41/0.50	c
0.41/0.50	c
0.41/0.50	c This is cosoco 1.12 --  
0.41/0.50	c
0.41/0.50	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294155-1532399731.xml 
0.41/0.50	c ========================================[ Problem Statistics ]===========================================
0.41/0.50	c |                                                                                                       
0.41/0.50	c |  Parse time        :         0.45 s 
0.41/0.50	c |
0.41/0.50	c |               Variables: 3432
0.41/0.50	c |            Domain Sizes: 2..2
0.41/0.50	c |
0.41/0.50	c |             Constraints: 1584
0.41/0.50	c |                   Arity: 3..44  -- Ternary: 1452
0.41/0.50	c | 
0.41/0.50	c |                   Types: 
0.41/0.50	c |                          Intension: 1452
0.41/0.50	c |                          Lex: 32
0.41/0.50	c |                          Sum: 100
0.41/0.50	c |                          
0.41/0.50	c =========================================================================================================
0.41/0.50	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.41/0.50	c remove useless variable s[0][0][0]
0.41/0.50	c remove useless variable s[0][0][1]
0.41/0.50	c remove useless variable s[0][0][2]
0.41/0.50	c remove useless variable s[0][0][3]
0.41/0.50	c remove useless variable s[0][0][4]
0.41/0.50	c remove useless variable s[0][0][5]
0.41/0.50	c remove useless variable s[0][0][6]
0.41/0.50	c remove useless variable s[0][0][7]
0.41/0.50	c remove useless variable s[0][0][8]
0.41/0.50	c remove useless variable s[0][0][9]
0.41/0.50	c remove useless variable s[0][0][10]
0.41/0.50	c remove useless variable s[0][0][11]
0.41/0.50	c remove useless variable s[0][0][12]
0.41/0.50	c remove useless variable s[0][0][13]
0.41/0.50	c remove useless variable s[0][0][14]
0.41/0.50	c remove useless variable s[0][0][15]
0.41/0.50	c remove useless variable s[0][0][16]
0.41/0.50	c remove useless variable s[0][0][17]
0.41/0.50	c remove useless variable s[0][0][18]
0.41/0.50	c remove useless variable s[0][0][19]
0.41/0.50	c remove useless variable s[0][0][20]
0.41/0.50	c remove useless variable s[0][0][21]
0.41/0.50	c remove useless variable s[1][0][0]
0.41/0.50	c remove useless variable s[1][0][1]
0.41/0.50	c remove useless variable s[1][0][2]
0.41/0.50	c remove useless variable s[1][0][3]
0.41/0.50	c remove useless variable s[1][0][4]
0.41/0.50	c remove useless variable s[1][0][5]
0.41/0.50	c remove useless variable s[1][0][6]
0.41/0.50	c remove useless variable s[1][0][7]
0.41/0.50	c remove useless variable s[1][0][8]
0.41/0.50	c remove useless variable s[1][0][9]
0.41/0.50	c remove useless variable s[1][0][10]
0.41/0.50	c remove useless variable s[1][0][11]
0.41/0.50	c remove useless variable s[1][0][12]
0.41/0.50	c remove useless variable s[1][0][13]
0.41/0.50	c remove useless variable s[1][0][14]
0.41/0.50	c remove useless variable s[1][0][15]
0.41/0.50	c remove useless variable s[1][0][16]
0.41/0.50	c remove useless variable s[1][0][17]
0.41/0.50	c remove useless variable s[1][0][18]
0.41/0.50	c remove useless variable s[1][0][19]
0.41/0.50	c remove useless variable s[1][0][20]
0.41/0.50	c remove useless variable s[1][0][21]
0.41/0.50	c remove useless variable s[1][1][0]
0.41/0.50	c remove useless variable s[1][1][1]
0.41/0.50	c remove useless variable s[1][1][2]
0.41/0.50	c remove useless variable s[1][1][3]
0.41/0.50	c remove useless variable s[1][1][4]
0.41/0.50	c remove useless variable s[1][1][5]
0.41/0.50	c remove useless variable s[1][1][6]
0.41/0.50	c remove useless variable s[1][1][7]
0.41/0.50	c remove useless variable s[1][1][8]
0.41/0.50	c remove useless variable s[1][1][9]
0.41/0.50	c remove useless variable s[1][1][10]
0.41/0.50	c remove useless variable s[1][1][11]
0.41/0.50	c remove useless variable s[1][1][12]
0.41/0.50	c remove useless variable s[1][1][13]
0.41/0.50	c remove useless variable s[1][1][14]
0.41/0.50	c remove useless variable s[1][1][15]
0.41/0.50	c remove useless variable s[1][1][16]
0.41/0.50	c remove useless variable s[1][1][17]
0.41/0.50	c remove useless variable s[1][1][18]
0.41/0.50	c remove useless variable s[1][1][19]
0.41/0.50	c remove useless variable s[1][1][20]
0.41/0.50	c remove useless variable s[1][1][21]
0.41/0.50	c remove useless variable s[2][0][0]
0.41/0.50	c remove useless variable s[2][0][1]
0.41/0.50	c remove useless variable s[2][0][2]
0.41/0.50	c remove useless variable s[2][0][3]
0.41/0.50	c remove useless variable s[2][0][4]
0.41/0.50	c remove useless variable s[2][0][5]
0.41/0.50	c remove useless variable s[2][0][6]
0.41/0.50	c remove useless variable s[2][0][7]
0.41/0.50	c remove useless variable s[2][0][8]
0.41/0.50	c remove useless variable s[2][0][9]
0.41/0.50	c remove useless variable s[2][0][10]
0.41/0.50	c remove useless variable s[2][0][11]
0.41/0.50	c remove useless variable s[2][0][12]
0.41/0.50	c remove useless variable s[2][0][13]
0.41/0.50	c remove useless variable s[2][0][14]
0.41/0.50	c remove useless variable s[2][0][15]
0.41/0.50	c remove useless variable s[2][0][16]
0.41/0.50	c remove useless variable s[2][0][17]
0.41/0.50	c remove useless variable s[2][0][18]
0.41/0.50	c remove useless variable s[2][0][19]
0.41/0.50	c remove useless variable s[2][0][20]
0.41/0.50	c remove useless variable s[2][0][21]
0.41/0.50	c remove useless variable s[2][1][0]
0.41/0.50	c remove useless variable s[2][1][1]
0.41/0.50	c remove useless variable s[2][1][2]
0.41/0.50	c remove useless variable s[2][1][3]
0.41/0.50	c remove useless variable s[2][1][4]
0.41/0.50	c remove useless variable s[2][1][5]
0.41/0.50	c remove useless variable s[2][1][6]
0.41/0.50	c remove useless variable s[2][1][7]
0.41/0.50	c remove useless variable s[2][1][8]
0.41/0.50	c remove useless variable s[2][1][9]
0.41/0.50	c remove useless variable s[2][1][10]
0.41/0.50	c remove useless variable s[2][1][11]
0.41/0.50	c remove useless variable s[2][1][12]
0.41/0.50	c remove useless variable s[2][1][13]
0.41/0.50	c remove useless variable s[2][1][14]
0.41/0.50	c remove useless variable s[2][1][15]
0.41/0.50	c remove useless variable s[2][1][16]
0.41/0.50	c remove useless variable s[2][1][17]
0.41/0.50	c remove useless variable s[2][1][18]
0.41/0.50	c remove useless variable s[2][1][19]
0.41/0.50	c remove useless variable s[2][1][20]
0.41/0.50	c remove useless variable s[2][1][21]
0.41/0.50	c remove useless variable s[2][2][0]
0.41/0.50	c remove useless variable s[2][2][1]
0.41/0.50	c remove useless variable s[2][2][2]
0.41/0.50	c remove useless variable s[2][2][3]
0.41/0.50	c remove useless variable s[2][2][4]
0.41/0.50	c remove useless variable s[2][2][5]
0.41/0.50	c remove useless variable s[2][2][6]
0.41/0.50	c remove useless variable s[2][2][7]
0.41/0.50	c remove useless variable s[2][2][8]
0.41/0.50	c remove useless variable s[2][2][9]
0.41/0.50	c remove useless variable s[2][2][10]
0.41/0.50	c remove useless variable s[2][2][11]
0.41/0.50	c remove useless variable s[2][2][12]
0.41/0.50	c remove useless variable s[2][2][13]
0.41/0.50	c remove useless variable s[2][2][14]
0.41/0.50	c remove useless variable s[2][2][15]
0.41/0.50	c remove useless variable s[2][2][16]
0.41/0.50	c remove useless variable s[2][2][17]
0.41/0.50	c remove useless variable s[2][2][18]
0.41/0.50	c remove useless variable s[2][2][19]
0.41/0.50	c remove useless variable s[2][2][20]
0.41/0.50	c remove useless variable s[2][2][21]
0.41/0.50	c remove useless variable s[3][0][0]
0.41/0.50	c remove useless variable s[3][0][1]
0.41/0.50	c remove useless variable s[3][0][2]
0.41/0.50	c remove useless variable s[3][0][3]
0.41/0.50	c remove useless variable s[3][0][4]
0.41/0.50	c remove useless variable s[3][0][5]
0.41/0.50	c remove useless variable s[3][0][6]
0.41/0.50	c remove useless variable s[3][0][7]
0.41/0.50	c remove useless variable s[3][0][8]
0.41/0.50	c remove useless variable s[3][0][9]
0.41/0.50	c remove useless variable s[3][0][10]
0.41/0.50	c remove useless variable s[3][0][11]
0.41/0.50	c remove useless variable s[3][0][12]
0.41/0.50	c remove useless variable s[3][0][13]
0.41/0.50	c remove useless variable s[3][0][14]
0.41/0.50	c remove useless variable s[3][0][15]
0.41/0.50	c remove useless variable s[3][0][16]
0.41/0.50	c remove useless variable s[3][0][17]
0.41/0.50	c remove useless variable s[3][0][18]
0.41/0.50	c remove useless variable s[3][0][19]
0.41/0.50	c remove useless variable s[3][0][20]
0.41/0.50	c remove useless variable s[3][0][21]
0.41/0.50	c remove useless variable s[3][1][0]
0.41/0.50	c remove useless variable s[3][1][1]
0.41/0.50	c remove useless variable s[3][1][2]
0.41/0.50	c remove useless variable s[3][1][3]
0.41/0.50	c remove useless variable s[3][1][4]
0.41/0.50	c remove useless variable s[3][1][5]
0.41/0.50	c remove useless variable s[3][1][6]
0.41/0.50	c remove useless variable s[3][1][7]
0.41/0.50	c remove useless variable s[3][1][8]
0.41/0.50	c remove useless variable s[3][1][9]
0.41/0.50	c remove useless variable s[3][1][10]
0.41/0.50	c remove useless variable s[3][1][11]
0.41/0.50	c remove useless variable s[3][1][12]
0.41/0.50	c remove useless variable s[3][1][13]
0.41/0.50	c remove useless variable s[3][1][14]
0.41/0.50	c remove useless variable s[3][1][15]
0.41/0.50	c remove useless variable s[3][1][16]
0.41/0.50	c remove useless variable s[3][1][17]
0.41/0.50	c remove useless variable s[3][1][18]
0.41/0.50	c remove useless variable s[3][1][19]
0.41/0.50	c remove useless variable s[3][1][20]
0.41/0.50	c remove useless variable s[3][1][21]
0.41/0.50	c remove useless variable s[3][2][0]
0.41/0.50	c remove useless variable s[3][2][1]
0.41/0.50	c remove useless variable s[3][2][2]
0.41/0.50	c remove useless variable s[3][2][3]
0.41/0.50	c remove useless variable s[3][2][4]
0.41/0.50	c remove useless variable s[3][2][5]
0.41/0.50	c remove useless variable s[3][2][6]
0.41/0.50	c remove useless variable s[3][2][7]
0.41/0.50	c remove useless variable s[3][2][8]
0.41/0.50	c remove useless variable s[3][2][9]
0.41/0.50	c remove useless variable s[3][2][10]
0.41/0.50	c remove useless variable s[3][2][11]
0.41/0.50	c remove useless variable s[3][2][12]
0.41/0.50	c remove useless variable s[3][2][13]
0.41/0.50	c remove useless variable s[3][2][14]
0.41/0.50	c remove useless variable s[3][2][15]
0.41/0.50	c remove useless variable s[3][2][16]
0.41/0.50	c remove useless variable s[3][2][17]
0.41/0.50	c remove useless variable s[3][2][18]
0.41/0.50	c remove useless variable s[3][2][19]
0.41/0.50	c remove useless variable s[3][2][20]
0.41/0.50	c remove useless variable s[3][2][21]
0.41/0.50	c remove useless variable s[3][3][0]
0.41/0.50	c remove useless variable s[3][3][1]
0.41/0.50	c remove useless variable s[3][3][2]
0.41/0.50	c remove useless variable s[3][3][3]
0.41/0.50	c remove useless variable s[3][3][4]
0.41/0.50	c remove useless variable s[3][3][5]
0.41/0.50	c remove useless variable s[3][3][6]
0.41/0.50	c remove useless variable s[3][3][7]
0.41/0.50	c remove useless variable s[3][3][8]
0.41/0.50	c remove useless variable s[3][3][9]
0.41/0.50	c remove useless variable s[3][3][10]
0.41/0.50	c remove useless variable s[3][3][11]
0.41/0.50	c remove useless variable s[3][3][12]
0.41/0.50	c remove useless variable s[3][3][13]
0.41/0.50	c remove useless variable s[3][3][14]
0.41/0.50	c remove useless variable s[3][3][15]
0.41/0.50	c remove useless variable s[3][3][16]
0.41/0.50	c remove useless variable s[3][3][17]
0.41/0.50	c remove useless variable s[3][3][18]
0.41/0.50	c remove useless variable s[3][3][19]
0.41/0.50	c remove useless variable s[3][3][20]
0.41/0.50	c remove useless variable s[3][3][21]
0.41/0.50	c remove useless variable s[4][0][0]
0.41/0.50	c remove useless variable s[4][0][1]
0.41/0.50	c remove useless variable s[4][0][2]
0.41/0.50	c remove useless variable s[4][0][3]
0.41/0.50	c remove useless variable s[4][0][4]
0.41/0.50	c remove useless variable s[4][0][5]
0.41/0.50	c remove useless variable s[4][0][6]
0.41/0.50	c remove useless variable s[4][0][7]
0.41/0.50	c remove useless variable s[4][0][8]
0.41/0.50	c remove useless variable s[4][0][9]
0.41/0.50	c remove useless variable s[4][0][10]
0.41/0.50	c remove useless variable s[4][0][11]
0.41/0.50	c remove useless variable s[4][0][12]
0.41/0.50	c remove useless variable s[4][0][13]
0.41/0.50	c remove useless variable s[4][0][14]
0.41/0.50	c remove useless variable s[4][0][15]
0.41/0.50	c remove useless variable s[4][0][16]
0.41/0.50	c remove useless variable s[4][0][17]
0.41/0.50	c remove useless variable s[4][0][18]
0.41/0.50	c remove useless variable s[4][0][19]
0.41/0.50	c remove useless variable s[4][0][20]
0.41/0.50	c remove useless variable s[4][0][21]
0.41/0.50	c remove useless variable s[4][1][0]
0.41/0.50	c remove useless variable s[4][1][1]
0.41/0.50	c remove useless variable s[4][1][2]
0.41/0.50	c remove useless variable s[4][1][3]
0.41/0.50	c remove useless variable s[4][1][4]
0.41/0.50	c remove useless variable s[4][1][5]
0.41/0.50	c remove useless variable s[4][1][6]
0.41/0.50	c remove useless variable s[4][1][7]
0.41/0.50	c remove useless variable s[4][1][8]
0.41/0.50	c remove useless variable s[4][1][9]
0.41/0.50	c remove useless variable s[4][1][10]
0.41/0.50	c remove useless variable s[4][1][11]
0.41/0.50	c remove useless variable s[4][1][12]
0.41/0.50	c remove useless variable s[4][1][13]
0.41/0.50	c remove useless variable s[4][1][14]
0.41/0.50	c remove useless variable s[4][1][15]
0.41/0.50	c remove useless variable s[4][1][16]
0.41/0.50	c remove useless variable s[4][1][17]
0.41/0.50	c remove useless variable s[4][1][18]
0.41/0.50	c remove useless variable s[4][1][19]
0.41/0.50	c remove useless variable s[4][1][20]
0.41/0.50	c remove useless variable s[4][1][21]
0.41/0.50	c remove useless variable s[4][2][0]
0.41/0.50	c remove useless variable s[4][2][1]
0.41/0.50	c remove useless variable s[4][2][2]
0.41/0.50	c remove useless variable s[4][2][3]
0.41/0.50	c remove useless variable s[4][2][4]
0.41/0.50	c remove useless variable s[4][2][5]
0.41/0.50	c remove useless variable s[4][2][6]
0.41/0.50	c remove useless variable s[4][2][7]
0.41/0.50	c remove useless variable s[4][2][8]
0.41/0.50	c remove useless variable s[4][2][9]
0.41/0.50	c remove useless variable s[4][2][10]
0.41/0.50	c remove useless variable s[4][2][11]
0.41/0.50	c remove useless variable s[4][2][12]
0.41/0.50	c remove useless variable s[4][2][13]
0.41/0.50	c remove useless variable s[4][2][14]
0.41/0.50	c remove useless variable s[4][2][15]
0.41/0.50	c remove useless variable s[4][2][16]
0.41/0.50	c remove useless variable s[4][2][17]
0.41/0.50	c remove useless variable s[4][2][18]
0.41/0.50	c remove useless variable s[4][2][19]
0.41/0.50	c remove useless variable s[4][2][20]
0.41/0.50	c remove useless variable s[4][2][21]
0.41/0.50	c remove useless variable s[4][3][0]
0.41/0.50	c remove useless variable s[4][3][1]
0.41/0.50	c remove useless variable s[4][3][2]
0.41/0.50	c remove useless variable s[4][3][3]
0.41/0.50	c remove useless variable s[4][3][4]
0.41/0.50	c remove useless variable s[4][3][5]
0.41/0.50	c remove useless variable s[4][3][6]
0.41/0.50	c remove useless variable s[4][3][7]
0.41/0.50	c remove useless variable s[4][3][8]
0.41/0.50	c remove useless variable s[4][3][9]
0.41/0.50	c remove useless variable s[4][3][10]
0.41/0.50	c remove useless variable s[4][3][11]
0.41/0.50	c remove useless variable s[4][3][12]
0.41/0.50	c remove useless variable s[4][3][13]
0.41/0.50	c remove useless variable s[4][3][14]
0.41/0.50	c remove useless variable s[4][3][15]
0.41/0.50	c remove useless variable s[4][3][16]
0.41/0.50	c remove useless variable s[4][3][17]
0.41/0.50	c remove useless variable s[4][3][18]
0.41/0.50	c remove useless variable s[4][3][19]
0.41/0.50	c remove useless variable s[4][3][20]
0.41/0.50	c remove useless variable s[4][3][21]
0.41/0.50	c remove useless variable s[4][4][0]
0.41/0.50	c remove useless variable s[4][4][1]
0.41/0.50	c remove useless variable s[4][4][2]
0.41/0.50	c remove useless variable s[4][4][3]
0.41/0.50	c remove useless variable s[4][4][4]
0.41/0.50	c remove useless variable s[4][4][5]
0.41/0.50	c remove useless variable s[4][4][6]
0.41/0.50	c remove useless variable s[4][4][7]
0.41/0.50	c remove useless variable s[4][4][8]
0.41/0.50	c remove useless variable s[4][4][9]
0.41/0.50	c remove useless variable s[4][4][10]
0.41/0.50	c remove useless variable s[4][4][11]
0.41/0.50	c remove useless variable s[4][4][12]
0.41/0.50	c remove useless variable s[4][4][13]
0.41/0.50	c remove useless variable s[4][4][14]
0.41/0.50	c remove useless variable s[4][4][15]
0.41/0.50	c remove useless variable s[4][4][16]
0.41/0.50	c remove useless variable s[4][4][17]
0.41/0.50	c remove useless variable s[4][4][18]
0.41/0.50	c remove useless variable s[4][4][19]
0.41/0.50	c remove useless variable s[4][4][20]
0.41/0.50	c remove useless variable s[4][4][21]
0.41/0.50	c remove useless variable s[5][0][0]
0.41/0.50	c remove useless variable s[5][0][1]
0.41/0.50	c remove useless variable s[5][0][2]
0.41/0.50	c remove useless variable s[5][0][3]
0.41/0.50	c remove useless variable s[5][0][4]
0.41/0.50	c remove useless variable s[5][0][5]
0.41/0.50	c remove useless variable s[5][0][6]
0.41/0.50	c remove useless variable s[5][0][7]
0.41/0.50	c remove useless variable s[5][0][8]
0.41/0.50	c remove useless variable s[5][0][9]
0.41/0.50	c remove useless variable s[5][0][10]
0.41/0.50	c remove useless variable s[5][0][11]
0.41/0.50	c remove useless variable s[5][0][12]
0.41/0.50	c remove useless variable s[5][0][13]
0.41/0.50	c remove useless variable s[5][0][14]
0.41/0.50	c remove useless variable s[5][0][15]
0.41/0.50	c remove useless variable s[5][0][16]
0.41/0.50	c remove useless variable s[5][0][17]
0.41/0.50	c remove useless variable s[5][0][18]
0.41/0.50	c remove useless variable s[5][0][19]
0.41/0.50	c remove useless variable s[5][0][20]
0.41/0.50	c remove useless variable s[5][0][21]
0.41/0.50	c remove useless variable s[5][1][0]
0.41/0.50	c remove useless variable s[5][1][1]
0.41/0.50	c remove useless variable s[5][1][2]
0.41/0.50	c remove useless variable s[5][1][3]
0.41/0.50	c remove useless variable s[5][1][4]
0.41/0.50	c remove useless variable s[5][1][5]
0.41/0.50	c remove useless variable s[5][1][6]
0.41/0.50	c remove useless variable s[5][1][7]
0.41/0.50	c remove useless variable s[5][1][8]
0.41/0.50	c remove useless variable s[5][1][9]
0.41/0.50	c remove useless variable s[5][1][10]
0.41/0.50	c remove useless variable s[5][1][11]
0.41/0.50	c remove useless variable s[5][1][12]
0.41/0.50	c remove useless variable s[5][1][13]
0.41/0.50	c remove useless variable s[5][1][14]
0.41/0.50	c remove useless variable s[5][1][15]
0.41/0.50	c remove useless variable s[5][1][16]
0.41/0.50	c remove useless variable s[5][1][17]
0.41/0.50	c remove useless variable s[5][1][18]
0.41/0.50	c remove useless variable s[5][1][19]
0.41/0.50	c remove useless variable s[5][1][20]
0.41/0.50	c remove useless variable s[5][1][21]
0.41/0.50	c remove useless variable s[5][2][0]
0.41/0.50	c remove useless variable s[5][2][1]
0.41/0.50	c remove useless variable s[5][2][2]
0.41/0.50	c remove useless variable s[5][2][3]
0.41/0.50	c remove useless variable s[5][2][4]
0.41/0.50	c remove useless variable s[5][2][5]
0.41/0.50	c remove useless variable s[5][2][6]
0.41/0.50	c remove useless variable s[5][2][7]
0.41/0.50	c remove useless variable s[5][2][8]
0.41/0.50	c remove useless variable s[5][2][9]
0.41/0.50	c remove useless variable s[5][2][10]
0.41/0.50	c remove useless variable s[5][2][11]
0.41/0.50	c remove useless variable s[5][2][12]
0.41/0.50	c remove useless variable s[5][2][13]
0.41/0.50	c remove useless variable s[5][2][14]
0.41/0.50	c remove useless variable s[5][2][15]
0.41/0.50	c remove useless variable s[5][2][16]
0.41/0.50	c remove useless variable s[5][2][17]
0.41/0.50	c remove useless variable s[5][2][18]
0.41/0.50	c remove useless variable s[5][2][19]
0.41/0.50	c remove useless variable s[5][2][20]
0.41/0.50	c remove useless variable s[5][2][21]
0.41/0.50	c remove useless variable s[5][3][0]
0.41/0.50	c remove useless variable s[5][3][1]
0.41/0.50	c remove useless variable s[5][3][2]
0.41/0.50	c remove useless variable s[5][3][3]
0.41/0.50	c remove useless variable s[5][3][4]
0.41/0.50	c remove useless variable s[5][3][5]
0.41/0.50	c remove useless variable s[5][3][6]
0.41/0.50	c remove useless variable s[5][3][7]
0.41/0.50	c remove useless variable s[5][3][8]
0.41/0.50	c remove useless variable s[5][3][9]
0.41/0.50	c remove useless variable s[5][3][10]
0.41/0.50	c remove useless variable s[5][3][11]
0.41/0.50	c remove useless variable s[5][3][12]
0.41/0.50	c remove useless variable s[5][3][13]
0.41/0.50	c remove useless variable s[5][3][14]
0.41/0.50	c remove useless variable s[5][3][15]
0.41/0.50	c remove useless variable s[5][3][16]
0.41/0.50	c remove useless variable s[5][3][17]
0.41/0.50	c remove useless variable s[5][3][18]
0.41/0.50	c remove useless variable s[5][3][19]
0.41/0.50	c remove useless variable s[5][3][20]
0.41/0.50	c remove useless variable s[5][3][21]
0.41/0.50	c remove useless variable s[5][4][0]
0.41/0.50	c remove useless variable s[5][4][1]
0.41/0.50	c remove useless variable s[5][4][2]
0.41/0.50	c remove useless variable s[5][4][3]
0.41/0.50	c remove useless variable s[5][4][4]
0.41/0.50	c remove useless variable s[5][4][5]
0.41/0.50	c remove useless variable s[5][4][6]
0.41/0.50	c remove useless variable s[5][4][7]
0.41/0.50	c remove useless variable s[5][4][8]
0.41/0.50	c remove useless variable s[5][4][9]
0.41/0.50	c remove useless variable s[5][4][10]
0.41/0.50	c remove useless variable s[5][4][11]
0.41/0.50	c remove useless variable s[5][4][12]
0.41/0.50	c remove useless variable s[5][4][13]
0.41/0.50	c remove useless variable s[5][4][14]
0.41/0.50	c remove useless variable s[5][4][15]
0.41/0.50	c remove useless variable s[5][4][16]
0.41/0.50	c remove useless variable s[5][4][17]
0.41/0.50	c remove useless variable s[5][4][18]
0.41/0.50	c remove useless variable s[5][4][19]
0.41/0.50	c remove useless variable s[5][4][20]
0.41/0.50	c remove useless variable s[5][4][21]
0.41/0.50	c remove useless variable s[5][5][0]
0.41/0.50	c remove useless variable s[5][5][1]
0.41/0.50	c remove useless variable s[5][5][2]
0.41/0.50	c remove useless variable s[5][5][3]
0.41/0.50	c remove useless variable s[5][5][4]
0.41/0.50	c remove useless variable s[5][5][5]
0.41/0.50	c remove useless variable s[5][5][6]
0.41/0.50	c remove useless variable s[5][5][7]
0.41/0.50	c remove useless variable s[5][5][8]
0.41/0.50	c remove useless variable s[5][5][9]
0.41/0.50	c remove useless variable s[5][5][10]
0.41/0.50	c remove useless variable s[5][5][11]
0.41/0.50	c remove useless variable s[5][5][12]
0.41/0.50	c remove useless variable s[5][5][13]
0.41/0.50	c remove useless variable s[5][5][14]
0.41/0.50	c remove useless variable s[5][5][15]
0.41/0.50	c remove useless variable s[5][5][16]
0.41/0.50	c remove useless variable s[5][5][17]
0.41/0.50	c remove useless variable s[5][5][18]
0.41/0.50	c remove useless variable s[5][5][19]
0.41/0.50	c remove useless variable s[5][5][20]
0.41/0.50	c remove useless variable s[5][5][21]
0.41/0.50	c remove useless variable s[6][0][0]
0.41/0.50	c remove useless variable s[6][0][1]
0.41/0.50	c remove useless variable s[6][0][2]
0.41/0.50	c remove useless variable s[6][0][3]
0.41/0.50	c remove useless variable s[6][0][4]
0.41/0.50	c remove useless variable s[6][0][5]
0.41/0.50	c remove useless variable s[6][0][6]
0.41/0.50	c remove useless variable s[6][0][7]
0.41/0.50	c remove useless variable s[6][0][8]
0.41/0.50	c remove useless variable s[6][0][9]
0.41/0.50	c remove useless variable s[6][0][10]
0.41/0.50	c remove useless variable s[6][0][11]
0.41/0.50	c remove useless variable s[6][0][12]
0.41/0.50	c remove useless variable s[6][0][13]
0.41/0.50	c remove useless variable s[6][0][14]
0.41/0.50	c remove useless variable s[6][0][15]
0.41/0.50	c remove useless variable s[6][0][16]
0.41/0.50	c remove useless variable s[6][0][17]
0.41/0.50	c remove useless variable s[6][0][18]
0.41/0.50	c remove useless variable s[6][0][19]
0.41/0.50	c remove useless variable s[6][0][20]
0.41/0.50	c remove useless variable s[6][0][21]
0.41/0.50	c remove useless variable s[6][1][0]
0.41/0.50	c remove useless variable s[6][1][1]
0.41/0.50	c remove useless variable s[6][1][2]
0.41/0.50	c remove useless variable s[6][1][3]
0.41/0.50	c remove useless variable s[6][1][4]
0.41/0.50	c remove useless variable s[6][1][5]
0.41/0.50	c remove useless variable s[6][1][6]
0.41/0.50	c remove useless variable s[6][1][7]
0.41/0.50	c remove useless variable s[6][1][8]
0.41/0.50	c remove useless variable s[6][1][9]
0.41/0.50	c remove useless variable s[6][1][10]
0.41/0.50	c remove useless variable s[6][1][11]
0.41/0.50	c remove useless variable s[6][1][12]
0.41/0.50	c remove useless variable s[6][1][13]
0.41/0.50	c remove useless variable s[6][1][14]
0.41/0.50	c remove useless variable s[6][1][15]
0.41/0.50	c remove useless variable s[6][1][16]
0.41/0.50	c remove useless variable s[6][1][17]
0.41/0.50	c remove useless variable s[6][1][18]
0.41/0.50	c remove useless variable s[6][1][19]
0.41/0.50	c remove useless variable s[6][1][20]
0.41/0.50	c remove useless variable s[6][1][21]
0.41/0.50	c remove useless variable s[6][2][0]
0.41/0.50	c remove useless variable s[6][2][1]
0.41/0.50	c remove useless variable s[6][2][2]
0.41/0.50	c remove useless variable s[6][2][3]
0.41/0.50	c remove useless variable s[6][2][4]
0.41/0.50	c remove useless variable s[6][2][5]
0.41/0.50	c remove useless variable s[6][2][6]
0.41/0.50	c remove useless variable s[6][2][7]
0.41/0.50	c remove useless variable s[6][2][8]
0.41/0.50	c remove useless variable s[6][2][9]
0.41/0.50	c remove useless variable s[6][2][10]
0.41/0.50	c remove useless variable s[6][2][11]
0.41/0.50	c remove useless variable s[6][2][12]
0.41/0.50	c remove useless variable s[6][2][13]
0.41/0.50	c remove useless variable s[6][2][14]
0.41/0.50	c remove useless variable s[6][2][15]
0.41/0.50	c remove useless variable s[6][2][16]
0.41/0.50	c remove useless variable s[6][2][17]
0.41/0.50	c remove useless variable s[6][2][18]
0.41/0.50	c remove useless variable s[6][2][19]
0.41/0.50	c remove useless variable s[6][2][20]
0.41/0.50	c remove useless variable s[6][2][21]
0.41/0.50	c remove useless variable s[6][3][0]
0.41/0.50	c remove useless variable s[6][3][1]
0.41/0.50	c remove useless variable s[6][3][2]
0.41/0.50	c remove useless variable s[6][3][3]
0.41/0.50	c remove useless variable s[6][3][4]
0.41/0.50	c remove useless variable s[6][3][5]
0.41/0.50	c remove useless variable s[6][3][6]
0.41/0.50	c remove useless variable s[6][3][7]
0.41/0.50	c remove useless variable s[6][3][8]
0.41/0.50	c remove useless variable s[6][3][9]
0.41/0.50	c remove useless variable s[6][3][10]
0.41/0.50	c remove useless variable s[6][3][11]
0.41/0.50	c remove useless variable s[6][3][12]
0.41/0.50	c remove useless variable s[6][3][13]
0.41/0.50	c remove useless variable s[6][3][14]
0.41/0.50	c remove useless variable s[6][3][15]
0.41/0.50	c remove useless variable s[6][3][16]
0.41/0.50	c remove useless variable s[6][3][17]
0.41/0.50	c remove useless variable s[6][3][18]
0.41/0.50	c remove useless variable s[6][3][19]
0.41/0.50	c remove useless variable s[6][3][20]
0.41/0.50	c remove useless variable s[6][3][21]
0.41/0.50	c remove useless variable s[6][4][0]
0.41/0.50	c remove useless variable s[6][4][1]
0.41/0.50	c remove useless variable s[6][4][2]
0.41/0.50	c remove useless variable s[6][4][3]
0.41/0.50	c remove useless variable s[6][4][4]
0.41/0.50	c remove useless variable s[6][4][5]
0.41/0.50	c remove useless variable s[6][4][6]
0.41/0.50	c remove useless variable s[6][4][7]
0.41/0.50	c remove useless variable s[6][4][8]
0.41/0.50	c remove useless variable s[6][4][9]
0.41/0.50	c remove useless variable s[6][4][10]
0.41/0.50	c remove useless variable s[6][4][11]
0.41/0.50	c remove useless variable s[6][4][12]
0.41/0.50	c remove useless variable s[6][4][13]
0.41/0.50	c remove useless variable s[6][4][14]
0.41/0.50	c remove useless variable s[6][4][15]
0.41/0.50	c remove useless variable s[6][4][16]
0.41/0.50	c remove useless variable s[6][4][17]
0.41/0.50	c remove useless variable s[6][4][18]
0.41/0.50	c remove useless variable s[6][4][19]
0.41/0.50	c remove useless variable s[6][4][20]
0.41/0.50	c remove useless variable s[6][4][21]
0.41/0.50	c remove useless variable s[6][5][0]
0.41/0.50	c remove useless variable s[6][5][1]
0.41/0.50	c remove useless variable s[6][5][2]
0.41/0.50	c remove useless variable s[6][5][3]
0.41/0.50	c remove useless variable s[6][5][4]
0.41/0.50	c remove useless variable s[6][5][5]
0.41/0.50	c remove useless variable s[6][5][6]
0.41/0.50	c remove useless variable s[6][5][7]
0.41/0.50	c remove useless variable s[6][5][8]
0.41/0.50	c remove useless variable s[6][5][9]
0.41/0.50	c remove useless variable s[6][5][10]
0.41/0.50	c remove useless variable s[6][5][11]
0.41/0.50	c remove useless variable s[6][5][12]
0.41/0.50	c remove useless variable s[6][5][13]
0.41/0.50	c remove useless variable s[6][5][14]
0.41/0.50	c remove useless variable s[6][5][15]
0.41/0.50	c remove useless variable s[6][5][16]
0.41/0.50	c remove useless variable s[6][5][17]
0.41/0.50	c remove useless variable s[6][5][18]
0.41/0.50	c remove useless variable s[6][5][19]
0.41/0.50	c remove useless variable s[6][5][20]
0.41/0.50	c remove useless variable s[6][5][21]
0.41/0.50	c remove useless variable s[6][6][0]
0.41/0.50	c remove useless variable s[6][6][1]
0.41/0.50	c remove useless variable s[6][6][2]
0.41/0.50	c remove useless variable s[6][6][3]
0.41/0.50	c remove useless variable s[6][6][4]
0.41/0.50	c remove useless variable s[6][6][5]
0.41/0.50	c remove useless variable s[6][6][6]
0.41/0.50	c remove useless variable s[6][6][7]
0.41/0.50	c remove useless variable s[6][6][8]
0.41/0.50	c remove useless variable s[6][6][9]
0.41/0.50	c remove useless variable s[6][6][10]
0.41/0.50	c remove useless variable s[6][6][11]
0.41/0.50	c remove useless variable s[6][6][12]
0.41/0.50	c remove useless variable s[6][6][13]
0.41/0.50	c remove useless variable s[6][6][14]
0.41/0.50	c remove useless variable s[6][6][15]
0.41/0.50	c remove useless variable s[6][6][16]
0.41/0.50	c remove useless variable s[6][6][17]
0.41/0.50	c remove useless variable s[6][6][18]
0.41/0.50	c remove useless variable s[6][6][19]
0.41/0.50	c remove useless variable s[6][6][20]
0.41/0.50	c remove useless variable s[6][6][21]
0.41/0.50	c remove useless variable s[7][0][0]
0.41/0.50	c remove useless variable s[7][0][1]
0.41/0.50	c remove useless variable s[7][0][2]
0.41/0.50	c remove useless variable s[7][0][3]
0.41/0.50	c remove useless variable s[7][0][4]
0.41/0.50	c remove useless variable s[7][0][5]
0.41/0.50	c remove useless variable s[7][0][6]
0.41/0.50	c remove useless variable s[7][0][7]
0.41/0.50	c remove useless variable s[7][0][8]
0.41/0.50	c remove useless variable s[7][0][9]
0.41/0.50	c remove useless variable s[7][0][10]
0.41/0.50	c remove useless variable s[7][0][11]
0.41/0.50	c remove useless variable s[7][0][12]
0.41/0.50	c remove useless variable s[7][0][13]
0.41/0.50	c remove useless variable s[7][0][14]
0.41/0.50	c remove useless variable s[7][0][15]
0.41/0.50	c remove useless variable s[7][0][16]
0.41/0.50	c remove useless variable s[7][0][17]
0.41/0.50	c remove useless variable s[7][0][18]
0.41/0.50	c remove useless variable s[7][0][19]
0.41/0.50	c remove useless variable s[7][0][20]
0.41/0.50	c remove useless variable s[7][0][21]
0.41/0.50	c remove useless variable s[7][1][0]
0.41/0.50	c remove useless variable s[7][1][1]
0.41/0.50	c remove useless variable s[7][1][2]
0.41/0.50	c remove useless variable s[7][1][3]
0.41/0.50	c remove useless variable s[7][1][4]
0.41/0.50	c remove useless variable s[7][1][5]
0.41/0.50	c remove useless variable s[7][1][6]
0.41/0.50	c remove useless variable s[7][1][7]
0.41/0.50	c remove useless variable s[7][1][8]
0.41/0.50	c remove useless variable s[7][1][9]
0.41/0.50	c remove useless variable s[7][1][10]
0.41/0.50	c remove useless variable s[7][1][11]
0.41/0.50	c remove useless variable s[7][1][12]
0.41/0.50	c remove useless variable s[7][1][13]
0.41/0.50	c remove useless variable s[7][1][14]
0.41/0.50	c remove useless variable s[7][1][15]
0.41/0.50	c remove useless variable s[7][1][16]
0.41/0.50	c remove useless variable s[7][1][17]
0.41/0.50	c remove useless variable s[7][1][18]
0.41/0.50	c remove useless variable s[7][1][19]
0.41/0.50	c remove useless variable s[7][1][20]
0.41/0.50	c remove useless variable s[7][1][21]
0.41/0.50	c remove useless variable s[7][2][0]
0.41/0.50	c remove useless variable s[7][2][1]
0.41/0.50	c remove useless variable s[7][2][2]
0.41/0.50	c remove useless variable s[7][2][3]
0.41/0.50	c remove useless variable s[7][2][4]
0.41/0.50	c remove useless variable s[7][2][5]
0.41/0.50	c remove useless variable s[7][2][6]
0.41/0.50	c remove useless variable s[7][2][7]
0.41/0.50	c remove useless variable s[7][2][8]
0.41/0.50	c remove useless variable s[7][2][9]
0.41/0.50	c remove useless variable s[7][2][10]
0.41/0.50	c remove useless variable s[7][2][11]
0.41/0.50	c remove useless variable s[7][2][12]
0.41/0.50	c remove useless variable s[7][2][13]
0.41/0.50	c remove useless variable s[7][2][14]
0.41/0.50	c remove useless variable s[7][2][15]
0.41/0.50	c remove useless variable s[7][2][16]
0.41/0.50	c remove useless variable s[7][2][17]
0.41/0.50	c remove useless variable s[7][2][18]
0.41/0.50	c remove useless variable s[7][2][19]
0.41/0.50	c remove useless variable s[7][2][20]
0.41/0.50	c remove useless variable s[7][2][21]
0.41/0.50	c remove useless variable s[7][3][0]
0.41/0.50	c remove useless variable s[7][3][1]
0.41/0.50	c remove useless variable s[7][3][2]
0.41/0.50	c remove useless variable s[7][3][3]
0.41/0.50	c remove useless variable s[7][3][4]
0.41/0.50	c remove useless variable s[7][3][5]
0.41/0.50	c remove useless variable s[7][3][6]
0.41/0.50	c remove useless variable s[7][3][7]
0.41/0.50	c remove useless variable s[7][3][8]
0.41/0.50	c remove useless variable s[7][3][9]
0.41/0.50	c remove useless variable s[7][3][10]
0.41/0.50	c remove useless variable s[7][3][11]
0.41/0.50	c remove useless variable s[7][3][12]
0.41/0.50	c remove useless variable s[7][3][13]
0.41/0.50	c remove useless variable s[7][3][14]
0.41/0.50	c remove useless variable s[7][3][15]
0.41/0.50	c remove useless variable s[7][3][16]
0.41/0.50	c remove useless variable s[7][3][17]
0.41/0.50	c remove useless variable s[7][3][18]
0.41/0.50	c remove useless variable s[7][3][19]
0.41/0.50	c remove useless variable s[7][3][20]
0.41/0.50	c remove useless variable s[7][3][21]
0.41/0.50	c remove useless variable s[7][4][0]
0.41/0.50	c remove useless variable s[7][4][1]
0.41/0.50	c remove useless variable s[7][4][2]
0.41/0.50	c remove useless variable s[7][4][3]
0.41/0.50	c remove useless variable s[7][4][4]
0.41/0.50	c remove useless variable s[7][4][5]
0.41/0.50	c remove useless variable s[7][4][6]
0.41/0.50	c remove useless variable s[7][4][7]
0.41/0.50	c remove useless variable s[7][4][8]
0.41/0.50	c remove useless variable s[7][4][9]
0.41/0.50	c remove useless variable s[7][4][10]
0.41/0.50	c remove useless variable s[7][4][11]
0.41/0.50	c remove useless variable s[7][4][12]
0.41/0.50	c remove useless variable s[7][4][13]
0.41/0.50	c remove useless variable s[7][4][14]
0.41/0.50	c remove useless variable s[7][4][15]
0.41/0.50	c remove useless variable s[7][4][16]
0.41/0.50	c remove useless variable s[7][4][17]
0.41/0.50	c remove useless variable s[7][4][18]
0.41/0.50	c remove useless variable s[7][4][19]
0.41/0.50	c remove useless variable s[7][4][20]
0.41/0.50	c remove useless variable s[7][4][21]
0.41/0.50	c remove useless variable s[7][5][0]
0.41/0.50	c remove useless variable s[7][5][1]
0.41/0.50	c remove useless variable s[7][5][2]
0.41/0.50	c remove useless variable s[7][5][3]
0.41/0.50	c remove useless variable s[7][5][4]
0.41/0.50	c remove useless variable s[7][5][5]
0.41/0.50	c remove useless variable s[7][5][6]
0.41/0.50	c remove useless variable s[7][5][7]
0.41/0.50	c remove useless variable s[7][5][8]
0.41/0.50	c remove useless variable s[7][5][9]
0.41/0.50	c remove useless variable s[7][5][10]
0.41/0.50	c remove useless variable s[7][5][11]
0.41/0.50	c remove useless variable s[7][5][12]
0.41/0.50	c remove useless variable s[7][5][13]
0.41/0.50	c remove useless variable s[7][5][14]
0.41/0.50	c remove useless variable s[7][5][15]
0.41/0.50	c remove useless variable s[7][5][16]
0.41/0.50	c remove useless variable s[7][5][17]
0.41/0.50	c remove useless variable s[7][5][18]
0.41/0.50	c remove useless variable s[7][5][19]
0.41/0.50	c remove useless variable s[7][5][20]
0.41/0.50	c remove useless variable s[7][5][21]
0.41/0.50	c remove useless variable s[7][6][0]
0.41/0.50	c remove useless variable s[7][6][1]
0.41/0.50	c remove useless variable s[7][6][2]
0.41/0.50	c remove useless variable s[7][6][3]
0.41/0.50	c remove useless variable s[7][6][4]
0.41/0.50	c remove useless variable s[7][6][5]
0.41/0.50	c remove useless variable s[7][6][6]
0.41/0.50	c remove useless variable s[7][6][7]
0.41/0.50	c remove useless variable s[7][6][8]
0.41/0.50	c remove useless variable s[7][6][9]
0.41/0.50	c remove useless variable s[7][6][10]
0.41/0.50	c remove useless variable s[7][6][11]
0.41/0.50	c remove useless variable s[7][6][12]
0.41/0.50	c remove useless variable s[7][6][13]
0.41/0.50	c remove useless variable s[7][6][14]
0.41/0.50	c remove useless variable s[7][6][15]
0.41/0.50	c remove useless variable s[7][6][16]
0.41/0.50	c remove useless variable s[7][6][17]
0.41/0.50	c remove useless variable s[7][6][18]
0.41/0.50	c remove useless variable s[7][6][19]
0.41/0.50	c remove useless variable s[7][6][20]
0.41/0.50	c remove useless variable s[7][6][21]
0.41/0.50	c remove useless variable s[7][7][0]
0.41/0.50	c remove useless variable s[7][7][1]
0.41/0.50	c remove useless variable s[7][7][2]
0.41/0.50	c remove useless variable s[7][7][3]
0.41/0.50	c remove useless variable s[7][7][4]
0.41/0.50	c remove useless variable s[7][7][5]
0.41/0.50	c remove useless variable s[7][7][6]
0.41/0.50	c remove useless variable s[7][7][7]
0.41/0.50	c remove useless variable s[7][7][8]
0.41/0.50	c remove useless variable s[7][7][9]
0.41/0.50	c remove useless variable s[7][7][10]
0.41/0.50	c remove useless variable s[7][7][11]
0.41/0.50	c remove useless variable s[7][7][12]
0.41/0.50	c remove useless variable s[7][7][13]
0.41/0.50	c remove useless variable s[7][7][14]
0.41/0.50	c remove useless variable s[7][7][15]
0.41/0.50	c remove useless variable s[7][7][16]
0.41/0.50	c remove useless variable s[7][7][17]
0.41/0.50	c remove useless variable s[7][7][18]
0.41/0.50	c remove useless variable s[7][7][19]
0.41/0.50	c remove useless variable s[7][7][20]
0.41/0.50	c remove useless variable s[7][7][21]
0.41/0.50	c remove useless variable s[8][0][0]
0.41/0.50	c remove useless variable s[8][0][1]
0.41/0.50	c remove useless variable s[8][0][2]
0.41/0.50	c remove useless variable s[8][0][3]
0.41/0.50	c remove useless variable s[8][0][4]
0.41/0.50	c remove useless variable s[8][0][5]
0.41/0.50	c remove useless variable s[8][0][6]
0.41/0.50	c remove useless variable s[8][0][7]
0.41/0.50	c remove useless variable s[8][0][8]
0.41/0.50	c remove useless variable s[8][0][9]
0.41/0.50	c remove useless variable s[8][0][10]
0.41/0.50	c remove useless variable s[8][0][11]
0.41/0.50	c remove useless variable s[8][0][12]
0.41/0.50	c remove useless variable s[8][0][13]
0.41/0.50	c remove useless variable s[8][0][14]
0.41/0.50	c remove useless variable s[8][0][15]
0.41/0.50	c remove useless variable s[8][0][16]
0.41/0.50	c remove useless variable s[8][0][17]
0.41/0.50	c remove useless variable s[8][0][18]
0.41/0.50	c remove useless variable s[8][0][19]
0.41/0.50	c remove useless variable s[8][0][20]
0.41/0.50	c remove useless variable s[8][0][21]
0.41/0.50	c remove useless variable s[8][1][0]
0.41/0.50	c remove useless variable s[8][1][1]
0.41/0.50	c remove useless variable s[8][1][2]
0.41/0.50	c remove useless variable s[8][1][3]
0.41/0.50	c remove useless variable s[8][1][4]
0.41/0.50	c remove useless variable s[8][1][5]
0.41/0.50	c remove useless variable s[8][1][6]
0.41/0.50	c remove useless variable s[8][1][7]
0.41/0.50	c remove useless variable s[8][1][8]
0.41/0.50	c remove useless variable s[8][1][9]
0.41/0.50	c remove useless variable s[8][1][10]
0.41/0.50	c remove useless variable s[8][1][11]
0.41/0.50	c remove useless variable s[8][1][12]
0.41/0.50	c remove useless variable s[8][1][13]
0.41/0.50	c remove useless variable s[8][1][14]
0.41/0.50	c remove useless variable s[8][1][15]
0.41/0.50	c remove useless variable s[8][1][16]
0.41/0.50	c remove useless variable s[8][1][17]
0.41/0.50	c remove useless variable s[8][1][18]
0.41/0.50	c remove useless variable s[8][1][19]
0.41/0.50	c remove useless variable s[8][1][20]
0.41/0.50	c remove useless variable s[8][1][21]
0.41/0.50	c remove useless variable s[8][2][0]
0.41/0.50	c remove useless variable s[8][2][1]
0.41/0.50	c remove useless variable s[8][2][2]
0.41/0.50	c remove useless variable s[8][2][3]
0.41/0.50	c remove useless variable s[8][2][4]
0.41/0.50	c remove useless variable s[8][2][5]
0.41/0.50	c remove useless variable s[8][2][6]
0.41/0.50	c remove useless variable s[8][2][7]
0.41/0.50	c remove useless variable s[8][2][8]
0.41/0.50	c remove useless variable s[8][2][9]
0.41/0.50	c remove useless variable s[8][2][10]
0.41/0.50	c remove useless variable s[8][2][11]
0.41/0.50	c remove useless variable s[8][2][12]
0.41/0.50	c remove useless variable s[8][2][13]
0.41/0.50	c remove useless variable s[8][2][14]
0.41/0.50	c remove useless variable s[8][2][15]
0.41/0.50	c remove useless variable s[8][2][16]
0.41/0.50	c remove useless variable s[8][2][17]
0.41/0.50	c remove useless variable s[8][2][18]
0.41/0.50	c remove useless variable s[8][2][19]
0.41/0.50	c remove useless variable s[8][2][20]
0.41/0.50	c remove useless variable s[8][2][21]
0.41/0.50	c remove useless variable s[8][3][0]
0.41/0.50	c remove useless variable s[8][3][1]
0.41/0.50	c remove useless variable s[8][3][2]
0.41/0.50	c remove useless variable s[8][3][3]
0.41/0.50	c remove useless variable s[8][3][4]
0.41/0.50	c remove useless variable s[8][3][5]
0.41/0.50	c remove useless variable s[8][3][6]
0.41/0.50	c remove useless variable s[8][3][7]
0.41/0.50	c remove useless variable s[8][3][8]
0.41/0.50	c remove useless variable s[8][3][9]
0.41/0.50	c remove useless variable s[8][3][10]
0.41/0.50	c remove useless variable s[8][3][11]
0.41/0.50	c remove useless variable s[8][3][12]
0.41/0.50	c remove useless variable s[8][3][13]
0.41/0.50	c remove useless variable s[8][3][14]
0.41/0.50	c remove useless variable s[8][3][15]
0.41/0.50	c remove useless variable s[8][3][16]
0.41/0.50	c remove useless variable s[8][3][17]
0.41/0.50	c remove useless variable s[8][3][18]
0.41/0.50	c remove useless variable s[8][3][19]
0.41/0.50	c remove useless variable s[8][3][20]
0.41/0.50	c remove useless variable s[8][3][21]
0.41/0.50	c remove useless variable s[8][4][0]
0.41/0.50	c remove useless variable s[8][4][1]
0.41/0.50	c remove useless variable s[8][4][2]
0.41/0.50	c remove useless variable s[8][4][3]
0.41/0.50	c remove useless variable s[8][4][4]
0.41/0.50	c remove useless variable s[8][4][5]
0.41/0.50	c remove useless variable s[8][4][6]
0.41/0.50	c remove useless variable s[8][4][7]
0.41/0.50	c remove useless variable s[8][4][8]
0.41/0.50	c remove useless variable s[8][4][9]
0.41/0.50	c remove useless variable s[8][4][10]
0.41/0.50	c remove useless variable s[8][4][11]
0.41/0.50	c remove useless variable s[8][4][12]
0.41/0.50	c remove useless variable s[8][4][13]
0.41/0.50	c remove useless variable s[8][4][14]
0.41/0.50	c remove useless variable s[8][4][15]
0.41/0.50	c remove useless variable s[8][4][16]
0.41/0.50	c remove useless variable s[8][4][17]
0.41/0.50	c remove useless variable s[8][4][18]
0.41/0.50	c remove useless variable s[8][4][19]
0.41/0.50	c remove useless variable s[8][4][20]
0.41/0.50	c remove useless variable s[8][4][21]
0.41/0.50	c remove useless variable s[8][5][0]
0.41/0.50	c remove useless variable s[8][5][1]
0.41/0.50	c remove useless variable s[8][5][2]
0.41/0.50	c remove useless variable s[8][5][3]
0.41/0.50	c remove useless variable s[8][5][4]
0.41/0.50	c remove useless variable s[8][5][5]
0.41/0.50	c remove useless variable s[8][5][6]
0.41/0.50	c remove useless variable s[8][5][7]
0.41/0.50	c remove useless variable s[8][5][8]
0.41/0.50	c remove useless variable s[8][5][9]
0.41/0.50	c remove useless variable s[8][5][10]
0.41/0.50	c remove useless variable s[8][5][11]
0.41/0.50	c remove useless variable s[8][5][12]
0.41/0.50	c remove useless variable s[8][5][13]
0.41/0.50	c remove useless variable s[8][5][14]
0.41/0.50	c remove useless variable s[8][5][15]
0.41/0.50	c remove useless variable s[8][5][16]
0.41/0.50	c remove useless variable s[8][5][17]
0.41/0.50	c remove useless variable s[8][5][18]
0.41/0.50	c remove useless variable s[8][5][19]
0.41/0.50	c remove useless variable s[8][5][20]
0.41/0.50	c remove useless variable s[8][5][21]
0.41/0.50	c remove useless variable s[8][6][0]
0.41/0.50	c remove useless variable s[8][6][1]
0.41/0.50	c remove useless variable s[8][6][2]
0.41/0.50	c remove useless variable s[8][6][3]
0.41/0.50	c remove useless variable s[8][6][4]
0.41/0.50	c remove useless variable s[8][6][5]
0.41/0.50	c remove useless variable s[8][6][6]
0.41/0.50	c remove useless variable s[8][6][7]
0.41/0.50	c remove useless variable s[8][6][8]
0.41/0.50	c remove useless variable s[8][6][9]
0.41/0.50	c remove useless variable s[8][6][10]
0.41/0.50	c remove useless variable s[8][6][11]
0.41/0.50	c remove useless variable s[8][6][12]
0.41/0.50	c remove useless variable s[8][6][13]
0.41/0.50	c remove useless variable s[8][6][14]
0.41/0.50	c remove useless variable s[8][6][15]
0.41/0.50	c remove useless variable s[8][6][16]
0.41/0.50	c remove useless variable s[8][6][17]
0.41/0.50	c remove useless variable s[8][6][18]
0.41/0.50	c remove useless variable s[8][6][19]
0.41/0.50	c remove useless variable s[8][6][20]
0.41/0.50	c remove useless variable s[8][6][21]
0.41/0.50	c remove useless variable s[8][7][0]
0.41/0.50	c remove useless variable s[8][7][1]
0.41/0.50	c remove useless variable s[8][7][2]
0.41/0.50	c remove useless variable s[8][7][3]
0.41/0.50	c remove useless variable s[8][7][4]
0.41/0.50	c remove useless variable s[8][7][5]
0.41/0.50	c remove useless variable s[8][7][6]
0.41/0.50	c remove useless variable s[8][7][7]
0.41/0.50	c remove useless variable s[8][7][8]
0.41/0.50	c remove useless variable s[8][7][9]
0.41/0.50	c remove useless variable s[8][7][10]
0.41/0.50	c remove useless variable s[8][7][11]
0.41/0.50	c remove useless variable s[8][7][12]
0.41/0.50	c remove useless variable s[8][7][13]
0.41/0.50	c remove useless variable s[8][7][14]
0.41/0.50	c remove useless variable s[8][7][15]
0.41/0.50	c remove useless variable s[8][7][16]
0.41/0.50	c remove useless variable s[8][7][17]
0.41/0.50	c remove useless variable s[8][7][18]
0.41/0.50	c remove useless variable s[8][7][19]
0.41/0.50	c remove useless variable s[8][7][20]
0.41/0.50	c remove useless variable s[8][7][21]
0.41/0.50	c remove useless variable s[8][8][0]
0.41/0.50	c remove useless variable s[8][8][1]
0.41/0.50	c remove useless variable s[8][8][2]
0.41/0.50	c remove useless variable s[8][8][3]
0.41/0.50	c remove useless variable s[8][8][4]
0.41/0.50	c remove useless variable s[8][8][5]
0.41/0.50	c remove useless variable s[8][8][6]
0.41/0.50	c remove useless variable s[8][8][7]
0.41/0.50	c remove useless variable s[8][8][8]
0.41/0.50	c remove useless variable s[8][8][9]
0.41/0.50	c remove useless variable s[8][8][10]
0.41/0.50	c remove useless variable s[8][8][11]
0.41/0.50	c remove useless variable s[8][8][12]
0.41/0.50	c remove useless variable s[8][8][13]
0.41/0.50	c remove useless variable s[8][8][14]
0.41/0.50	c remove useless variable s[8][8][15]
0.41/0.50	c remove useless variable s[8][8][16]
0.41/0.50	c remove useless variable s[8][8][17]
0.41/0.50	c remove useless variable s[8][8][18]
0.41/0.50	c remove useless variable s[8][8][19]
0.41/0.50	c remove useless variable s[8][8][20]
0.41/0.50	c remove useless variable s[8][8][21]
0.41/0.50	c remove useless variable s[9][0][0]
0.41/0.50	c remove useless variable s[9][0][1]
0.41/0.50	c remove useless variable s[9][0][2]
0.41/0.50	c remove useless variable s[9][0][3]
0.41/0.50	c remove useless variable s[9][0][4]
0.41/0.50	c remove useless variable s[9][0][5]
0.41/0.50	c remove useless variable s[9][0][6]
0.41/0.50	c remove useless variable s[9][0][7]
0.41/0.50	c remove useless variable s[9][0][8]
0.41/0.50	c remove useless variable s[9][0][9]
0.41/0.50	c remove useless variable s[9][0][10]
0.41/0.50	c remove useless variable s[9][0][11]
0.41/0.50	c remove useless variable s[9][0][12]
0.41/0.50	c remove useless variable s[9][0][13]
0.41/0.50	c remove useless variable s[9][0][14]
0.41/0.50	c remove useless variable s[9][0][15]
0.41/0.50	c remove useless variable s[9][0][16]
0.41/0.50	c remove useless variable s[9][0][17]
0.41/0.50	c remove useless variable s[9][0][18]
0.41/0.50	c remove useless variable s[9][0][19]
0.41/0.50	c remove useless variable s[9][0][20]
0.41/0.50	c remove useless variable s[9][0][21]
0.41/0.50	c remove useless variable s[9][1][0]
0.41/0.50	c remove useless variable s[9][1][1]
0.41/0.50	c remove useless variable s[9][1][2]
0.41/0.50	c remove useless variable s[9][1][3]
0.41/0.50	c remove useless variable s[9][1][4]
0.41/0.50	c remove useless variable s[9][1][5]
0.41/0.50	c remove useless variable s[9][1][6]
0.41/0.50	c remove useless variable s[9][1][7]
0.41/0.50	c remove useless variable s[9][1][8]
0.41/0.50	c remove useless variable s[9][1][9]
0.41/0.50	c remove useless variable s[9][1][10]
0.41/0.50	c remove useless variable s[9][1][11]
0.41/0.50	c remove useless variable s[9][1][12]
0.41/0.50	c remove useless variable s[9][1][13]
0.41/0.50	c remove useless variable s[9][1][14]
0.41/0.50	c remove useless variable s[9][1][15]
0.41/0.50	c remove useless variable s[9][1][16]
0.41/0.50	c remove useless variable s[9][1][17]
0.41/0.50	c remove useless variable s[9][1][18]
0.41/0.50	c remove useless variable s[9][1][19]
0.41/0.50	c remove useless variable s[9][1][20]
0.41/0.50	c remove useless variable s[9][1][21]
0.41/0.50	c remove useless variable s[9][2][0]
0.41/0.50	c remove useless variable s[9][2][1]
0.41/0.50	c remove useless variable s[9][2][2]
0.41/0.50	c remove useless variable s[9][2][3]
0.41/0.50	c remove useless variable s[9][2][4]
0.41/0.50	c remove useless variable s[9][2][5]
0.41/0.50	c remove useless variable s[9][2][6]
0.41/0.50	c remove useless variable s[9][2][7]
0.41/0.50	c remove useless variable s[9][2][8]
0.41/0.50	c remove useless variable s[9][2][9]
0.41/0.50	c remove useless variable s[9][2][10]
0.41/0.50	c remove useless variable s[9][2][11]
0.41/0.50	c remove useless variable s[9][2][12]
0.41/0.50	c remove useless variable s[9][2][13]
0.41/0.50	c remove useless variable s[9][2][14]
0.41/0.50	c remove useless variable s[9][2][15]
0.41/0.50	c remove useless variable s[9][2][16]
0.41/0.50	c remove useless variable s[9][2][17]
0.41/0.50	c remove useless variable s[9][2][18]
0.41/0.50	c remove useless variable s[9][2][19]
0.41/0.50	c remove useless variable s[9][2][20]
0.41/0.50	c remove useless variable s[9][2][21]
0.41/0.50	c remove useless variable s[9][3][0]
0.41/0.50	c remove useless variable s[9][3][1]
0.41/0.50	c remove useless variable s[9][3][2]
0.41/0.50	c remove useless variable s[9][3][3]
0.41/0.50	c remove useless variable s[9][3][4]
0.41/0.50	c remove useless variable s[9][3][5]
0.41/0.50	c remove useless variable s[9][3][6]
0.41/0.50	c remove useless variable s[9][3][7]
0.41/0.50	c remove useless variable s[9][3][8]
0.41/0.50	c remove useless variable s[9][3][9]
0.41/0.50	c remove useless variable s[9][3][10]
0.41/0.50	c remove useless variable s[9][3][11]
0.41/0.50	c remove useless variable s[9][3][12]
0.41/0.50	c remove useless variable s[9][3][13]
0.41/0.50	c remove useless variable s[9][3][14]
0.41/0.50	c remove useless variable s[9][3][15]
0.41/0.50	c remove useless variable s[9][3][16]
0.41/0.50	c remove useless variable s[9][3][17]
0.41/0.50	c remove useless variable s[9][3][18]
0.41/0.50	c remove useless variable s[9][3][19]
0.41/0.50	c remove useless variable s[9][3][20]
0.41/0.50	c remove useless variable s[9][3][21]
0.41/0.50	c remove useless variable s[9][4][0]
0.41/0.50	c remove useless variable s[9][4][1]
0.41/0.50	c remove useless variable s[9][4][2]
0.41/0.50	c remove useless variable s[9][4][3]
0.41/0.50	c remove useless variable s[9][4][4]
0.41/0.50	c remove useless variable s[9][4][5]
0.41/0.50	c remove useless variable s[9][4][6]
0.41/0.50	c remove useless variable s[9][4][7]
0.41/0.50	c remove useless variable s[9][4][8]
0.41/0.50	c remove useless variable s[9][4][9]
0.41/0.50	c remove useless variable s[9][4][10]
0.41/0.50	c remove useless variable s[9][4][11]
0.41/0.50	c remove useless variable s[9][4][12]
0.41/0.50	c remove useless variable s[9][4][13]
0.41/0.50	c remove useless variable s[9][4][14]
0.41/0.50	c remove useless variable s[9][4][15]
0.41/0.50	c remove useless variable s[9][4][16]
0.41/0.50	c remove useless variable s[9][4][17]
0.41/0.50	c remove useless variable s[9][4][18]
0.41/0.50	c remove useless variable s[9][4][19]
0.41/0.50	c remove useless variable s[9][4][20]
0.41/0.50	c remove useless variable s[9][4][21]
0.41/0.50	c remove useless variable s[9][5][0]
0.41/0.50	c remove useless variable s[9][5][1]
0.41/0.50	c remove useless variable s[9][5][2]
0.41/0.50	c remove useless variable s[9][5][3]
0.41/0.50	c remove useless variable s[9][5][4]
0.41/0.50	c remove useless variable s[9][5][5]
0.41/0.50	c remove useless variable s[9][5][6]
0.41/0.50	c remove useless variable s[9][5][7]
0.41/0.50	c remove useless variable s[9][5][8]
0.41/0.50	c remove useless variable s[9][5][9]
0.41/0.50	c remove useless variable s[9][5][10]
0.41/0.50	c remove useless variable s[9][5][11]
0.41/0.50	c remove useless variable s[9][5][12]
0.41/0.50	c remove useless variable s[9][5][13]
0.41/0.50	c remove useless variable s[9][5][14]
0.41/0.50	c remove useless variable s[9][5][15]
0.41/0.50	c remove useless variable s[9][5][16]
0.41/0.50	c remove useless variable s[9][5][17]
0.41/0.50	c remove useless variable s[9][5][18]
0.41/0.50	c remove useless variable s[9][5][19]
0.41/0.50	c remove useless variable s[9][5][20]
0.41/0.50	c remove useless variable s[9][5][21]
0.41/0.50	c remove useless variable s[9][6][0]
0.41/0.50	c remove useless variable s[9][6][1]
0.41/0.50	c remove useless variable s[9][6][2]
0.41/0.50	c remove useless variable s[9][6][3]
0.41/0.50	c remove useless variable s[9][6][4]
0.41/0.50	c remove useless variable s[9][6][5]
0.41/0.50	c remove useless variable s[9][6][6]
0.41/0.50	c remove useless variable s[9][6][7]
0.41/0.50	c remove useless variable s[9][6][8]
0.41/0.50	c remove useless variable s[9][6][9]
0.41/0.50	c remove useless variable s[9][6][10]
0.41/0.50	c remove useless variable s[9][6][11]
0.41/0.50	c remove useless variable s[9][6][12]
0.41/0.50	c remove useless variable s[9][6][13]
0.41/0.50	c remove useless variable s[9][6][14]
0.41/0.50	c remove useless variable s[9][6][15]
0.41/0.50	c remove useless variable s[9][6][16]
0.41/0.50	c remove useless variable s[9][6][17]
0.41/0.50	c remove useless variable s[9][6][18]
0.41/0.50	c remove useless variable s[9][6][19]
0.41/0.50	c remove useless variable s[9][6][20]
0.41/0.50	c remove useless variable s[9][6][21]
0.41/0.50	c remove useless variable s[9][7][0]
0.41/0.50	c remove useless variable s[9][7][1]
0.41/0.50	c remove useless variable s[9][7][2]
0.41/0.50	c remove useless variable s[9][7][3]
0.41/0.50	c remove useless variable s[9][7][4]
0.41/0.50	c remove useless variable s[9][7][5]
0.41/0.50	c remove useless variable s[9][7][6]
0.41/0.50	c remove useless variable s[9][7][7]
0.41/0.50	c remove useless variable s[9][7][8]
0.41/0.50	c remove useless variable s[9][7][9]
0.41/0.50	c remove useless variable s[9][7][10]
0.41/0.50	c remove useless variable s[9][7][11]
0.41/0.50	c remove useless variable s[9][7][12]
0.41/0.50	c remove useless variable s[9][7][13]
0.41/0.50	c remove useless variable s[9][7][14]
0.41/0.50	c remove useless variable s[9][7][15]
0.41/0.50	c remove useless variable s[9][7][16]
0.41/0.50	c remove useless variable s[9][7][17]
0.41/0.50	c remove useless variable s[9][7][18]
0.41/0.50	c remove useless variable s[9][7][19]
0.41/0.50	c remove useless variable s[9][7][20]
0.41/0.50	c remove useless variable s[9][7][21]
0.41/0.50	c remove useless variable s[9][8][0]
0.41/0.50	c remove useless variable s[9][8][1]
0.41/0.50	c remove useless variable s[9][8][2]
0.41/0.50	c remove useless variable s[9][8][3]
0.41/0.50	c remove useless variable s[9][8][4]
0.41/0.50	c remove useless variable s[9][8][5]
0.41/0.50	c remove useless variable s[9][8][6]
0.41/0.50	c remove useless variable s[9][8][7]
0.41/0.50	c remove useless variable s[9][8][8]
0.41/0.50	c remove useless variable s[9][8][9]
0.41/0.50	c remove useless variable s[9][8][10]
0.41/0.50	c remove useless variable s[9][8][11]
0.41/0.50	c remove useless variable s[9][8][12]
0.41/0.50	c remove useless variable s[9][8][13]
0.41/0.50	c remove useless variable s[9][8][14]
0.41/0.50	c remove useless variable s[9][8][15]
0.41/0.50	c remove useless variable s[9][8][16]
0.41/0.50	c remove useless variable s[9][8][17]
0.41/0.50	c remove useless variable s[9][8][18]
0.41/0.50	c remove useless variable s[9][8][19]
0.41/0.50	c remove useless variable s[9][8][20]
0.41/0.50	c remove useless variable s[9][8][21]
0.41/0.50	c remove useless variable s[9][9][0]
0.41/0.50	c remove useless variable s[9][9][1]
0.41/0.50	c remove useless variable s[9][9][2]
0.41/0.50	c remove useless variable s[9][9][3]
0.41/0.50	c remove useless variable s[9][9][4]
0.41/0.50	c remove useless variable s[9][9][5]
0.41/0.50	c remove useless variable s[9][9][6]
0.41/0.50	c remove useless variable s[9][9][7]
0.41/0.50	c remove useless variable s[9][9][8]
0.41/0.50	c remove useless variable s[9][9][9]
0.41/0.50	c remove useless variable s[9][9][10]
0.41/0.50	c remove useless variable s[9][9][11]
0.41/0.50	c remove useless variable s[9][9][12]
0.41/0.50	c remove useless variable s[9][9][13]
0.41/0.50	c remove useless variable s[9][9][14]
0.41/0.50	c remove useless variable s[9][9][15]
0.41/0.50	c remove useless variable s[9][9][16]
0.41/0.50	c remove useless variable s[9][9][17]
0.41/0.50	c remove useless variable s[9][9][18]
0.41/0.50	c remove useless variable s[9][9][19]
0.41/0.50	c remove useless variable s[9][9][20]
0.41/0.50	c remove useless variable s[9][9][21]
0.41/0.50	c remove useless variable s[10][0][0]
0.41/0.50	c remove useless variable s[10][0][1]
0.41/0.50	c remove useless variable s[10][0][2]
0.41/0.50	c remove useless variable s[10][0][3]
0.41/0.50	c remove useless variable s[10][0][4]
0.41/0.50	c remove useless variable s[10][0][5]
0.41/0.50	c remove useless variable s[10][0][6]
0.41/0.50	c remove useless variable s[10][0][7]
0.41/0.50	c remove useless variable s[10][0][8]
0.41/0.50	c remove useless variable s[10][0][9]
0.41/0.50	c remove useless variable s[10][0][10]
0.41/0.50	c remove useless variable s[10][0][11]
0.41/0.50	c remove useless variable s[10][0][12]
0.41/0.50	c remove useless variable s[10][0][13]
0.41/0.50	c remove useless variable s[10][0][14]
0.41/0.50	c remove useless variable s[10][0][15]
0.41/0.50	c remove useless variable s[10][0][16]
0.41/0.50	c remove useless variable s[10][0][17]
0.41/0.50	c remove useless variable s[10][0][18]
0.41/0.50	c remove useless variable s[10][0][19]
0.41/0.50	c remove useless variable s[10][0][20]
0.41/0.50	c remove useless variable s[10][0][21]
0.41/0.50	c remove useless variable s[10][1][0]
0.41/0.50	c remove useless variable s[10][1][1]
0.41/0.50	c remove useless variable s[10][1][2]
0.41/0.50	c remove useless variable s[10][1][3]
0.41/0.50	c remove useless variable s[10][1][4]
0.41/0.50	c remove useless variable s[10][1][5]
0.41/0.50	c remove useless variable s[10][1][6]
0.41/0.50	c remove useless variable s[10][1][7]
0.41/0.50	c remove useless variable s[10][1][8]
0.41/0.50	c remove useless variable s[10][1][9]
0.41/0.50	c remove useless variable s[10][1][10]
0.41/0.50	c remove useless variable s[10][1][11]
0.41/0.50	c remove useless variable s[10][1][12]
0.41/0.50	c remove useless variable s[10][1][13]
0.41/0.50	c remove useless variable s[10][1][14]
0.41/0.50	c remove useless variable s[10][1][15]
0.41/0.50	c remove useless variable s[10][1][16]
0.41/0.50	c remove useless variable s[10][1][17]
0.41/0.50	c remove useless variable s[10][1][18]
0.41/0.50	c remove useless variable s[10][1][19]
0.41/0.50	c remove useless variable s[10][1][20]
0.41/0.50	c remove useless variable s[10][1][21]
0.41/0.50	c remove useless variable s[10][2][0]
0.41/0.50	c remove useless variable s[10][2][1]
0.41/0.50	c remove useless variable s[10][2][2]
0.41/0.50	c remove useless variable s[10][2][3]
0.41/0.50	c remove useless variable s[10][2][4]
0.41/0.50	c remove useless variable s[10][2][5]
0.41/0.50	c remove useless variable s[10][2][6]
0.41/0.50	c remove useless variable s[10][2][7]
0.41/0.50	c remove useless variable s[10][2][8]
0.41/0.50	c remove useless variable s[10][2][9]
0.41/0.50	c remove useless variable s[10][2][10]
0.41/0.50	c remove useless variable s[10][2][11]
0.41/0.50	c remove useless variable s[10][2][12]
0.41/0.50	c remove useless variable s[10][2][13]
0.41/0.50	c remove useless variable s[10][2][14]
0.41/0.50	c remove useless variable s[10][2][15]
0.41/0.50	c remove useless variable s[10][2][16]
0.41/0.50	c remove useless variable s[10][2][17]
0.41/0.50	c remove useless variable s[10][2][18]
0.41/0.50	c remove useless variable s[10][2][19]
0.41/0.50	c remove useless variable s[10][2][20]
0.41/0.50	c remove useless variable s[10][2][21]
0.41/0.50	c remove useless variable s[10][3][0]
0.41/0.50	c remove useless variable s[10][3][1]
0.41/0.50	c remove useless variable s[10][3][2]
0.41/0.50	c remove useless variable s[10][3][3]
0.41/0.50	c remove useless variable s[10][3][4]
0.41/0.50	c remove useless variable s[10][3][5]
0.41/0.50	c remove useless variable s[10][3][6]
0.41/0.50	c remove useless variable s[10][3][7]
0.41/0.50	c remove useless variable s[10][3][8]
0.41/0.50	c remove useless variable s[10][3][9]
0.41/0.50	c remove useless variable s[10][3][10]
0.41/0.50	c remove useless variable s[10][3][11]
0.41/0.50	c remove useless variable s[10][3][12]
0.41/0.50	c remove useless variable s[10][3][13]
0.41/0.50	c remove useless variable s[10][3][14]
0.41/0.50	c remove useless variable s[10][3][15]
0.41/0.50	c remove useless variable s[10][3][16]
0.41/0.50	c remove useless variable s[10][3][17]
0.41/0.50	c remove useless variable s[10][3][18]
0.41/0.50	c remove useless variable s[10][3][19]
0.41/0.50	c remove useless variable s[10][3][20]
0.41/0.50	c remove useless variable s[10][3][21]
0.41/0.50	c remove useless variable s[10][4][0]
0.41/0.50	c remove useless variable s[10][4][1]
0.41/0.50	c remove useless variable s[10][4][2]
0.41/0.50	c remove useless variable s[10][4][3]
0.41/0.50	c remove useless variable s[10][4][4]
0.41/0.50	c remove useless variable s[10][4][5]
0.41/0.50	c remove useless variable s[10][4][6]
0.41/0.50	c remove useless variable s[10][4][7]
0.41/0.50	c remove useless variable s[10][4][8]
0.41/0.50	c remove useless variable s[10][4][9]
0.41/0.50	c remove useless variable s[10][4][10]
0.41/0.50	c remove useless variable s[10][4][11]
0.41/0.50	c remove useless variable s[10][4][12]
0.41/0.50	c remove useless variable s[10][4][13]
0.41/0.50	c remove useless variable s[10][4][14]
0.41/0.50	c remove useless variable s[10][4][15]
0.41/0.50	c remove useless variable s[10][4][16]
0.41/0.50	c remove useless variable s[10][4][17]
0.41/0.50	c remove useless variable s[10][4][18]
0.41/0.50	c remove useless variable s[10][4][19]
0.41/0.50	c remove useless variable s[10][4][20]
0.41/0.50	c remove useless variable s[10][4][21]
0.41/0.50	c remove useless variable s[10][5][0]
0.41/0.50	c remove useless variable s[10][5][1]
0.41/0.50	c remove useless variable s[10][5][2]
0.41/0.50	c remove useless variable s[10][5][3]
0.41/0.50	c remove useless variable s[10][5][4]
0.41/0.50	c remove useless variable s[10][5][5]
0.41/0.50	c remove useless variable s[10][5][6]
0.41/0.50	c remove useless variable s[10][5][7]
0.41/0.50	c remove useless variable s[10][5][8]
0.41/0.50	c remove useless variable s[10][5][9]
0.41/0.50	c remove useless variable s[10][5][10]
0.41/0.50	c remove useless variable s[10][5][11]
0.41/0.50	c remove useless variable s[10][5][12]
0.41/0.50	c remove useless variable s[10][5][13]
0.41/0.50	c remove useless variable s[10][5][14]
0.41/0.50	c remove useless variable s[10][5][15]
0.41/0.50	c remove useless variable s[10][5][16]
0.41/0.50	c remove useless variable s[10][5][17]
0.41/0.50	c remove useless variable s[10][5][18]
0.41/0.50	c remove useless variable s[10][5][19]
0.41/0.50	c remove useless variable s[10][5][20]
0.41/0.50	c remove useless variable s[10][5][21]
0.41/0.50	c remove useless variable s[10][6][0]
0.41/0.50	c remove useless variable s[10][6][1]
0.41/0.50	c remove useless variable s[10][6][2]
0.41/0.50	c remove useless variable s[10][6][3]
0.41/0.50	c remove useless variable s[10][6][4]
0.41/0.50	c remove useless variable s[10][6][5]
0.41/0.50	c remove useless variable s[10][6][6]
0.41/0.50	c remove useless variable s[10][6][7]
0.41/0.50	c remove useless variable s[10][6][8]
0.41/0.50	c remove useless variable s[10][6][9]
0.41/0.50	c remove useless variable s[10][6][10]
0.41/0.50	c remove useless variable s[10][6][11]
0.41/0.50	c remove useless variable s[10][6][12]
0.41/0.50	c remove useless variable s[10][6][13]
0.41/0.50	c remove useless variable s[10][6][14]
0.41/0.50	c remove useless variable s[10][6][15]
0.41/0.50	c remove useless variable s[10][6][16]
0.41/0.50	c remove useless variable s[10][6][17]
0.41/0.50	c remove useless variable s[10][6][18]
0.41/0.50	c remove useless variable s[10][6][19]
0.41/0.50	c remove useless variable s[10][6][20]
0.41/0.50	c remove useless variable s[10][6][21]
0.41/0.50	c remove useless variable s[10][7][0]
0.41/0.50	c remove useless variable s[10][7][1]
0.41/0.50	c remove useless variable s[10][7][2]
0.41/0.50	c remove useless variable s[10][7][3]
0.41/0.50	c remove useless variable s[10][7][4]
0.41/0.50	c remove useless variable s[10][7][5]
0.41/0.50	c remove useless variable s[10][7][6]
0.41/0.50	c remove useless variable s[10][7][7]
0.41/0.50	c remove useless variable s[10][7][8]
0.41/0.50	c remove useless variable s[10][7][9]
0.41/0.50	c remove useless variable s[10][7][10]
0.41/0.50	c remove useless variable s[10][7][11]
0.41/0.50	c remove useless variable s[10][7][12]
0.41/0.50	c remove useless variable s[10][7][13]
0.41/0.50	c remove useless variable s[10][7][14]
0.41/0.50	c remove useless variable s[10][7][15]
0.41/0.50	c remove useless variable s[10][7][16]
0.41/0.50	c remove useless variable s[10][7][17]
0.41/0.50	c remove useless variable s[10][7][18]
0.41/0.50	c remove useless variable s[10][7][19]
0.41/0.50	c remove useless variable s[10][7][20]
0.41/0.51	c remove useless variable s[10][7][21]
0.41/0.51	c remove useless variable s[10][8][0]
0.41/0.51	c remove useless variable s[10][8][1]
0.41/0.51	c remove useless variable s[10][8][2]
0.41/0.51	c remove useless variable s[10][8][3]
0.41/0.51	c remove useless variable s[10][8][4]
0.41/0.51	c remove useless variable s[10][8][5]
0.41/0.51	c remove useless variable s[10][8][6]
0.41/0.51	c remove useless variable s[10][8][7]
0.41/0.51	c remove useless variable s[10][8][8]
0.41/0.51	c remove useless variable s[10][8][9]
0.41/0.51	c remove useless variable s[10][8][10]
0.41/0.51	c remove useless variable s[10][8][11]
0.41/0.51	c remove useless variable s[10][8][12]
0.41/0.51	c remove useless variable s[10][8][13]
0.41/0.51	c remove useless variable s[10][8][14]
0.41/0.51	c remove useless variable s[10][8][15]
0.41/0.51	c remove useless variable s[10][8][16]
0.41/0.51	c remove useless variable s[10][8][17]
0.41/0.51	c remove useless variable s[10][8][18]
0.41/0.51	c remove useless variable s[10][8][19]
0.41/0.51	c remove useless variable s[10][8][20]
0.41/0.51	c remove useless variable s[10][8][21]
0.41/0.51	c remove useless variable s[10][9][0]
0.41/0.51	c remove useless variable s[10][9][1]
0.41/0.51	c remove useless variable s[10][9][2]
0.41/0.51	c remove useless variable s[10][9][3]
0.41/0.51	c remove useless variable s[10][9][4]
0.41/0.51	c remove useless variable s[10][9][5]
0.41/0.51	c remove useless variable s[10][9][6]
0.41/0.51	c remove useless variable s[10][9][7]
0.41/0.51	c remove useless variable s[10][9][8]
0.41/0.51	c remove useless variable s[10][9][9]
0.41/0.51	c remove useless variable s[10][9][10]
0.41/0.51	c remove useless variable s[10][9][11]
0.41/0.51	c remove useless variable s[10][9][12]
0.41/0.51	c remove useless variable s[10][9][13]
0.41/0.51	c remove useless variable s[10][9][14]
0.41/0.51	c remove useless variable s[10][9][15]
0.41/0.51	c remove useless variable s[10][9][16]
0.41/0.51	c remove useless variable s[10][9][17]
0.41/0.51	c remove useless variable s[10][9][18]
0.41/0.51	c remove useless variable s[10][9][19]
0.41/0.51	c remove useless variable s[10][9][20]
0.41/0.51	c remove useless variable s[10][9][21]
0.41/0.51	c remove useless variable s[10][10][0]
0.41/0.51	c remove useless variable s[10][10][1]
0.41/0.51	c remove useless variable s[10][10][2]
0.41/0.51	c remove useless variable s[10][10][3]
0.41/0.51	c remove useless variable s[10][10][4]
0.41/0.51	c remove useless variable s[10][10][5]
0.41/0.51	c remove useless variable s[10][10][6]
0.41/0.51	c remove useless variable s[10][10][7]
0.41/0.51	c remove useless variable s[10][10][8]
0.41/0.51	c remove useless variable s[10][10][9]
0.41/0.51	c remove useless variable s[10][10][10]
0.41/0.51	c remove useless variable s[10][10][11]
0.41/0.51	c remove useless variable s[10][10][12]
0.41/0.51	c remove useless variable s[10][10][13]
0.41/0.51	c remove useless variable s[10][10][14]
0.41/0.51	c remove useless variable s[10][10][15]
0.41/0.51	c remove useless variable s[10][10][16]
0.41/0.51	c remove useless variable s[10][10][17]
0.41/0.51	c remove useless variable s[10][10][18]
0.41/0.51	c remove useless variable s[10][10][19]
0.41/0.51	c remove useless variable s[10][10][20]
0.41/0.51	c remove useless variable s[10][10][21]
0.41/0.51	c remove useless variable s[11][0][0]
0.41/0.51	c remove useless variable s[11][0][1]
0.41/0.51	c remove useless variable s[11][0][2]
0.41/0.51	c remove useless variable s[11][0][3]
0.41/0.51	c remove useless variable s[11][0][4]
0.41/0.51	c remove useless variable s[11][0][5]
0.41/0.51	c remove useless variable s[11][0][6]
0.41/0.51	c remove useless variable s[11][0][7]
0.41/0.51	c remove useless variable s[11][0][8]
0.41/0.51	c remove useless variable s[11][0][9]
0.41/0.51	c remove useless variable s[11][0][10]
0.41/0.51	c remove useless variable s[11][0][11]
0.41/0.51	c remove useless variable s[11][0][12]
0.41/0.51	c remove useless variable s[11][0][13]
0.41/0.51	c remove useless variable s[11][0][14]
0.41/0.51	c remove useless variable s[11][0][15]
0.41/0.51	c remove useless variable s[11][0][16]
0.41/0.51	c remove useless variable s[11][0][17]
0.41/0.51	c remove useless variable s[11][0][18]
0.41/0.51	c remove useless variable s[11][0][19]
0.41/0.51	c remove useless variable s[11][0][20]
0.41/0.51	c remove useless variable s[11][0][21]
0.41/0.51	c remove useless variable s[11][1][0]
0.41/0.51	c remove useless variable s[11][1][1]
0.41/0.51	c remove useless variable s[11][1][2]
0.41/0.51	c remove useless variable s[11][1][3]
0.41/0.51	c remove useless variable s[11][1][4]
0.41/0.51	c remove useless variable s[11][1][5]
0.41/0.51	c remove useless variable s[11][1][6]
0.41/0.51	c remove useless variable s[11][1][7]
0.41/0.51	c remove useless variable s[11][1][8]
0.41/0.51	c remove useless variable s[11][1][9]
0.41/0.51	c remove useless variable s[11][1][10]
0.41/0.51	c remove useless variable s[11][1][11]
0.41/0.51	c remove useless variable s[11][1][12]
0.41/0.51	c remove useless variable s[11][1][13]
0.41/0.51	c remove useless variable s[11][1][14]
0.41/0.51	c remove useless variable s[11][1][15]
0.41/0.51	c remove useless variable s[11][1][16]
0.41/0.51	c remove useless variable s[11][1][17]
0.41/0.51	c remove useless variable s[11][1][18]
0.41/0.51	c remove useless variable s[11][1][19]
0.41/0.51	c remove useless variable s[11][1][20]
0.41/0.51	c remove useless variable s[11][1][21]
0.41/0.51	c remove useless variable s[11][2][0]
0.41/0.51	c remove useless variable s[11][2][1]
0.41/0.51	c remove useless variable s[11][2][2]
0.41/0.51	c remove useless variable s[11][2][3]
0.41/0.51	c remove useless variable s[11][2][4]
0.41/0.51	c remove useless variable s[11][2][5]
0.41/0.51	c remove useless variable s[11][2][6]
0.41/0.51	c remove useless variable s[11][2][7]
0.41/0.51	c remove useless variable s[11][2][8]
0.41/0.51	c remove useless variable s[11][2][9]
0.41/0.51	c remove useless variable s[11][2][10]
0.41/0.51	c remove useless variable s[11][2][11]
0.41/0.51	c remove useless variable s[11][2][12]
0.41/0.51	c remove useless variable s[11][2][13]
0.41/0.51	c remove useless variable s[11][2][14]
0.41/0.51	c remove useless variable s[11][2][15]
0.41/0.51	c remove useless variable s[11][2][16]
0.41/0.51	c remove useless variable s[11][2][17]
0.41/0.51	c remove useless variable s[11][2][18]
0.41/0.51	c remove useless variable s[11][2][19]
0.41/0.51	c remove useless variable s[11][2][20]
0.41/0.51	c remove useless variable s[11][2][21]
0.41/0.51	c remove useless variable s[11][3][0]
0.41/0.51	c remove useless variable s[11][3][1]
0.41/0.51	c remove useless variable s[11][3][2]
0.41/0.51	c remove useless variable s[11][3][3]
0.41/0.51	c remove useless variable s[11][3][4]
0.41/0.51	c remove useless variable s[11][3][5]
0.41/0.51	c remove useless variable s[11][3][6]
0.41/0.51	c remove useless variable s[11][3][7]
0.41/0.51	c remove useless variable s[11][3][8]
0.41/0.51	c remove useless variable s[11][3][9]
0.41/0.51	c remove useless variable s[11][3][10]
0.41/0.51	c remove useless variable s[11][3][11]
0.41/0.51	c remove useless variable s[11][3][12]
0.41/0.51	c remove useless variable s[11][3][13]
0.41/0.51	c remove useless variable s[11][3][14]
0.41/0.51	c remove useless variable s[11][3][15]
0.41/0.51	c remove useless variable s[11][3][16]
0.41/0.51	c remove useless variable s[11][3][17]
0.41/0.51	c remove useless variable s[11][3][18]
0.41/0.51	c remove useless variable s[11][3][19]
0.41/0.51	c remove useless variable s[11][3][20]
0.41/0.51	c remove useless variable s[11][3][21]
0.41/0.51	c remove useless variable s[11][4][0]
0.41/0.51	c remove useless variable s[11][4][1]
0.41/0.51	c remove useless variable s[11][4][2]
0.41/0.51	c remove useless variable s[11][4][3]
0.41/0.51	c remove useless variable s[11][4][4]
0.41/0.51	c remove useless variable s[11][4][5]
0.41/0.51	c remove useless variable s[11][4][6]
0.41/0.51	c remove useless variable s[11][4][7]
0.41/0.51	c remove useless variable s[11][4][8]
0.41/0.51	c remove useless variable s[11][4][9]
0.41/0.51	c remove useless variable s[11][4][10]
0.41/0.51	c remove useless variable s[11][4][11]
0.41/0.51	c remove useless variable s[11][4][12]
0.41/0.51	c remove useless variable s[11][4][13]
0.41/0.51	c remove useless variable s[11][4][14]
0.41/0.51	c remove useless variable s[11][4][15]
0.41/0.51	c remove useless variable s[11][4][16]
0.41/0.51	c remove useless variable s[11][4][17]
0.41/0.51	c remove useless variable s[11][4][18]
0.41/0.51	c remove useless variable s[11][4][19]
0.41/0.51	c remove useless variable s[11][4][20]
0.41/0.51	c remove useless variable s[11][4][21]
0.41/0.51	c remove useless variable s[11][5][0]
0.41/0.51	c remove useless variable s[11][5][1]
0.41/0.51	c remove useless variable s[11][5][2]
0.41/0.51	c remove useless variable s[11][5][3]
0.41/0.51	c remove useless variable s[11][5][4]
0.41/0.51	c remove useless variable s[11][5][5]
0.41/0.51	c remove useless variable s[11][5][6]
0.41/0.51	c remove useless variable s[11][5][7]
0.41/0.51	c remove useless variable s[11][5][8]
0.41/0.51	c remove useless variable s[11][5][9]
0.41/0.51	c remove useless variable s[11][5][10]
0.41/0.51	c remove useless variable s[11][5][11]
0.41/0.51	c remove useless variable s[11][5][12]
0.41/0.51	c remove useless variable s[11][5][13]
0.41/0.51	c remove useless variable s[11][5][14]
0.41/0.51	c remove useless variable s[11][5][15]
0.41/0.51	c remove useless variable s[11][5][16]
0.41/0.51	c remove useless variable s[11][5][17]
0.41/0.51	c remove useless variable s[11][5][18]
0.41/0.51	c remove useless variable s[11][5][19]
0.41/0.51	c remove useless variable s[11][5][20]
0.41/0.51	c remove useless variable s[11][5][21]
0.41/0.51	c remove useless variable s[11][6][0]
0.41/0.51	c remove useless variable s[11][6][1]
0.41/0.51	c remove useless variable s[11][6][2]
0.41/0.51	c remove useless variable s[11][6][3]
0.41/0.51	c remove useless variable s[11][6][4]
0.41/0.51	c remove useless variable s[11][6][5]
0.41/0.51	c remove useless variable s[11][6][6]
0.41/0.51	c remove useless variable s[11][6][7]
0.41/0.51	c remove useless variable s[11][6][8]
0.41/0.51	c remove useless variable s[11][6][9]
0.41/0.51	c remove useless variable s[11][6][10]
0.41/0.51	c remove useless variable s[11][6][11]
0.41/0.51	c remove useless variable s[11][6][12]
0.41/0.51	c remove useless variable s[11][6][13]
0.41/0.51	c remove useless variable s[11][6][14]
0.41/0.51	c remove useless variable s[11][6][15]
0.41/0.51	c remove useless variable s[11][6][16]
0.41/0.51	c remove useless variable s[11][6][17]
0.41/0.51	c remove useless variable s[11][6][18]
0.41/0.51	c remove useless variable s[11][6][19]
0.41/0.51	c remove useless variable s[11][6][20]
0.41/0.51	c remove useless variable s[11][6][21]
0.41/0.51	c remove useless variable s[11][7][0]
0.41/0.51	c remove useless variable s[11][7][1]
0.41/0.51	c remove useless variable s[11][7][2]
0.41/0.51	c remove useless variable s[11][7][3]
0.41/0.51	c remove useless variable s[11][7][4]
0.41/0.51	c remove useless variable s[11][7][5]
0.41/0.51	c remove useless variable s[11][7][6]
0.41/0.51	c remove useless variable s[11][7][7]
0.41/0.51	c remove useless variable s[11][7][8]
0.41/0.51	c remove useless variable s[11][7][9]
0.41/0.51	c remove useless variable s[11][7][10]
0.41/0.51	c remove useless variable s[11][7][11]
0.41/0.51	c remove useless variable s[11][7][12]
0.41/0.51	c remove useless variable s[11][7][13]
0.41/0.51	c remove useless variable s[11][7][14]
0.41/0.51	c remove useless variable s[11][7][15]
0.41/0.51	c remove useless variable s[11][7][16]
0.41/0.51	c remove useless variable s[11][7][17]
0.41/0.51	c remove useless variable s[11][7][18]
0.41/0.51	c remove useless variable s[11][7][19]
0.41/0.51	c remove useless variable s[11][7][20]
0.41/0.51	c remove useless variable s[11][7][21]
0.41/0.51	c remove useless variable s[11][8][0]
0.41/0.51	c remove useless variable s[11][8][1]
0.41/0.51	c remove useless variable s[11][8][2]
0.41/0.51	c remove useless variable s[11][8][3]
0.41/0.51	c remove useless variable s[11][8][4]
0.41/0.51	c remove useless variable s[11][8][5]
0.41/0.51	c remove useless variable s[11][8][6]
0.41/0.51	c remove useless variable s[11][8][7]
0.41/0.51	c remove useless variable s[11][8][8]
0.41/0.51	c remove useless variable s[11][8][9]
0.41/0.51	c remove useless variable s[11][8][10]
0.41/0.51	c remove useless variable s[11][8][11]
0.41/0.51	c remove useless variable s[11][8][12]
0.41/0.51	c remove useless variable s[11][8][13]
0.41/0.51	c remove useless variable s[11][8][14]
0.41/0.51	c remove useless variable s[11][8][15]
0.41/0.51	c remove useless variable s[11][8][16]
0.41/0.51	c remove useless variable s[11][8][17]
0.41/0.51	c remove useless variable s[11][8][18]
0.41/0.51	c remove useless variable s[11][8][19]
0.41/0.51	c remove useless variable s[11][8][20]
0.41/0.51	c remove useless variable s[11][8][21]
0.41/0.51	c remove useless variable s[11][9][0]
0.41/0.51	c remove useless variable s[11][9][1]
0.41/0.51	c remove useless variable s[11][9][2]
0.41/0.51	c remove useless variable s[11][9][3]
0.41/0.51	c remove useless variable s[11][9][4]
0.41/0.51	c remove useless variable s[11][9][5]
0.41/0.51	c remove useless variable s[11][9][6]
0.41/0.51	c remove useless variable s[11][9][7]
0.41/0.51	c remove useless variable s[11][9][8]
0.41/0.51	c remove useless variable s[11][9][9]
0.41/0.51	c remove useless variable s[11][9][10]
0.41/0.51	c remove useless variable s[11][9][11]
0.41/0.51	c remove useless variable s[11][9][12]
0.41/0.51	c remove useless variable s[11][9][13]
0.41/0.51	c remove useless variable s[11][9][14]
0.41/0.51	c remove useless variable s[11][9][15]
0.41/0.51	c remove useless variable s[11][9][16]
0.41/0.51	c remove useless variable s[11][9][17]
0.41/0.51	c remove useless variable s[11][9][18]
0.41/0.51	c remove useless variable s[11][9][19]
0.41/0.51	c remove useless variable s[11][9][20]
0.41/0.51	c remove useless variable s[11][9][21]
0.41/0.51	c remove useless variable s[11][10][0]
0.41/0.51	c remove useless variable s[11][10][1]
0.41/0.51	c remove useless variable s[11][10][2]
0.41/0.51	c remove useless variable s[11][10][3]
0.41/0.51	c remove useless variable s[11][10][4]
0.41/0.51	c remove useless variable s[11][10][5]
0.41/0.51	c remove useless variable s[11][10][6]
0.41/0.51	c remove useless variable s[11][10][7]
0.41/0.51	c remove useless variable s[11][10][8]
0.41/0.51	c remove useless variable s[11][10][9]
0.41/0.51	c remove useless variable s[11][10][10]
0.41/0.51	c remove useless variable s[11][10][11]
0.41/0.51	c remove useless variable s[11][10][12]
0.41/0.51	c remove useless variable s[11][10][13]
0.41/0.51	c remove useless variable s[11][10][14]
0.41/0.51	c remove useless variable s[11][10][15]
0.41/0.51	c remove useless variable s[11][10][16]
0.41/0.51	c remove useless variable s[11][10][17]
0.41/0.51	c remove useless variable s[11][10][18]
0.41/0.51	c remove useless variable s[11][10][19]
0.41/0.51	c remove useless variable s[11][10][20]
0.41/0.51	c remove useless variable s[11][10][21]
0.41/0.51	c remove useless variable s[11][11][0]
0.41/0.51	c remove useless variable s[11][11][1]
0.41/0.51	c remove useless variable s[11][11][2]
0.41/0.51	c remove useless variable s[11][11][3]
0.41/0.51	c remove useless variable s[11][11][4]
0.41/0.51	c remove useless variable s[11][11][5]
0.41/0.51	c remove useless variable s[11][11][6]
0.41/0.51	c remove useless variable s[11][11][7]
0.41/0.51	c remove useless variable s[11][11][8]
0.41/0.51	c remove useless variable s[11][11][9]
0.41/0.51	c remove useless variable s[11][11][10]
0.41/0.51	c remove useless variable s[11][11][11]
0.41/0.51	c remove useless variable s[11][11][12]
0.41/0.51	c remove useless variable s[11][11][13]
0.41/0.51	c remove useless variable s[11][11][14]
0.41/0.51	c remove useless variable s[11][11][15]
0.41/0.51	c remove useless variable s[11][11][16]
0.41/0.51	c remove useless variable s[11][11][17]
0.41/0.51	c remove useless variable s[11][11][18]
0.41/0.51	c remove useless variable s[11][11][19]
0.41/0.51	c remove useless variable s[11][11][20]
0.41/0.51	c remove useless variable s[11][11][21]
0.51/0.56	c 101            428            21027          8422           0              0              28   96   63   
0.60/0.62	c 211            790            41615          15291          0              0              2   63   54    
0.69/0.70	c 332            1275           67975          23008          0              0              11   57   41   
0.69/0.76	c 465            1815           87587          32257          0              0              47   81   62   
0.79/0.84	c 611            2426           117248         43704          0              0              11   120   102 
0.89/0.94	c 771            3014           151476         56043          0              0              6   83   73    
1.00/1.02	c 947            3576           177488         64346          0              0              12   76   52   
1.10/1.13	c 1140           4185           216713         80522          0              0              20   49   32   
1.19/1.27	c 1352           5132           266664         98031          10             0              1   95   82    
1.39/1.40	c 1585           6021           310033         114787         10             0              27   70   56   
1.49/1.53	c 1841           6900           357385         132838         78             0              1   116   91   
1.59/1.69	c 2122           7883           415025         154465         78             0              45   118   94  
1.79/1.85	c 2431           9059           470664         173437         78             0              30   111   83  
2.00/2.07	c 2770           10386          549885         201615         78             0              45   143   111 
2.19/2.27	c 3142           11753          621430         225820         78             0              44   143   96  
2.39/2.49	c 3551           13186          701085         251146         78             0              81   104   95  
2.59/2.66	c 4000           14512          757912         270316         78             0              40   90   64   
2.89/2.95	c 4493           17251          862251         309479         78             0              38   165   98  
3.19/3.26	c 5035           19193          966748         343797         78             0              37   76   58   
3.79/3.83	c 5631           22840          1178617        424425         78             0              37   207   150 
4.10/4.12	c 6286           24906          1280599        457497         78             0              40   148   80  
4.39/4.47	c 7006           27324          1403827        498869         78             0              36   112   94  
4.79/4.85	c 7798           30615          1524915        535147         78             0              23   47   39   
5.29/5.36	c 8669           34793          1715480        607875         78             0              36   267   161 
5.79/5.87	c 9627           37926          1894108        684094         78             0              49   94   81   
6.49/6.56	c 10680          42108          2142232        779665         78             0              41   221   92  
7.19/7.27	c 11838          46428          2387909        862509         78             0              39   99   70   
7.89/7.92	c 13111          51752          2616289        953553         78             0              41   320   107 
8.59/8.65	c 14511          56763          2866147        1047086        78             0              37   91   73   
9.39/9.48	c 16051          63576          3172564        1156410        78             0              35   317   133 
10.39/10.49	c 17745          70208          3547312        1284827        78             0              38   111   101 
11.59/11.68	c 19608          77926          3993812        1447073        78             0              38   236   124 
12.89/12.90	c 21657          87244          4420984        1606141        78             0              39   162   83  
14.29/14.39	c 23910          105046         4958681        1843478        78             0              61   381   198 
16.49/16.58	c 26388          115091         5735163        2124118        78             0              35   63   52   
18.89/18.93	c 29113          124732         6611752        2504586        78             0              45   102   81  
21.19/21.25	c 32110          140997         7416817        2818892        78             0              23   218   76  
23.59/23.61	c 35406          152815         8227260        3095158        78             0              26   50   40   
26.19/26.24	c 39031          168393         9173860        3425164        78             0              47   113   100 
29.19/29.26	c 43018          211696         10282778       3907272        78             0              38   407   303 
32.49/32.58	c 47403          228840         11420461       4288783        78             0              24   50   41   
35.29/35.39	c 52226          245559         12395668       4657427        78             0              23   109   97  
38.59/38.67	c 57531          272347         13609431       5188898        78             0              42   302   202 
42.79/42.87	c 63366          297275         15022215       5588209        78             0              27   55   44   
47.79/47.89	c 69784          325936         16883743       6307702        78             0              40   189   156 
52.49/52.52	c 76843          356953         18616789       6977252        78             0              46   135   113 
56.39/56.49	c 84607          385191         19980820       7506040        78             0              22   92   78   
62.19/62.29	c 93147          416347         22072808       8387144        78             0              37   165   104 
67.49/67.54	c 102541         450885         23819600       8858050        78             0              27   59   46   
73.88/73.99	c 112874         489795         26097735       9687878        78             0              17   93   78   
82.88/82.91	c 124240         537441         29591077       11167632       78             0              37   239   194 
90.18/90.23	c 136742         588568         31975788       11861540       78             0              35   61   51   
95.88/95.97	c 150494         630337         33837718       12454366       78             0              21   45   36   
105.99/106.08	c 165621         683902         37367665       13754243       78             0              20   112   95  
116.28/116.32	c 182260         743319         40959618       15161615       78             0              40   104   89  
128.68/128.77	c 200562         849104         45644021       16965067       78             0              40   282   210 
140.28/140.35	c 220694         932460         49473659       17939726       78             0              21   47   40   
156.38/156.48	c 242839         1016616        55147579       20049585       78             0              35   112   99  
170.99/171.07	c 267198         1111661        59952286       21402473       78             0              22   47   39   
192.18/192.23	c 293992         1284166        67922768       24574870       78             0              20   274   201 
208.48/208.55	c 323465         1397138        73288745       26171151       78             0              23   47   39   
224.37/224.45	c 355885         1506878        78585096       27774950       78             0              21   44   37   
250.67/250.75	c 391547         1666795        88369855       31732728       78             0              17   245   125 
269.37/269.42	c 430775         1799262        94655220       33653879       78             0              19   43   36   
297.27/297.34	c 473925         1978091        105555920      37938756       78             0              38   194   146 
326.17/326.26	c 521390         2200152        115258894      40678698       78             0              20   54   41   
356.17/356.24	c 573601         2434241        125184085      43710706       78             0              23   54   43   
394.07/394.19	c 631033         2685835        137967677      47449550       78             0              21   52   41   
439.27/439.31	c 694208         2933585        154197089      53662845       78             0              23   119   101 
487.97/488.07	c 763700         3234832        173390907      61740516       78             0              31   220   154 
529.26/529.37	c 840141         3538701        187287804      65949253       78             0              21   45   38   
581.46/581.59	c 924226         3840006        206315649      73333829       78             0              20   114   104 
643.17/643.28	c 1016719        4172860        228460452      81996281       78             0              28   125   107 
700.17/700.25	c 1118461        4546391        248973424      89398755       78             0              23   123   103 
790.67/790.70	c 1230377        5320825        281782894      102125660      78             0              21   212   117 
863.67/863.76	c 1353484        5793892        306053547      110543080      78             0              24   60   41   
1010.08/1010.13	c 1488901        6596013        361443947      132656256      78             0              31   155   135 
1110.76/1110.86	c 1637859        7331674        398234949      145434718      78             0              22   219   121 
1291.56/1291.61	c 1801712        10396109       459863625      172396960      78             0              23   250   174 
1389.97/1390.05	c 1981950        11049549       493064423      183630589      78             0              23   59   42   
1510.16/1510.27	c 2180211        11822651       533685301      196391662      78             0              21   56   41   
1701.66/1701.71	c 2398298        12863670       605039691      223086838      78             0              39   151   127 
1875.56/1875.69	c 2638193        14163699       670365013      247104508      78             0              24   221   138 
2082.75/2082.89	c 2902077        16366371       746830663      276296632      78             0              40   254   165 
2288.55/2288.66	c 3192349        17684252       823600776      308754263      78             0              22   272   152 
2469.06/2469.16	c 3511648        18868617       884522544      329510046      78             0              21   62   46   
2519.95/2520.00	
2519.95/2520.00	c *** INTERRUPTED ***
2519.95/2520.00	c restarts              : 86          
2519.95/2520.00	c conflicts             : 3598750      (1428 /sec)
2519.95/2520.00	c decisions             : 19218347     (7627 /sec)
2519.95/2520.00	c propagations          : 335849794   (133278 /sec)
2519.95/2520.00	c root propagations     : 0           
2519.95/2520.00	c filter calls          : 902997738      (358344 /sec)
2519.95/2520.00	c useless filter calls  : 649730624      (71 %)
2519.95/2520.00	c Memory used           : 83.64 MB
2519.95/2520.00	c CPU time              : 2519.92 s
2519.95/2520.00	
2519.95/2520.00	s UNKNOWN