0.99/1.01	c SAT : Variables: 3960 -- Clauses: 3960
0.99/1.02	c root propagations     : 0           
0.99/1.02	c restarts enabled, print stats at every restarts
0.99/1.02	c
0.99/1.02	c
0.99/1.02	c
0.99/1.02	c This is cosoco 1.12 --  
0.99/1.02	c
0.99/1.02	c command line: cosoco -lc -model -restarts -sat HOME/instance-4265985-1502571190.xml 
0.99/1.02	c ========================================[ Problem Statistics ]===========================================
0.99/1.02	c |                                                                                                       
0.99/1.02	c |  Parse time        :         1.00 s 
0.99/1.02	c |
0.99/1.02	c |               Variables: 1980
0.99/1.02	c |            Domain Sizes: 2..2
0.99/1.02	c |
0.99/1.02	c |             Constraints: 909
0.99/1.02	c |                   Arity: 3..36  -- Ternary: 810
0.99/1.02	c | 
0.99/1.02	c |                   Types: 
0.99/1.02	c |                          Intension: 810
0.99/1.02	c |                          Lex: 26
0.99/1.02	c |                          Sum: 73
0.99/1.02	c |                          
0.99/1.02	c =========================================================================================================
0.99/1.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.99/1.02	c remove useless variable s[0][0][0]
0.99/1.02	c remove useless variable s[0][0][1]
0.99/1.02	c remove useless variable s[0][0][2]
0.99/1.02	c remove useless variable s[0][0][3]
0.99/1.02	c remove useless variable s[0][0][4]
0.99/1.02	c remove useless variable s[0][0][5]
0.99/1.02	c remove useless variable s[0][0][6]
0.99/1.02	c remove useless variable s[0][0][7]
0.99/1.02	c remove useless variable s[0][0][8]
0.99/1.02	c remove useless variable s[0][0][9]
0.99/1.02	c remove useless variable s[0][0][10]
0.99/1.02	c remove useless variable s[0][0][11]
0.99/1.02	c remove useless variable s[0][0][12]
0.99/1.02	c remove useless variable s[0][0][13]
0.99/1.02	c remove useless variable s[0][0][14]
0.99/1.02	c remove useless variable s[0][0][15]
0.99/1.02	c remove useless variable s[0][0][16]
0.99/1.02	c remove useless variable s[0][0][17]
0.99/1.02	c remove useless variable s[1][0][0]
0.99/1.02	c remove useless variable s[1][0][1]
0.99/1.02	c remove useless variable s[1][0][2]
0.99/1.02	c remove useless variable s[1][0][3]
0.99/1.02	c remove useless variable s[1][0][4]
0.99/1.02	c remove useless variable s[1][0][5]
0.99/1.02	c remove useless variable s[1][0][6]
0.99/1.02	c remove useless variable s[1][0][7]
0.99/1.02	c remove useless variable s[1][0][8]
0.99/1.02	c remove useless variable s[1][0][9]
0.99/1.02	c remove useless variable s[1][0][10]
0.99/1.02	c remove useless variable s[1][0][11]
0.99/1.02	c remove useless variable s[1][0][12]
0.99/1.02	c remove useless variable s[1][0][13]
0.99/1.02	c remove useless variable s[1][0][14]
0.99/1.02	c remove useless variable s[1][0][15]
0.99/1.02	c remove useless variable s[1][0][16]
0.99/1.02	c remove useless variable s[1][0][17]
0.99/1.02	c remove useless variable s[1][1][0]
0.99/1.02	c remove useless variable s[1][1][1]
0.99/1.02	c remove useless variable s[1][1][2]
0.99/1.02	c remove useless variable s[1][1][3]
0.99/1.02	c remove useless variable s[1][1][4]
0.99/1.02	c remove useless variable s[1][1][5]
0.99/1.02	c remove useless variable s[1][1][6]
0.99/1.02	c remove useless variable s[1][1][7]
0.99/1.02	c remove useless variable s[1][1][8]
0.99/1.02	c remove useless variable s[1][1][9]
0.99/1.02	c remove useless variable s[1][1][10]
0.99/1.02	c remove useless variable s[1][1][11]
0.99/1.02	c remove useless variable s[1][1][12]
0.99/1.02	c remove useless variable s[1][1][13]
0.99/1.02	c remove useless variable s[1][1][14]
0.99/1.02	c remove useless variable s[1][1][15]
0.99/1.02	c remove useless variable s[1][1][16]
0.99/1.02	c remove useless variable s[1][1][17]
0.99/1.02	c remove useless variable s[2][0][0]
0.99/1.02	c remove useless variable s[2][0][1]
0.99/1.02	c remove useless variable s[2][0][2]
0.99/1.02	c remove useless variable s[2][0][3]
0.99/1.02	c remove useless variable s[2][0][4]
0.99/1.02	c remove useless variable s[2][0][5]
0.99/1.02	c remove useless variable s[2][0][6]
0.99/1.02	c remove useless variable s[2][0][7]
0.99/1.02	c remove useless variable s[2][0][8]
0.99/1.02	c remove useless variable s[2][0][9]
0.99/1.02	c remove useless variable s[2][0][10]
0.99/1.02	c remove useless variable s[2][0][11]
0.99/1.02	c remove useless variable s[2][0][12]
0.99/1.02	c remove useless variable s[2][0][13]
0.99/1.02	c remove useless variable s[2][0][14]
0.99/1.02	c remove useless variable s[2][0][15]
0.99/1.02	c remove useless variable s[2][0][16]
0.99/1.02	c remove useless variable s[2][0][17]
0.99/1.02	c remove useless variable s[2][1][0]
0.99/1.02	c remove useless variable s[2][1][1]
0.99/1.02	c remove useless variable s[2][1][2]
0.99/1.02	c remove useless variable s[2][1][3]
0.99/1.02	c remove useless variable s[2][1][4]
0.99/1.02	c remove useless variable s[2][1][5]
0.99/1.02	c remove useless variable s[2][1][6]
0.99/1.02	c remove useless variable s[2][1][7]
0.99/1.02	c remove useless variable s[2][1][8]
0.99/1.02	c remove useless variable s[2][1][9]
0.99/1.02	c remove useless variable s[2][1][10]
0.99/1.02	c remove useless variable s[2][1][11]
0.99/1.02	c remove useless variable s[2][1][12]
0.99/1.02	c remove useless variable s[2][1][13]
0.99/1.02	c remove useless variable s[2][1][14]
0.99/1.02	c remove useless variable s[2][1][15]
0.99/1.02	c remove useless variable s[2][1][16]
0.99/1.02	c remove useless variable s[2][1][17]
0.99/1.02	c remove useless variable s[2][2][0]
0.99/1.02	c remove useless variable s[2][2][1]
0.99/1.02	c remove useless variable s[2][2][2]
0.99/1.02	c remove useless variable s[2][2][3]
0.99/1.02	c remove useless variable s[2][2][4]
0.99/1.02	c remove useless variable s[2][2][5]
0.99/1.02	c remove useless variable s[2][2][6]
0.99/1.02	c remove useless variable s[2][2][7]
0.99/1.02	c remove useless variable s[2][2][8]
0.99/1.02	c remove useless variable s[2][2][9]
0.99/1.02	c remove useless variable s[2][2][10]
0.99/1.02	c remove useless variable s[2][2][11]
0.99/1.02	c remove useless variable s[2][2][12]
0.99/1.02	c remove useless variable s[2][2][13]
0.99/1.02	c remove useless variable s[2][2][14]
0.99/1.02	c remove useless variable s[2][2][15]
0.99/1.02	c remove useless variable s[2][2][16]
0.99/1.02	c remove useless variable s[2][2][17]
0.99/1.02	c remove useless variable s[3][0][0]
0.99/1.02	c remove useless variable s[3][0][1]
0.99/1.02	c remove useless variable s[3][0][2]
0.99/1.02	c remove useless variable s[3][0][3]
0.99/1.02	c remove useless variable s[3][0][4]
0.99/1.02	c remove useless variable s[3][0][5]
0.99/1.02	c remove useless variable s[3][0][6]
0.99/1.02	c remove useless variable s[3][0][7]
0.99/1.02	c remove useless variable s[3][0][8]
0.99/1.02	c remove useless variable s[3][0][9]
0.99/1.02	c remove useless variable s[3][0][10]
0.99/1.02	c remove useless variable s[3][0][11]
0.99/1.02	c remove useless variable s[3][0][12]
0.99/1.02	c remove useless variable s[3][0][13]
0.99/1.02	c remove useless variable s[3][0][14]
0.99/1.02	c remove useless variable s[3][0][15]
0.99/1.02	c remove useless variable s[3][0][16]
0.99/1.02	c remove useless variable s[3][0][17]
0.99/1.02	c remove useless variable s[3][1][0]
0.99/1.02	c remove useless variable s[3][1][1]
0.99/1.02	c remove useless variable s[3][1][2]
0.99/1.02	c remove useless variable s[3][1][3]
0.99/1.02	c remove useless variable s[3][1][4]
0.99/1.02	c remove useless variable s[3][1][5]
0.99/1.02	c remove useless variable s[3][1][6]
0.99/1.02	c remove useless variable s[3][1][7]
0.99/1.02	c remove useless variable s[3][1][8]
0.99/1.02	c remove useless variable s[3][1][9]
0.99/1.02	c remove useless variable s[3][1][10]
0.99/1.02	c remove useless variable s[3][1][11]
0.99/1.02	c remove useless variable s[3][1][12]
0.99/1.02	c remove useless variable s[3][1][13]
0.99/1.02	c remove useless variable s[3][1][14]
0.99/1.02	c remove useless variable s[3][1][15]
0.99/1.02	c remove useless variable s[3][1][16]
0.99/1.02	c remove useless variable s[3][1][17]
0.99/1.02	c remove useless variable s[3][2][0]
0.99/1.02	c remove useless variable s[3][2][1]
0.99/1.02	c remove useless variable s[3][2][2]
0.99/1.02	c remove useless variable s[3][2][3]
0.99/1.02	c remove useless variable s[3][2][4]
0.99/1.02	c remove useless variable s[3][2][5]
0.99/1.02	c remove useless variable s[3][2][6]
0.99/1.02	c remove useless variable s[3][2][7]
0.99/1.02	c remove useless variable s[3][2][8]
0.99/1.02	c remove useless variable s[3][2][9]
0.99/1.02	c remove useless variable s[3][2][10]
0.99/1.02	c remove useless variable s[3][2][11]
0.99/1.02	c remove useless variable s[3][2][12]
0.99/1.02	c remove useless variable s[3][2][13]
0.99/1.02	c remove useless variable s[3][2][14]
0.99/1.02	c remove useless variable s[3][2][15]
0.99/1.02	c remove useless variable s[3][2][16]
0.99/1.02	c remove useless variable s[3][2][17]
0.99/1.02	c remove useless variable s[3][3][0]
0.99/1.02	c remove useless variable s[3][3][1]
0.99/1.02	c remove useless variable s[3][3][2]
0.99/1.02	c remove useless variable s[3][3][3]
0.99/1.02	c remove useless variable s[3][3][4]
0.99/1.02	c remove useless variable s[3][3][5]
0.99/1.02	c remove useless variable s[3][3][6]
0.99/1.02	c remove useless variable s[3][3][7]
0.99/1.02	c remove useless variable s[3][3][8]
0.99/1.02	c remove useless variable s[3][3][9]
0.99/1.02	c remove useless variable s[3][3][10]
0.99/1.02	c remove useless variable s[3][3][11]
0.99/1.02	c remove useless variable s[3][3][12]
0.99/1.02	c remove useless variable s[3][3][13]
0.99/1.02	c remove useless variable s[3][3][14]
0.99/1.02	c remove useless variable s[3][3][15]
0.99/1.02	c remove useless variable s[3][3][16]
0.99/1.02	c remove useless variable s[3][3][17]
0.99/1.02	c remove useless variable s[4][0][0]
0.99/1.02	c remove useless variable s[4][0][1]
0.99/1.02	c remove useless variable s[4][0][2]
0.99/1.02	c remove useless variable s[4][0][3]
0.99/1.02	c remove useless variable s[4][0][4]
0.99/1.02	c remove useless variable s[4][0][5]
0.99/1.02	c remove useless variable s[4][0][6]
0.99/1.02	c remove useless variable s[4][0][7]
0.99/1.02	c remove useless variable s[4][0][8]
0.99/1.02	c remove useless variable s[4][0][9]
0.99/1.02	c remove useless variable s[4][0][10]
0.99/1.02	c remove useless variable s[4][0][11]
0.99/1.02	c remove useless variable s[4][0][12]
0.99/1.02	c remove useless variable s[4][0][13]
0.99/1.02	c remove useless variable s[4][0][14]
0.99/1.02	c remove useless variable s[4][0][15]
0.99/1.02	c remove useless variable s[4][0][16]
0.99/1.02	c remove useless variable s[4][0][17]
0.99/1.02	c remove useless variable s[4][1][0]
0.99/1.02	c remove useless variable s[4][1][1]
0.99/1.02	c remove useless variable s[4][1][2]
0.99/1.02	c remove useless variable s[4][1][3]
0.99/1.02	c remove useless variable s[4][1][4]
0.99/1.02	c remove useless variable s[4][1][5]
0.99/1.02	c remove useless variable s[4][1][6]
0.99/1.02	c remove useless variable s[4][1][7]
0.99/1.02	c remove useless variable s[4][1][8]
0.99/1.02	c remove useless variable s[4][1][9]
0.99/1.02	c remove useless variable s[4][1][10]
0.99/1.02	c remove useless variable s[4][1][11]
0.99/1.02	c remove useless variable s[4][1][12]
0.99/1.02	c remove useless variable s[4][1][13]
0.99/1.02	c remove useless variable s[4][1][14]
0.99/1.02	c remove useless variable s[4][1][15]
0.99/1.02	c remove useless variable s[4][1][16]
0.99/1.02	c remove useless variable s[4][1][17]
0.99/1.02	c remove useless variable s[4][2][0]
0.99/1.02	c remove useless variable s[4][2][1]
0.99/1.02	c remove useless variable s[4][2][2]
0.99/1.02	c remove useless variable s[4][2][3]
0.99/1.02	c remove useless variable s[4][2][4]
0.99/1.02	c remove useless variable s[4][2][5]
0.99/1.02	c remove useless variable s[4][2][6]
0.99/1.02	c remove useless variable s[4][2][7]
0.99/1.02	c remove useless variable s[4][2][8]
0.99/1.02	c remove useless variable s[4][2][9]
0.99/1.02	c remove useless variable s[4][2][10]
0.99/1.02	c remove useless variable s[4][2][11]
0.99/1.02	c remove useless variable s[4][2][12]
0.99/1.02	c remove useless variable s[4][2][13]
0.99/1.02	c remove useless variable s[4][2][14]
0.99/1.02	c remove useless variable s[4][2][15]
0.99/1.02	c remove useless variable s[4][2][16]
0.99/1.02	c remove useless variable s[4][2][17]
0.99/1.02	c remove useless variable s[4][3][0]
0.99/1.02	c remove useless variable s[4][3][1]
0.99/1.02	c remove useless variable s[4][3][2]
0.99/1.02	c remove useless variable s[4][3][3]
0.99/1.02	c remove useless variable s[4][3][4]
0.99/1.02	c remove useless variable s[4][3][5]
0.99/1.02	c remove useless variable s[4][3][6]
0.99/1.02	c remove useless variable s[4][3][7]
0.99/1.02	c remove useless variable s[4][3][8]
0.99/1.02	c remove useless variable s[4][3][9]
0.99/1.02	c remove useless variable s[4][3][10]
0.99/1.02	c remove useless variable s[4][3][11]
0.99/1.02	c remove useless variable s[4][3][12]
0.99/1.02	c remove useless variable s[4][3][13]
0.99/1.02	c remove useless variable s[4][3][14]
0.99/1.02	c remove useless variable s[4][3][15]
0.99/1.02	c remove useless variable s[4][3][16]
0.99/1.02	c remove useless variable s[4][3][17]
0.99/1.02	c remove useless variable s[4][4][0]
0.99/1.02	c remove useless variable s[4][4][1]
0.99/1.02	c remove useless variable s[4][4][2]
0.99/1.02	c remove useless variable s[4][4][3]
0.99/1.02	c remove useless variable s[4][4][4]
0.99/1.02	c remove useless variable s[4][4][5]
0.99/1.02	c remove useless variable s[4][4][6]
0.99/1.02	c remove useless variable s[4][4][7]
0.99/1.02	c remove useless variable s[4][4][8]
0.99/1.02	c remove useless variable s[4][4][9]
0.99/1.02	c remove useless variable s[4][4][10]
0.99/1.02	c remove useless variable s[4][4][11]
0.99/1.02	c remove useless variable s[4][4][12]
0.99/1.02	c remove useless variable s[4][4][13]
0.99/1.02	c remove useless variable s[4][4][14]
0.99/1.02	c remove useless variable s[4][4][15]
0.99/1.02	c remove useless variable s[4][4][16]
0.99/1.02	c remove useless variable s[4][4][17]
0.99/1.02	c remove useless variable s[5][0][0]
0.99/1.02	c remove useless variable s[5][0][1]
0.99/1.02	c remove useless variable s[5][0][2]
0.99/1.02	c remove useless variable s[5][0][3]
0.99/1.02	c remove useless variable s[5][0][4]
0.99/1.02	c remove useless variable s[5][0][5]
0.99/1.02	c remove useless variable s[5][0][6]
0.99/1.02	c remove useless variable s[5][0][7]
0.99/1.02	c remove useless variable s[5][0][8]
0.99/1.02	c remove useless variable s[5][0][9]
0.99/1.02	c remove useless variable s[5][0][10]
0.99/1.02	c remove useless variable s[5][0][11]
0.99/1.02	c remove useless variable s[5][0][12]
0.99/1.02	c remove useless variable s[5][0][13]
0.99/1.02	c remove useless variable s[5][0][14]
0.99/1.02	c remove useless variable s[5][0][15]
0.99/1.02	c remove useless variable s[5][0][16]
0.99/1.02	c remove useless variable s[5][0][17]
0.99/1.02	c remove useless variable s[5][1][0]
0.99/1.02	c remove useless variable s[5][1][1]
0.99/1.02	c remove useless variable s[5][1][2]
0.99/1.02	c remove useless variable s[5][1][3]
0.99/1.02	c remove useless variable s[5][1][4]
0.99/1.02	c remove useless variable s[5][1][5]
0.99/1.02	c remove useless variable s[5][1][6]
0.99/1.02	c remove useless variable s[5][1][7]
0.99/1.02	c remove useless variable s[5][1][8]
0.99/1.02	c remove useless variable s[5][1][9]
0.99/1.02	c remove useless variable s[5][1][10]
0.99/1.02	c remove useless variable s[5][1][11]
0.99/1.02	c remove useless variable s[5][1][12]
0.99/1.02	c remove useless variable s[5][1][13]
0.99/1.02	c remove useless variable s[5][1][14]
0.99/1.02	c remove useless variable s[5][1][15]
0.99/1.02	c remove useless variable s[5][1][16]
0.99/1.02	c remove useless variable s[5][1][17]
0.99/1.02	c remove useless variable s[5][2][0]
0.99/1.02	c remove useless variable s[5][2][1]
0.99/1.02	c remove useless variable s[5][2][2]
0.99/1.02	c remove useless variable s[5][2][3]
0.99/1.02	c remove useless variable s[5][2][4]
0.99/1.02	c remove useless variable s[5][2][5]
0.99/1.02	c remove useless variable s[5][2][6]
0.99/1.02	c remove useless variable s[5][2][7]
0.99/1.02	c remove useless variable s[5][2][8]
0.99/1.02	c remove useless variable s[5][2][9]
0.99/1.02	c remove useless variable s[5][2][10]
0.99/1.02	c remove useless variable s[5][2][11]
0.99/1.02	c remove useless variable s[5][2][12]
0.99/1.02	c remove useless variable s[5][2][13]
0.99/1.02	c remove useless variable s[5][2][14]
0.99/1.02	c remove useless variable s[5][2][15]
0.99/1.02	c remove useless variable s[5][2][16]
0.99/1.02	c remove useless variable s[5][2][17]
0.99/1.02	c remove useless variable s[5][3][0]
0.99/1.02	c remove useless variable s[5][3][1]
0.99/1.02	c remove useless variable s[5][3][2]
0.99/1.02	c remove useless variable s[5][3][3]
0.99/1.02	c remove useless variable s[5][3][4]
0.99/1.02	c remove useless variable s[5][3][5]
0.99/1.02	c remove useless variable s[5][3][6]
0.99/1.02	c remove useless variable s[5][3][7]
0.99/1.02	c remove useless variable s[5][3][8]
0.99/1.02	c remove useless variable s[5][3][9]
0.99/1.02	c remove useless variable s[5][3][10]
0.99/1.02	c remove useless variable s[5][3][11]
0.99/1.02	c remove useless variable s[5][3][12]
0.99/1.02	c remove useless variable s[5][3][13]
0.99/1.02	c remove useless variable s[5][3][14]
0.99/1.02	c remove useless variable s[5][3][15]
0.99/1.02	c remove useless variable s[5][3][16]
0.99/1.02	c remove useless variable s[5][3][17]
0.99/1.02	c remove useless variable s[5][4][0]
0.99/1.02	c remove useless variable s[5][4][1]
0.99/1.02	c remove useless variable s[5][4][2]
0.99/1.02	c remove useless variable s[5][4][3]
0.99/1.02	c remove useless variable s[5][4][4]
0.99/1.02	c remove useless variable s[5][4][5]
0.99/1.02	c remove useless variable s[5][4][6]
0.99/1.02	c remove useless variable s[5][4][7]
0.99/1.02	c remove useless variable s[5][4][8]
0.99/1.02	c remove useless variable s[5][4][9]
0.99/1.02	c remove useless variable s[5][4][10]
0.99/1.02	c remove useless variable s[5][4][11]
0.99/1.02	c remove useless variable s[5][4][12]
0.99/1.02	c remove useless variable s[5][4][13]
0.99/1.02	c remove useless variable s[5][4][14]
0.99/1.02	c remove useless variable s[5][4][15]
0.99/1.02	c remove useless variable s[5][4][16]
0.99/1.02	c remove useless variable s[5][4][17]
0.99/1.02	c remove useless variable s[5][5][0]
0.99/1.02	c remove useless variable s[5][5][1]
0.99/1.02	c remove useless variable s[5][5][2]
0.99/1.02	c remove useless variable s[5][5][3]
0.99/1.02	c remove useless variable s[5][5][4]
0.99/1.02	c remove useless variable s[5][5][5]
0.99/1.02	c remove useless variable s[5][5][6]
0.99/1.02	c remove useless variable s[5][5][7]
0.99/1.02	c remove useless variable s[5][5][8]
0.99/1.02	c remove useless variable s[5][5][9]
0.99/1.02	c remove useless variable s[5][5][10]
0.99/1.02	c remove useless variable s[5][5][11]
0.99/1.02	c remove useless variable s[5][5][12]
0.99/1.02	c remove useless variable s[5][5][13]
0.99/1.02	c remove useless variable s[5][5][14]
0.99/1.02	c remove useless variable s[5][5][15]
0.99/1.02	c remove useless variable s[5][5][16]
0.99/1.02	c remove useless variable s[5][5][17]
0.99/1.02	c remove useless variable s[6][0][0]
0.99/1.02	c remove useless variable s[6][0][1]
0.99/1.02	c remove useless variable s[6][0][2]
0.99/1.02	c remove useless variable s[6][0][3]
0.99/1.02	c remove useless variable s[6][0][4]
0.99/1.02	c remove useless variable s[6][0][5]
0.99/1.02	c remove useless variable s[6][0][6]
0.99/1.02	c remove useless variable s[6][0][7]
0.99/1.02	c remove useless variable s[6][0][8]
0.99/1.02	c remove useless variable s[6][0][9]
0.99/1.02	c remove useless variable s[6][0][10]
0.99/1.02	c remove useless variable s[6][0][11]
0.99/1.02	c remove useless variable s[6][0][12]
0.99/1.02	c remove useless variable s[6][0][13]
0.99/1.02	c remove useless variable s[6][0][14]
0.99/1.02	c remove useless variable s[6][0][15]
0.99/1.02	c remove useless variable s[6][0][16]
0.99/1.02	c remove useless variable s[6][0][17]
0.99/1.02	c remove useless variable s[6][1][0]
0.99/1.02	c remove useless variable s[6][1][1]
0.99/1.02	c remove useless variable s[6][1][2]
0.99/1.02	c remove useless variable s[6][1][3]
0.99/1.02	c remove useless variable s[6][1][4]
0.99/1.02	c remove useless variable s[6][1][5]
0.99/1.02	c remove useless variable s[6][1][6]
0.99/1.02	c remove useless variable s[6][1][7]
0.99/1.02	c remove useless variable s[6][1][8]
0.99/1.02	c remove useless variable s[6][1][9]
0.99/1.02	c remove useless variable s[6][1][10]
0.99/1.02	c remove useless variable s[6][1][11]
0.99/1.02	c remove useless variable s[6][1][12]
0.99/1.02	c remove useless variable s[6][1][13]
0.99/1.02	c remove useless variable s[6][1][14]
0.99/1.02	c remove useless variable s[6][1][15]
0.99/1.02	c remove useless variable s[6][1][16]
0.99/1.02	c remove useless variable s[6][1][17]
0.99/1.02	c remove useless variable s[6][2][0]
0.99/1.02	c remove useless variable s[6][2][1]
0.99/1.02	c remove useless variable s[6][2][2]
0.99/1.02	c remove useless variable s[6][2][3]
0.99/1.02	c remove useless variable s[6][2][4]
0.99/1.02	c remove useless variable s[6][2][5]
0.99/1.02	c remove useless variable s[6][2][6]
0.99/1.02	c remove useless variable s[6][2][7]
0.99/1.02	c remove useless variable s[6][2][8]
0.99/1.02	c remove useless variable s[6][2][9]
0.99/1.02	c remove useless variable s[6][2][10]
0.99/1.02	c remove useless variable s[6][2][11]
0.99/1.02	c remove useless variable s[6][2][12]
0.99/1.02	c remove useless variable s[6][2][13]
0.99/1.02	c remove useless variable s[6][2][14]
0.99/1.02	c remove useless variable s[6][2][15]
0.99/1.02	c remove useless variable s[6][2][16]
0.99/1.02	c remove useless variable s[6][2][17]
0.99/1.02	c remove useless variable s[6][3][0]
0.99/1.02	c remove useless variable s[6][3][1]
0.99/1.02	c remove useless variable s[6][3][2]
0.99/1.02	c remove useless variable s[6][3][3]
0.99/1.02	c remove useless variable s[6][3][4]
0.99/1.02	c remove useless variable s[6][3][5]
0.99/1.02	c remove useless variable s[6][3][6]
0.99/1.02	c remove useless variable s[6][3][7]
0.99/1.02	c remove useless variable s[6][3][8]
0.99/1.02	c remove useless variable s[6][3][9]
0.99/1.02	c remove useless variable s[6][3][10]
0.99/1.02	c remove useless variable s[6][3][11]
0.99/1.02	c remove useless variable s[6][3][12]
0.99/1.02	c remove useless variable s[6][3][13]
0.99/1.02	c remove useless variable s[6][3][14]
0.99/1.02	c remove useless variable s[6][3][15]
0.99/1.02	c remove useless variable s[6][3][16]
0.99/1.02	c remove useless variable s[6][3][17]
0.99/1.02	c remove useless variable s[6][4][0]
0.99/1.02	c remove useless variable s[6][4][1]
0.99/1.02	c remove useless variable s[6][4][2]
0.99/1.02	c remove useless variable s[6][4][3]
0.99/1.02	c remove useless variable s[6][4][4]
0.99/1.02	c remove useless variable s[6][4][5]
0.99/1.02	c remove useless variable s[6][4][6]
0.99/1.02	c remove useless variable s[6][4][7]
0.99/1.02	c remove useless variable s[6][4][8]
0.99/1.02	c remove useless variable s[6][4][9]
0.99/1.02	c remove useless variable s[6][4][10]
0.99/1.02	c remove useless variable s[6][4][11]
0.99/1.02	c remove useless variable s[6][4][12]
0.99/1.02	c remove useless variable s[6][4][13]
0.99/1.02	c remove useless variable s[6][4][14]
0.99/1.02	c remove useless variable s[6][4][15]
0.99/1.02	c remove useless variable s[6][4][16]
0.99/1.02	c remove useless variable s[6][4][17]
0.99/1.02	c remove useless variable s[6][5][0]
0.99/1.02	c remove useless variable s[6][5][1]
0.99/1.02	c remove useless variable s[6][5][2]
0.99/1.02	c remove useless variable s[6][5][3]
0.99/1.02	c remove useless variable s[6][5][4]
0.99/1.02	c remove useless variable s[6][5][5]
0.99/1.02	c remove useless variable s[6][5][6]
0.99/1.02	c remove useless variable s[6][5][7]
0.99/1.02	c remove useless variable s[6][5][8]
0.99/1.02	c remove useless variable s[6][5][9]
0.99/1.02	c remove useless variable s[6][5][10]
0.99/1.02	c remove useless variable s[6][5][11]
0.99/1.02	c remove useless variable s[6][5][12]
0.99/1.02	c remove useless variable s[6][5][13]
0.99/1.02	c remove useless variable s[6][5][14]
0.99/1.02	c remove useless variable s[6][5][15]
0.99/1.02	c remove useless variable s[6][5][16]
0.99/1.02	c remove useless variable s[6][5][17]
0.99/1.02	c remove useless variable s[6][6][0]
0.99/1.02	c remove useless variable s[6][6][1]
0.99/1.02	c remove useless variable s[6][6][2]
0.99/1.02	c remove useless variable s[6][6][3]
0.99/1.02	c remove useless variable s[6][6][4]
0.99/1.02	c remove useless variable s[6][6][5]
0.99/1.02	c remove useless variable s[6][6][6]
0.99/1.02	c remove useless variable s[6][6][7]
0.99/1.02	c remove useless variable s[6][6][8]
0.99/1.02	c remove useless variable s[6][6][9]
0.99/1.02	c remove useless variable s[6][6][10]
0.99/1.02	c remove useless variable s[6][6][11]
0.99/1.02	c remove useless variable s[6][6][12]
0.99/1.02	c remove useless variable s[6][6][13]
0.99/1.02	c remove useless variable s[6][6][14]
0.99/1.02	c remove useless variable s[6][6][15]
0.99/1.02	c remove useless variable s[6][6][16]
0.99/1.02	c remove useless variable s[6][6][17]
0.99/1.02	c remove useless variable s[7][0][0]
0.99/1.02	c remove useless variable s[7][0][1]
0.99/1.02	c remove useless variable s[7][0][2]
0.99/1.02	c remove useless variable s[7][0][3]
0.99/1.02	c remove useless variable s[7][0][4]
0.99/1.02	c remove useless variable s[7][0][5]
0.99/1.02	c remove useless variable s[7][0][6]
0.99/1.02	c remove useless variable s[7][0][7]
0.99/1.02	c remove useless variable s[7][0][8]
0.99/1.02	c remove useless variable s[7][0][9]
0.99/1.02	c remove useless variable s[7][0][10]
0.99/1.02	c remove useless variable s[7][0][11]
0.99/1.02	c remove useless variable s[7][0][12]
0.99/1.02	c remove useless variable s[7][0][13]
0.99/1.02	c remove useless variable s[7][0][14]
0.99/1.02	c remove useless variable s[7][0][15]
0.99/1.02	c remove useless variable s[7][0][16]
0.99/1.02	c remove useless variable s[7][0][17]
0.99/1.02	c remove useless variable s[7][1][0]
0.99/1.02	c remove useless variable s[7][1][1]
0.99/1.02	c remove useless variable s[7][1][2]
0.99/1.02	c remove useless variable s[7][1][3]
0.99/1.02	c remove useless variable s[7][1][4]
0.99/1.02	c remove useless variable s[7][1][5]
0.99/1.02	c remove useless variable s[7][1][6]
0.99/1.02	c remove useless variable s[7][1][7]
0.99/1.02	c remove useless variable s[7][1][8]
0.99/1.02	c remove useless variable s[7][1][9]
0.99/1.02	c remove useless variable s[7][1][10]
0.99/1.02	c remove useless variable s[7][1][11]
0.99/1.02	c remove useless variable s[7][1][12]
0.99/1.02	c remove useless variable s[7][1][13]
0.99/1.02	c remove useless variable s[7][1][14]
0.99/1.02	c remove useless variable s[7][1][15]
0.99/1.02	c remove useless variable s[7][1][16]
0.99/1.02	c remove useless variable s[7][1][17]
0.99/1.02	c remove useless variable s[7][2][0]
0.99/1.02	c remove useless variable s[7][2][1]
0.99/1.02	c remove useless variable s[7][2][2]
0.99/1.02	c remove useless variable s[7][2][3]
0.99/1.02	c remove useless variable s[7][2][4]
0.99/1.02	c remove useless variable s[7][2][5]
0.99/1.02	c remove useless variable s[7][2][6]
0.99/1.02	c remove useless variable s[7][2][7]
0.99/1.02	c remove useless variable s[7][2][8]
0.99/1.02	c remove useless variable s[7][2][9]
0.99/1.02	c remove useless variable s[7][2][10]
0.99/1.02	c remove useless variable s[7][2][11]
0.99/1.02	c remove useless variable s[7][2][12]
0.99/1.02	c remove useless variable s[7][2][13]
0.99/1.02	c remove useless variable s[7][2][14]
0.99/1.02	c remove useless variable s[7][2][15]
0.99/1.02	c remove useless variable s[7][2][16]
0.99/1.02	c remove useless variable s[7][2][17]
0.99/1.02	c remove useless variable s[7][3][0]
0.99/1.02	c remove useless variable s[7][3][1]
0.99/1.02	c remove useless variable s[7][3][2]
0.99/1.02	c remove useless variable s[7][3][3]
0.99/1.02	c remove useless variable s[7][3][4]
0.99/1.02	c remove useless variable s[7][3][5]
0.99/1.02	c remove useless variable s[7][3][6]
0.99/1.02	c remove useless variable s[7][3][7]
0.99/1.02	c remove useless variable s[7][3][8]
0.99/1.02	c remove useless variable s[7][3][9]
0.99/1.02	c remove useless variable s[7][3][10]
0.99/1.02	c remove useless variable s[7][3][11]
0.99/1.02	c remove useless variable s[7][3][12]
0.99/1.02	c remove useless variable s[7][3][13]
0.99/1.02	c remove useless variable s[7][3][14]
0.99/1.02	c remove useless variable s[7][3][15]
0.99/1.02	c remove useless variable s[7][3][16]
0.99/1.02	c remove useless variable s[7][3][17]
0.99/1.02	c remove useless variable s[7][4][0]
0.99/1.02	c remove useless variable s[7][4][1]
0.99/1.02	c remove useless variable s[7][4][2]
0.99/1.02	c remove useless variable s[7][4][3]
0.99/1.02	c remove useless variable s[7][4][4]
0.99/1.02	c remove useless variable s[7][4][5]
0.99/1.02	c remove useless variable s[7][4][6]
0.99/1.02	c remove useless variable s[7][4][7]
0.99/1.02	c remove useless variable s[7][4][8]
0.99/1.02	c remove useless variable s[7][4][9]
0.99/1.02	c remove useless variable s[7][4][10]
0.99/1.02	c remove useless variable s[7][4][11]
0.99/1.02	c remove useless variable s[7][4][12]
0.99/1.02	c remove useless variable s[7][4][13]
0.99/1.02	c remove useless variable s[7][4][14]
0.99/1.02	c remove useless variable s[7][4][15]
0.99/1.02	c remove useless variable s[7][4][16]
0.99/1.02	c remove useless variable s[7][4][17]
0.99/1.02	c remove useless variable s[7][5][0]
0.99/1.02	c remove useless variable s[7][5][1]
0.99/1.02	c remove useless variable s[7][5][2]
0.99/1.02	c remove useless variable s[7][5][3]
0.99/1.02	c remove useless variable s[7][5][4]
0.99/1.02	c remove useless variable s[7][5][5]
0.99/1.02	c remove useless variable s[7][5][6]
0.99/1.02	c remove useless variable s[7][5][7]
0.99/1.02	c remove useless variable s[7][5][8]
0.99/1.02	c remove useless variable s[7][5][9]
0.99/1.02	c remove useless variable s[7][5][10]
0.99/1.02	c remove useless variable s[7][5][11]
0.99/1.02	c remove useless variable s[7][5][12]
0.99/1.02	c remove useless variable s[7][5][13]
0.99/1.02	c remove useless variable s[7][5][14]
0.99/1.02	c remove useless variable s[7][5][15]
0.99/1.02	c remove useless variable s[7][5][16]
0.99/1.02	c remove useless variable s[7][5][17]
0.99/1.02	c remove useless variable s[7][6][0]
0.99/1.02	c remove useless variable s[7][6][1]
0.99/1.02	c remove useless variable s[7][6][2]
0.99/1.02	c remove useless variable s[7][6][3]
0.99/1.02	c remove useless variable s[7][6][4]
0.99/1.02	c remove useless variable s[7][6][5]
0.99/1.02	c remove useless variable s[7][6][6]
0.99/1.02	c remove useless variable s[7][6][7]
0.99/1.02	c remove useless variable s[7][6][8]
0.99/1.02	c remove useless variable s[7][6][9]
0.99/1.02	c remove useless variable s[7][6][10]
0.99/1.02	c remove useless variable s[7][6][11]
0.99/1.02	c remove useless variable s[7][6][12]
0.99/1.02	c remove useless variable s[7][6][13]
0.99/1.02	c remove useless variable s[7][6][14]
0.99/1.02	c remove useless variable s[7][6][15]
0.99/1.02	c remove useless variable s[7][6][16]
0.99/1.02	c remove useless variable s[7][6][17]
0.99/1.02	c remove useless variable s[7][7][0]
0.99/1.02	c remove useless variable s[7][7][1]
0.99/1.02	c remove useless variable s[7][7][2]
0.99/1.02	c remove useless variable s[7][7][3]
0.99/1.02	c remove useless variable s[7][7][4]
0.99/1.02	c remove useless variable s[7][7][5]
0.99/1.02	c remove useless variable s[7][7][6]
0.99/1.02	c remove useless variable s[7][7][7]
0.99/1.02	c remove useless variable s[7][7][8]
0.99/1.02	c remove useless variable s[7][7][9]
0.99/1.02	c remove useless variable s[7][7][10]
0.99/1.02	c remove useless variable s[7][7][11]
0.99/1.02	c remove useless variable s[7][7][12]
0.99/1.02	c remove useless variable s[7][7][13]
0.99/1.02	c remove useless variable s[7][7][14]
0.99/1.02	c remove useless variable s[7][7][15]
0.99/1.02	c remove useless variable s[7][7][16]
0.99/1.02	c remove useless variable s[7][7][17]
0.99/1.02	c remove useless variable s[8][0][0]
0.99/1.02	c remove useless variable s[8][0][1]
0.99/1.02	c remove useless variable s[8][0][2]
0.99/1.02	c remove useless variable s[8][0][3]
0.99/1.02	c remove useless variable s[8][0][4]
0.99/1.02	c remove useless variable s[8][0][5]
0.99/1.02	c remove useless variable s[8][0][6]
0.99/1.02	c remove useless variable s[8][0][7]
0.99/1.02	c remove useless variable s[8][0][8]
0.99/1.02	c remove useless variable s[8][0][9]
0.99/1.02	c remove useless variable s[8][0][10]
0.99/1.02	c remove useless variable s[8][0][11]
0.99/1.02	c remove useless variable s[8][0][12]
0.99/1.02	c remove useless variable s[8][0][13]
0.99/1.02	c remove useless variable s[8][0][14]
0.99/1.02	c remove useless variable s[8][0][15]
0.99/1.02	c remove useless variable s[8][0][16]
0.99/1.02	c remove useless variable s[8][0][17]
0.99/1.02	c remove useless variable s[8][1][0]
0.99/1.02	c remove useless variable s[8][1][1]
0.99/1.02	c remove useless variable s[8][1][2]
0.99/1.02	c remove useless variable s[8][1][3]
0.99/1.02	c remove useless variable s[8][1][4]
0.99/1.02	c remove useless variable s[8][1][5]
0.99/1.02	c remove useless variable s[8][1][6]
0.99/1.02	c remove useless variable s[8][1][7]
0.99/1.02	c remove useless variable s[8][1][8]
0.99/1.02	c remove useless variable s[8][1][9]
0.99/1.02	c remove useless variable s[8][1][10]
0.99/1.02	c remove useless variable s[8][1][11]
0.99/1.02	c remove useless variable s[8][1][12]
0.99/1.02	c remove useless variable s[8][1][13]
0.99/1.02	c remove useless variable s[8][1][14]
0.99/1.02	c remove useless variable s[8][1][15]
0.99/1.02	c remove useless variable s[8][1][16]
0.99/1.02	c remove useless variable s[8][1][17]
0.99/1.02	c remove useless variable s[8][2][0]
0.99/1.02	c remove useless variable s[8][2][1]
0.99/1.02	c remove useless variable s[8][2][2]
0.99/1.02	c remove useless variable s[8][2][3]
0.99/1.02	c remove useless variable s[8][2][4]
0.99/1.02	c remove useless variable s[8][2][5]
0.99/1.02	c remove useless variable s[8][2][6]
0.99/1.02	c remove useless variable s[8][2][7]
0.99/1.02	c remove useless variable s[8][2][8]
0.99/1.02	c remove useless variable s[8][2][9]
0.99/1.02	c remove useless variable s[8][2][10]
0.99/1.02	c remove useless variable s[8][2][11]
0.99/1.02	c remove useless variable s[8][2][12]
0.99/1.02	c remove useless variable s[8][2][13]
0.99/1.02	c remove useless variable s[8][2][14]
0.99/1.02	c remove useless variable s[8][2][15]
0.99/1.02	c remove useless variable s[8][2][16]
0.99/1.02	c remove useless variable s[8][2][17]
0.99/1.02	c remove useless variable s[8][3][0]
0.99/1.02	c remove useless variable s[8][3][1]
0.99/1.02	c remove useless variable s[8][3][2]
0.99/1.02	c remove useless variable s[8][3][3]
0.99/1.02	c remove useless variable s[8][3][4]
0.99/1.02	c remove useless variable s[8][3][5]
0.99/1.02	c remove useless variable s[8][3][6]
0.99/1.02	c remove useless variable s[8][3][7]
0.99/1.02	c remove useless variable s[8][3][8]
0.99/1.02	c remove useless variable s[8][3][9]
0.99/1.02	c remove useless variable s[8][3][10]
0.99/1.02	c remove useless variable s[8][3][11]
0.99/1.02	c remove useless variable s[8][3][12]
0.99/1.02	c remove useless variable s[8][3][13]
0.99/1.02	c remove useless variable s[8][3][14]
0.99/1.02	c remove useless variable s[8][3][15]
0.99/1.02	c remove useless variable s[8][3][16]
0.99/1.02	c remove useless variable s[8][3][17]
0.99/1.02	c remove useless variable s[8][4][0]
0.99/1.02	c remove useless variable s[8][4][1]
0.99/1.02	c remove useless variable s[8][4][2]
0.99/1.02	c remove useless variable s[8][4][3]
0.99/1.02	c remove useless variable s[8][4][4]
0.99/1.02	c remove useless variable s[8][4][5]
0.99/1.02	c remove useless variable s[8][4][6]
0.99/1.02	c remove useless variable s[8][4][7]
0.99/1.02	c remove useless variable s[8][4][8]
0.99/1.02	c remove useless variable s[8][4][9]
0.99/1.02	c remove useless variable s[8][4][10]
0.99/1.02	c remove useless variable s[8][4][11]
0.99/1.02	c remove useless variable s[8][4][12]
0.99/1.02	c remove useless variable s[8][4][13]
0.99/1.02	c remove useless variable s[8][4][14]
0.99/1.02	c remove useless variable s[8][4][15]
0.99/1.02	c remove useless variable s[8][4][16]
0.99/1.02	c remove useless variable s[8][4][17]
0.99/1.02	c remove useless variable s[8][5][0]
0.99/1.02	c remove useless variable s[8][5][1]
0.99/1.02	c remove useless variable s[8][5][2]
0.99/1.02	c remove useless variable s[8][5][3]
0.99/1.02	c remove useless variable s[8][5][4]
0.99/1.02	c remove useless variable s[8][5][5]
0.99/1.02	c remove useless variable s[8][5][6]
0.99/1.02	c remove useless variable s[8][5][7]
0.99/1.02	c remove useless variable s[8][5][8]
0.99/1.02	c remove useless variable s[8][5][9]
0.99/1.02	c remove useless variable s[8][5][10]
0.99/1.02	c remove useless variable s[8][5][11]
0.99/1.02	c remove useless variable s[8][5][12]
0.99/1.02	c remove useless variable s[8][5][13]
0.99/1.02	c remove useless variable s[8][5][14]
0.99/1.02	c remove useless variable s[8][5][15]
0.99/1.02	c remove useless variable s[8][5][16]
0.99/1.02	c remove useless variable s[8][5][17]
0.99/1.02	c remove useless variable s[8][6][0]
0.99/1.02	c remove useless variable s[8][6][1]
0.99/1.02	c remove useless variable s[8][6][2]
0.99/1.02	c remove useless variable s[8][6][3]
0.99/1.02	c remove useless variable s[8][6][4]
0.99/1.02	c remove useless variable s[8][6][5]
0.99/1.02	c remove useless variable s[8][6][6]
0.99/1.02	c remove useless variable s[8][6][7]
0.99/1.02	c remove useless variable s[8][6][8]
0.99/1.02	c remove useless variable s[8][6][9]
0.99/1.02	c remove useless variable s[8][6][10]
0.99/1.02	c remove useless variable s[8][6][11]
0.99/1.02	c remove useless variable s[8][6][12]
0.99/1.02	c remove useless variable s[8][6][13]
0.99/1.02	c remove useless variable s[8][6][14]
0.99/1.02	c remove useless variable s[8][6][15]
0.99/1.02	c remove useless variable s[8][6][16]
0.99/1.02	c remove useless variable s[8][6][17]
0.99/1.02	c remove useless variable s[8][7][0]
0.99/1.02	c remove useless variable s[8][7][1]
0.99/1.02	c remove useless variable s[8][7][2]
0.99/1.02	c remove useless variable s[8][7][3]
0.99/1.02	c remove useless variable s[8][7][4]
0.99/1.02	c remove useless variable s[8][7][5]
0.99/1.02	c remove useless variable s[8][7][6]
0.99/1.02	c remove useless variable s[8][7][7]
0.99/1.02	c remove useless variable s[8][7][8]
0.99/1.02	c remove useless variable s[8][7][9]
0.99/1.02	c remove useless variable s[8][7][10]
0.99/1.02	c remove useless variable s[8][7][11]
0.99/1.02	c remove useless variable s[8][7][12]
0.99/1.02	c remove useless variable s[8][7][13]
0.99/1.02	c remove useless variable s[8][7][14]
0.99/1.02	c remove useless variable s[8][7][15]
0.99/1.02	c remove useless variable s[8][7][16]
0.99/1.02	c remove useless variable s[8][7][17]
0.99/1.02	c remove useless variable s[8][8][0]
0.99/1.02	c remove useless variable s[8][8][1]
0.99/1.02	c remove useless variable s[8][8][2]
0.99/1.02	c remove useless variable s[8][8][3]
0.99/1.02	c remove useless variable s[8][8][4]
0.99/1.02	c remove useless variable s[8][8][5]
0.99/1.02	c remove useless variable s[8][8][6]
0.99/1.02	c remove useless variable s[8][8][7]
0.99/1.02	c remove useless variable s[8][8][8]
0.99/1.02	c remove useless variable s[8][8][9]
0.99/1.02	c remove useless variable s[8][8][10]
0.99/1.02	c remove useless variable s[8][8][11]
0.99/1.02	c remove useless variable s[8][8][12]
0.99/1.02	c remove useless variable s[8][8][13]
0.99/1.02	c remove useless variable s[8][8][14]
0.99/1.02	c remove useless variable s[8][8][15]
0.99/1.02	c remove useless variable s[8][8][16]
0.99/1.02	c remove useless variable s[8][8][17]
0.99/1.02	c remove useless variable s[9][0][0]
0.99/1.02	c remove useless variable s[9][0][1]
0.99/1.02	c remove useless variable s[9][0][2]
0.99/1.02	c remove useless variable s[9][0][3]
0.99/1.02	c remove useless variable s[9][0][4]
0.99/1.02	c remove useless variable s[9][0][5]
0.99/1.02	c remove useless variable s[9][0][6]
0.99/1.02	c remove useless variable s[9][0][7]
0.99/1.02	c remove useless variable s[9][0][8]
0.99/1.02	c remove useless variable s[9][0][9]
0.99/1.02	c remove useless variable s[9][0][10]
0.99/1.02	c remove useless variable s[9][0][11]
0.99/1.02	c remove useless variable s[9][0][12]
0.99/1.02	c remove useless variable s[9][0][13]
0.99/1.02	c remove useless variable s[9][0][14]
0.99/1.02	c remove useless variable s[9][0][15]
0.99/1.02	c remove useless variable s[9][0][16]
0.99/1.02	c remove useless variable s[9][0][17]
0.99/1.02	c remove useless variable s[9][1][0]
0.99/1.02	c remove useless variable s[9][1][1]
0.99/1.02	c remove useless variable s[9][1][2]
0.99/1.02	c remove useless variable s[9][1][3]
0.99/1.02	c remove useless variable s[9][1][4]
0.99/1.02	c remove useless variable s[9][1][5]
0.99/1.02	c remove useless variable s[9][1][6]
0.99/1.02	c remove useless variable s[9][1][7]
0.99/1.02	c remove useless variable s[9][1][8]
0.99/1.02	c remove useless variable s[9][1][9]
0.99/1.02	c remove useless variable s[9][1][10]
0.99/1.02	c remove useless variable s[9][1][11]
0.99/1.02	c remove useless variable s[9][1][12]
0.99/1.02	c remove useless variable s[9][1][13]
0.99/1.02	c remove useless variable s[9][1][14]
0.99/1.02	c remove useless variable s[9][1][15]
0.99/1.02	c remove useless variable s[9][1][16]
0.99/1.02	c remove useless variable s[9][1][17]
0.99/1.02	c remove useless variable s[9][2][0]
0.99/1.02	c remove useless variable s[9][2][1]
0.99/1.02	c remove useless variable s[9][2][2]
0.99/1.02	c remove useless variable s[9][2][3]
0.99/1.02	c remove useless variable s[9][2][4]
0.99/1.02	c remove useless variable s[9][2][5]
0.99/1.02	c remove useless variable s[9][2][6]
0.99/1.02	c remove useless variable s[9][2][7]
0.99/1.02	c remove useless variable s[9][2][8]
0.99/1.02	c remove useless variable s[9][2][9]
0.99/1.02	c remove useless variable s[9][2][10]
0.99/1.02	c remove useless variable s[9][2][11]
0.99/1.02	c remove useless variable s[9][2][12]
0.99/1.02	c remove useless variable s[9][2][13]
0.99/1.02	c remove useless variable s[9][2][14]
0.99/1.02	c remove useless variable s[9][2][15]
0.99/1.02	c remove useless variable s[9][2][16]
0.99/1.02	c remove useless variable s[9][2][17]
0.99/1.02	c remove useless variable s[9][3][0]
0.99/1.02	c remove useless variable s[9][3][1]
0.99/1.02	c remove useless variable s[9][3][2]
0.99/1.02	c remove useless variable s[9][3][3]
0.99/1.02	c remove useless variable s[9][3][4]
0.99/1.02	c remove useless variable s[9][3][5]
0.99/1.02	c remove useless variable s[9][3][6]
0.99/1.02	c remove useless variable s[9][3][7]
0.99/1.02	c remove useless variable s[9][3][8]
0.99/1.02	c remove useless variable s[9][3][9]
0.99/1.02	c remove useless variable s[9][3][10]
0.99/1.02	c remove useless variable s[9][3][11]
0.99/1.02	c remove useless variable s[9][3][12]
0.99/1.02	c remove useless variable s[9][3][13]
0.99/1.02	c remove useless variable s[9][3][14]
0.99/1.02	c remove useless variable s[9][3][15]
0.99/1.02	c remove useless variable s[9][3][16]
0.99/1.02	c remove useless variable s[9][3][17]
0.99/1.02	c remove useless variable s[9][4][0]
0.99/1.02	c remove useless variable s[9][4][1]
0.99/1.02	c remove useless variable s[9][4][2]
0.99/1.02	c remove useless variable s[9][4][3]
0.99/1.02	c remove useless variable s[9][4][4]
0.99/1.02	c remove useless variable s[9][4][5]
0.99/1.02	c remove useless variable s[9][4][6]
0.99/1.02	c remove useless variable s[9][4][7]
0.99/1.02	c remove useless variable s[9][4][8]
0.99/1.02	c remove useless variable s[9][4][9]
0.99/1.02	c remove useless variable s[9][4][10]
0.99/1.02	c remove useless variable s[9][4][11]
0.99/1.02	c remove useless variable s[9][4][12]
0.99/1.02	c remove useless variable s[9][4][13]
0.99/1.02	c remove useless variable s[9][4][14]
0.99/1.02	c remove useless variable s[9][4][15]
0.99/1.02	c remove useless variable s[9][4][16]
0.99/1.02	c remove useless variable s[9][4][17]
0.99/1.02	c remove useless variable s[9][5][0]
0.99/1.02	c remove useless variable s[9][5][1]
0.99/1.02	c remove useless variable s[9][5][2]
0.99/1.02	c remove useless variable s[9][5][3]
0.99/1.02	c remove useless variable s[9][5][4]
0.99/1.02	c remove useless variable s[9][5][5]
0.99/1.02	c remove useless variable s[9][5][6]
0.99/1.02	c remove useless variable s[9][5][7]
0.99/1.02	c remove useless variable s[9][5][8]
0.99/1.02	c remove useless variable s[9][5][9]
0.99/1.02	c remove useless variable s[9][5][10]
0.99/1.02	c remove useless variable s[9][5][11]
0.99/1.02	c remove useless variable s[9][5][12]
0.99/1.02	c remove useless variable s[9][5][13]
0.99/1.02	c remove useless variable s[9][5][14]
0.99/1.02	c remove useless variable s[9][5][15]
0.99/1.02	c remove useless variable s[9][5][16]
0.99/1.02	c remove useless variable s[9][5][17]
0.99/1.02	c remove useless variable s[9][6][0]
0.99/1.02	c remove useless variable s[9][6][1]
0.99/1.02	c remove useless variable s[9][6][2]
0.99/1.02	c remove useless variable s[9][6][3]
0.99/1.02	c remove useless variable s[9][6][4]
0.99/1.02	c remove useless variable s[9][6][5]
0.99/1.02	c remove useless variable s[9][6][6]
0.99/1.02	c remove useless variable s[9][6][7]
0.99/1.02	c remove useless variable s[9][6][8]
0.99/1.02	c remove useless variable s[9][6][9]
0.99/1.02	c remove useless variable s[9][6][10]
0.99/1.02	c remove useless variable s[9][6][11]
0.99/1.02	c remove useless variable s[9][6][12]
0.99/1.02	c remove useless variable s[9][6][13]
0.99/1.02	c remove useless variable s[9][6][14]
0.99/1.02	c remove useless variable s[9][6][15]
0.99/1.02	c remove useless variable s[9][6][16]
0.99/1.02	c remove useless variable s[9][6][17]
0.99/1.02	c remove useless variable s[9][7][0]
0.99/1.02	c remove useless variable s[9][7][1]
0.99/1.02	c remove useless variable s[9][7][2]
0.99/1.02	c remove useless variable s[9][7][3]
0.99/1.02	c remove useless variable s[9][7][4]
0.99/1.02	c remove useless variable s[9][7][5]
0.99/1.02	c remove useless variable s[9][7][6]
0.99/1.02	c remove useless variable s[9][7][7]
0.99/1.02	c remove useless variable s[9][7][8]
0.99/1.02	c remove useless variable s[9][7][9]
0.99/1.02	c remove useless variable s[9][7][10]
0.99/1.02	c remove useless variable s[9][7][11]
0.99/1.02	c remove useless variable s[9][7][12]
0.99/1.02	c remove useless variable s[9][7][13]
0.99/1.02	c remove useless variable s[9][7][14]
0.99/1.02	c remove useless variable s[9][7][15]
0.99/1.02	c remove useless variable s[9][7][16]
0.99/1.02	c remove useless variable s[9][7][17]
0.99/1.02	c remove useless variable s[9][8][0]
0.99/1.02	c remove useless variable s[9][8][1]
0.99/1.02	c remove useless variable s[9][8][2]
0.99/1.02	c remove useless variable s[9][8][3]
0.99/1.02	c remove useless variable s[9][8][4]
0.99/1.02	c remove useless variable s[9][8][5]
0.99/1.02	c remove useless variable s[9][8][6]
0.99/1.02	c remove useless variable s[9][8][7]
0.99/1.02	c remove useless variable s[9][8][8]
0.99/1.02	c remove useless variable s[9][8][9]
0.99/1.02	c remove useless variable s[9][8][10]
0.99/1.02	c remove useless variable s[9][8][11]
0.99/1.02	c remove useless variable s[9][8][12]
0.99/1.02	c remove useless variable s[9][8][13]
0.99/1.02	c remove useless variable s[9][8][14]
0.99/1.02	c remove useless variable s[9][8][15]
0.99/1.02	c remove useless variable s[9][8][16]
0.99/1.02	c remove useless variable s[9][8][17]
0.99/1.02	c remove useless variable s[9][9][0]
0.99/1.02	c remove useless variable s[9][9][1]
0.99/1.02	c remove useless variable s[9][9][2]
0.99/1.02	c remove useless variable s[9][9][3]
0.99/1.02	c remove useless variable s[9][9][4]
0.99/1.02	c remove useless variable s[9][9][5]
0.99/1.02	c remove useless variable s[9][9][6]
0.99/1.02	c remove useless variable s[9][9][7]
0.99/1.02	c remove useless variable s[9][9][8]
0.99/1.02	c remove useless variable s[9][9][9]
0.99/1.02	c remove useless variable s[9][9][10]
0.99/1.02	c remove useless variable s[9][9][11]
0.99/1.02	c remove useless variable s[9][9][12]
0.99/1.02	c remove useless variable s[9][9][13]
0.99/1.02	c remove useless variable s[9][9][14]
0.99/1.02	c remove useless variable s[9][9][15]
0.99/1.02	c remove useless variable s[9][9][16]
0.99/1.02	c remove useless variable s[9][9][17]
0.99/1.02	c 10             104            3747           897            0              7              33   76   49   
0.99/1.03	c 20             179            6004           1701           0              12             18   36   23   
0.99/1.03	c 30             272            8504           2488           0              18             7   78   52    
0.99/1.03	c 40             359            10848          3090           0              22             34   55   42   
0.99/1.03	c 50             482            13967          3949           0              29             31   93   62   
0.99/1.04	c 60             550            16899          5088           0              33             2   47   37    
0.99/1.04	c 70             685            20511          6059           0              39             2   120   67   
0.99/1.04	c 80             789            23726          7160           0              43             2   52   39    
0.99/1.05	c 90             861            25599          7771           0              48             4   51   38    
0.99/1.05	c 100            932            27393          8372           0              53             5   50   38    
0.99/1.05	c 101            942            27621          8474           0              54             10   10   5    
0.99/1.05	c 110            1009           29291          9006           10             57             1   48   36    
0.99/1.05	c 120            1075           31734          10228          10             62             40   50   41   
0.99/1.05	c 130            1144           33593          10756          10             65             42   49   41   
0.99/1.06	c 140            1226           35776          11415          10             67             43   49   42   
0.99/1.06	c 150            1296           37597          11957          10             70             41   48   40   
0.99/1.06	c 160            1366           39415          12494          10             73             40   47   40   
0.99/1.06	c 170            1457           41915          13306          10             75             42   47   40   
0.99/1.06	c 180            1524           43653          13834          10             79             40   46   39   
0.99/1.06	c 190            1593           45517          14371          10             82             40   47   39   
0.99/1.07	c 200            1660           47293          14900          10             86             40   46   39   
0.99/1.07	c 210            1735           49345          15498          10             87             40   46   39   
0.99/1.07	c 211            1774           50143          15730          10             88             39   39   19   
0.99/1.07	c 220            1896           53887          16982          10             92             86   103   87  
0.99/1.07	c 230            1971           55862          17616          10             95             41   46   39   
0.99/1.08	c 240            2043           57700          18253          10             100            39   46   38   
0.99/1.08	c 250            2122           60320          19082          10             104            44   48   42   
0.99/1.08	c 260            2256           64256          20372          10             105            100   119   101
0.99/1.09	c 270            2370           68553          21936          10             106            89   95   84   
0.99/1.09	c 280            2456           70654          22648          10             116            43   77   48   
0.99/1.09	c 290            2519           72404          23332          10             118            37   46   37   
0.99/1.09	c 300            2586           73791          23842          10             121            39   47   38   
0.99/1.09	c 310            2648           75250          24379          10             126            37   45   37   
0.99/1.09	c 320            2713           76598          24882          10             128            38   47   38   
0.99/1.10	c 330            2770           80336          26370          10             131            28   45   30   
0.99/1.10	c 332            2809           81264          26669          10             133            37   38   25   
0.99/1.10	c 340            2887           83276          27354          10             136            40   48   39   
0.99/1.10	c 350            2953           85710          28366          10             139            38   45   37   
0.99/1.10	c 360            3021           87089          28875          10             142            40   48   39   
1.09/1.11	c 370            3127           91897          30945          10             147            30   50   38   
1.09/1.11	c 380            3211           96036          32645          10             153            31   52   39   
1.09/1.11	c 390            3285           99646          34170          10             156            40   48   39   
1.09/1.12	c 400            3404           104399         35889          10             162            45   96   60   
1.09/1.12	c 410            3466           107562         37267          10             169            31   45   33   
1.09/1.12	c 420            3530           108870         37767          10             171            40   47   39   
1.09/1.13	c 430            3597           113231         39848          10             178            20   45   30   
1.09/1.13	c 440            3651           115923         41135          10             183            21   36   25   
1.09/1.13	c 450            3717           120543         43336          10             192            21   40   28   
1.09/1.14	c 460            3848           128120         46489          10             196            31   81   35   
1.09/1.14	c 465            3883           129786         47176          10             201            10   31   18   
1.09/1.14	c 470            3916           131447         47855          10             206            11   29   17   
1.09/1.14	c 480            3962           132617         48295          10             208            27   32   26   
1.09/1.14	c 490            4016           134063         48801          10             212            29   33   28   
1.09/1.15	c 500            4071           136620         49776          10             216            31   34   30   
1.09/1.15	c 510            4120           140172         51395          10             222            13   34   24   
1.09/1.15	c 520            4225           145157         53475          10             230            13   84   35   
1.09/1.16	c 530            4269           146790         54204          10             240            13   35   20   
1.09/1.16	c 540            4350           149403         55259          10             250            29   72   39   
1.09/1.16	c 550            4394           153767         57394          10             260            14   35   23   
1.09/1.16	c 560            4436           155088         57867          10             267            15   31   20   
1.09/1.16	c 570            4490           156949         58435          10             273            17   32   24   
1.09/1.17	c 580            4541           158339         58968          10             275            28   31   27   
1.09/1.17	c 590            4636           161450         60141          10             283            13   85   51   
1.09/1.17	c 600            4733           164394         61245          10             293            14   88   56   
1.09/1.17	c 610            4849           167647         62240          10             298            58   88   75   
1.09/1.18	c 611            4907           168832         62558          10             299            58   58   29   
1.09/1.18	c 620            5017           171890         63463          10             302            32   74   41   
1.09/1.18	c 630            5070           173239         63963          10             306            29   33   28   
1.09/1.18	c 640            5163           175728         64690          10             315            12   84   61   
1.09/1.19	c 650            5266           178510         65516          10             321            13   87   67   
1.09/1.19	c 660            5371           181428         66376          10             325            14   87   66   
1.09/1.19	c 670            5469           184439         67275          10             331            14   81   54   
1.09/1.19	c 680            5555           186751         67955          10             339            13   74   47   
1.18/1.20	c 690            5676           190076         68936          10             349            13   112   42  
1.18/1.20	c 700            5769           192834         69779          10             358            14   82   40   
1.18/1.20	c 710            5872           195836         70697          10             366            14   87   53   
1.18/1.20	c 720            5954           198184         71443          10             376            14   73   42   
1.18/1.21	c 730            6111           202049         72566          10             386            15   148   46  
1.18/1.21	c 740            6168           203759         73097          10             395            17   46   27   
1.18/1.21	c 750            6259           206216         73820          10             405            20   82   41   
1.18/1.21	c 760            6343           208479         74490          10             413            20   75   41   
1.18/1.21	c 770            6401           210154         75011          10             422            22   46   28   
1.18/1.22	c 771            6424           210613         75196          10             423            23   23   11   
1.18/1.22	c 780            6502           213044         75986          10             432            22   70   37   
1.18/1.22	c 790            6594           215906         76902          10             442            22   83   43   
1.18/1.22	c 800            6681           218492         77719          10             451            23   75   41   
1.18/1.23	c 810            6775           221310         78611          10             458            23   85   52   
1.18/1.23	c 820            6851           223314         79329          10             462            23   48   36   
1.18/1.23	c 830            6915           224573         79805          10             464            41   48   40   
1.18/1.23	c 840            6990           226548         80491          10             471            43   58   43   
1.18/1.23	c 850            7060           227914         80998          10             475            41   48   40   
1.18/1.23	c 860            7133           229363         81510          10             481            27   48   36   
1.18/1.24	c 870            7195           230968         82035          10             487            21   46   30   
1.18/1.24	c 880            7272           232619         82587          10             492            22   48   33   
1.18/1.24	c 890            7361           235893         83724          10             500            21   77   42   
1.18/1.24	c 900            7465           238880         84694          10             509            22   80   41   
1.18/1.25	c 910            7555           242217         85847          10             518            22   75   43   
1.18/1.25	c 920            7628           244206         86456          10             526            23   59   35   
1.18/1.25	c 930            7730           247692         87694          10             536            24   79   41   
1.18/1.25	c 940            7817           250334         88527          10             543            25   74   50   
1.18/1.26	c 947            7897           252628         89268          10             549            25   74   42   
1.18/1.26	c 950            7928           253366         89542          10             552            26   29   20   
1.18/1.26	c 960            7995           255341         90149          10             558            25   46   33   
1.18/1.26	c 970            8066           256967         90657          10             561            42   49   40   
1.18/1.26	c 980            8134           258271         91147          10             565            41   47   40   
1.18/1.26	c 990            8221           260882         91961          10             574            21   74   49   
1.18/1.27	c 1000           8304           263140         92626          10             582            22   71   48   
1.18/1.27	c 1010           8386           265338         93290          10             588            22   73   49   
1.18/1.27	c 1020           8560           269570         94676          10             597            23   161   75  
1.18/1.27	c 1030           8651           272292         95546          10             604            26   73   54   
1.18/1.28	c 1040           8739           274644         96278          10             612            26   76   51   
1.18/1.28	c 1050           8824           277000         97144          10             621            25   73   40   
1.18/1.28	c 1060           8889           278681         97686          10             629            26   48   34   
1.18/1.28	c 1070           8960           280133         98200          10             634            29   49   36   
1.18/1.28	c 1080           9049           282473         98870          10             639            57   71   61   
1.18/1.29	c 1090           9128           284613         99530          10             647            22   68   40   
1.18/1.29	c 1100           9206           286663         100138         10             657            23   69   41   
1.18/1.29	c 1110           9299           289122         100872         10             667            22   84   44   
1.18/1.29	c 1120           9382           291353         101531         10             675            22   72   41   
1.18/1.29	c 1130           9433           292922         102039         10             685            23   42   28   
1.28/1.30	c 1140           9512           295162         102738         10             695            24   70   45   
1.28/1.30	c 1141           9534           295616         102920         10             696            22   22   11   
1.28/1.30	c 1150           9628           298373         103743         10             705            24   86   58   
1.28/1.30	c 1160           9708           300615         104442         10             711            22   71   45   
1.28/1.30	c 1170           9791           302860         105097         10             720            22   70   45   
1.28/1.31	c 1180           9876           305186         105754         10             729            22   74   41   
1.28/1.31	c 1190           9937           307476         106538         10             739            22   48   29   
1.28/1.31	c 1200           10023          309455         107185         10             747            23   76   36   
1.28/1.31	c 1210           10116          311947         107925         10             757            22   84   44   
1.28/1.31	c 1220           10182          314390         109054         10             764            31   51   41   
1.28/1.32	c 1230           10262          316465         109666         10             774            23   71   31   
1.28/1.32	c 1240           10355          318939         110402         10             784            22   84   44   
1.28/1.32	c 1250           10422          320736         111007         10             792            22   49   31   
1.28/1.32	c 1260           10485          321961         111465         10             796            41   49   40   
1.28/1.32	c 1270           10555          323296         111953         10             801            42   48   40   
1.28/1.33	c 1280           10635          325355         112596         10             811            21   70   35   
1.28/1.33	c 1290           10698          327132         113142         10             819            22   50   30   
1.28/1.33	c 1300           10915          332588         114943         10             825            57   188   117 
1.28/1.33	c 1310           10985          334433         115548         10             831            25   47   34   
1.28/1.34	c 1320           11048          335782         116028         10             833            39   47   39   
1.28/1.34	c 1330           11113          337342         116530         10             842            25   46   32   
1.28/1.34	c 1340           11184          338937         117070         10             847            28   49   35   
1.28/1.34	c 1350           11244          340398         117581         10             854            24   47   31   
1.28/1.34	c 1352           11278          340995         117843         10             856            30   33   21   
1.28/1.34	c 1360           11358          342751         118428         10             863            28   73   40   
1.28/1.35	c 1370           11451          345065         119211         10             872            29   75   47   
1.28/1.35	c 1380           11513          346286         119676         10             879            29   50   36   
1.28/1.35	c 1390           11570          347546         120118         10             889            24   48   32   
1.28/1.35	c 1400           11628          348846         120594         10             899            25   45   30   
1.28/1.35	c 1410           11708          350592         121164         10             909            26   49   33   
1.28/1.35	c 1420           11800          353450         121985         10             917            57   82   65   
1.28/1.36	c 1430           11899          356253         122804         10             926            58   88   67   
1.28/1.36	c 1440           12087          359844         123924         10             935            58   178   89  
1.28/1.36	c 1450           12191          362920         124898         10             938            58   88   75   
1.28/1.37	c 1460           12289          365635         125681         10             948            58   89   66   
1.28/1.37	c 1470           12391          368552         126585         10             954            58   86   73   
1.28/1.37	c 1480           12577          371907         127638         10             964            58   176   82  
1.28/1.37	c 1490           12693          374923         128573         10             971            25   98   57   
1.28/1.38	c 1500           12789          377426         129411         10             979            24   87   52   
1.28/1.38	c 1510           12903          380344         130341         10             988            25   97   49   
1.28/1.38	c 1520           12982          382296         131029         10             995            24   70   42   
1.28/1.38	c 1530           13099          385396         132010         10             1002           24   99   66   
1.28/1.39	c 1540           13187          387997         132819         10             1009           58   75   62   
1.28/1.39	c 1550           13246          390115         133613         10             1017           23   48   31   
1.28/1.39	c 1560           13350          393236         134663         10             1024           22   79   39   
1.28/1.39	c 1570           13418          394616         135166         10             1027           41   50   41   
1.28/1.39	c 1580           13477          396054         135671         10             1037           25   46   31   
1.38/1.40	c 1585           13515          396867         136005         10             1042           26   34   25   
1.38/1.40	c 1590           13566          397830         136359         10             1047           25   47   26   
1.38/1.40	c 1600           13678          400778         137292         10             1056           25   79   43   
1.38/1.40	c 1610           13745          402602         137918         10             1062           22   48   32   
1.38/1.40	c 1620           13818          403991         138438         10             1066           40   47   39   
1.38/1.41	c 1630           13904          406920         139361         10             1072           21   72   48   
1.38/1.41	c 1640           14041          410370         140314         10             1079           58   101   82  
1.38/1.41	c 1650           14236          414706         141771         10             1083           58   178   130 
1.38/1.41	c 1660           14294          416480         142352         10             1093           25   46   30   
1.38/1.42	c 1670           14343          417968         142857         10             1103           25   40   29   
1.38/1.42	c 1680           14400          419672         143445         10             1109           25   44   30   
1.38/1.42	c 1690           14464          420931         143919         10             1111           41   49   40   
1.38/1.42	c 1700           14514          422484         144448         10             1121           24   41   29   
1.38/1.42	c 1710           14606          424991         145267         10             1126           45   69   52   
1.38/1.42	c 1720           14670          426560         145743         10             1130           42   50   41   
1.38/1.43	c 1730           14749          428487         146349         10             1137           29   45   35   
1.38/1.43	c 1740           14853          430771         147055         10             1141           29   46   36   
1.38/1.43	c 1750           14975          434441         148261         10             1146           43   99   68   
1.38/1.44	c 1760           15123          439232         149739         10             1149           71   99   71   
1.38/1.44	c 1770           15204          441773         150767         10             1159           33   72   46   
1.38/1.44	c 1780           15286          443968         151437         10             1165           23   70   52   
1.38/1.44	c 1790           15391          446897         152452         10             1174           22   93   44   
1.38/1.45	c 1800           15478          449150         153187         10             1183           22   72   37   
1.38/1.45	c 1810           15559          451467         153920         10             1189           22   70   48   
1.38/1.45	c 1820           15681          454781         154986         10             1196           24   85   45   
1.38/1.45	c 1830           15802          457768         155866         10             1204           22   100   75  
1.38/1.46	c 1840           15853          459189         156343         10             1214           23   42   28   
1.38/1.46	c 1841           15876          459683         156551         10             1215           23   23   11   
1.38/1.46	c 1850           15954          461784         157169         10             1224           21   70   46   
1.38/1.46	c 1860           16146          465754         158391         10             1233           66   182   101 
1.38/1.46	c 1870           16245          468801         159352         10             1240           22   73   44   
1.38/1.47	c 1880           16313          471298         160516         10             1245           31   47   39   
1.38/1.47	c 1890           16395          473098         161127         10             1254           23   71   39   
1.38/1.47	c 1900           16478          475039         161768         10             1262           22   72   37   
1.38/1.47	c 1910           16538          476603         162337         10             1272           22   47   29   
1.38/1.47	c 1920           16587          477796         162769         10             1282           24   40   28   
1.38/1.48	c 1930           16680          480717         163682         10             1290           22   72   39   
1.38/1.48	c 1940           16735          482280         164195         10             1299           22   46   28   
1.38/1.48	c 1950           16817          484200         164852         10             1307           24   71   38   
1.38/1.48	c 1960           16868          485513         165314         10             1317           22   42   28   
1.38/1.48	c 1970           16948          487575         166000         10             1326           23   71   34   
1.38/1.49	c 1980           17047          490194         166837         10             1335           22   77   37   
1.38/1.49	c 1990           17127          491970         167426         10             1344           24   71   34   
1.38/1.49	c 2000           17208          493818         168079         10             1352           24   72   36   
1.38/1.49	c 2010           17292          495759         168748         10             1360           24   73   36   
1.38/1.49	c 2020           17375          497658         169413         10             1368           24   72   36   
1.38/1.50	c 2030           17455          499446         170001         10             1377           24   71   34   
1.48/1.50	c 2040           17537          501629         170765         10             1386           22   71   35   
1.48/1.50	c 2050           17594          503134         171278         10             1395           22   48   28   
1.48/1.50	c 2060           17675          505145         171943         10             1404           22   71   33   
1.48/1.50	c 2070           17755          507290         172618         10             1413           22   71   32   
1.48/1.51	c 2080           17840          509714         173368         10             1421           22   69   41   
1.48/1.51	c 2090           17919          511683         173960         10             1429           22   70   38   
1.48/1.51	c 2100           18003          514110         174713         10             1438           22   70   35   
1.48/1.51	c 2110           18102          516859         175590         10             1445           22   76   44   
1.48/1.51	c 2120           18180          518986         176245         10             1451           22   69   44   
1.48/1.51	c 2122           18204          519535         176457         10             1453           22   23   15   
1.48/1.52	c 2130           18276          521515         177108         10             1461           21   65   32   
1.48/1.52	c 2140           18428          524812         178099         10             1471           22   120   57  
1.48/1.52	c 2150           18636          529504         179691         10             1479           22   178   64  
1.48/1.53	c 2160           18723          531726         180372         10             1485           36   71   52   
1.48/1.53	c 2170           18773          532948         180823         10             1495           24   41   28   
1.48/1.53	c 2180           18829          534282         181305         10             1505           23   47   29   
1.48/1.53	c 2190           19017          538119         182538         10             1513           23   115   59  
1.48/1.54	c 2200           19106          540497         183293         10             1523           22   75   37   
1.48/1.54	c 2210           19169          541908         183790         10             1532           24   50   31   
1.48/1.54	c 2220           19279          544999         184792         10             1540           23   79   49   
1.48/1.54	c 2230           19331          546394         185278         10             1548           22   40   28   
1.48/1.54	c 2240           19380          547754         185732         10             1558           22   40   28   
1.48/1.55	c 2250           19467          550032         186537         10             1566           23   69   37   
1.48/1.55	c 2260           19584          552585         187420         10             1576           24   105   43  
1.48/1.55	c 2270           19670          554864         188230         10             1583           24   73   42   
1.48/1.55	c 2280           19742          556317         188742         10             1590           29   50   36   
1.48/1.55	c 2290           19794          557665         189234         10             1600           24   43   30   
1.48/1.56	c 2300           19887          559939         190001         10             1608           25   72   40   
1.48/1.56	c 2310           19963          561629         190549         10             1617           24   50   32   
1.48/1.56	c 2320           20031          563392         191151         10             1624           22   48   33   
1.48/1.56	c 2330           20111          565360         191868         10             1632           25   71   42   
1.48/1.56	c 2340           20183          566855         192379         10             1639           27   50   37   
1.48/1.56	c 2350           20245          568550         192899         10             1648           22   49   30   
1.48/1.57	c 2360           20337          570658         193527         10             1657           22   71   33   
1.48/1.57	c 2370           20430          573313         194397         10             1664           22   81   45   
1.48/1.57	c 2380           20511          575352         195015         10             1673           22   72   33   
1.48/1.57	c 2390           20591          577570         195734         10             1682           22   70   38   
1.48/1.57	c 2400           20671          580033         196556         10             1691           22   71   33   
1.48/1.58	c 2410           20791          582761         197435         10             1701           22   111   48  
1.48/1.58	c 2420           20911          585543         198316         10             1711           22   111   50  
1.48/1.58	c 2430           21033          588357         199226         10             1720           22   113   54  
1.48/1.58	c 2431           21055          588814         199409         10             1721           22   22   11   
1.48/1.59	c 2440           21115          590376         199932         10             1727           21   48   31   
1.48/1.59	c 2450           21198          592519         200621         10             1735           22   72   39   
1.48/1.59	c 2460           21279          594768         201330         10             1743           22   72   40   
1.48/1.59	c 2470           21410          597406         202149         10             1752           22   113   46  
1.48/1.59	c 2480           21502          599613         202800         10             1761           22   71   34   
1.58/1.60	c 2490           21582          601581         203394         10             1771           22   71   35   
1.58/1.60	c 2500           21668          604175         204284         10             1779           22   71   37   
1.58/1.60	c 2510           21749          606098         204877         10             1787           22   72   41   
1.58/1.60	c 2520           21881          608946         205819         10             1797           22   113   47  
1.58/1.61	c 2530           22009          612004         206877         10             1805           22   113   50  
1.58/1.61	c 2540           22061          613421         207344         10             1815           22   43   29   
1.58/1.61	c 2550           22158          616292         208307         10             1824           22   80   39   
1.58/1.61	c 2560           22209          617794         208806         10             1834           22   42   28   
1.58/1.61	c 2570           22270          619485         209379         10             1841           22   48   31   
1.58/1.62	c 2580           22318          620876         209868         10             1847           22   39   27   
1.58/1.62	c 2590           22379          622434         210367         10             1856           21   49   29   
1.58/1.62	c 2600           22469          624970         211244         10             1865           22   66   34   
1.58/1.62	c 2610           22553          626765         211833         10             1875           24   72   42   
1.58/1.62	c 2620           22636          628964         212578         10             1883           28   72   45   
1.58/1.63	c 2630           22721          630998         213261         10             1891           27   73   46   
1.58/1.63	c 2640           22805          632776         213850         10             1899           28   72   46   
1.58/1.63	c 2650           22874          634132         214343         10             1902           42   50   41   
1.58/1.63	c 2660           22965          636077         214953         10             1911           21   70   35   
1.58/1.63	c 2670           23024          637607         215448         10             1920           23   50   33   
1.58/1.63	c 2680           23115          639901         216141         10             1927           35   70   52   
1.58/1.64	c 2690           23186          641826         216744         10             1933           22   48   30   
1.58/1.64	c 2700           23251          644367         217959         10             1935           42   49   41   
1.58/1.64	c 2710           23331          646488         218612         10             1940           22   71   48   
1.58/1.64	c 2720           23382          647890         219080         10             1950           22   42   28   
1.58/1.64	c 2730           23503          650517         219853         10             1960           22   112   64  
1.58/1.65	c 2740           23587          652741         220518         10             1968           22   72   45   
1.58/1.65	c 2750           23715          655461         221328         10             1978           22   116   50  
1.58/1.65	c 2760           23916          660772         223336         10             1986           22   180   103 
1.58/1.66	c 2770           24015          663582         224160         10             1990           58   75   63   
1.58/1.66	c 2771           24037          664268         224455         10             1991           22   22   11   
1.58/1.66	c 2780           24165          667260         225321         10             1997           71   114   90  
1.58/1.66	c 2790           24290          670357         226308         10             2005           58   109   85  
1.58/1.67	c 2800           24512          675188         227849         10             2012           58   200   115 
1.58/1.67	c 2810           24632          678143         228734         10             2015           58   100   68  
1.58/1.67	c 2820           24730          682136         230207         10             2023           22   74   43   
1.58/1.68	c 2830           24844          684768         230955         10             2031           58   99   65   
1.58/1.68	c 2840           25054          688406         232079         10             2040           58   199   99  
1.58/1.68	c 2850           25114          690063         232620         10             2048           23   47   29   
1.58/1.68	c 2860           25170          691357         233074         10             2056           25   47   30   
1.58/1.69	c 2870           25229          692650         233538         10             2065           25   46   30   
1.58/1.69	c 2880           25313          694642         234183         10             2074           26   72   33   
1.58/1.69	c 2890           25395          696712         234841         10             2076           32   47   40   
1.58/1.69	c 2900           25473          698563         235463         10             2078           40   45   39   
1.58/1.69	c 2910           25535          699965         235965         10             2085           25   46   30   
1.58/1.70	c 2920           25625          702516         236902         10             2094           26   75   40   
1.69/1.70	c 2930           25724          705656         237913         10             2099           31   75   56   
1.69/1.70	c 2940           25804          707553         238520         10             2109           26   71   33   
1.69/1.70	c 2950           25855          708797         238975         10             2119           26   42   30   
1.69/1.70	c 2960           25937          710845         239637         10             2128           23   70   33   
1.69/1.71	c 2970           26022          712954         240362         10             2137           26   72   39   
1.69/1.71	c 2980           26103          714774         240941         10             2147           26   72   39   
1.69/1.71	c 2990           26185          716639         241549         10             2155           26   73   39   
1.69/1.71	c 3000           26275          719259         242464         10             2163           26   72   41   
1.69/1.71	c 3010           26368          722108         243532         10             2171           25   71   40   
1.69/1.72	c 3020           26450          724101         244229         10             2179           25   71   38   
1.69/1.72	c 3030           26544          726827         245043         10             2183           57   70   60   
1.69/1.72	c 3040           26643          730016         246030         10             2187           57   70   61   
1.69/1.72	c 3050           26725          732150         246730         10             2195           25   72   37   
1.69/1.73	c 3060           26782          733413         247190         10             2205           26   48   30   
1.69/1.73	c 3070           26847          734996         247792         10             2212           24   46   31   
1.69/1.73	c 3080           26899          736240         248278         10             2219           27   41   30   
1.69/1.73	c 3090           26985          738536         249030         10             2228           23   72   39   
1.69/1.73	c 3100           27042          739849         249508         10             2237           24   48   30   
1.69/1.73	c 3110           27128          742080         250285         10             2244           24   73   40   
1.69/1.74	c 3120           27215          744791         251229         10             2252           25   71   42   
1.69/1.74	c 3130           27265          745996         251684         10             2262           26   41   29   
1.69/1.74	c 3140           27346          748079         252379         10             2271           28   70   36   
1.69/1.74	c 3142           27372          748552         252590         10             2273           24   25   16   
1.69/1.74	c 3150           27418          749625         252993         10             2281           21   39   25   
1.69/1.75	c 3160           27640          754025         254342         10             2291           22   207   128 
1.69/1.75	c 3170           27704          756423         255439         10             2296           31   50   40   
1.69/1.75	c 3180           27761          757868         255910         10             2306           22   48   29   
1.69/1.75	c 3190           27841          760076         256568         10             2313           23   68   47   
1.69/1.75	c 3200           27918          762131         257216         10             2320           22   68   40   
1.69/1.76	c 3210           27995          764292         257873         10             2327           22   68   40   
1.69/1.76	c 3220           28127          766979         258649         10             2337           22   123   52  
1.69/1.76	c 3230           28205          769137         259299         10             2347           22   69   40   
1.69/1.76	c 3240           28265          770815         259816         10             2357           22   47   29   
1.69/1.76	c 3250           28347          772760         260461         10             2366           23   70   36   
1.69/1.77	c 3260           28424          774763         261071         10             2376           22   68   40   
1.69/1.77	c 3270           28502          776896         261734         10             2384           22   67   40   
1.69/1.77	c 3280           28564          778713         262278         10             2394           22   48   29   
1.69/1.77	c 3290           28653          781480         263174         10             2401           23   72   39   
1.69/1.78	c 3300           28784          784480         264143         10             2405           22   117   67  
1.69/1.78	c 3310           28865          786520         264783         10             2415           22   72   30   
1.69/1.78	c 3320           28973          788933         265499         10             2425           22   99   50   
1.69/1.78	c 3330           29053          791374         266297         10             2435           22   71   30   
1.69/1.79	c 3340           29130          793527         266949         10             2442           22   68   40   
1.69/1.79	c 3350           29335          796888         267948         10             2451           22   194   72  
1.69/1.79	c 3360           29423          799248         268667         10             2457           23   71   49   
1.69/1.79	c 3370           29504          801578         269365         10             2466           22   69   40   
1.69/1.80	c 3380           29582          803814         270053         10             2476           22   69   44   
1.79/1.80	c 3390           29659          806006         270753         10             2483           22   68   40   
1.79/1.80	c 3400           29737          808117         271417         10             2491           22   67   40   
1.79/1.80	c 3410           29814          810199         272068         10             2498           22   68   40   
1.79/1.80	c 3420           29932          812517         272744         10             2506           22   106   44  
1.79/1.81	c 3430           29995          814814         273572         10             2514           22   49   30   
1.79/1.81	c 3440           30072          817041         274271         10             2524           22   68   40   
1.79/1.81	c 3450           30149          819333         274976         10             2534           22   68   40   
1.79/1.81	c 3460           30226          821458         275671         10             2541           22   68   40   
1.79/1.81	c 3470           30317          823952         276449         10             2549           22   78   37   
1.79/1.82	c 3480           30409          826515         277313         10             2557           24   78   38   
1.79/1.82	c 3490           30491          828447         277949         10             2564           24   71   43   
1.79/1.82	c 3500           30569          830387         278655         10             2573           24   65   35   
1.79/1.82	c 3510           30672          833172         279604         10             2581           26   80   44   
1.79/1.83	c 3520           30757          835133         280279         10             2590           24   71   40   
1.79/1.83	c 3530           30886          837743         281201         10             2598           24   120   59  
1.79/1.83	c 3540           30990          840572         282148         10             2606           24   78   43   
1.79/1.83	c 3550           31066          842219         282687         10             2616           24   49   32   
1.79/1.83	c 3551           31088          842674         282869         10             2617           22   22   11   
1.79/1.84	c 3560           31161          844775         283592         10             2625           21   56   31   
1.79/1.84	c 3570           31226          846706         284216         10             2632           24   50   30   
1.79/1.84	c 3580           31407          850831         285527         10             2639           69   121   83  
1.79/1.84	c 3590           31496          852941         286262         10             2648           24   79   41   
1.79/1.85	c 3600           31556          854378         286757         10             2657           24   48   31   
1.79/1.85	c 3610           31619          855860         287246         10             2667           24   48   30   
1.79/1.85	c 3620           31678          857513         287764         10             2676           22   46   29   
1.79/1.85	c 3630           31752          859578         288382         10             2682           24   49   32   
1.79/1.85	c 3640           31924          863299         289595         10             2690           47   121   70  
1.79/1.86	c 3650           31986          864931         290142         10             2695           25   48   32   
1.79/1.86	c 3660           32094          867657         290893         10             2702           22   69   33   
1.79/1.86	c 3670           32163          869463         291508         10             2709           22   49   32   
1.79/1.86	c 3680           32250          871940         292263         10             2719           24   67   39   
1.79/1.87	c 3690           32336          874057         292957         10             2726           24   73   44   
1.79/1.87	c 3700           32441          878073         294367         10             2729           26   72   58   
1.79/1.87	c 3710           32524          879964         295002         10             2738           25   70   42   
1.79/1.87	c 3720           32587          881277         295488         10             2746           25   50   34   
1.79/1.87	c 3730           32669          883357         296224         10             2754           24   70   38   
1.79/1.88	c 3740           32752          885384         296899         10             2763           25   70   39   
1.79/1.88	c 3750           32834          887369         297560         10             2772           24   72   36   
1.79/1.88	c 3760           32912          889140         298149         10             2782           24   69   32   
1.79/1.88	c 3770           32992          891186         298783         10             2792           22   70   34   
1.79/1.89	c 3780           33089          893914         299630         10             2800           22   75   42   
1.79/1.89	c 3790           33141          895386         300116         10             2810           22   43   28   
1.79/1.89	c 3800           33305          900411         301862         10             2813           69   122   81  
1.79/1.89	c 3810           33362          902126         302460         10             2822           22   48   29   
1.89/1.90	c 3820           33484          905832         303742         10             2827           36   80   58   
1.89/1.90	c 3830           33596          909443         304858         10             2831           25   71   55   
1.89/1.90	c 3840           33756          913703         306198         10             2838           24   122   48  
1.89/1.91	c 3850           33856          916724         307192         10             2844           22   70   43   
1.89/1.91	c 3860           33962          920157         308316         10             2851           22   69   42   
1.89/1.91	c 3870           34024          921807         308983         10             2859           19   49   30   
1.89/1.91	c 3880           34085          924694         310498         10             2869           19   50   33   
1.89/1.92	c 3890           34167          926924         311210         10             2877           23   71   40   
1.89/1.92	c 3900           34278          930727         312381         10             2882           64   69   61   
1.89/1.92	c 3910           34355          933371         313292         10             2889           22   68   40   
1.89/1.92	c 3920           34439          935891         314154         10             2898           22   70   37   
1.89/1.93	c 3930           34516          937887         314763         10             2907           22   68   33   
1.89/1.93	c 3940           34648          940400         315523         10             2914           22   121   57  
1.89/1.93	c 3950           34746          943491         316473         10             2921           22   70   42   
1.89/1.94	c 3960           34838          946280         317321         10             2928           22   71   42   
1.89/1.94	c 3970           34917          948419         317979         10             2936           22   68   36   
1.89/1.94	c 3980           34999          950597         318663         10             2945           22   69   36   
1.89/1.94	c 3990           35075          952618         319281         10             2955           22   67   30   
1.89/1.94	c 4000           35152          954766         319936         10             2965           22   68   30   
1.89/1.94	c 4001           35174          955220         320119         10             2966           22   22   11   
1.89/1.95	c 4010           35257          957648         320870         10             2972           21   70   39   
1.89/1.95	c 4020           35334          959993         321641         10             2982           22   68   34   
1.89/1.95	c 4030           35464          962539         322444         10             2992           22   121   47  
1.89/1.95	c 4040           35555          965392         323377         10             3002           22   70   36   
1.89/1.96	c 4050           35645          968372         324411         10             3010           22   71   39   
1.89/1.96	c 4060           35725          970819         325187         10             3019           22   70   36   
1.89/1.96	c 4070           35807          973429         326064         10             3027           22   71   38   
1.89/1.96	c 4080           35935          976616         327137         10             3037           22   119   52  
1.89/1.97	c 4090           36064          978992         327852         10             3047           22   120   40  
1.89/1.97	c 4100           36142          981807         328852         10             3057           22   69   40   
1.89/1.97	c 4110           36222          983958         329536         10             3065           22   70   35   
1.89/1.97	c 4120           36299          986640         330462         10             3075           22   68   40   
1.89/1.98	c 4130           36433          989437         331284         10             3085           22   120   49  
1.89/1.98	c 4140           36514          991736         332015         10             3092           22   69   48   
1.89/1.98	c 4150           36642          993875         332711         10             3102           24   119   38  
1.89/1.99	c 4160           36787          997053         333803         10             3111           24   119   42  
1.89/1.99	c 4170           36918          999287         334539         10             3121           24   122   45  
1.89/1.99	c 4180           36969          1000613        335007         10             3131           24   42   28   
1.89/1.99	c 4190           37060          1003315        335957         10             3141           23   69   39   
1.89/1.99	c 4200           37140          1005278        336598         10             3150           22   69   35   
1.89/2.00	c 4210           37237          1008195        337531         10             3159           22   70   39   
1.89/2.00	c 4220           37328          1011209        338516         10             3163           29   71   53   
1.89/2.00	c 4230           37410          1013956        339577         10             3170           31   68   51   
2.00/2.01	c 4240           37497          1016621        340508         10             3173           57   68   59   
2.00/2.01	c 4250           37629          1019266        341304         10             3182           22   121   74  
2.00/2.01	c 4260           37763          1022191        342202         10             3190           22   120   70  
2.00/2.01	c 4270           37866          1025098        343088         10             3193           57   70   61   
2.00/2.02	c 4280           37961          1027634        343836         10             3196           57   70   60   
2.00/2.02	c 4290           38041          1029820        344512         10             3202           22   68   47   
2.00/2.02	c 4300           38103          1031295        345078         10             3209           24   49   31   
2.00/2.02	c 4310           38184          1033286        345778         10             3217           24   70   38   
2.00/2.02	c 4320           38261          1035080        346368         10             3227           24   68   31   
2.00/2.03	c 4330           38323          1036506        346907         10             3234           24   49   31   
2.00/2.03	c 4340           38402          1038337        347573         10             3243           24   70   39   
2.00/2.03	c 4350           38482          1040210        348192         10             3252           24   69   40   
2.00/2.03	c 4360           38533          1041473        348653         10             3259           24   42   30   
2.00/2.03	c 4370           38597          1042896        349186         10             3263           24   47   31   
2.00/2.03	c 4380           38677          1044724        349785         10             3271           23   71   36   
2.00/2.04	c 4390           38729          1046077        350277         10             3279           24   43   28   
2.00/2.04	c 4400           38809          1048299        351016         10             3287           22   69   38   
2.00/2.04	c 4410           38889          1050282        351645         10             3295           22   69   37   
2.00/2.04	c 4420           38972          1052662        352439         10             3303           22   70   35   
2.00/2.05	c 4430           39116          1055855        353463         10             3310           22   122   41  
2.00/2.05	c 4440           39205          1058388        354146         10             3313           39   70   48   
2.00/2.05	c 4450           39282          1060238        354788         10             3320           24   68   41   
2.00/2.05	c 4460           39348          1061798        355380         10             3327           24   49   33   
2.00/2.05	c 4470           39429          1063766        356114         10             3336           27   68   33   
2.00/2.06	c 4480           39507          1066109        356957         10             3346           28   69   37   
2.00/2.06	c 4490           39558          1067263        357400         10             3356           26   42   30   
2.00/2.06	c 4493           39589          1067819        357660         10             3358           26   27   19   
2.00/2.06	c 4500           39625          1068589        358035         10             3359           22   28   22   
2.00/2.06	c 4510           39674          1069832        358637         10             3364           22   28   23   
2.00/2.06	c 4520           39724          1071026        359073         10             3374           24   41   29   
2.00/2.06	c 4530           39777          1072334        359525         10             3385           25   43   30   
2.00/2.07	c 4540           39835          1074932        361045         10             3393           19   45   25   
2.00/2.07	c 4550           39913          1077205        361757         10             3401           22   67   40   
2.00/2.07	c 4560           39978          1078979        362364         10             3408           22   49   32   
2.00/2.07	c 4570           40057          1080909        363052         10             3416           26   70   41   
2.00/2.07	c 4580           40139          1083230        363897         10             3424           24   69   40   
2.00/2.08	c 4590           40191          1084494        364352         10             3434           24   43   30   
2.00/2.08	c 4600           40241          1085903        364821         10             3444           22   41   28   
2.00/2.08	c 4610           40302          1087558        365377         10             3451           23   48   30   
2.00/2.08	c 4620           40379          1089549        365982         10             3461           23   68   31   
2.00/2.08	c 4630           40445          1091344        366598         10             3468           22   49   32   
2.00/2.08	c 4640           40494          1092613        367059         10             3474           25   40   29   
2.00/2.08	c 4650           40555          1093874        367542         10             3481           27   46   34   
2.00/2.09	c 4660           40628          1095355        368057         10             3489           25   49   34   
2.00/2.09	c 4670           40679          1096939        368565         10             3496           21   39   26   
2.00/2.09	c 4680           40730          1098522        369073         10             3503           22   39   27   
2.00/2.09	c 4690           40783          1100101        369606         10             3510           26   40   30   
2.00/2.09	c 4700           40833          1101329        370054         10             3516           23   41   28   
2.00/2.09	c 4710           40884          1102914        370562         10             3524           22   38   27   
2.00/2.10	c 4720           40935          1104247        371033         10             3534           23   42   29   
2.00/2.10	c 4730           40992          1105823        371543         10             3542           22   48   30   
2.00/2.10	c 4740           41094          1108957        372574         10             3551           22   70   40   
2.00/2.10	c 4750           41152          1110667        373339         10             3558           19   44   24   
2.00/2.10	c 4760           41232          1112738        373957         10             3566           23   69   40   
2.10/2.11	c 4770           41368          1115695        374897         10             3575           22   121   56  
2.10/2.11	c 4780           41453          1117892        375532         10             3582           22   73   43   
2.10/2.11	c 4790           41523          1120208        376421         10             3589           19   49   24   
2.10/2.11	c 4800           41613          1122809        377330         10             3598           20   70   38   
2.10/2.12	c 4810           41681          1125213        378221         10             3605           19   47   25   
2.10/2.12	c 4820           41730          1127055        379010         10             3610           19   26   20   
2.10/2.12	c 4830           41773          1128246        379544         10             3613           20   24   20   
2.10/2.12	c 4840           41863          1130788        380303         10             3622           21   69   33   
2.10/2.12	c 4850           41945          1133039        380989         10             3630           22   68   39   
2.10/2.13	c 4860           42026          1135018        381555         10             3639           22   50   32   
2.10/2.13	c 4870           42111          1138254        382791         10             3643           56   70   60   
2.10/2.13	c 4880           42165          1139877        383300         10             3651           22   42   28   
2.10/2.13	c 4890           42214          1141750        384095         10             3656           20   26   22   
2.10/2.13	c 4900           42261          1143060        384661         10             3660           22   27   21   
2.10/2.13	c 4910           42304          1144250        385196         10             3664           20   24   20   
2.10/2.14	c 4920           42358          1145759        385677         10             3674           21   45   28   
2.10/2.14	c 4930           42420          1147618        386458         10             3680           22   48   34   
2.10/2.14	c 4940           42471          1149206        386979         10             3686           23   42   29   
2.10/2.14	c 4950           42610          1151776        387729         10             3693           25   120   40  
2.10/2.14	c 4960           42665          1153291        388213         10             3703           22   46   28   
2.10/2.14	c 4970           42719          1154758        388681         10             3713           22   45   28   
2.10/2.15	c 4980           42774          1156157        389152         10             3723           22   46   28   
2.10/2.15	c 4990           42828          1157584        389622         10             3733           22   45   28   
2.10/2.15	c 5035           43090          1165757        392285         10             3748           22   123   74  
2.29/2.33	c 5631           50335          1382811        479687         10             3763           22   195   156 
2.39/2.43	c 6286           53508          1501618        522504         10             3770           24   48   40   
2.49/2.52	c 7006           56641          1610911        556585         10             3779           28   49   40   
2.69/2.70	c 7798           62970          1844554        652232         10             3791           56   156   126 
2.89/2.96	c 8669           68544          2181139        780839         10             3802           38   97   83   
3.10/3.19	c 9627           75235          2472695        892893         10             3808           62   200   97  
3.39/3.45	c 10680          86292          2766563        1012586        10             3828           39   194   114 
3.69/3.75	c 11838          96313          3158262        1168319        10             3841           28   214   127 
3.89/4.00	c 13111          103984         3464112        1288934        10             3864           31   200   110 
4.19/4.28	c 14511          110960         3816691        1443230        10             3873           28   68   45   
4.59/4.65	c 16051          119244         4281989        1615779        10             3883           33   88   80   
5.10/5.15	c 17745          143212         4840424        1828319        10             3902           26   193   120 
5.69/5.72	c 19608          155401         5553788        2106969        10             3907           43   81   64   
6.09/6.12	c 21657          168742         6073598        2340558        10             3930           13   188   117 
6.49/6.53	c 23910          178770         6589634        2574762        10             3947           13   131   70  
7.19/7.20	c 26388          203836         7402837        2868674        10             3955           30   132   87  
7.68/7.72	c 29113          217876         8088817        3173648        10             3978           13   127   78  
8.68/8.72	c 32110          241596         9313991        3604286        10             3986           38   70   58   
9.68/9.76	c 35406          280380         10579896       4081590        10             4003           33   113   78  
10.28/10.39	c 39031          297526         11395204       4362999        11             4009           1   71   63    
10.88/10.92	c 43018          313020         12046656       4606491        11             4025           32   59   53   
12.38/12.49	c 47403          375813         13955539       5321643        11             4043           25   128   95  
13.48/13.50	c 52226          399591         15291239       5865321        11             4056           36   124   71  
14.09/14.10	c 57531          417728         16035580       6158144        11             4062           40   58   49   
14.88/14.91	c 63366          441425         17033628       6513095        11             4072           36   53   46   
16.28/16.34	c 69784          481975         18976318       7309614        11             4090           30   123   99  
17.18/17.26	c 76843          511081         20137236       7664258        11             4094           18   39   34   
18.48/18.53	c 84607          545669         21821305       8304896        11             4110           18   129   79  
20.68/20.78	c 93147          610440         24821132       9458457        11             4130           18   138   105 
22.18/22.28	c 102541         644712         26676680       10248793       11             4140           19   40   32   
23.48/23.54	c 112874         678108         28292394       10930392       11             4154           18   39   32   
26.68/26.70	c 124240         752691         32406383       12508946       11             4161           24   92   70   
30.28/30.38	c 136742         843156         37168862       14228402       11             4183           18   82   60   
34.09/34.16	c 150494         937982         41939924       15907597       11             4203           21   82   62   
36.18/36.28	c 165621         990144         44712784       17049677       11             4213           20   45   34   
40.58/40.69	c 182260         1099878        50207812       18961022       11             4227           35   80   66   
45.48/45.52	c 200562         1215209        56647706       21385893       11             4251           18   84   58   
47.68/47.76	c 220694         1275957        59520458       22577334       11             4265           23   59   45   
51.18/51.27	c 242839         1352985        63909979       24446839       11             4283           25   58   43   
55.68/55.70	c 267198         1445850        69472509       26707480       11             4295           23   58   40   
63.17/63.28	c 293992         1640425        79297468       30380173       11             4314           19   90   65   
68.57/68.66	c 323465         1749261        86085545       33323287       11             4328           21   60   41   
74.87/74.93	c 355885         1912180        94027001       36373086       11             4349           18   109   45  
82.47/82.52	c 391547         2093015        103710825      40182696       11             4369           19   89   46   
92.77/92.88	c 430775         2361862        116880548      44932068       11             4394           18   85   63   
102.97/103.05	c 473925         2614805        129755325      50006011       11             4411           16   116   63  
114.46/114.54	c 521390         2908816        144783804      55323279       11             4424           23   91   56   
125.16/125.28	c 573601         3151218        158563291      60439517       11             4442           18   113   51  
142.06/142.18	c 631033         3594265        180925045      68027244       11             4468           26   104   80  
150.25/150.38	c 694208         3853363        191594325      71680260       11             4481           24   58   45   
165.85/165.93	c 763700         4299469        212456851      78960377       11             4503           21   104   69  
187.45/187.52	c 840141         4923340        240814186      88724265       11             4524           22   94   71   
207.75/207.80	c 924226         5470932        267239046      98031762       11             4543           14   84   68   
220.55/220.61	c 1016719        5845586        284123067      104244835      11             4556           25   70   54   
234.35/234.47	c 1118461        6258843        302245390      110830643      11             4575           27   70   55   
254.35/254.42	c 1230377        6771954        328216911      120385292      11             4599           19   70   58   
273.15/273.22	c 1353484        7289780        352881094      130178829      11             4620           23   70   59   
290.45/290.59	c 1488901        7808668        375469430      138765823      11             4638           20   70   57   
316.24/316.36	c 1637859        8519998        409837195      151513256      11             4658           30   88   61   
350.64/350.74	c 1801712        9388124        456826103      169511132      11             4683           18   87   66   
385.64/385.74	c 1981950        10233919       502284171      187331737      11             4698           24   73   51   
433.64/433.78	c 2180211        11372507       570675302      211626835      11             4713           37   94   81   
475.24/475.35	c 2398298        12233449       626249518      233219461      11             4728           30   62   49   
523.34/523.49	c 2638193        13277332       689118553      257263459      11             4737           23   64   43   
579.33/579.46	c 2902077        14836981       766829935      288031992      11             4763           20   106   75  
636.23/636.39	c 3192349        16183051       842414574      321732650      11             4778           34   86   68   
700.43/700.51	c 3511648        17845484       926652517      354818171      11             4800           13   104   64  
773.43/773.50	c 3862876        19717703       1023775950     391445627      11             4824           15   93   62   
827.62/827.70	c 4249226        21330783       1099112348     415895786      11             4840           31   95   58   
900.03/900.19	c 4674211        23654162       1195932341     449441833      11             4859           21   92   68   
980.03/980.14	c 5141694        25942210       1303129553     487561904      11             4874           25   109   57  
1098.02/1098.15	c 5655925        30291330       1459250608     538421647      11             4889           19   92   69   
1185.31/1185.42	c 6221579        32785766       1576202980     582377690      11             4910           20   88   53   
1309.40/1309.54	c 6843798        36178068       1739116298     640702409      11             4922           23   100   56  
1489.70/1489.87	c 7528238        43888074       1959483845     716525375      11             4937           37   109   71  
1675.19/1675.37	c 8281122        51218904       2188590728     793458133      11             4948           36   159   70  
1882.78/1882.99	c 9109294        63705087       2410753144     878358817      11             4974           25   128   76  
2125.77/2125.90	c 10020283       77478417       2672486674     976962227      11             4990           39   145   74  
2310.98/2311.15	c 11022370       86262492       2888700468     1058579852     11             5008           23   183   63  
2519.87/2520.00	
2519.87/2520.00	c *** INTERRUPTED ***
2519.87/2520.00	c restarts              : 597         
2519.87/2520.00	c conflicts             : 11754567     (4665 /sec)
2519.87/2520.00	c decisions             : 98654250     (39151 /sec)
2519.87/2520.00	c propagations          : 1146545473  (455005 /sec)
2519.87/2520.00	c root propagations     : 0           
2519.87/2520.00	c filter calls          : 3107260562     (1233111 /sec)
2519.87/2520.00	c useless filter calls  : 2278488079     (73 %)
2519.87/2520.00	c
2519.87/2520.00	c clauses               : 8968
2519.87/2520.00	c SAT propagations      : 106850
2519.87/2520.00	c SAT conflicts         : 1 (0 learnts)
2519.87/2520.00	c Memory used           : 49.03 MB
2519.87/2520.00	c CPU time              : 2519.85 s
2519.87/2520.00	
2519.87/2520.00	s UNKNOWN