914
660
LBVARS      0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            
UBVARS      2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   
OBJECTIVE   23   10.     42   10.     44   10.     45   10.     48   10.     50   10.     51   1.      52   10.     58   1.      67   -1.     109  10.     111  10.     113  10.     178  1.      182  1.      190  -1.     208  -1.     338  1.      353  10.     354  10.     398  1.      399  1.      413  -1.     480  10.     499  10.     501  10.     502  10.     505  10.     507  10.     508  1.      509  10.     515  1.      524  -1.     566  10.     568  10.     570  10.     635  1.      639  1.      647  -1.     665  -1.     795  1.      810  10.     811  10.     855  1.      856  1.      870  -1.     
CONSTR1     0         == 18   1.      21   -0.09   23   -0.025  24   -0.036  34   -0.017  40   -0.0522 53   -0.0472 55   -0.118  57   -0.0138 59   -0.0637 60   -0.09265 72   -0.0637 73   -0.09265 75   -0.021  96   -0.072  99   -0.035  101  -0.021  102  -0.029  103  -0.025  112  -0.135  
CONSTR2     0         == 21   1.      23   -0.036  24   -0.042  34   -0.016  42   -0.007  43   -0.007  44   -0.007  45   -0.007  46   -0.02   48   -0.0072 49   -0.0072 50   -0.0072 52   -0.0072 59   -0.03806 60   -0.04946 72   -0.03806 73   -0.04946 75   -0.025  96   -0.027  99   -0.026  101  -0.025  102  -0.03   103  -0.027  109  -0.002  110  -0.0022 111  -0.002  112  -0.04   113  -0.002  
CONSTR3     0         == 23   -0.058  24   -0.067  34   -0.01   55   1.      96   -0.034  99   -0.016  112  -0.06   
CONSTR4     0         == 23   -0.041  24   -0.047  34   -0.003  40   1.      42   -0.0034 43   -0.0034 44   -0.0034 45   -0.0034 46   -0.38   48   -0.0068 49   -0.0068 50   -0.0068 52   -0.0068 59   -0.02075 60   -0.02731 72   -0.02075 73   -0.02731 75   -0.013  96   -0.005  99   -0.004  101  -0.013  102  -0.022  103  -0.015  109  -0.0025 110  -0.0025 111  -0.0025 112  -0.011  113  -0.0025 
CONSTR5     0         == 23   -0.011  24   -0.015  34   -0.007  42   -0.0145 43   -0.0145 44   -0.0145 45   -0.0145 46   -0.3    48   -0.0375 49   -0.0375 50   -0.0375 52   -0.0375 53   1.      59   -0.00309 60   -0.00303 72   -0.00309 73   -0.00303 75   -0.026  96   -0.015  99   -0.01   101  -0.026  102  -0.033  103  -0.024  109  -0.0093 110  -0.0093 111  -0.0093 112  -0.022  113  -0.0093 
CONSTR6     0         == 23   -0.077  24   -0.09   34   -0.007  57   1.      96   -0.019  99   -0.001  112  -0.022  
CONSTR7     0         == 42   -0.0195 43   -0.0195 44   -0.0195 45   -0.0195 46   -0.2    48   -0.023  49   -0.023  50   -0.023  52   -0.023  68   1.      75   -0.451  80   1.      101  -0.451  102  -0.52   103  -0.48   109  -0.005  110  -0.005  111  -0.005  113  -0.005  
CONSTR8     0         == 34   -0.15   90   1.      95   1.      99   -0.1    
CONSTR9     0         >= 15   -0.0137 34   -0.1074 36   -0.0137 38   -0.785  42   -0.098  43   -0.128  44   -0.098  45   -0.128  48   -0.09   49   -0.13   50   -0.09   52   -0.13   59   1.15    60   1.207   72   1.15    73   1.207   96   -0.005  99   -0.1428 109  -0.06   110  -0.075  111  -0.06   112  -0.005  113  -0.075  
CONSTR10    0         == 3    1.      13   1.      109  -0.115  110  -0.1    111  -0.115  113  -0.1    
CONSTR11    0         == 2    1.      9    1.      48   -0.202  49   -0.162  50   -0.202  52   -0.162  
CONSTR12    0         == 0    1.      5    1.      42   -0.179  43   -0.149  44   -0.179  45   -0.149  
CONSTR13    0         == 12   1.      33   1.      109  -0.075  110  -0.05   111  -0.05   113  -0.075  
CONSTR14    0         == 8    1.      31   1.      48   -0.095  49   -0.06   50   -0.06   52   -0.095  
CONSTR15    0         == 4    1.      30   1.      42   -0.08   43   -0.045  44   -0.045  45   -0.08   
CONSTR16    0         == 15   -0.0012 23   -0.475  24   -0.525  29   1.      34   -0.0079 36   -0.0012 63   1.      77   1.      96   -0.04   99   -0.0105 112  -0.04   
CONSTR17    .75       >= 26   1.      
CONSTR18    0         == 16   0.138   36   1.      109  -0.431  110  -0.456  111  -0.456  113  -0.431  
CONSTR19    0         == 15   0.0232  18   -1.     20   -0.61   23   0.0318  24   0.0318  26   -4.409  28   0.0232  34   0.038   36   0.0232  37   -0.0511 38   0.0232  39   0.0244  42   0.0139  43   0.0139  44   0.0139  45   0.0139  47   0.0244  48   0.0139  49   0.0139  50   0.0139  52   0.0139  54   -1.     59   0.0635  60   0.0635  72   0.0635  73   0.0635  75   0.115   87   -1.     96   0.0475  97   -1.055  99   0.038   101  0.115   102  0.115   103  0.115   109  0.0139  110  0.0139  111  0.0139  112  0.0475  113  0.0139  
CONSTR20    0         == 26   1.      27   1.      96   -0.012  112  -0.0434 
CONSTR21    0         == 85   1.      96   -0.04   97   1.      112  -0.04   
CONSTR22    0         == 15   0.1     28   0.55    36   0.2     37   1.      38   0.45    39   0.05    47   0.05    59   -0.7938 60   -0.9296 72   -0.7938 73   -0.9296 75   -0.9    101  -0.9    102  -0.55   103  -0.75   
CONSTR23    0         >= 15   -0.83   23   1.      24   1.      28   -0.9    35   -1.     36   -0.88   42   -0.215  43   -0.26   44   -0.26   45   -0.215  48   -0.2285 49   -0.2735 50   -0.2735 52   -0.2285 
CONSTR24    0         == 11   1.      15   -0.15   28   -0.1    32   1.      36   -0.1    
CONSTR25    37.5      >= 71   1.      
CONSTR26    1200.     >= 42   1.      43   1.      44   1.      45   1.      48   1.      49   1.      50   1.      52   1.      109  1.      110  1.      111  1.      113  1.      
CONSTR27    480.      >= 109  1.      110  1.      111  1.      113  1.      
CONSTR28    480.      >= 48   1.      49   1.      50   1.      52   1.      
CONSTR29    105.      == 16   1.      
CONSTR30    135.      >= 96   1.      112  1.      
CONSTR31    450.      >= 15   1.      28   1.      35   1.      36   1.      38   1.      
CONSTR32    0         == 65   1.      75   -0.095  79   1.      101  -0.095  102  -0.133  103  -0.124  
CONSTR33    0         == 17   1.      75   -0.098  101  -0.098  102  -0.042  103  -0.05   
CONSTR34    0         == 75   -0.182  100  1.      101  -0.182  102  -0.125  103  -0.15   
CONSTR35    0         == 70   1.      75   -0.06   82   1.      101  -0.06   102  -0.01   103  -0.04   108  1.      
CONSTR36    225.      >= 59   1.15    60   1.412   72   1.15    73   1.412   
CONSTR37    300.      >= 75   1.      101  1.      102  1.      103  1.      
CONSTR38    480.      >= 47   1.      
CONSTR39    45.       >= 39   1.      
CONSTR40    0         >= 23   -0.05   24   -0.0525 29   1.      
CONSTR41    0         == 7    1.      23   -0.27   24   -0.22   29   -1.     86   1.      92   1.      
CONSTR42    0         == 23   -0.08   24   -0.03   89   1.      94   1.      99   1.      
CONSTR43    570.      >= 23   1.      24   1.      
CONSTR44    112.5     >= 19   1.      22   1.      
CONSTR45    45.       >= 66   1.      
CONSTR46    67.5      >= 17   1.      100  1.      
CONSTR47    3.        == 108  1.      
CONSTR48    0         >= 59   4.3     60   1.9     61   -8.4    62   -8.3    63   5.5     65   -0.4    68   6.7     69   1.25    70   -20.3   
CONSTR49    0         == 59   -3.6    60   -2.     61   3.82    62   38.43   63   -3.31   65   10.15   68   0.26    70   -8.5    
CONSTR50    0         >= 59   -2.     60   -2.     61   -2.     62   -2.     63   -2.     65   -2.     68   -2.     69   1.      70   -2.     
CONSTR51    0         >= 72   -0.4    73   -2.5    74   -9.4    76   -9.9    77   -2.6    79   -1.7    80   5.6     81   1.87    82   -24.1   
CONSTR52    0         == 72   -3.6    73   -2.     74   3.82    76   38.43   77   -3.31   79   10.15   80   0.26    82   -8.5    
CONSTR53    0         >= 72   -1.5    73   -1.5    74   -1.5    76   -1.5    77   -1.5    79   -1.5    80   -1.5    81   1.      82   -1.5    
CONSTR54    0         == 10   1.      59   -0.06902 60   -0.07243 72   -0.06902 73   -0.07243 
CONSTR55    0         >= 0    -0.13   2    -0.154  3    0.278   
CONSTR56    0         >= 4    -0.281  5    -0.3333 7    0.013   8    -0.316  9    -0.354  10   -0.394  11   -0.307  12   0.724   13   0.073   
CONSTR57    0         >= 4    7.5     5    -30.    7    5.      8    20.     9    -22.5   10   -62.5   11   -17.5   12   2.5     13   -45.    
CONSTR58    0         >= 4    -12.6   5    -6.25   7    10.25   8    -20.    9    -16.    10   -7.5    11   -2.     12   -7.4    13   -4.     
CONSTR59    0         >= 30   -0.282  31   -0.316  32   -0.307  33   0.724   
CONSTR60    0         >= 30   1.      31   1.      32   -3.     33   1.      
CONSTR61    45.       == 30   1.      31   1.      32   1.      33   1.      
CONSTR62    0         == 91   3.62    92   -6.69   93   1.28    94   -2.7    95   -7.09   
CONSTR63    0         >= 91   -0.487  92   -0.428  93   -0.151  94   -0.0946 95   -5.04   
CONSTR64    0         == 91   1.      92   1.      93   1.      94   1.      95   1.      
CONSTR65    30.       == 34   0.676   88   -1.     93   -1.     99   0.61    
CONSTR66    0         == 83   2.64    84   5.69    85   6.49    86   -7.69   88   0.3     89   -3.69   90   -8.08   
CONSTR67    120.      >= 34   1.      99   1.      
CONSTR68    13.34     == 83   1.      84   1.      85   1.      86   1.      87   -1.     88   1.      89   1.      90   1.      
CONSTR69    180.      >= 46   1.      
CONSTR70    45.       >= 35   1.      
CONSTR71    0         == 42   -0.223  43   -0.253  44   -0.223  45   -0.253  47   1.      48   -0.205  49   -0.245  50   -0.205  52   -0.245  75   -1.     109  -0.11   110  -0.125  111  -0.11   113  -0.125  
CONSTR72    0         == 103  1.      109  -0.05   110  -0.05   111  -0.05   113  -0.05   
CONSTR73    0         == 38   1.      96   -0.137  112  -0.136  
CONSTR74    0         == 28   1.      96   -0.58   112  -0.307  
CONSTR75    0         == 15   -0.001  28   -0.0039 36   -0.0039 98   1.      
CONSTR76    0         == 15   1.      42   -0.1    43   -0.09   44   -0.09   45   -0.1    48   -0.08   49   -0.07   50   -0.07   52   -0.08   
CONSTR77    0         == 15   -0.0051 25   -1.     34   -0.0427 36   -0.0051 38   -0.215  39   1.      96   -0.055  99   -0.0567 112  -0.055  
CONSTR78    0         == 48   -0.115  49   -0.115  50   -0.115  52   -0.115  102  1.      
CONSTR79    0         == 15   -0.0051 34   -0.0427 36   -0.0051 38   -0.215  42   -0.125  43   -0.125  44   -0.125  45   -0.125  96   -0.055  99   -0.0567 101  1.      112  -0.055  
CONSTR80    0         == 15   -0.0137 25   1.      34   -0.1074 36   -0.0137 38   -0.785  96   -0.005  99   -0.1428 112  -0.005  
CONSTR81    0         == 20   1.      21   -0.85   66   0.95    71   0.02    104  1.      
CONSTR82    0         == 19   0.4348  55   -0.82   66   0.05    71   0.98    107  1.      
CONSTR83    0         == 19   0.5652  22   0.5349  40   -0.92   41   -1.     105  1.      
CONSTR84    0         == 22   0.4651  56   1.      57   -0.98   106  1.      
CONSTR85    100.      >= 104  1.      
CONSTR86    94.5      >= 64   1.      
CONSTR87    465.5     >= 78   1.      
CONSTR88    249.1     >= 1    1.      
CONSTR89    648.2     >= 6    1.      
CONSTR90    0         == 15   -0.0836 19   -0.3284 22   -0.3399 24   -0.0124 28   -0.0836 36   -0.0836 38   -0.0836 39   -0.0409 43   -0.0487 47   -0.0271 49   -0.0487 58   1.      59   -0.0735 60   -0.0771 72   -0.0735 73   -0.0771 75   -0.0639 96   -0.1415 101  -0.0639 102  -0.0639 103  -0.0639 110  -0.0487 112  -0.1415 
CONSTR91    0         == 14   -3.26   35   -2.88   41   -3.67   43   -3.114  46   -2.31   49   -2.9375 51   1.      54   -2.67   59   -0.3717 60   -0.3717 61   -0.3717 62   -0.3717 63   -0.3717 65   -0.3717 68   -0.3717 69   0.09293 70   -0.3717 72   -0.3717 73   -0.3717 74   -0.3717 76   -0.3717 77   -0.3717 79   -0.3717 80   -0.3717 81   0.09293 82   -0.3717 110  -2.6498 
CONSTR92    0         == 16   3.46    17   8.95    27   4.      34   2.21    66   2.41    67   -1.     71   4.72    88   -3.36   93   -3.36   98   25.     99   1.977   100  6.78    108  7.98    
CONSTR93    0         == 34   1.      42   -0.15   43   -0.15   44   -0.15   45   -0.15   48   -0.115  49   -0.115  50   -0.115  52   -0.115  83   1.      91   1.      96   1.      207  -1.     
CONSTR94    0         == 16   0.862   84   1.      109  -0.25   110  -0.25   111  -0.25   112  1.      113  -0.25   206  -1.     
CONSTR95    0         == 19   -0.7739 22   -0.8    61   1.      74   1.      162  1.      
CONSTR96    0         >= 14   -1.     53   -0.93   56   -1.     62   1.      76   1.      175  -1.     179  1.      
CONSTR97    0         == 75   -1.     114  1.      
CONSTR98    0         == 59   1.      60   1.      61   1.      62   1.      63   1.      64   -1.     65   1.      68   1.      70   1.      115  -1.     
CONSTR99    0         == 72   1.      73   1.      74   1.      76   1.      77   1.      78   -1.     79   1.      80   1.      82   1.      116  -1.     
CONSTR100   0         == 0    1.      1    -1.     2    1.      3    1.      117  -1.     
CONSTR101   0         == 4    1.      5    1.      6    -1.     7    1.      8    1.      9    1.      10   1.      11   1.      12   1.      13   1.      118  -1.     
CONSTR102   0         == 162  -0.3928 169  -3.212  170  -3.212  171  -2.7289 172  -2.7289 178  1.      183  -0.3928 184  -0.3928 187  -0.3928 189  -0.3928 193  -0.3928 194  0.09821 201  -0.3928 204  0.09821 
CONSTR103   0         == 146  -0.065  147  -0.065  152  -0.065  153  -0.065  154  -0.08   155  -0.11   156  -0.09   157  -0.12   169  -0.0339 170  -0.0339 171  -0.0493 172  -0.0493 182  1.      185  -0.48   186  -0.408  209  -0.04   210  -0.04   211  -0.04   212  -0.04   
CONSTR104   0         == 148  3.04    149  3.04    150  3.04    151  3.04    163  3.36    167  2.31    190  -1.     
CONSTR105   0         == 146  -0.025  147  -0.0275 152  -0.036  153  -0.039  154  -0.0074 155  -0.0128 156  -0.0083 157  -0.0137 164  1.      
CONSTR106   0         == 146  -0.036  147  -0.035  152  -0.041  153  -0.039  154  -0.0275 155  -0.0457 156  -0.0314 157  -0.05   166  1.      169  -0.002  170  -0.002  171  -0.001  172  -0.001  185  -0.1    
CONSTR107   0         == 146  -0.056  147  -0.056  152  -0.0665 153  -0.064  197  1.      
CONSTR108   0         == 146  -0.0175 147  -0.0165 152  -0.02   153  -0.0185 154  -0.00245 155  -0.00295 156  -0.0024 157  -0.0028 168  1.      169  -0.007  170  -0.007  171  -0.006  172  -0.006  179  -1.     186  -0.1    
CONSTR109   0         == 146  -0.048  147  -0.0485 152  -0.0555 153  -0.054  154  -0.014  155  -0.00231 156  -0.0163 157  -0.0255 169  -0.004  170  -0.004  171  -0.002  172  -0.002  176  1.      
CONSTR110   0         == 146  -0.064  147  -0.062  152  -0.0755 153  -0.07   180  1.      
CONSTR111   0         == 169  -0.083  170  -0.083  171  -0.03   172  -0.03   191  -0.03   192  -0.03   193  1.      195  -0.03   196  -0.03   203  1.      209  -0.01   210  -0.01   211  -0.01   212  -0.01   
CONSTR112   0         == 172  -0.125  196  1.      
CONSTR113   0         == 170  -0.22   192  1.      
CONSTR114   0         == 120  1.      124  1.      160  0.75    161  0.75    171  -0.107  172  -0.107  
CONSTR115   0         == 119  1.      123  1.      158  0.75    159  0.75    169  -0.13   170  -0.13   
CONSTR116   0         == 135  1.      145  1.      172  -0.047  212  1.      
CONSTR117   0         == 130  1.      141  1.      150  1.      170  -0.05   
CONSTR118   0         == 134  1.      144  1.      171  -0.1    211  1.      
CONSTR119   0         == 129  1.      140  1.      149  1.      169  -0.1    
CONSTR120   0         == 147  1.      153  1.      163  0.138   171  -0.354  172  -0.407  
CONSTR121   0         == 146  1.      152  1.      169  -0.344  170  -0.394  
CONSTR122   0         == 143  1.      163  0.862   171  -0.275  172  -0.275  206  1.      
CONSTR123   0         >= 139  1.      148  1.      169  -0.11   170  -0.11   207  1.      
CONSTR124   0         == 146  0.027   147  0.027   152  0.035   153  0.035   154  0.0663  155  0.0663  156  0.069   157  0.069   165  -0.67   169  0.0139  170  0.0139  171  0.0139  172  0.0139  173  -1.     205  -1.     209  0.025   210  0.025   211  0.025   212  0.025   
CONSTR125   0         == 155  1.      157  1.      195  -0.81   196  -0.89   
CONSTR126   0         == 154  1.      156  1.      191  -0.75   192  -0.86   
CONSTR127   0         == 122  1.      158  0.25    160  0.25    192  -0.11   196  -0.08   
CONSTR128   0         == 121  1.      159  0.25    161  0.25    191  -0.22   195  -0.16   
CONSTR129   0         == 154  -0.885  155  -0.7    156  -0.925  157  -0.74   174  1.      209  0.4     210  0.5     211  0.25    212  0.25    
CONSTR130   0         == 154  -0.8785 155  -0.8442 183  1.      198  1.      
CONSTR131   0         == 156  -0.8606 157  -0.824  184  1.      199  1.      
CONSTR132   0         == 146  -0.47   147  -0.47   152  -0.52   153  -0.52   185  -0.625  186  -0.735  187  1.      200  1.      
CONSTR133   0         == 128  1.      137  1.      147  -0.23   153  -0.18   210  1.      
CONSTR134   0         == 127  1.      136  1.      146  -0.27   152  -0.21   209  1.      
CONSTR135   0         == 142  1.      146  -0.08   147  -0.12   151  1.      152  -0.04   153  -0.07   
CONSTR136   0         == 132  1.      212  -0.99   
CONSTR137   0         == 133  1.      209  -0.99   210  -0.99   
CONSTR138   15.       >= 167  1.      
CONSTR139   34.16     == 163  1.      
CONSTR140   4.5       == 158  1.      159  1.      160  1.      161  1.      
CONSTR141   0         == 148  1.      149  1.      150  1.      151  1.      
CONSTR142   21.93     == 138  1.      
CONSTR143   0         >= 148  3.03    149  -3.82   150  -3.72   151  -3.27   
CONSTR144   0         >= 148  0.151   149  -0.895  150  -0.891  151  -0.74   
CONSTR145   0         >= 136  -7.11   137  -6.33   139  2.72    140  -4.13   141  -4.03   142  -3.58   143  5.17    144  -3.73   145  -3.83   
CONSTR146   0         >= 121  2.      122  -1.     123  -15.    124  -10.    127  17.5    128  15.     129  -16.    130  -14.3   131  -9.     132  -9.5    133  12.5    134  -8.     135  -8.5    
CONSTR147   0         >= 121  -40.    122  -40.    123  -35.    124  -40.    127  5.5     129  30.     130  50.     131  5.      132  20.     133  12.     134  20.     135  30.     
CONSTR148   0         >= 121  -0.4    122  -0.403  123  -0.288  124  0.125   127  -0.091  128  1.191   129  -0.262  130  -0.261  131  -0.26   132  -0.21   133  -0.25   134  1.064   135  1.115   
CONSTR149   0         >= 162  -2.1    183  -4.5    184  -1.7    187  -1.7    189  60.5    193  -1.9    
CONSTR150   0         >= 162  -5.56   183  2.2     184  -0.5    187  2.8     189  -9.19   193  4.3     194  0.87    
CONSTR151   0         >= 162  -2.     183  -2.     184  -2.     187  -2.     189  -2.     193  -2.     194  1.      
CONSTR152   0         >= 198  -4.5    199  -1.7    200  -1.7    202  60.5    203  -1.9    
CONSTR153   0         >= 198  -1.5    199  -4.8    200  -3.5    202  -11.93  203  3.02    204  1.43    
CONSTR154   0         >= 198  -1.5    199  -1.5    200  -1.5    202  -1.5    203  -1.5    
CONSTR155   0         == 136  -1.     137  -1.     138  1.      139  -1.     140  -1.     141  -1.     142  -1.     143  -1.     144  -1.     145  -1.     205  1.      
CONSTR156   0         == 131  1.      211  -0.99   
CONSTR157   147.      >= 171  1.      172  1.      
CONSTR158   270.      >= 169  1.      170  1.      171  1.      172  1.      
CONSTR159   72.       >= 154  1.      155  1.      156  1.17    157  1.17    
CONSTR160   180.      >= 146  1.      147  1.      152  1.      153  1.      
CONSTR161   60.       >= 169  0.13    170  0.13    171  0.107   172  0.107   209  1.      210  1.      211  1.      212  1.      
CONSTR162   0         == 164  -1.     166  -0.09   168  -0.0472 173  1.      174  -0.0511 176  -0.0522 180  -0.0138 197  -0.118  
CONSTR163   0         == 168  -0.93   177  -1.     181  -1.     189  1.      202  1.      
CONSTR164   0         == 165  1.      166  -0.85   167  1.      
CONSTR165   0         == 175  1.      176  -0.92   177  1.      
CONSTR166   0         == 185  1.      197  -0.82   
CONSTR167   0         == 180  -0.98   181  1.      186  1.      
CONSTR168   0         == 171  -0.125  195  1.      
CONSTR169   0         == 169  -0.22   191  1.      
CONSTR170   0         == 162  -0.12   175  -0.12   179  -0.12   206  -0.12   207  -0.12   208  1.      
CONSTR171   45.       >= 188  1.      
CONSTR172   118.      >= 201  1.      
CONSTR173   105.      >= 126  1.      
CONSTR174   125.5     >= 125  1.      
CONSTR175   15.3      == 162  1.      183  1.      184  1.      187  1.      188  -1.     189  1.      193  1.      250  -1.     316  -1.     332  -1.     
CONSTR176   3.        == 119  1.      120  1.      125  -1.     240  -1.     308  -1.     324  -1.     
CONSTR177   30.       == 121  1.      122  1.      123  1.      124  1.      126  -1.     127  1.      128  1.      129  1.      130  1.      131  1.      132  1.      133  1.      134  1.      135  1.      245  -1.     312  -1.     328  -1.     
CONSTR178   65.       == 198  1.      199  1.      200  1.      201  -1.     202  1.      203  1.      255  -1.     320  -1.     336  -1.     
CONSTR179   0         == 114  1.      213  -1.     
CONSTR180   120.      == 115  1.      230  -1.     248  -1.     264  -1.     276  -1.     288  -1.     300  -1.     314  -1.     330  -1.     
CONSTR181   480.      == 116  1.      234  -1.     253  -1.     267  -1.     279  -1.     291  -1.     303  -1.     318  -1.     334  -1.     
CONSTR182   30.       == 117  1.      222  -1.     238  -1.     258  -1.     270  -1.     282  -1.     294  -1.     306  -1.     322  -1.     
CONSTR183   210.      == 118  1.      226  -1.     243  -1.     261  -1.     273  -1.     285  -1.     297  -1.     310  -1.     326  -1.     
CONSTR184   0         == 258  0.1426  260  0.2363  261  0.1426  263  0.2363  264  0.1426  266  0.2363  267  0.1426  269  0.2363  270  0.2026  272  0.2863  273  0.2026  275  0.2863  276  0.2026  278  0.2863  279  0.2026  281  0.2863  282  0.1476  284  0.3526  285  0.1476  287  0.3526  288  0.1476  290  0.3526  291  0.1476  293  0.3526  294  0.0713  296  0.2863  297  0.0713  299  0.2863  300  0.0713  302  0.2863  303  0.0713  305  0.2863  306  0.395   308  0.1467  309  0.1239  310  0.4066  312  0.151   313  0.1273  314  0.3536  316  0.1313  317  0.112   318  0.3536  320  0.1313  321  0.112   322  0.3085  324  0.2547  325  0.3074  326  0.3175  328  0.2623  329  0.3161  330  0.2766  332  0.228   333  0.277   334  0.2766  336  0.228   337  0.277   338  -1.     
CONSTR185   50.       == 264  1.      265  1.      266  1.      
CONSTR186   150.      == 267  1.      268  1.      269  1.      
CONSTR187   25.       == 258  1.      259  1.      260  1.      
CONSTR188   75.       == 261  1.      262  1.      263  1.      
CONSTR189   0         == 214  -1.     216  1.      230  -1.     231  -1.     232  -1.     233  1.      
CONSTR190   0         == 234  -1.     235  -1.     236  -1.     237  1.      
CONSTR191   25.       == 222  -1.     223  -1.     224  -1.     225  1.      
CONSTR192   100.      == 226  -1.     227  -1.     228  -1.     229  1.      
CONSTR193   -25.      == 233  -1.     265  1.      277  1.      289  1.      301  1.      
CONSTR194   -100.     == 215  -1.     217  1.      237  -1.     268  1.      280  1.      292  1.      304  1.      
CONSTR195   -25.      == 225  -1.     259  1.      271  1.      283  1.      295  1.      
CONSTR196   -100.     == 229  -1.     262  1.      274  1.      286  1.      298  1.      
CONSTR197   84.9      >= 233  1.      
CONSTR198   203.5     >= 237  1.      
CONSTR199   89.8      >= 225  1.      
CONSTR200   219.2     >= 229  1.      
CONSTR201   0         == 214  50.     216  -50.    230  10.     231  10.     232  10.     233  -10.    
CONSTR202   0         == 215  50.     217  -50.    234  10.     235  10.     236  10.     237  -10.    
CONSTR203   0         == 218  -1.     220  1.      248  -1.     249  -1.     250  -1.     251  -1.     252  1.      
CONSTR204   0         == 219  -1.     221  1.      253  -1.     254  -1.     255  -1.     256  -1.     257  1.      
CONSTR205   25.       == 238  -1.     239  -1.     240  -1.     241  -1.     242  1.      
CONSTR206   30.       == 243  -1.     244  -1.     245  -1.     246  -1.     247  1.      
CONSTR207   -25.      == 218  -1.     220  1.      252  -1.     315  1.      331  1.      
CONSTR208   -50.      == 219  -1.     221  1.      257  -1.     319  1.      335  1.      
CONSTR209   -25.      == 242  -1.     307  1.      323  1.      
CONSTR210   -30.      == 247  -1.     311  1.      327  1.      
CONSTR211   44.       >= 252  1.      
CONSTR212   91.7      >= 257  1.      
CONSTR213   69.5      >= 242  1.      
CONSTR214   55.       >= 247  1.      
CONSTR215   0         == 218  50.     220  -50.    248  10.     249  10.     250  10.     251  10.     252  -10.    
CONSTR216   0         == 219  50.     221  -50.    253  10.     254  10.     255  10.     256  10.     257  -10.    
CONSTR217   50.       == 276  1.      277  1.      278  1.      
CONSTR218   200.      == 279  1.      280  1.      281  1.      
CONSTR219   25.       == 270  1.      271  1.      272  1.      
CONSTR220   75.       == 273  1.      274  1.      275  1.      
CONSTR221   25.       == 288  1.      289  1.      290  1.      
CONSTR222   100.      == 291  1.      292  1.      293  1.      
CONSTR223   20.       == 282  1.      283  1.      284  1.      
CONSTR224   50.       == 285  1.      286  1.      287  1.      
CONSTR225   25.       == 300  1.      301  1.      302  1.      
CONSTR226   100.      == 303  1.      304  1.      305  1.      
CONSTR227   10.       == 294  1.      295  1.      296  1.      
CONSTR228   40.       == 297  1.      298  1.      299  1.      
CONSTR229   50.       == 314  1.      315  1.      316  1.      317  1.      
CONSTR230   200.      == 318  1.      319  1.      320  1.      321  1.      
CONSTR231   50.       == 306  1.      307  1.      308  1.      309  1.      
CONSTR232   150.      == 310  1.      311  1.      312  1.      313  1.      
CONSTR233   10.       == 330  1.      331  1.      332  1.      333  1.      
CONSTR234   50.       == 334  1.      335  1.      336  1.      337  1.      
CONSTR235   20.       == 322  1.      323  1.      324  1.      325  1.      
CONSTR236   50.       == 326  1.      327  1.      328  1.      329  1.      
CONSTR237   25.       == 231  1.      
CONSTR238   100.      == 235  1.      
CONSTR239   25.       == 249  1.      
CONSTR240   50.       == 254  1.      
CONSTR241   0         == 213  -1.     347  1.      348  1.      445  1.      
CONSTR242   243.      == 232  -1.     251  -1.     266  -1.     278  -1.     290  -1.     302  -1.     317  -1.     333  -1.     406  1.      409  -1.     451  1.      
CONSTR243   1050.     == 236  -1.     256  -1.     269  -1.     281  -1.     293  -1.     305  -1.     321  -1.     337  -1.     423  1.      437  -1.     452  1.      
CONSTR244   150.      == 224  -1.     241  -1.     260  -1.     272  -1.     284  -1.     296  -1.     309  -1.     325  -1.     339  -1.     389  1.      448  1.      
CONSTR245   540.      == 228  -1.     246  -1.     263  -1.     275  -1.     287  -1.     299  -1.     313  -1.     329  -1.     340  -1.     358  1.      359  1.      386  1.      387  1.      390  1.      391  1.      433  1.      449  1.      
CONSTR246   0         >= 352  -0.41   353  -0.492  354  -0.572  355  -0.0005 363  -0.374  364  -0.333  365  -0.335  366  -0.363  367  -0.32   368  -0.402  369  -0.388  370  -0.431  371  -0.31   372  -0.33   373  -0.29   374  -0.385  375  -0.263  376  -0.4    377  -0.356  378  -0.436  379  -0.404  380  -0.385  381  -0.4    382  -0.382  383  -0.368  384  -0.36   395  1.      400  -0.629  401  -0.756  402  -0.898  403  -1.056  417  -0.517  418  -0.629  419  -0.756  420  -0.898  421  -1.056  453  -0.359  
CONSTR247   0         >= 352  -0.0072 353  -0.056  363  -0.065  364  -0.0595 365  -0.0603 366  -0.061  367  -0.0592 368  -0.0563 369  -0.0622 370  -0.058  371  -0.0615 372  -0.0601 373  -0.0585 374  -0.0582 375  -0.0519 376  -0.0558 377  -0.0593 378  -0.0578 379  -0.0625 380  -0.0615 381  -0.0617 382  -0.0606 383  -0.0541 384  -0.0539 424  1.5873  453  -0.009  
CONSTR248   0         >= 345  1.      352  -0.0183 353  -0.033  355  -0.0083 363  -0.0382 364  -0.0293 365  -0.0313 366  -0.031  367  -0.0275 368  -0.031  369  -0.0306 370  -0.032  371  -0.0293 372  -0.0288 373  -0.0262 374  -0.0304 375  -0.0228 376  -0.0292 377  -0.0276 378  -0.0302 379  -0.0318 380  -0.0307 381  -0.0316 382  -0.0307 383  -0.0282 384  -0.028  397  1.      400  -0.0219 401  -0.0284 402  -0.0359 403  -0.0433 417  -0.0164 418  -0.0219 419  -0.0284 420  -0.0359 421  -0.0433 424  -0.15873 453  -0.0229 
CONSTR249   0         >= 341  0.588   352  -0.0106 353  -0.075  363  -0.0753 364  -0.0724 365  -0.0726 366  -0.073  367  -0.0685 368  -0.0718 369  -0.0707 370  -0.0734 371  -0.0689 372  -0.0693 373  -0.0668 374  -0.0738 375  -0.0585 376  -0.0694 377  -0.0652 378  -0.0724 379  -0.0716 380  -0.0713 381  -0.0708 382  -0.0701 383  -0.0676 384  -0.0672 405  0.588   422  0.588   426  1.      427  1.25    453  -0.0132 
CONSTR250   0         >= 341  0.65    343  -1.     352  -0.0032 353  -0.037  355  -0.001  363  -0.0535 364  -0.0455 365  -0.051  366  -0.0457 367  -0.0407 368  -0.04   369  -0.0426 370  -0.0394 371  -0.0388 372  -0.0384 373  -0.0384 374  -0.0401 375  -0.0301 376  -0.0332 377  -0.0331 378  -0.0339 379  -0.0409 380  -0.0405 381  -0.0399 382  -0.0398 383  -0.0339 384  -0.0343 400  -0.0045 401  -0.0061 402  -0.008  403  -0.01   405  0.65    408  1.      417  -0.0032 418  -0.0045 419  -0.0061 420  -0.008  421  -0.01   422  0.65    436  1.      453  -0.0039 
CONSTR251   0         >= 344  -1.     346  1.      352  -0.0116 353  -0.019  355  -0.001  363  -0.018  364  -0.0153 365  -0.0167 366  -0.0154 367  -0.0139 368  -0.0142 369  -0.0145 370  -0.0142 371  -0.0136 372  -0.0134 373  -0.0134 374  -0.0145 375  -0.0108 376  -0.0124 377  -0.0118 378  -0.0126 379  -0.0141 380  -0.014  381  -0.0137 382  -0.0138 383  -0.0123 384  -0.0125 400  -0.001  401  -0.0013 402  -0.0016 403  -0.0019 412  1.      417  -0.0007 418  -0.001  419  -0.0013 420  -0.0016 421  -0.0019 440  1.      453  -0.0145 
CONSTR252   0         >= 342  16.09   393  -0.01   417  2.89    418  3.72    419  4.69    420  5.93    421  7.39    422  4.26    423  -10.    424  4.03    425  26.57   426  69.09   427  4.03    428  4.21    429  2.1     430  0.97    431  0.08    432  6.62    433  -0.01   435  0.38    436  92.73   438  9.08    440  66.48   443  6.62    
CONSTR253   0         >= 342  -4.     393  4.      417  -4.     418  -4.     419  -4.     420  -4.     421  -4.     422  -4.     424  -4.     425  -4.     426  -4.     427  -4.     428  -4.     429  -4.     430  -4.     431  -4.     432  -4.     433  4.      435  -4.     436  -4.     438  -4.     440  -4.     442  1.      443  -4.     
CONSTR254   0         >= 342  -86.    393  88.5    417  -90.2   418  -92.2   419  -94.2   420  -96.2   421  -97.7   422  -103.7  424  -101.7  425  -88.    426  -106.7  427  -101.7  428  -81.2   429  -76.2   430  -74.5   431  -93.7   432  -84.7   433  88.5    435  -66.7   436  -106.7  438  -97.7   440  -96.7   441  1.      442  -1.1    443  -78.7   
CONSTR255   0         >= 342  -80.4   393  85.7    417  -85.4   418  -88.1   419  -90.9   420  -93.6   421  -95.5   422  -99.4   424  -99.7   425  -82.2   426  -102.7  427  -99.7   428  -75.1   429  -70.7   430  -67.4   431  -91.4   432  -79.1   433  85.7    435  -56.3   436  -102.7  438  -95.4   440  -94.    441  1.      442  -3.3    443  -72.1   
CONSTR256   0         >= 342  -84.5   393  76.3    417  -83.    418  -84.6   419  -86.1   420  -87.5   421  -88.6   422  -101.3  424  -79.3   425  -89.    426  -92.3   427  -79.3   428  -80.3   429  -76.1   430  -74.6   431  -81.3   432  -74.6   433  76.3    435  -67.3   436  -107.3  438  -81.3   439  1.      440  -97.3   442  -0.9    443  -74.6   
CONSTR257   0         >= 342  -82.5   393  75.6    417  -81.3   418  -83.3   419  -84.9   420  -86.6   421  -87.9   422  -99.4   424  -78.6   425  -86.8   426  -90.8   427  -78.6   428  -77.9   429  -74.1   430  -72.4   431  -80.7   432  -73.7   433  75.6    435  -63.3   436  -105.8  438  -80.7   439  1.      440  -96.4   442  -1.3    443  -72.    
CONSTR258   0         >= 342  -79.4   393  74.5    417  -78.5   418  -80.8   419  -82.9   420  -84.9   421  -86.5   422  -96.6   424  -77.5   425  -82.9   426  -88.4   427  -77.5   428  -74.    429  -71.    430  -67.4   431  -79.6   432  -72.3   433  74.5    435  -56.8   436  -103.5  438  -79.6   439  1.      440  -94.8   442  -2.5    443  -67.9   
CONSTR259   0         >= 358  -14.6   359  -1.6    386  3.4     387  -8.6    390  15.4    391  5.4     433  23.     
CONSTR260   0         >= 361  -44.5   362  -12.7   392  10.9    394  -0.6    
CONSTR261   0         == 342  1.      393  -1.     417  1.      418  1.      419  1.      420  1.      421  1.      422  1.      423  -1.     424  1.      425  1.      426  1.      427  1.      428  1.      429  1.      430  1.      431  1.      432  1.      433  -1.     435  1.      436  1.      438  1.      440  1.      443  1.      
CONSTR262   0         >= 358  1.      359  -0.5    
CONSTR263   0         == 341  -0.3208 352  -0.0582 353  -0.181  354  -0.065  355  -0.0178 363  -0.0783 364  -0.0739 365  -0.0763 366  -0.0763 367  -0.0767 368  -0.074  369  -0.0743 370  -0.0741 371  -0.0748 372  -0.0724 373  -0.0733 374  -0.0734 375  -0.0699 376  -0.0713 377  -0.0728 378  -0.0719 379  -0.0747 380  -0.0746 381  -0.0744 382  -0.0746 383  -0.0717 384  -0.0719 386  -0.008  388  -0.008  390  -0.008  399  1.      400  -0.0379 401  -0.0458 402  -0.0592 403  -0.086  405  -0.3208 406  -0.0139 407  -0.025  417  -0.0327 418  -0.0379 419  -0.0458 420  -0.0592 421  -0.086  422  -0.3208 423  -0.0046 424  -0.2695 427  -0.2122 434  -0.22   453  -0.099  
CONSTR264   0         >= 361  43.7    362  11.9    392  -11.7   394  -0.2    
CONSTR265   0         >= 341  1.      
CONSTR266   0         == 363  1.      364  1.      365  1.      366  1.      367  1.      368  1.      369  1.      370  1.      371  1.      372  1.      373  1.      374  1.      375  1.      376  1.      377  1.      378  1.      379  1.      380  1.      381  1.      382  1.      383  1.      384  1.      385  -1.     
CONSTR267   15.       == 357  1.      404  1.      
CONSTR268   0         >= 357  1.      434  -0.26   
CONSTR269   75.       == 342  1.      411  1.      
CONSTR270   0         == 342  -3.57   343  -3.255  344  -3.045  355  -3.01   398  1.      404  -5.     411  -5.     415  -0.0886 416  -0.35   442  0.0886  445  -5.     448  -4.2    449  -3.78   450  -3.57   451  -5.46   452  -4.62   
CONSTR271   0         == 341  6.01    347  1.      351  14.5    356  1.      357  6.3     361  2.52    362  2.52    392  2.52    394  2.52    397  1.89    413  -1.     446  40.     456  0.25    
CONSTR272   1229.7    >= 340  1.      
CONSTR273   0         >= 355  -0.07   425  1.      
CONSTR274   0         >= 347  1.      355  -0.0375 428  1.      
CONSTR275   0         >= 348  1.      349  1.      355  -0.0375 429  1.      
CONSTR276   0         >= 350  1.      355  -0.037  430  1.      
CONSTR277   0         >= 349  -1.     350  -1.     355  -0.14   400  1.119   401  1.146   402  1.182   403  1.224   417  1.094   418  1.119   419  1.146   420  1.182   421  1.224   435  1.      444  0.85    
CONSTR278   0         >= 355  -0.0451 444  1.      
CONSTR279   0         >= 355  -0.11   359  1.      389  1.      444  -1.     
CONSTR280   0         >= 355  -0.07   387  1.      444  0.15    
CONSTR281   0         >= 355  -0.023  358  1.      365  0.073   366  0.057   369  0.062   370  0.05    373  0.068   374  0.054   377  0.058   378  0.048   379  0.027   381  0.027   383  0.025   
CONSTR282   0         >= 355  -0.325  363  1.      364  1.      365  0.927   366  0.943   367  0.834   368  0.867   369  0.783   370  0.824   371  0.928   372  0.944   373  0.865   374  0.893   375  0.783   376  0.825   377  0.738   378  0.785   379  0.857   380  0.881   381  0.843   382  0.866   383  0.801   384  0.821   
CONSTR283   0         >= 352  1.      355  -0.139  392  1.      455  1.      
CONSTR284   0         >= 352  -0.125  353  -0.015  432  1.      
CONSTR285   0         >= 352  -0.3    353  -0.015  386  1.      388  0.385   
CONSTR286   0         >= 352  -0.34   367  0.166   368  0.133   369  0.155   370  0.126   375  0.156   376  0.126   377  0.147   378  0.12    379  0.116   380  0.119   381  0.13    382  0.134   383  0.124   384  0.127   
CONSTR287   0         >= 354  -0.423  371  0.078   372  0.056   373  0.067   374  0.053   375  0.061   376  0.049   377  0.057   378  0.047   383  0.05    384  0.052   
CONSTR288   0         >= 351  1.      352  -0.0427 
CONSTR289   0         >= 353  -0.0399 354  -0.0651 446  1.      
CONSTR290   0         >= 353  -0.024  363  -0.422  364  -0.411  365  -0.419  366  -0.398  367  -0.402  368  -0.384  369  -0.402  370  -0.372  371  -0.415  372  -0.397  373  -0.406  374  -0.387  375  -0.387  376  -0.372  377  -0.385  378  -0.364  379  -0.389  380  -0.396  381  -0.388  382  -0.393  383  -0.37   384  -0.375  407  1.      438  1.      
CONSTR291   0         >= 353  -0.011  363  -0.181  364  -0.176  365  -0.18   366  -0.17   367  -0.173  368  -0.165  369  -0.173  370  -0.159  371  -0.178  372  -0.17   373  -0.174  374  -0.166  375  -0.166  376  -0.159  377  -0.165  378  -0.156  379  -0.167  380  -0.17   381  -0.166  382  -0.169  383  -0.159  384  -0.161  431  1.      
CONSTR292   0         >= 353  -0.035  356  1.      360  1.      361  1.      363  -0.144  364  -0.166  365  -0.144  366  -0.179  367  -0.175  368  -0.204  369  -0.158  370  -0.197  371  -0.169  372  -0.193  373  -0.18   374  -0.201  375  -0.217  376  -0.211  377  -0.205  378  -0.186  379  -0.192  380  -0.189  381  -0.198  382  -0.195  383  -0.214  384  -0.216  388  0.615   390  1.      396  1.      434  1.      
CONSTR293   0         >= 353  0.538   362  1.      363  -0.05   364  -0.06   365  -0.061  366  -0.06   367  -0.06   368  -0.058  369  -0.064  370  -0.075  371  -0.06   372  -0.065  373  -0.065  374  -0.06   375  -0.083  376  -0.084  377  -0.07   378  -0.107  379  -0.058  380  -0.056  381  -0.058  382  -0.056  383  -0.086  384  -0.079  447  1.      453  1.      
CONSTR294   0         >= 393  1.      431  -0.5    433  1.      
CONSTR295   0         >= 443  1.      453  -0.2896 
CONSTR296   0         >= 354  1.      394  1.      453  -0.639  454  1.      
CONSTR297   0         == 341  0.265   345  -3.836  346  -4.325  352  0.221   353  0.273   354  0.228   355  0.124   363  0.159   364  0.152   365  0.154   366  0.153   367  0.149   368  0.15    369  0.152   370  0.151   371  0.15    372  0.149   373  0.148   374  0.151   375  0.141   376  0.147   377  0.146   378  0.148   379  0.152   380  0.152   381  0.151   382  0.15    383  0.146   384  0.146   386  0.053   390  0.053   395  -1.     396  -6.5    400  0.37    401  0.405   402  0.455   403  0.51    405  0.265   416  -1.     417  0.35    418  0.37    419  0.405   420  0.455   421  0.51    422  0.265   424  0.075   427  0.075   447  -6.5    453  0.4     454  -6.5    455  -6.5    456  1.      
CONSTR298   1.        == 363  0.06061 364  0.04662 365  0.05618 366  0.04396 367  0.05056 368  0.04044 369  0.04744 370  0.03842 371  0.05624 372  0.04399 373  0.05241 374  0.04161 375  0.04748 376  0.03845 377  0.04472 378  0.03662 379  0.04202 380  0.0432  381  0.04132 382  0.04246 383  0.03925 384  0.04027 
CONSTR299   1800.     >= 355  1.      
CONSTR300   315.      >= 400  1.119   401  1.146   402  1.182   403  1.224   417  1.094   418  1.119   419  1.146   420  1.182   421  1.224   
CONSTR301   195.      >= 386  1.      388  1.      390  1.      
CONSTR302   360.      >= 352  1.      353  1.      354  1.      
CONSTR303   105.      >= 341  1.      405  1.      422  1.      
CONSTR304   30.       == 360  1.      388  1.      393  1.      450  1.      
CONSTR305   90.       >= 361  1.      362  1.      392  1.      394  1.      
CONSTR306   90.       >= 397  1.      
CONSTR307   0         >= 406  95.5    410  -0.5    414  -0.5    
CONSTR308   0         >= 406  99.     414  -1.     
CONSTR309   0         >= 400  3.84    401  4.83    402  6.12    403  7.62    405  4.39    406  -10.    407  9.36    408  95.62   412  68.56   
CONSTR310   0         >= 400  8.9     401  7.5     402  6.2     403  5.2     405  -7.3    406  20.     407  -32.2   408  -130.   412  -130.   
CONSTR311   0         >= 400  -4.     401  -4.     402  -4.     403  -4.     405  -4.     407  -4.     408  -4.     412  -4.     415  1.      
CONSTR312   0         >= 400  -92.5   401  -94.5   402  -96.5   403  -98.    405  -102.3  407  -98.    408  -107.   412  -97.    414  1.      415  -1.     
CONSTR313   0         >= 400  -91.4   401  -93.7   402  -95.9   403  -97.5   405  -101.1  407  -97.5   408  -105.8  412  -96.4   414  1.      415  -1.3    
CONSTR314   0         >= 400  -88.9   401  -91.7   402  -94.4   403  -96.3   405  -98.8   407  -96.2   408  -103.5  412  -94.8   414  1.      415  -2.5    
CONSTR315   0         >= 400  -84.    401  -85.5   402  -86.9   403  -88.    405  -96.    407  -80.7   408  -106.7  410  1.      412  -96.7   415  -1.1    
CONSTR316   0         >= 400  -83.1   401  -84.7   402  -86.4   403  -87.7   405  -94.9   407  -80.5   408  -105.6  410  1.      412  -96.2   415  -1.4    
CONSTR317   0         >= 400  -80.4   401  -82.5   402  -84.5   403  -86.1   405  -91.5   407  -79.2   408  -103.1  410  1.      412  -94.4   415  -2.9    
CONSTR318   0         >= 423  91.2    439  -0.333  441  -0.667  
CONSTR319   0         >= 423  93.     441  -1.     
CONSTR320   0         >= 342  -84.    393  87.5    417  -88.5   418  -90.8   419  -93.1   420  -95.3   421  -96.9   422  -102.1  424  -101.   425  -86.    426  -105.2  427  -101.   428  -79.    429  -74.2   430  -72.5   431  -93.    432  -82.6   433  87.5    435  -62.8   436  -105.2  438  -96.9   440  -95.8   441  1.      442  -1.6    443  -76.2   
CONSTR321   0         == 400  1.      401  1.      402  1.      403  1.      405  1.      406  -1.     407  1.      408  1.      412  1.      
CONSTR322   0         >= 406  -0.1    
CONSTR323   0         >= 406  0.25    407  -1.     
CONSTR324   0         >= 396  -44.5   447  -12.7   454  -0.6    455  10.9    
CONSTR325   0         >= 400  -92.9   401  -94.7   402  -96.6   403  -98.1   405  -104.6  407  -98.1   408  -106.9  412  -97.2   414  1.      415  -0.9    
CONSTR326   0         >= 400  -85.1   401  -86.5   402  -87.7   403  -88.9   405  -102.3  407  -81.3   408  -107.3  410  1.      412  -97.6   415  -0.8    
CONSTR327   0         >= 391  1.      434  -0.74   
CONSTR328   721.5     >= 409  1.      
CONSTR329   1626.7    >= 437  1.      
CONSTR330   692.      >= 339  1.      
CONSTR331   149.916   == 423  1.      475  1.      478  -0.09   480  -0.025  481  -0.036  491  -0.017  497  -0.0522 510  -0.0472 512  -0.118  514  -0.0138 516  -0.0637 517  -0.09265 529  -0.0637 530  -0.09265 532  -0.021  553  -0.072  556  -0.035  558  -0.021  559  -0.029  560  -0.025  569  -0.135  
CONSTR332   131.347   == 448  1.      478  1.      480  -0.036  481  -0.042  491  -0.016  499  -0.007  500  -0.007  501  -0.007  502  -0.007  503  -0.02   505  -0.0072 506  -0.0072 507  -0.0072 509  -0.0072 516  -0.03806 517  -0.04946 529  -0.03806 530  -0.04946 532  -0.025  553  -0.027  556  -0.026  558  -0.025  559  -0.03   560  -0.027  566  -0.002  567  -0.0022 568  -0.002  569  -0.04   570  -0.002  
CONSTR333   393.      == 451  1.      480  -0.058  481  -0.067  491  -0.01   512  1.      553  -0.034  556  -0.016  569  -0.06   
CONSTR334   599.663   == 442  1.      480  -0.041  481  -0.047  491  -0.003  497  1.      499  -0.0034 500  -0.0034 501  -0.0034 502  -0.0034 503  -0.38   505  -0.0068 506  -0.0068 507  -0.0068 509  -0.0068 516  -0.02075 517  -0.02731 529  -0.02075 530  -0.02731 532  -0.013  553  -0.005  556  -0.004  558  -0.013  559  -0.022  560  -0.015  566  -0.0025 567  -0.0025 568  -0.0025 569  -0.011  570  -0.0025 
CONSTR335   30.       == 450  1.      480  -0.011  481  -0.015  491  -0.007  499  -0.0145 500  -0.0145 501  -0.0145 502  -0.0145 503  -0.3    505  -0.0375 506  -0.0375 507  -0.0375 509  -0.0375 510  1.      516  -0.00309 517  -0.00303 529  -0.00309 530  -0.00303 532  -0.026  553  -0.015  556  -0.01   558  -0.026  559  -0.033  560  -0.024  566  -0.0093 567  -0.0093 568  -0.0093 569  -0.022  570  -0.0093 
CONSTR336   0         == 480  -0.077  481  -0.09   491  -0.007  514  1.      553  -0.019  556  -0.001  569  -0.022  
CONSTR337   0         == 499  -0.0195 500  -0.0195 501  -0.0195 502  -0.0195 503  -0.2    505  -0.023  506  -0.023  507  -0.023  509  -0.023  525  1.      532  -0.451  537  1.      558  -0.451  559  -0.52   560  -0.48   566  -0.005  567  -0.005  568  -0.005  570  -0.005  
CONSTR338   0         == 491  -0.15   547  1.      552  1.      556  -0.1    
CONSTR339   0         >= 472  -0.0137 491  -0.1074 493  -0.0137 495  -0.785  499  -0.098  500  -0.128  501  -0.098  502  -0.128  505  -0.09   506  -0.13   507  -0.09   509  -0.13   516  1.15    517  1.207   529  1.15    530  1.207   553  -0.005  556  -0.1428 566  -0.06   567  -0.075  568  -0.06   569  -0.005  570  -0.075  
CONSTR340   0         == 460  1.      470  1.      566  -0.115  567  -0.1    568  -0.115  570  -0.1    
CONSTR341   0         == 459  1.      466  1.      505  -0.202  506  -0.162  507  -0.202  509  -0.162  
CONSTR342   0         == 457  1.      462  1.      499  -0.179  500  -0.149  501  -0.179  502  -0.149  
CONSTR343   0         == 469  1.      490  1.      566  -0.075  567  -0.05   568  -0.05   570  -0.075  
CONSTR344   0         == 465  1.      488  1.      505  -0.095  506  -0.06   507  -0.06   509  -0.095  
CONSTR345   0         == 461  1.      487  1.      499  -0.08   500  -0.045  501  -0.045  502  -0.08   
CONSTR346   0         == 472  -0.0012 480  -0.475  481  -0.525  486  1.      491  -0.0079 493  -0.0012 520  1.      534  1.      553  -0.04   556  -0.0105 569  -0.04   
CONSTR347   .75       >= 483  1.      
CONSTR348   0         == 473  0.138   493  1.      566  -0.431  567  -0.456  568  -0.456  570  -0.431  
CONSTR349   0         == 472  0.0232  475  -1.     477  -0.61   480  0.0318  481  0.0318  483  -4.409  485  0.0232  491  0.038   493  0.0232  494  -0.0511 495  0.0232  496  0.0244  499  0.0139  500  0.0139  501  0.0139  502  0.0139  504  0.0244  505  0.0139  506  0.0139  507  0.0139  509  0.0139  511  -1.     516  0.0635  517  0.0635  529  0.0635  530  0.0635  532  0.115   544  -1.     553  0.0475  554  -1.055  556  0.038   558  0.115   559  0.115   560  0.115   566  0.0139  567  0.0139  568  0.0139  569  0.0475  570  0.0139  
CONSTR350   0         == 483  1.      484  1.      553  -0.012  569  -0.0434 
CONSTR351   0         == 542  1.      553  -0.04   554  1.      569  -0.04   
CONSTR352   0         == 472  0.1     485  0.55    493  0.2     494  1.      495  0.45    496  0.05    504  0.05    516  -0.7938 517  -0.9296 529  -0.7938 530  -0.9296 532  -0.9    558  -0.9    559  -0.55   560  -0.75   
CONSTR353   0         >= 472  -0.83   480  1.      481  1.      485  -0.9    492  -1.     493  -0.88   499  -0.215  500  -0.26   501  -0.26   502  -0.215  505  -0.2285 506  -0.2735 507  -0.2735 509  -0.2285 
CONSTR354   0         == 468  1.      472  -0.15   485  -0.1    489  1.      493  -0.1    
CONSTR355   37.5      >= 528  1.      
CONSTR356   1200.     >= 499  1.      500  1.      501  1.      502  1.      505  1.      506  1.      507  1.      509  1.      566  1.      567  1.      568  1.      570  1.      
CONSTR357   480.      >= 566  1.      567  1.      568  1.      570  1.      
CONSTR358   480.      >= 505  1.      506  1.      507  1.      509  1.      
CONSTR359   105.      == 473  1.      
CONSTR360   135.      >= 553  1.      569  1.      
CONSTR361   450.      >= 472  1.      485  1.      492  1.      493  1.      495  1.      
CONSTR362   0         == 522  1.      532  -0.095  536  1.      558  -0.095  559  -0.133  560  -0.124  
CONSTR363   0         == 474  1.      532  -0.098  558  -0.098  559  -0.042  560  -0.05   
CONSTR364   0         == 532  -0.182  557  1.      558  -0.182  559  -0.125  560  -0.15   
CONSTR365   0         == 527  1.      532  -0.06   539  1.      558  -0.06   559  -0.01   560  -0.04   565  1.      
CONSTR366   225.      >= 516  1.15    517  1.412   529  1.15    530  1.412   
CONSTR367   300.      >= 532  1.      558  1.      559  1.      560  1.      
CONSTR368   480.      >= 504  1.      
CONSTR369   45.       >= 496  1.      
CONSTR370   0         >= 480  -0.05   481  -0.0525 486  1.      
CONSTR371   0         == 464  1.      480  -0.27   481  -0.22   486  -1.     543  1.      549  1.      
CONSTR372   0         == 480  -0.08   481  -0.03   546  1.      551  1.      556  1.      
CONSTR373   570.      >= 480  1.      481  1.      
CONSTR374   112.5     >= 476  1.      479  1.      
CONSTR375   45.       >= 523  1.      
CONSTR376   67.5      >= 474  1.      557  1.      
CONSTR377   3.        == 565  1.      
CONSTR378   0         >= 516  4.3     517  1.9     518  -8.4    519  -8.3    520  5.5     522  -0.4    525  6.7     526  1.25    527  -20.3   
CONSTR379   0         == 516  -3.6    517  -2.     518  3.82    519  38.43   520  -3.31   522  10.15   525  0.26    527  -8.5    
CONSTR380   0         >= 516  -2.     517  -2.     518  -2.     519  -2.     520  -2.     522  -2.     525  -2.     526  1.      527  -2.     
CONSTR381   0         >= 529  -0.4    530  -2.5    531  -9.4    533  -9.9    534  -2.6    536  -1.7    537  5.6     538  1.87    539  -24.1   
CONSTR382   0         == 529  -3.6    530  -2.     531  3.82    533  38.43   534  -3.31   536  10.15   537  0.26    539  -8.5    
CONSTR383   0         >= 529  -1.5    530  -1.5    531  -1.5    533  -1.5    534  -1.5    536  -1.5    537  -1.5    538  1.      539  -1.5    
CONSTR384   0         == 467  1.      516  -0.06902 517  -0.07243 529  -0.06902 530  -0.07243 
CONSTR385   0         >= 457  -0.13   459  -0.154  460  0.278   
CONSTR386   0         >= 461  -0.281  462  -0.3333 464  0.013   465  -0.316  466  -0.354  467  -0.394  468  -0.307  469  0.724   470  0.073   
CONSTR387   0         >= 461  7.5     462  -30.    464  5.      465  20.     466  -22.5   467  -62.5   468  -17.5   469  2.5     470  -45.    
CONSTR388   0         >= 461  -12.6   462  -6.25   464  10.25   465  -20.    466  -16.    467  -7.5    468  -2.     469  -7.4    470  -4.     
CONSTR389   0         >= 487  -0.282  488  -0.316  489  -0.307  490  0.724   
CONSTR390   0         >= 487  1.      488  1.      489  -3.     490  1.      
CONSTR391   45.       == 487  1.      488  1.      489  1.      490  1.      
CONSTR392   0         == 548  3.62    549  -6.69   550  1.28    551  -2.7    552  -7.09   
CONSTR393   0         >= 548  -0.487  549  -0.428  550  -0.151  551  -0.0946 552  -5.04   
CONSTR394   0         == 548  1.      549  1.      550  1.      551  1.      552  1.      
CONSTR395   30.       == 491  0.676   545  -1.     550  -1.     556  0.61    
CONSTR396   0         == 540  2.64    541  5.69    542  6.49    543  -7.69   545  0.3     546  -3.69   547  -8.08   
CONSTR397   120.      >= 491  1.      556  1.      
CONSTR398   13.34     == 540  1.      541  1.      542  1.      543  1.      544  -1.     545  1.      546  1.      547  1.      
CONSTR399   180.      >= 503  1.      
CONSTR400   45.       >= 492  1.      
CONSTR401   0         == 499  -0.223  500  -0.253  501  -0.223  502  -0.253  504  1.      505  -0.205  506  -0.245  507  -0.205  509  -0.245  532  -1.     566  -0.11   567  -0.125  568  -0.11   570  -0.125  
CONSTR402   0         == 560  1.      566  -0.05   567  -0.05   568  -0.05   570  -0.05   
CONSTR403   0         == 495  1.      553  -0.137  569  -0.136  
CONSTR404   0         == 485  1.      553  -0.58   569  -0.307  
CONSTR405   0         == 472  -0.001  485  -0.0039 493  -0.0039 555  1.      
CONSTR406   0         == 472  1.      499  -0.1    500  -0.09   501  -0.09   502  -0.1    505  -0.08   506  -0.07   507  -0.07   509  -0.08   
CONSTR407   0         == 472  -0.0051 482  -1.     491  -0.0427 493  -0.0051 495  -0.215  496  1.      553  -0.055  556  -0.0567 569  -0.055  
CONSTR408   0         == 505  -0.115  506  -0.115  507  -0.115  509  -0.115  559  1.      
CONSTR409   0         == 472  -0.0051 491  -0.0427 493  -0.0051 495  -0.215  499  -0.125  500  -0.125  501  -0.125  502  -0.125  553  -0.055  556  -0.0567 558  1.      569  -0.055  
CONSTR410   0         == 472  -0.0137 482  1.      491  -0.1074 493  -0.0137 495  -0.785  553  -0.005  556  -0.1428 569  -0.005  
CONSTR411   0         == 477  1.      478  -0.85   523  0.95    528  0.02    561  1.      
CONSTR412   0         == 476  0.4348  512  -0.82   523  0.05    528  0.98    564  1.      
CONSTR413   0         == 476  0.5652  479  0.5349  497  -0.92   498  -1.     562  1.      
CONSTR414   0         == 479  0.4651  513  1.      514  -0.98   563  1.      
CONSTR415   100.      >= 561  1.      
CONSTR416   94.5      >= 521  1.      
CONSTR417   465.5     >= 535  1.      
CONSTR418   249.1     >= 458  1.      
CONSTR419   648.2     >= 463  1.      
CONSTR420   0         == 472  -0.0836 476  -0.3284 479  -0.3399 481  -0.0124 485  -0.0836 493  -0.0836 495  -0.0836 496  -0.0409 500  -0.0487 504  -0.0271 506  -0.0487 515  1.      516  -0.0735 517  -0.0771 529  -0.0735 530  -0.0771 532  -0.0639 553  -0.1415 558  -0.0639 559  -0.0639 560  -0.0639 567  -0.0487 569  -0.1415 
CONSTR421   0         == 471  -3.26   492  -2.88   498  -3.67   500  -3.114  503  -2.31   506  -2.9375 508  1.      511  -2.67   516  -0.3717 517  -0.3717 518  -0.3717 519  -0.3717 520  -0.3717 522  -0.3717 525  -0.3717 526  0.09293 527  -0.3717 529  -0.3717 530  -0.3717 531  -0.3717 533  -0.3717 534  -0.3717 536  -0.3717 537  -0.3717 538  0.09293 539  -0.3717 567  -2.6498 
CONSTR422   0         == 473  3.46    474  8.95    484  4.      491  2.21    523  2.41    524  -1.     528  4.72    545  -3.36   550  -3.36   555  25.     556  1.977   557  6.78    565  7.98    
CONSTR423   0         == 491  1.      499  -0.15   500  -0.15   501  -0.15   502  -0.15   505  -0.115  506  -0.115  507  -0.115  509  -0.115  540  1.      548  1.      553  1.      664  -1.     
CONSTR424   0         == 473  0.862   541  1.      566  -0.25   567  -0.25   568  -0.25   569  1.      570  -0.25   663  -1.     
CONSTR425   0         == 476  -0.7739 479  -0.8    518  1.      531  1.      619  1.      
CONSTR426   0         >= 471  -1.     510  -0.93   513  -1.     519  1.      533  1.      632  -1.     636  1.      
CONSTR427   0         == 532  -1.     571  1.      
CONSTR428   0         == 516  1.      517  1.      518  1.      519  1.      520  1.      521  -1.     522  1.      525  1.      527  1.      572  -1.     
CONSTR429   0         == 529  1.      530  1.      531  1.      533  1.      534  1.      535  -1.     536  1.      537  1.      539  1.      573  -1.     
CONSTR430   0         == 457  1.      458  -1.     459  1.      460  1.      574  -1.     
CONSTR431   0         == 461  1.      462  1.      463  -1.     464  1.      465  1.      466  1.      467  1.      468  1.      469  1.      470  1.      575  -1.     
CONSTR432   0         == 619  -0.3928 626  -3.212  627  -3.212  628  -2.7289 629  -2.7289 635  1.      640  -0.3928 641  -0.3928 644  -0.3928 646  -0.3928 650  -0.3928 651  0.09821 658  -0.3928 661  0.09821 
CONSTR433   0         == 603  -0.065  604  -0.065  609  -0.065  610  -0.065  611  -0.08   612  -0.11   613  -0.09   614  -0.12   626  -0.0339 627  -0.0339 628  -0.0493 629  -0.0493 639  1.      642  -0.48   643  -0.408  666  -0.04   667  -0.04   668  -0.04   669  -0.04   
CONSTR434   0         == 605  3.04    606  3.04    607  3.04    608  3.04    620  3.36    624  2.31    647  -1.     
CONSTR435   0         == 603  -0.025  604  -0.0275 609  -0.036  610  -0.039  611  -0.0074 612  -0.0128 613  -0.0083 614  -0.0137 621  1.      
CONSTR436   0         == 603  -0.036  604  -0.035  609  -0.041  610  -0.039  611  -0.0275 612  -0.0457 613  -0.0314 614  -0.05   623  1.      626  -0.002  627  -0.002  628  -0.001  629  -0.001  642  -0.1    
CONSTR437   0         == 603  -0.056  604  -0.056  609  -0.0665 610  -0.064  654  1.      
CONSTR438   0         == 603  -0.0175 604  -0.0165 609  -0.02   610  -0.0185 611  -0.00245 612  -0.00295 613  -0.0024 614  -0.0028 625  1.      626  -0.007  627  -0.007  628  -0.006  629  -0.006  636  -1.     643  -0.1    
CONSTR439   0         == 603  -0.048  604  -0.0485 609  -0.0555 610  -0.054  611  -0.014  612  -0.00231 613  -0.0163 614  -0.0255 626  -0.004  627  -0.004  628  -0.002  629  -0.002  633  1.      
CONSTR440   0         == 603  -0.064  604  -0.062  609  -0.0755 610  -0.07   637  1.      
CONSTR441   0         == 626  -0.083  627  -0.083  628  -0.03   629  -0.03   648  -0.03   649  -0.03   650  1.      652  -0.03   653  -0.03   660  1.      666  -0.01   667  -0.01   668  -0.01   669  -0.01   
CONSTR442   0         == 629  -0.125  653  1.      
CONSTR443   0         == 627  -0.22   649  1.      
CONSTR444   0         == 577  1.      581  1.      617  0.75    618  0.75    628  -0.107  629  -0.107  
CONSTR445   0         == 576  1.      580  1.      615  0.75    616  0.75    626  -0.13   627  -0.13   
CONSTR446   0         == 592  1.      602  1.      629  -0.047  669  1.      
CONSTR447   0         == 587  1.      598  1.      607  1.      627  -0.05   
CONSTR448   0         == 591  1.      601  1.      628  -0.1    668  1.      
CONSTR449   0         == 586  1.      597  1.      606  1.      626  -0.1    
CONSTR450   0         == 604  1.      610  1.      620  0.138   628  -0.354  629  -0.407  
CONSTR451   0         == 603  1.      609  1.      626  -0.344  627  -0.394  
CONSTR452   0         == 600  1.      620  0.862   628  -0.275  629  -0.275  663  1.      
CONSTR453   0         >= 596  1.      605  1.      626  -0.11   627  -0.11   664  1.      
CONSTR454   0         == 603  0.027   604  0.027   609  0.035   610  0.035   611  0.0663  612  0.0663  613  0.069   614  0.069   622  -0.67   626  0.0139  627  0.0139  628  0.0139  629  0.0139  630  -1.     662  -1.     666  0.025   667  0.025   668  0.025   669  0.025   
CONSTR455   0         == 612  1.      614  1.      652  -0.81   653  -0.89   
CONSTR456   0         == 611  1.      613  1.      648  -0.75   649  -0.86   
CONSTR457   0         == 579  1.      615  0.25    617  0.25    649  -0.11   653  -0.08   
CONSTR458   0         == 578  1.      616  0.25    618  0.25    648  -0.22   652  -0.16   
CONSTR459   0         == 611  -0.885  612  -0.7    613  -0.925  614  -0.74   631  1.      666  0.4     667  0.5     668  0.25    669  0.25    
CONSTR460   0         == 611  -0.8785 612  -0.8442 640  1.      655  1.      
CONSTR461   0         == 613  -0.8606 614  -0.824  641  1.      656  1.      
CONSTR462   0         == 603  -0.47   604  -0.47   609  -0.52   610  -0.52   642  -0.625  643  -0.735  644  1.      657  1.      
CONSTR463   0         == 585  1.      594  1.      604  -0.23   610  -0.18   667  1.      
CONSTR464   0         == 584  1.      593  1.      603  -0.27   609  -0.21   666  1.      
CONSTR465   0         == 599  1.      603  -0.08   604  -0.12   608  1.      609  -0.04   610  -0.07   
CONSTR466   0         == 589  1.      669  -0.99   
CONSTR467   0         == 590  1.      666  -0.99   667  -0.99   
CONSTR468   15.       >= 624  1.      
CONSTR469   34.16     == 620  1.      
CONSTR470   4.5       == 615  1.      616  1.      617  1.      618  1.      
CONSTR471   0         == 605  1.      606  1.      607  1.      608  1.      
CONSTR472   21.93     == 595  1.      
CONSTR473   0         >= 605  3.03    606  -3.82   607  -3.72   608  -3.27   
CONSTR474   0         >= 605  0.151   606  -0.895  607  -0.891  608  -0.74   
CONSTR475   0         >= 593  -7.11   594  -6.33   596  2.72    597  -4.13   598  -4.03   599  -3.58   600  5.17    601  -3.73   602  -3.83   
CONSTR476   0         >= 578  2.      579  -1.     580  -15.    581  -10.    584  17.5    585  15.     586  -16.    587  -14.3   588  -9.     589  -9.5    590  12.5    591  -8.     592  -8.5    
CONSTR477   0         >= 578  -40.    579  -40.    580  -35.    581  -40.    584  5.5     586  30.     587  50.     588  5.      589  20.     590  12.     591  20.     592  30.     
CONSTR478   0         >= 578  -0.4    579  -0.403  580  -0.288  581  0.125   584  -0.091  585  1.191   586  -0.262  587  -0.261  588  -0.26   589  -0.21   590  -0.25   591  1.064   592  1.115   
CONSTR479   0         >= 619  -2.1    640  -4.5    641  -1.7    644  -1.7    646  60.5    650  -1.9    
CONSTR480   0         >= 619  -5.56   640  2.2     641  -0.5    644  2.8     646  -9.19   650  4.3     651  0.87    
CONSTR481   0         >= 619  -2.     640  -2.     641  -2.     644  -2.     646  -2.     650  -2.     651  1.      
CONSTR482   0         >= 655  -4.5    656  -1.7    657  -1.7    659  60.5    660  -1.9    
CONSTR483   0         >= 655  -1.5    656  -4.8    657  -3.5    659  -11.93  660  3.02    661  1.43    
CONSTR484   0         >= 655  -1.5    656  -1.5    657  -1.5    659  -1.5    660  -1.5    
CONSTR485   0         == 593  -1.     594  -1.     595  1.      596  -1.     597  -1.     598  -1.     599  -1.     600  -1.     601  -1.     602  -1.     662  1.      
CONSTR486   0         == 588  1.      668  -0.99   
CONSTR487   147.      >= 628  1.      629  1.      
CONSTR488   270.      >= 626  1.      627  1.      628  1.      629  1.      
CONSTR489   72.       >= 611  1.      612  1.      613  1.17    614  1.17    
CONSTR490   180.      >= 603  1.      604  1.      609  1.      610  1.      
CONSTR491   60.       >= 626  0.13    627  0.13    628  0.107   629  0.107   666  1.      667  1.      668  1.      669  1.      
CONSTR492   0         == 621  -1.     623  -0.09   625  -0.0472 630  1.      631  -0.0511 633  -0.0522 637  -0.0138 654  -0.118  
CONSTR493   0         == 625  -0.93   634  -1.     638  -1.     646  1.      659  1.      
CONSTR494   0         == 622  1.      623  -0.85   624  1.      
CONSTR495   0         == 632  1.      633  -0.92   634  1.      
CONSTR496   0         == 642  1.      654  -0.82   
CONSTR497   0         == 637  -0.98   638  1.      643  1.      
CONSTR498   0         == 628  -0.125  652  1.      
CONSTR499   0         == 626  -0.22   648  1.      
CONSTR500   0         == 619  -0.12   632  -0.12   636  -0.12   663  -0.12   664  -0.12   665  1.      
CONSTR501   45.       >= 645  1.      
CONSTR502   118.      >= 658  1.      
CONSTR503   105.      >= 583  1.      
CONSTR504   125.5     >= 582  1.      
CONSTR505   15.3      == 619  1.      640  1.      641  1.      644  1.      645  -1.     646  1.      650  1.      707  -1.     773  -1.     789  -1.     
CONSTR506   3.        == 576  1.      577  1.      582  -1.     697  -1.     765  -1.     781  -1.     
CONSTR507   30.       == 578  1.      579  1.      580  1.      581  1.      583  -1.     584  1.      585  1.      586  1.      587  1.      588  1.      589  1.      590  1.      591  1.      592  1.      702  -1.     769  -1.     785  -1.     
CONSTR508   65.       == 655  1.      656  1.      657  1.      658  -1.     659  1.      660  1.      712  -1.     777  -1.     793  -1.     
CONSTR509   0         == 571  1.      670  -1.     
CONSTR510   120.      == 572  1.      687  -1.     705  -1.     721  -1.     733  -1.     745  -1.     757  -1.     771  -1.     787  -1.     
CONSTR511   480.      == 573  1.      691  -1.     710  -1.     724  -1.     736  -1.     748  -1.     760  -1.     775  -1.     791  -1.     
CONSTR512   30.       == 574  1.      679  -1.     695  -1.     715  -1.     727  -1.     739  -1.     751  -1.     763  -1.     779  -1.     
CONSTR513   210.      == 575  1.      683  -1.     700  -1.     718  -1.     730  -1.     742  -1.     754  -1.     767  -1.     783  -1.     
CONSTR514   0         == 715  0.1426  717  0.2363  718  0.1426  720  0.2363  721  0.1426  723  0.2363  724  0.1426  726  0.2363  727  0.2026  729  0.2863  730  0.2026  732  0.2863  733  0.2026  735  0.2863  736  0.2026  738  0.2863  739  0.1476  741  0.3526  742  0.1476  744  0.3526  745  0.1476  747  0.3526  748  0.1476  750  0.3526  751  0.0713  753  0.2863  754  0.0713  756  0.2863  757  0.0713  759  0.2863  760  0.0713  762  0.2863  763  0.395   765  0.1467  766  0.1239  767  0.4066  769  0.151   770  0.1273  771  0.3536  773  0.1313  774  0.112   775  0.3536  777  0.1313  778  0.112   779  0.3085  781  0.2547  782  0.3074  783  0.3175  785  0.2623  786  0.3161  787  0.2766  789  0.228   790  0.277   791  0.2766  793  0.228   794  0.277   795  -1.     
CONSTR515   50.       == 721  1.      722  1.      723  1.      
CONSTR516   150.      == 724  1.      725  1.      726  1.      
CONSTR517   25.       == 715  1.      716  1.      717  1.      
CONSTR518   75.       == 718  1.      719  1.      720  1.      
CONSTR519   0         == 671  -1.     673  1.      687  -1.     688  -1.     689  -1.     690  1.      
CONSTR520   0         == 691  -1.     692  -1.     693  -1.     694  1.      
CONSTR521   25.       == 679  -1.     680  -1.     681  -1.     682  1.      
CONSTR522   100.      == 683  -1.     684  -1.     685  -1.     686  1.      
CONSTR523   -25.      == 690  -1.     722  1.      734  1.      746  1.      758  1.      
CONSTR524   -100.     == 672  -1.     674  1.      694  -1.     725  1.      737  1.      749  1.      761  1.      
CONSTR525   -25.      == 682  -1.     716  1.      728  1.      740  1.      752  1.      
CONSTR526   -100.     == 686  -1.     719  1.      731  1.      743  1.      755  1.      
CONSTR527   84.9      >= 690  1.      
CONSTR528   203.5     >= 694  1.      
CONSTR529   89.8      >= 682  1.      
CONSTR530   219.2     >= 686  1.      
CONSTR531   0         == 671  50.     673  -50.    687  10.     688  10.     689  10.     690  -10.    
CONSTR532   0         == 672  50.     674  -50.    691  10.     692  10.     693  10.     694  -10.    
CONSTR533   0         == 675  -1.     677  1.      705  -1.     706  -1.     707  -1.     708  -1.     709  1.      
CONSTR534   0         == 676  -1.     678  1.      710  -1.     711  -1.     712  -1.     713  -1.     714  1.      
CONSTR535   25.       == 695  -1.     696  -1.     697  -1.     698  -1.     699  1.      
CONSTR536   30.       == 700  -1.     701  -1.     702  -1.     703  -1.     704  1.      
CONSTR537   -25.      == 675  -1.     677  1.      709  -1.     772  1.      788  1.      
CONSTR538   -50.      == 676  -1.     678  1.      714  -1.     776  1.      792  1.      
CONSTR539   -25.      == 699  -1.     764  1.      780  1.      
CONSTR540   -30.      == 704  -1.     768  1.      784  1.      
CONSTR541   44.       >= 709  1.      
CONSTR542   91.7      >= 714  1.      
CONSTR543   69.5      >= 699  1.      
CONSTR544   55.       >= 704  1.      
CONSTR545   0         == 675  50.     677  -50.    705  10.     706  10.     707  10.     708  10.     709  -10.    
CONSTR546   0         == 676  50.     678  -50.    710  10.     711  10.     712  10.     713  10.     714  -10.    
CONSTR547   50.       == 733  1.      734  1.      735  1.      
CONSTR548   200.      == 736  1.      737  1.      738  1.      
CONSTR549   25.       == 727  1.      728  1.      729  1.      
CONSTR550   75.       == 730  1.      731  1.      732  1.      
CONSTR551   25.       == 745  1.      746  1.      747  1.      
CONSTR552   100.      == 748  1.      749  1.      750  1.      
CONSTR553   20.       == 739  1.      740  1.      741  1.      
CONSTR554   50.       == 742  1.      743  1.      744  1.      
CONSTR555   25.       == 757  1.      758  1.      759  1.      
CONSTR556   100.      == 760  1.      761  1.      762  1.      
CONSTR557   10.       == 751  1.      752  1.      753  1.      
CONSTR558   40.       == 754  1.      755  1.      756  1.      
CONSTR559   50.       == 771  1.      772  1.      773  1.      774  1.      
CONSTR560   200.      == 775  1.      776  1.      777  1.      778  1.      
CONSTR561   50.       == 763  1.      764  1.      765  1.      766  1.      
CONSTR562   150.      == 767  1.      768  1.      769  1.      770  1.      
CONSTR563   10.       == 787  1.      788  1.      789  1.      790  1.      
CONSTR564   50.       == 791  1.      792  1.      793  1.      794  1.      
CONSTR565   20.       == 779  1.      780  1.      781  1.      782  1.      
CONSTR566   50.       == 783  1.      784  1.      785  1.      786  1.      
CONSTR567   25.       == 688  1.      
CONSTR568   100.      == 692  1.      
CONSTR569   25.       == 706  1.      
CONSTR570   50.       == 711  1.      
CONSTR571   0         == 670  -1.     804  1.      805  1.      902  1.      
CONSTR572   243.      == 689  -1.     708  -1.     723  -1.     735  -1.     747  -1.     759  -1.     774  -1.     790  -1.     863  1.      866  -1.     908  1.      
CONSTR573   1050.     == 693  -1.     713  -1.     726  -1.     738  -1.     750  -1.     762  -1.     778  -1.     794  -1.     880  1.      894  -1.     909  1.      
CONSTR574   150.      == 681  -1.     698  -1.     717  -1.     729  -1.     741  -1.     753  -1.     766  -1.     782  -1.     796  -1.     846  1.      905  1.      
CONSTR575   540.      == 685  -1.     703  -1.     720  -1.     732  -1.     744  -1.     756  -1.     770  -1.     786  -1.     797  -1.     815  1.      816  1.      843  1.      844  1.      847  1.      848  1.      890  1.      906  1.      
CONSTR576   0         >= 809  -0.41   810  -0.492  811  -0.572  812  -0.0005 820  -0.374  821  -0.333  822  -0.335  823  -0.363  824  -0.32   825  -0.402  826  -0.388  827  -0.431  828  -0.31   829  -0.33   830  -0.29   831  -0.385  832  -0.263  833  -0.4    834  -0.356  835  -0.436  836  -0.404  837  -0.385  838  -0.4    839  -0.382  840  -0.368  841  -0.36   852  1.      857  -0.629  858  -0.756  859  -0.898  860  -1.056  874  -0.517  875  -0.629  876  -0.756  877  -0.898  878  -1.056  910  -0.359  
CONSTR577   0         >= 809  -0.0072 810  -0.056  820  -0.065  821  -0.0595 822  -0.0603 823  -0.061  824  -0.0592 825  -0.0563 826  -0.0622 827  -0.058  828  -0.0615 829  -0.0601 830  -0.0585 831  -0.0582 832  -0.0519 833  -0.0558 834  -0.0593 835  -0.0578 836  -0.0625 837  -0.0615 838  -0.0617 839  -0.0606 840  -0.0541 841  -0.0539 881  1.5873  910  -0.009  
CONSTR578   0         >= 802  1.      809  -0.0183 810  -0.033  812  -0.0083 820  -0.0382 821  -0.0293 822  -0.0313 823  -0.031  824  -0.0275 825  -0.031  826  -0.0306 827  -0.032  828  -0.0293 829  -0.0288 830  -0.0262 831  -0.0304 832  -0.0228 833  -0.0292 834  -0.0276 835  -0.0302 836  -0.0318 837  -0.0307 838  -0.0316 839  -0.0307 840  -0.0282 841  -0.028  854  1.      857  -0.0219 858  -0.0284 859  -0.0359 860  -0.0433 874  -0.0164 875  -0.0219 876  -0.0284 877  -0.0359 878  -0.0433 881  -0.15873 910  -0.0229 
CONSTR579   0         >= 798  0.588   809  -0.0106 810  -0.075  820  -0.0753 821  -0.0724 822  -0.0726 823  -0.073  824  -0.0685 825  -0.0718 826  -0.0707 827  -0.0734 828  -0.0689 829  -0.0693 830  -0.0668 831  -0.0738 832  -0.0585 833  -0.0694 834  -0.0652 835  -0.0724 836  -0.0716 837  -0.0713 838  -0.0708 839  -0.0701 840  -0.0676 841  -0.0672 862  0.588   879  0.588   883  1.      884  1.25    910  -0.0132 
CONSTR580   0         >= 798  0.65    800  -1.     809  -0.0032 810  -0.037  812  -0.001  820  -0.0535 821  -0.0455 822  -0.051  823  -0.0457 824  -0.0407 825  -0.04   826  -0.0426 827  -0.0394 828  -0.0388 829  -0.0384 830  -0.0384 831  -0.0401 832  -0.0301 833  -0.0332 834  -0.0331 835  -0.0339 836  -0.0409 837  -0.0405 838  -0.0399 839  -0.0398 840  -0.0339 841  -0.0343 857  -0.0045 858  -0.0061 859  -0.008  860  -0.01   862  0.65    865  1.      874  -0.0032 875  -0.0045 876  -0.0061 877  -0.008  878  -0.01   879  0.65    893  1.      910  -0.0039 
CONSTR581   0         >= 801  -1.     803  1.      809  -0.0116 810  -0.019  812  -0.001  820  -0.018  821  -0.0153 822  -0.0167 823  -0.0154 824  -0.0139 825  -0.0142 826  -0.0145 827  -0.0142 828  -0.0136 829  -0.0134 830  -0.0134 831  -0.0145 832  -0.0108 833  -0.0124 834  -0.0118 835  -0.0126 836  -0.0141 837  -0.014  838  -0.0137 839  -0.0138 840  -0.0123 841  -0.0125 857  -0.001  858  -0.0013 859  -0.0016 860  -0.0019 869  1.      874  -0.0007 875  -0.001  876  -0.0013 877  -0.0016 878  -0.0019 897  1.      910  -0.0145 
CONSTR582   0         >= 799  16.09   850  -0.01   874  2.89    875  3.72    876  4.69    877  5.93    878  7.39    879  4.26    880  -10.    881  4.03    882  26.57   883  69.09   884  4.03    885  4.21    886  2.1     887  0.97    888  0.08    889  6.62    890  -0.01   892  0.38    893  92.73   895  9.08    897  66.48   900  6.62    
CONSTR583   0         >= 799  -4.     850  4.      874  -4.     875  -4.     876  -4.     877  -4.     878  -4.     879  -4.     881  -4.     882  -4.     883  -4.     884  -4.     885  -4.     886  -4.     887  -4.     888  -4.     889  -4.     890  4.      892  -4.     893  -4.     895  -4.     897  -4.     899  1.      900  -4.     
CONSTR584   0         >= 799  -86.    850  88.5    874  -90.2   875  -92.2   876  -94.2   877  -96.2   878  -97.7   879  -103.7  881  -101.7  882  -88.    883  -106.7  884  -101.7  885  -81.2   886  -76.2   887  -74.5   888  -93.7   889  -84.7   890  88.5    892  -66.7   893  -106.7  895  -97.7   897  -96.7   898  1.      899  -1.1    900  -78.7   
CONSTR585   0         >= 799  -80.4   850  85.7    874  -85.4   875  -88.1   876  -90.9   877  -93.6   878  -95.5   879  -99.4   881  -99.7   882  -82.2   883  -102.7  884  -99.7   885  -75.1   886  -70.7   887  -67.4   888  -91.4   889  -79.1   890  85.7    892  -56.3   893  -102.7  895  -95.4   897  -94.    898  1.      899  -3.3    900  -72.1   
CONSTR586   0         >= 799  -84.5   850  76.3    874  -83.    875  -84.6   876  -86.1   877  -87.5   878  -88.6   879  -101.3  881  -79.3   882  -89.    883  -92.3   884  -79.3   885  -80.3   886  -76.1   887  -74.6   888  -81.3   889  -74.6   890  76.3    892  -67.3   893  -107.3  895  -81.3   896  1.      897  -97.3   899  -0.9    900  -74.6   
CONSTR587   0         >= 799  -82.5   850  75.6    874  -81.3   875  -83.3   876  -84.9   877  -86.6   878  -87.9   879  -99.4   881  -78.6   882  -86.8   883  -90.8   884  -78.6   885  -77.9   886  -74.1   887  -72.4   888  -80.7   889  -73.7   890  75.6    892  -63.3   893  -105.8  895  -80.7   896  1.      897  -96.4   899  -1.3    900  -72.    
CONSTR588   0         >= 799  -79.4   850  74.5    874  -78.5   875  -80.8   876  -82.9   877  -84.9   878  -86.5   879  -96.6   881  -77.5   882  -82.9   883  -88.4   884  -77.5   885  -74.    886  -71.    887  -67.4   888  -79.6   889  -72.3   890  74.5    892  -56.8   893  -103.5  895  -79.6   896  1.      897  -94.8   899  -2.5    900  -67.9   
CONSTR589   0         >= 815  -14.6   816  -1.6    843  3.4     844  -8.6    847  15.4    848  5.4     890  23.     
CONSTR590   0         >= 818  -44.5   819  -12.7   849  10.9    851  -0.6    
CONSTR591   0         == 799  1.      850  -1.     874  1.      875  1.      876  1.      877  1.      878  1.      879  1.      880  -1.     881  1.      882  1.      883  1.      884  1.      885  1.      886  1.      887  1.      888  1.      889  1.      890  -1.     892  1.      893  1.      895  1.      897  1.      900  1.      
CONSTR592   0         >= 815  1.      816  -0.5    
CONSTR593   0         == 798  -0.3208 809  -0.0582 810  -0.181  811  -0.065  812  -0.0178 820  -0.0783 821  -0.0739 822  -0.0763 823  -0.0763 824  -0.0767 825  -0.074  826  -0.0743 827  -0.0741 828  -0.0748 829  -0.0724 830  -0.0733 831  -0.0734 832  -0.0699 833  -0.0713 834  -0.0728 835  -0.0719 836  -0.0747 837  -0.0746 838  -0.0744 839  -0.0746 840  -0.0717 841  -0.0719 843  -0.008  845  -0.008  847  -0.008  856  1.      857  -0.0379 858  -0.0458 859  -0.0592 860  -0.086  862  -0.3208 863  -0.0139 864  -0.025  874  -0.0327 875  -0.0379 876  -0.0458 877  -0.0592 878  -0.086  879  -0.3208 880  -0.0046 881  -0.2695 884  -0.2122 891  -0.22   910  -0.099  
CONSTR594   0         >= 818  43.7    819  11.9    849  -11.7   851  -0.2    
CONSTR595   0         >= 798  1.      
CONSTR596   0         == 820  1.      821  1.      822  1.      823  1.      824  1.      825  1.      826  1.      827  1.      828  1.      829  1.      830  1.      831  1.      832  1.      833  1.      834  1.      835  1.      836  1.      837  1.      838  1.      839  1.      840  1.      841  1.      842  -1.     
CONSTR597   15.       == 814  1.      861  1.      
CONSTR598   0         >= 814  1.      891  -0.26   
CONSTR599   75.       == 799  1.      868  1.      
CONSTR600   0         == 799  -3.57   800  -3.255  801  -3.045  812  -3.01   855  1.      861  -5.     868  -5.     872  -0.0886 873  -0.35   899  0.0886  902  -5.     905  -4.2    906  -3.78   907  -3.57   908  -5.46   909  -4.62   
CONSTR601   0         == 798  6.01    804  1.      808  14.5    813  1.      814  6.3     818  2.52    819  2.52    849  2.52    851  2.52    854  1.89    870  -1.     903  40.     913  0.25    
CONSTR602   1229.7    >= 797  1.      
CONSTR603   0         >= 812  -0.07   882  1.      
CONSTR604   0         >= 804  1.      812  -0.0375 885  1.      
CONSTR605   0         >= 805  1.      806  1.      812  -0.0375 886  1.      
CONSTR606   0         >= 807  1.      812  -0.037  887  1.      
CONSTR607   0         >= 806  -1.     807  -1.     812  -0.14   857  1.119   858  1.146   859  1.182   860  1.224   874  1.094   875  1.119   876  1.146   877  1.182   878  1.224   892  1.      901  0.85    
CONSTR608   0         >= 812  -0.0451 901  1.      
CONSTR609   0         >= 812  -0.11   816  1.      846  1.      901  -1.     
CONSTR610   0         >= 812  -0.07   844  1.      901  0.15    
CONSTR611   0         >= 812  -0.023  815  1.      822  0.073   823  0.057   826  0.062   827  0.05    830  0.068   831  0.054   834  0.058   835  0.048   836  0.027   838  0.027   840  0.025   
CONSTR612   0         >= 812  -0.325  820  1.      821  1.      822  0.927   823  0.943   824  0.834   825  0.867   826  0.783   827  0.824   828  0.928   829  0.944   830  0.865   831  0.893   832  0.783   833  0.825   834  0.738   835  0.785   836  0.857   837  0.881   838  0.843   839  0.866   840  0.801   841  0.821   
CONSTR613   0         >= 809  1.      812  -0.139  849  1.      912  1.      
CONSTR614   0         >= 809  -0.125  810  -0.015  889  1.      
CONSTR615   0         >= 809  -0.3    810  -0.015  843  1.      845  0.385   
CONSTR616   0         >= 809  -0.34   824  0.166   825  0.133   826  0.155   827  0.126   832  0.156   833  0.126   834  0.147   835  0.12    836  0.116   837  0.119   838  0.13    839  0.134   840  0.124   841  0.127   
CONSTR617   0         >= 811  -0.423  828  0.078   829  0.056   830  0.067   831  0.053   832  0.061   833  0.049   834  0.057   835  0.047   840  0.05    841  0.052   
CONSTR618   0         >= 808  1.      809  -0.0427 
CONSTR619   0         >= 810  -0.0399 811  -0.0651 903  1.      
CONSTR620   0         >= 810  -0.024  820  -0.422  821  -0.411  822  -0.419  823  -0.398  824  -0.402  825  -0.384  826  -0.402  827  -0.372  828  -0.415  829  -0.397  830  -0.406  831  -0.387  832  -0.387  833  -0.372  834  -0.385  835  -0.364  836  -0.389  837  -0.396  838  -0.388  839  -0.393  840  -0.37   841  -0.375  864  1.      895  1.      
CONSTR621   0         >= 810  -0.011  820  -0.181  821  -0.176  822  -0.18   823  -0.17   824  -0.173  825  -0.165  826  -0.173  827  -0.159  828  -0.178  829  -0.17   830  -0.174  831  -0.166  832  -0.166  833  -0.159  834  -0.165  835  -0.156  836  -0.167  837  -0.17   838  -0.166  839  -0.169  840  -0.159  841  -0.161  888  1.      
CONSTR622   0         >= 810  -0.035  813  1.      817  1.      818  1.      820  -0.144  821  -0.166  822  -0.144  823  -0.179  824  -0.175  825  -0.204  826  -0.158  827  -0.197  828  -0.169  829  -0.193  830  -0.18   831  -0.201  832  -0.217  833  -0.211  834  -0.205  835  -0.186  836  -0.192  837  -0.189  838  -0.198  839  -0.195  840  -0.214  841  -0.216  845  0.615   847  1.      853  1.      891  1.      
CONSTR623   0         >= 810  0.538   819  1.      820  -0.05   821  -0.06   822  -0.061  823  -0.06   824  -0.06   825  -0.058  826  -0.064  827  -0.075  828  -0.06   829  -0.065  830  -0.065  831  -0.06   832  -0.083  833  -0.084  834  -0.07   835  -0.107  836  -0.058  837  -0.056  838  -0.058  839  -0.056  840  -0.086  841  -0.079  904  1.      910  1.      
CONSTR624   0         >= 850  1.      888  -0.5    890  1.      
CONSTR625   0         >= 900  1.      910  -0.2896 
CONSTR626   0         >= 811  1.      851  1.      910  -0.639  911  1.      
CONSTR627   0         == 798  0.265   802  -3.836  803  -4.325  809  0.221   810  0.273   811  0.228   812  0.124   820  0.159   821  0.152   822  0.154   823  0.153   824  0.149   825  0.15    826  0.152   827  0.151   828  0.15    829  0.149   830  0.148   831  0.151   832  0.141   833  0.147   834  0.146   835  0.148   836  0.152   837  0.152   838  0.151   839  0.15    840  0.146   841  0.146   843  0.053   847  0.053   852  -1.     853  -6.5    857  0.37    858  0.405   859  0.455   860  0.51    862  0.265   873  -1.     874  0.35    875  0.37    876  0.405   877  0.455   878  0.51    879  0.265   881  0.075   884  0.075   904  -6.5    910  0.4     911  -6.5    912  -6.5    913  1.      
CONSTR628   1.        == 820  0.06061 821  0.04662 822  0.05618 823  0.04396 824  0.05056 825  0.04044 826  0.04744 827  0.03842 828  0.05624 829  0.04399 830  0.05241 831  0.04161 832  0.04748 833  0.03845 834  0.04472 835  0.03662 836  0.04202 837  0.0432  838  0.04132 839  0.04246 840  0.03925 841  0.04027 
CONSTR629   1800.     >= 812  1.      
CONSTR630   315.      >= 857  1.119   858  1.146   859  1.182   860  1.224   874  1.094   875  1.119   876  1.146   877  1.182   878  1.224   
CONSTR631   195.      >= 843  1.      845  1.      847  1.      
CONSTR632   360.      >= 809  1.      810  1.      811  1.      
CONSTR633   105.      >= 798  1.      862  1.      879  1.      
CONSTR634   30.       == 817  1.      845  1.      850  1.      907  1.      
CONSTR635   90.       >= 818  1.      819  1.      849  1.      851  1.      
CONSTR636   90.       >= 854  1.      
CONSTR637   0         >= 863  95.5    867  -0.5    871  -0.5    
CONSTR638   0         >= 863  99.     871  -1.     
CONSTR639   0         >= 857  3.84    858  4.83    859  6.12    860  7.62    862  4.39    863  -10.    864  9.36    865  95.62   869  68.56   
CONSTR640   0         >= 857  8.9     858  7.5     859  6.2     860  5.2     862  -7.3    863  20.     864  -32.2   865  -130.   869  -130.   
CONSTR641   0         >= 857  -4.     858  -4.     859  -4.     860  -4.     862  -4.     864  -4.     865  -4.     869  -4.     872  1.      
CONSTR642   0         >= 857  -92.5   858  -94.5   859  -96.5   860  -98.    862  -102.3  864  -98.    865  -107.   869  -97.    871  1.      872  -1.     
CONSTR643   0         >= 857  -91.4   858  -93.7   859  -95.9   860  -97.5   862  -101.1  864  -97.5   865  -105.8  869  -96.4   871  1.      872  -1.3    
CONSTR644   0         >= 857  -88.9   858  -91.7   859  -94.4   860  -96.3   862  -98.8   864  -96.2   865  -103.5  869  -94.8   871  1.      872  -2.5    
CONSTR645   0         >= 857  -84.    858  -85.5   859  -86.9   860  -88.    862  -96.    864  -80.7   865  -106.7  867  1.      869  -96.7   872  -1.1    
CONSTR646   0         >= 857  -83.1   858  -84.7   859  -86.4   860  -87.7   862  -94.9   864  -80.5   865  -105.6  867  1.      869  -96.2   872  -1.4    
CONSTR647   0         >= 857  -80.4   858  -82.5   859  -84.5   860  -86.1   862  -91.5   864  -79.2   865  -103.1  867  1.      869  -94.4   872  -2.9    
CONSTR648   0         >= 880  91.2    896  -0.333  898  -0.667  
CONSTR649   0         >= 880  93.     898  -1.     
CONSTR650   0         >= 799  -84.    850  87.5    874  -88.5   875  -90.8   876  -93.1   877  -95.3   878  -96.9   879  -102.1  881  -101.   882  -86.    883  -105.2  884  -101.   885  -79.    886  -74.2   887  -72.5   888  -93.    889  -82.6   890  87.5    892  -62.8   893  -105.2  895  -96.9   897  -95.8   898  1.      899  -1.6    900  -76.2   
CONSTR651   0         == 857  1.      858  1.      859  1.      860  1.      862  1.      863  -1.     864  1.      865  1.      869  1.      
CONSTR652   0         >= 863  -0.1    
CONSTR653   0         >= 863  0.25    864  -1.     
CONSTR654   0         >= 853  -44.5   904  -12.7   911  -0.6    912  10.9    
CONSTR655   0         >= 857  -92.9   858  -94.7   859  -96.6   860  -98.1   862  -104.6  864  -98.1   865  -106.9  869  -97.2   871  1.      872  -0.9    
CONSTR656   0         >= 857  -85.1   858  -86.5   859  -87.7   860  -88.9   862  -102.3  864  -81.3   865  -107.3  867  1.      869  -97.6   872  -0.8    
CONSTR657   0         >= 848  1.      891  -0.74   
CONSTR658   721.5     >= 866  1.      
CONSTR659   1626.7    >= 894  1.      
CONSTR660   692.      >= 796  1.      
