1371
990
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            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            0            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   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   2000000000   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.     937  10.     956  10.     958  10.     959  10.     962  10.     964  10.     965  1.      966  10.     972  1.      981  -1.     1023 10.     1025 10.     1027 10.     1092 1.      1096 1.      1104 -1.     1122 -1.     1252 1.      1267 10.     1268 10.     1312 1.      1313 1.      1327 -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.      
CONSTR661   149.916   == 880  1.      932  1.      935  -0.09   937  -0.025  938  -0.036  948  -0.017  954  -0.0522 967  -0.0472 969  -0.118  971  -0.0138 973  -0.0637 974  -0.09265 986  -0.0637 987  -0.09265 989  -0.021  1010 -0.072  1013 -0.035  1015 -0.021  1016 -0.029  1017 -0.025  1026 -0.135  
CONSTR662   131.347   == 905  1.      935  1.      937  -0.036  938  -0.042  948  -0.016  956  -0.007  957  -0.007  958  -0.007  959  -0.007  960  -0.02   962  -0.0072 963  -0.0072 964  -0.0072 966  -0.0072 973  -0.03806 974  -0.04946 986  -0.03806 987  -0.04946 989  -0.025  1010 -0.027  1013 -0.026  1015 -0.025  1016 -0.03   1017 -0.027  1023 -0.002  1024 -0.0022 1025 -0.002  1026 -0.04   1027 -0.002  
CONSTR663   393.      == 908  1.      937  -0.058  938  -0.067  948  -0.01   969  1.      1010 -0.034  1013 -0.016  1026 -0.06   
CONSTR664   599.663   == 899  1.      937  -0.041  938  -0.047  948  -0.003  954  1.      956  -0.0034 957  -0.0034 958  -0.0034 959  -0.0034 960  -0.38   962  -0.0068 963  -0.0068 964  -0.0068 966  -0.0068 973  -0.02075 974  -0.02731 986  -0.02075 987  -0.02731 989  -0.013  1010 -0.005  1013 -0.004  1015 -0.013  1016 -0.022  1017 -0.015  1023 -0.0025 1024 -0.0025 1025 -0.0025 1026 -0.011  1027 -0.0025 
CONSTR665   30.       == 907  1.      937  -0.011  938  -0.015  948  -0.007  956  -0.0145 957  -0.0145 958  -0.0145 959  -0.0145 960  -0.3    962  -0.0375 963  -0.0375 964  -0.0375 966  -0.0375 967  1.      973  -0.00309 974  -0.00303 986  -0.00309 987  -0.00303 989  -0.026  1010 -0.015  1013 -0.01   1015 -0.026  1016 -0.033  1017 -0.024  1023 -0.0093 1024 -0.0093 1025 -0.0093 1026 -0.022  1027 -0.0093 
CONSTR666   0         == 937  -0.077  938  -0.09   948  -0.007  971  1.      1010 -0.019  1013 -0.001  1026 -0.022  
CONSTR667   0         == 956  -0.0195 957  -0.0195 958  -0.0195 959  -0.0195 960  -0.2    962  -0.023  963  -0.023  964  -0.023  966  -0.023  982  1.      989  -0.451  994  1.      1015 -0.451  1016 -0.52   1017 -0.48   1023 -0.005  1024 -0.005  1025 -0.005  1027 -0.005  
CONSTR668   0         == 948  -0.15   1004 1.      1009 1.      1013 -0.1    
CONSTR669   0         >= 929  -0.0137 948  -0.1074 950  -0.0137 952  -0.785  956  -0.098  957  -0.128  958  -0.098  959  -0.128  962  -0.09   963  -0.13   964  -0.09   966  -0.13   973  1.15    974  1.207   986  1.15    987  1.207   1010 -0.005  1013 -0.1428 1023 -0.06   1024 -0.075  1025 -0.06   1026 -0.005  1027 -0.075  
CONSTR670   0         == 917  1.      927  1.      1023 -0.115  1024 -0.1    1025 -0.115  1027 -0.1    
CONSTR671   0         == 916  1.      923  1.      962  -0.202  963  -0.162  964  -0.202  966  -0.162  
CONSTR672   0         == 914  1.      919  1.      956  -0.179  957  -0.149  958  -0.179  959  -0.149  
CONSTR673   0         == 926  1.      947  1.      1023 -0.075  1024 -0.05   1025 -0.05   1027 -0.075  
CONSTR674   0         == 922  1.      945  1.      962  -0.095  963  -0.06   964  -0.06   966  -0.095  
CONSTR675   0         == 918  1.      944  1.      956  -0.08   957  -0.045  958  -0.045  959  -0.08   
CONSTR676   0         == 929  -0.0012 937  -0.475  938  -0.525  943  1.      948  -0.0079 950  -0.0012 977  1.      991  1.      1010 -0.04   1013 -0.0105 1026 -0.04   
CONSTR677   .75       >= 940  1.      
CONSTR678   0         == 930  0.138   950  1.      1023 -0.431  1024 -0.456  1025 -0.456  1027 -0.431  
CONSTR679   0         == 929  0.0232  932  -1.     934  -0.61   937  0.0318  938  0.0318  940  -4.409  942  0.0232  948  0.038   950  0.0232  951  -0.0511 952  0.0232  953  0.0244  956  0.0139  957  0.0139  958  0.0139  959  0.0139  961  0.0244  962  0.0139  963  0.0139  964  0.0139  966  0.0139  968  -1.     973  0.0635  974  0.0635  986  0.0635  987  0.0635  989  0.115   1001 -1.     1010 0.0475  1011 -1.055  1013 0.038   1015 0.115   1016 0.115   1017 0.115   1023 0.0139  1024 0.0139  1025 0.0139  1026 0.0475  1027 0.0139  
CONSTR680   0         == 940  1.      941  1.      1010 -0.012  1026 -0.0434 
CONSTR681   0         == 999  1.      1010 -0.04   1011 1.      1026 -0.04   
CONSTR682   0         == 929  0.1     942  0.55    950  0.2     951  1.      952  0.45    953  0.05    961  0.05    973  -0.7938 974  -0.9296 986  -0.7938 987  -0.9296 989  -0.9    1015 -0.9    1016 -0.55   1017 -0.75   
CONSTR683   0         >= 929  -0.83   937  1.      938  1.      942  -0.9    949  -1.     950  -0.88   956  -0.215  957  -0.26   958  -0.26   959  -0.215  962  -0.2285 963  -0.2735 964  -0.2735 966  -0.2285 
CONSTR684   0         == 925  1.      929  -0.15   942  -0.1    946  1.      950  -0.1    
CONSTR685   37.5      >= 985  1.      
CONSTR686   1200.     >= 956  1.      957  1.      958  1.      959  1.      962  1.      963  1.      964  1.      966  1.      1023 1.      1024 1.      1025 1.      1027 1.      
CONSTR687   480.      >= 1023 1.      1024 1.      1025 1.      1027 1.      
CONSTR688   480.      >= 962  1.      963  1.      964  1.      966  1.      
CONSTR689   105.      == 930  1.      
CONSTR690   135.      >= 1010 1.      1026 1.      
CONSTR691   450.      >= 929  1.      942  1.      949  1.      950  1.      952  1.      
CONSTR692   0         == 979  1.      989  -0.095  993  1.      1015 -0.095  1016 -0.133  1017 -0.124  
CONSTR693   0         == 931  1.      989  -0.098  1015 -0.098  1016 -0.042  1017 -0.05   
CONSTR694   0         == 989  -0.182  1014 1.      1015 -0.182  1016 -0.125  1017 -0.15   
CONSTR695   0         == 984  1.      989  -0.06   996  1.      1015 -0.06   1016 -0.01   1017 -0.04   1022 1.      
CONSTR696   225.      >= 973  1.15    974  1.412   986  1.15    987  1.412   
CONSTR697   300.      >= 989  1.      1015 1.      1016 1.      1017 1.      
CONSTR698   480.      >= 961  1.      
CONSTR699   45.       >= 953  1.      
CONSTR700   0         >= 937  -0.05   938  -0.0525 943  1.      
CONSTR701   0         == 921  1.      937  -0.27   938  -0.22   943  -1.     1000 1.      1006 1.      
CONSTR702   0         == 937  -0.08   938  -0.03   1003 1.      1008 1.      1013 1.      
CONSTR703   570.      >= 937  1.      938  1.      
CONSTR704   112.5     >= 933  1.      936  1.      
CONSTR705   45.       >= 980  1.      
CONSTR706   67.5      >= 931  1.      1014 1.      
CONSTR707   3.        == 1022 1.      
CONSTR708   0         >= 973  4.3     974  1.9     975  -8.4    976  -8.3    977  5.5     979  -0.4    982  6.7     983  1.25    984  -20.3   
CONSTR709   0         == 973  -3.6    974  -2.     975  3.82    976  38.43   977  -3.31   979  10.15   982  0.26    984  -8.5    
CONSTR710   0         >= 973  -2.     974  -2.     975  -2.     976  -2.     977  -2.     979  -2.     982  -2.     983  1.      984  -2.     
CONSTR711   0         >= 986  -0.4    987  -2.5    988  -9.4    990  -9.9    991  -2.6    993  -1.7    994  5.6     995  1.87    996  -24.1   
CONSTR712   0         == 986  -3.6    987  -2.     988  3.82    990  38.43   991  -3.31   993  10.15   994  0.26    996  -8.5    
CONSTR713   0         >= 986  -1.5    987  -1.5    988  -1.5    990  -1.5    991  -1.5    993  -1.5    994  -1.5    995  1.      996  -1.5    
CONSTR714   0         == 924  1.      973  -0.06902 974  -0.07243 986  -0.06902 987  -0.07243 
CONSTR715   0         >= 914  -0.13   916  -0.154  917  0.278   
CONSTR716   0         >= 918  -0.281  919  -0.3333 921  0.013   922  -0.316  923  -0.354  924  -0.394  925  -0.307  926  0.724   927  0.073   
CONSTR717   0         >= 918  7.5     919  -30.    921  5.      922  20.     923  -22.5   924  -62.5   925  -17.5   926  2.5     927  -45.    
CONSTR718   0         >= 918  -12.6   919  -6.25   921  10.25   922  -20.    923  -16.    924  -7.5    925  -2.     926  -7.4    927  -4.     
CONSTR719   0         >= 944  -0.282  945  -0.316  946  -0.307  947  0.724   
CONSTR720   0         >= 944  1.      945  1.      946  -3.     947  1.      
CONSTR721   45.       == 944  1.      945  1.      946  1.      947  1.      
CONSTR722   0         == 1005 3.62    1006 -6.69   1007 1.28    1008 -2.7    1009 -7.09   
CONSTR723   0         >= 1005 -0.487  1006 -0.428  1007 -0.151  1008 -0.0946 1009 -5.04   
CONSTR724   0         == 1005 1.      1006 1.      1007 1.      1008 1.      1009 1.      
CONSTR725   30.       == 948  0.676   1002 -1.     1007 -1.     1013 0.61    
CONSTR726   0         == 997  2.64    998  5.69    999  6.49    1000 -7.69   1002 0.3     1003 -3.69   1004 -8.08   
CONSTR727   120.      >= 948  1.      1013 1.      
CONSTR728   13.34     == 997  1.      998  1.      999  1.      1000 1.      1001 -1.     1002 1.      1003 1.      1004 1.      
CONSTR729   180.      >= 960  1.      
CONSTR730   45.       >= 949  1.      
CONSTR731   0         == 956  -0.223  957  -0.253  958  -0.223  959  -0.253  961  1.      962  -0.205  963  -0.245  964  -0.205  966  -0.245  989  -1.     1023 -0.11   1024 -0.125  1025 -0.11   1027 -0.125  
CONSTR732   0         == 1017 1.      1023 -0.05   1024 -0.05   1025 -0.05   1027 -0.05   
CONSTR733   0         == 952  1.      1010 -0.137  1026 -0.136  
CONSTR734   0         == 942  1.      1010 -0.58   1026 -0.307  
CONSTR735   0         == 929  -0.001  942  -0.0039 950  -0.0039 1012 1.      
CONSTR736   0         == 929  1.      956  -0.1    957  -0.09   958  -0.09   959  -0.1    962  -0.08   963  -0.07   964  -0.07   966  -0.08   
CONSTR737   0         == 929  -0.0051 939  -1.     948  -0.0427 950  -0.0051 952  -0.215  953  1.      1010 -0.055  1013 -0.0567 1026 -0.055  
CONSTR738   0         == 962  -0.115  963  -0.115  964  -0.115  966  -0.115  1016 1.      
CONSTR739   0         == 929  -0.0051 948  -0.0427 950  -0.0051 952  -0.215  956  -0.125  957  -0.125  958  -0.125  959  -0.125  1010 -0.055  1013 -0.0567 1015 1.      1026 -0.055  
CONSTR740   0         == 929  -0.0137 939  1.      948  -0.1074 950  -0.0137 952  -0.785  1010 -0.005  1013 -0.1428 1026 -0.005  
CONSTR741   0         == 934  1.      935  -0.85   980  0.95    985  0.02    1018 1.      
CONSTR742   0         == 933  0.4348  969  -0.82   980  0.05    985  0.98    1021 1.      
CONSTR743   0         == 933  0.5652  936  0.5349  954  -0.92   955  -1.     1019 1.      
CONSTR744   0         == 936  0.4651  970  1.      971  -0.98   1020 1.      
CONSTR745   100.      >= 1018 1.      
CONSTR746   94.5      >= 978  1.      
CONSTR747   465.5     >= 992  1.      
CONSTR748   249.1     >= 915  1.      
CONSTR749   648.2     >= 920  1.      
CONSTR750   0         == 929  -0.0836 933  -0.3284 936  -0.3399 938  -0.0124 942  -0.0836 950  -0.0836 952  -0.0836 953  -0.0409 957  -0.0487 961  -0.0271 963  -0.0487 972  1.      973  -0.0735 974  -0.0771 986  -0.0735 987  -0.0771 989  -0.0639 1010 -0.1415 1015 -0.0639 1016 -0.0639 1017 -0.0639 1024 -0.0487 1026 -0.1415 
CONSTR751   0         == 928  -3.26   949  -2.88   955  -3.67   957  -3.114  960  -2.31   963  -2.9375 965  1.      968  -2.67   973  -0.3717 974  -0.3717 975  -0.3717 976  -0.3717 977  -0.3717 979  -0.3717 982  -0.3717 983  0.09293 984  -0.3717 986  -0.3717 987  -0.3717 988  -0.3717 990  -0.3717 991  -0.3717 993  -0.3717 994  -0.3717 995  0.09293 996  -0.3717 1024 -2.6498 
CONSTR752   0         == 930  3.46    931  8.95    941  4.      948  2.21    980  2.41    981  -1.     985  4.72    1002 -3.36   1007 -3.36   1012 25.     1013 1.977   1014 6.78    1022 7.98    
CONSTR753   0         == 948  1.      956  -0.15   957  -0.15   958  -0.15   959  -0.15   962  -0.115  963  -0.115  964  -0.115  966  -0.115  997  1.      1005 1.      1010 1.      1121 -1.     
CONSTR754   0         == 930  0.862   998  1.      1023 -0.25   1024 -0.25   1025 -0.25   1026 1.      1027 -0.25   1120 -1.     
CONSTR755   0         == 933  -0.7739 936  -0.8    975  1.      988  1.      1076 1.      
CONSTR756   0         >= 928  -1.     967  -0.93   970  -1.     976  1.      990  1.      1089 -1.     1093 1.      
CONSTR757   0         == 989  -1.     1028 1.      
CONSTR758   0         == 973  1.      974  1.      975  1.      976  1.      977  1.      978  -1.     979  1.      982  1.      984  1.      1029 -1.     
CONSTR759   0         == 986  1.      987  1.      988  1.      990  1.      991  1.      992  -1.     993  1.      994  1.      996  1.      1030 -1.     
CONSTR760   0         == 914  1.      915  -1.     916  1.      917  1.      1031 -1.     
CONSTR761   0         == 918  1.      919  1.      920  -1.     921  1.      922  1.      923  1.      924  1.      925  1.      926  1.      927  1.      1032 -1.     
CONSTR762   0         == 1076 -0.3928 1083 -3.212  1084 -3.212  1085 -2.7289 1086 -2.7289 1092 1.      1097 -0.3928 1098 -0.3928 1101 -0.3928 1103 -0.3928 1107 -0.3928 1108 0.09821 1115 -0.3928 1118 0.09821 
CONSTR763   0         == 1060 -0.065  1061 -0.065  1066 -0.065  1067 -0.065  1068 -0.08   1069 -0.11   1070 -0.09   1071 -0.12   1083 -0.0339 1084 -0.0339 1085 -0.0493 1086 -0.0493 1096 1.      1099 -0.48   1100 -0.408  1123 -0.04   1124 -0.04   1125 -0.04   1126 -0.04   
CONSTR764   0         == 1062 3.04    1063 3.04    1064 3.04    1065 3.04    1077 3.36    1081 2.31    1104 -1.     
CONSTR765   0         == 1060 -0.025  1061 -0.0275 1066 -0.036  1067 -0.039  1068 -0.0074 1069 -0.0128 1070 -0.0083 1071 -0.0137 1078 1.      
CONSTR766   0         == 1060 -0.036  1061 -0.035  1066 -0.041  1067 -0.039  1068 -0.0275 1069 -0.0457 1070 -0.0314 1071 -0.05   1080 1.      1083 -0.002  1084 -0.002  1085 -0.001  1086 -0.001  1099 -0.1    
CONSTR767   0         == 1060 -0.056  1061 -0.056  1066 -0.0665 1067 -0.064  1111 1.      
CONSTR768   0         == 1060 -0.0175 1061 -0.0165 1066 -0.02   1067 -0.0185 1068 -0.00245 1069 -0.00295 1070 -0.0024 1071 -0.0028 1082 1.      1083 -0.007  1084 -0.007  1085 -0.006  1086 -0.006  1093 -1.     1100 -0.1    
CONSTR769   0         == 1060 -0.048  1061 -0.0485 1066 -0.0555 1067 -0.054  1068 -0.014  1069 -0.00231 1070 -0.0163 1071 -0.0255 1083 -0.004  1084 -0.004  1085 -0.002  1086 -0.002  1090 1.      
CONSTR770   0         == 1060 -0.064  1061 -0.062  1066 -0.0755 1067 -0.07   1094 1.      
CONSTR771   0         == 1083 -0.083  1084 -0.083  1085 -0.03   1086 -0.03   1105 -0.03   1106 -0.03   1107 1.      1109 -0.03   1110 -0.03   1117 1.      1123 -0.01   1124 -0.01   1125 -0.01   1126 -0.01   
CONSTR772   0         == 1086 -0.125  1110 1.      
CONSTR773   0         == 1084 -0.22   1106 1.      
CONSTR774   0         == 1034 1.      1038 1.      1074 0.75    1075 0.75    1085 -0.107  1086 -0.107  
CONSTR775   0         == 1033 1.      1037 1.      1072 0.75    1073 0.75    1083 -0.13   1084 -0.13   
CONSTR776   0         == 1049 1.      1059 1.      1086 -0.047  1126 1.      
CONSTR777   0         == 1044 1.      1055 1.      1064 1.      1084 -0.05   
CONSTR778   0         == 1048 1.      1058 1.      1085 -0.1    1125 1.      
CONSTR779   0         == 1043 1.      1054 1.      1063 1.      1083 -0.1    
CONSTR780   0         == 1061 1.      1067 1.      1077 0.138   1085 -0.354  1086 -0.407  
CONSTR781   0         == 1060 1.      1066 1.      1083 -0.344  1084 -0.394  
CONSTR782   0         == 1057 1.      1077 0.862   1085 -0.275  1086 -0.275  1120 1.      
CONSTR783   0         >= 1053 1.      1062 1.      1083 -0.11   1084 -0.11   1121 1.      
CONSTR784   0         == 1060 0.027   1061 0.027   1066 0.035   1067 0.035   1068 0.0663  1069 0.0663  1070 0.069   1071 0.069   1079 -0.67   1083 0.0139  1084 0.0139  1085 0.0139  1086 0.0139  1087 -1.     1119 -1.     1123 0.025   1124 0.025   1125 0.025   1126 0.025   
CONSTR785   0         == 1069 1.      1071 1.      1109 -0.81   1110 -0.89   
CONSTR786   0         == 1068 1.      1070 1.      1105 -0.75   1106 -0.86   
CONSTR787   0         == 1036 1.      1072 0.25    1074 0.25    1106 -0.11   1110 -0.08   
CONSTR788   0         == 1035 1.      1073 0.25    1075 0.25    1105 -0.22   1109 -0.16   
CONSTR789   0         == 1068 -0.885  1069 -0.7    1070 -0.925  1071 -0.74   1088 1.      1123 0.4     1124 0.5     1125 0.25    1126 0.25    
CONSTR790   0         == 1068 -0.8785 1069 -0.8442 1097 1.      1112 1.      
CONSTR791   0         == 1070 -0.8606 1071 -0.824  1098 1.      1113 1.      
CONSTR792   0         == 1060 -0.47   1061 -0.47   1066 -0.52   1067 -0.52   1099 -0.625  1100 -0.735  1101 1.      1114 1.      
CONSTR793   0         == 1042 1.      1051 1.      1061 -0.23   1067 -0.18   1124 1.      
CONSTR794   0         == 1041 1.      1050 1.      1060 -0.27   1066 -0.21   1123 1.      
CONSTR795   0         == 1056 1.      1060 -0.08   1061 -0.12   1065 1.      1066 -0.04   1067 -0.07   
CONSTR796   0         == 1046 1.      1126 -0.99   
CONSTR797   0         == 1047 1.      1123 -0.99   1124 -0.99   
CONSTR798   15.       >= 1081 1.      
CONSTR799   34.16     == 1077 1.      
CONSTR800   4.5       == 1072 1.      1073 1.      1074 1.      1075 1.      
CONSTR801   0         == 1062 1.      1063 1.      1064 1.      1065 1.      
CONSTR802   21.93     == 1052 1.      
CONSTR803   0         >= 1062 3.03    1063 -3.82   1064 -3.72   1065 -3.27   
CONSTR804   0         >= 1062 0.151   1063 -0.895  1064 -0.891  1065 -0.74   
CONSTR805   0         >= 1050 -7.11   1051 -6.33   1053 2.72    1054 -4.13   1055 -4.03   1056 -3.58   1057 5.17    1058 -3.73   1059 -3.83   
CONSTR806   0         >= 1035 2.      1036 -1.     1037 -15.    1038 -10.    1041 17.5    1042 15.     1043 -16.    1044 -14.3   1045 -9.     1046 -9.5    1047 12.5    1048 -8.     1049 -8.5    
CONSTR807   0         >= 1035 -40.    1036 -40.    1037 -35.    1038 -40.    1041 5.5     1043 30.     1044 50.     1045 5.      1046 20.     1047 12.     1048 20.     1049 30.     
CONSTR808   0         >= 1035 -0.4    1036 -0.403  1037 -0.288  1038 0.125   1041 -0.091  1042 1.191   1043 -0.262  1044 -0.261  1045 -0.26   1046 -0.21   1047 -0.25   1048 1.064   1049 1.115   
CONSTR809   0         >= 1076 -2.1    1097 -4.5    1098 -1.7    1101 -1.7    1103 60.5    1107 -1.9    
CONSTR810   0         >= 1076 -5.56   1097 2.2     1098 -0.5    1101 2.8     1103 -9.19   1107 4.3     1108 0.87    
CONSTR811   0         >= 1076 -2.     1097 -2.     1098 -2.     1101 -2.     1103 -2.     1107 -2.     1108 1.      
CONSTR812   0         >= 1112 -4.5    1113 -1.7    1114 -1.7    1116 60.5    1117 -1.9    
CONSTR813   0         >= 1112 -1.5    1113 -4.8    1114 -3.5    1116 -11.93  1117 3.02    1118 1.43    
CONSTR814   0         >= 1112 -1.5    1113 -1.5    1114 -1.5    1116 -1.5    1117 -1.5    
CONSTR815   0         == 1050 -1.     1051 -1.     1052 1.      1053 -1.     1054 -1.     1055 -1.     1056 -1.     1057 -1.     1058 -1.     1059 -1.     1119 1.      
CONSTR816   0         == 1045 1.      1125 -0.99   
CONSTR817   147.      >= 1085 1.      1086 1.      
CONSTR818   270.      >= 1083 1.      1084 1.      1085 1.      1086 1.      
CONSTR819   72.       >= 1068 1.      1069 1.      1070 1.17    1071 1.17    
CONSTR820   180.      >= 1060 1.      1061 1.      1066 1.      1067 1.      
CONSTR821   60.       >= 1083 0.13    1084 0.13    1085 0.107   1086 0.107   1123 1.      1124 1.      1125 1.      1126 1.      
CONSTR822   0         == 1078 -1.     1080 -0.09   1082 -0.0472 1087 1.      1088 -0.0511 1090 -0.0522 1094 -0.0138 1111 -0.118  
CONSTR823   0         == 1082 -0.93   1091 -1.     1095 -1.     1103 1.      1116 1.      
CONSTR824   0         == 1079 1.      1080 -0.85   1081 1.      
CONSTR825   0         == 1089 1.      1090 -0.92   1091 1.      
CONSTR826   0         == 1099 1.      1111 -0.82   
CONSTR827   0         == 1094 -0.98   1095 1.      1100 1.      
CONSTR828   0         == 1085 -0.125  1109 1.      
CONSTR829   0         == 1083 -0.22   1105 1.      
CONSTR830   0         == 1076 -0.12   1089 -0.12   1093 -0.12   1120 -0.12   1121 -0.12   1122 1.      
CONSTR831   45.       >= 1102 1.      
CONSTR832   118.      >= 1115 1.      
CONSTR833   105.      >= 1040 1.      
CONSTR834   125.5     >= 1039 1.      
CONSTR835   15.3      == 1076 1.      1097 1.      1098 1.      1101 1.      1102 -1.     1103 1.      1107 1.      1164 -1.     1230 -1.     1246 -1.     
CONSTR836   3.        == 1033 1.      1034 1.      1039 -1.     1154 -1.     1222 -1.     1238 -1.     
CONSTR837   30.       == 1035 1.      1036 1.      1037 1.      1038 1.      1040 -1.     1041 1.      1042 1.      1043 1.      1044 1.      1045 1.      1046 1.      1047 1.      1048 1.      1049 1.      1159 -1.     1226 -1.     1242 -1.     
CONSTR838   65.       == 1112 1.      1113 1.      1114 1.      1115 -1.     1116 1.      1117 1.      1169 -1.     1234 -1.     1250 -1.     
CONSTR839   0         == 1028 1.      1127 -1.     
CONSTR840   120.      == 1029 1.      1144 -1.     1162 -1.     1178 -1.     1190 -1.     1202 -1.     1214 -1.     1228 -1.     1244 -1.     
CONSTR841   480.      == 1030 1.      1148 -1.     1167 -1.     1181 -1.     1193 -1.     1205 -1.     1217 -1.     1232 -1.     1248 -1.     
CONSTR842   30.       == 1031 1.      1136 -1.     1152 -1.     1172 -1.     1184 -1.     1196 -1.     1208 -1.     1220 -1.     1236 -1.     
CONSTR843   210.      == 1032 1.      1140 -1.     1157 -1.     1175 -1.     1187 -1.     1199 -1.     1211 -1.     1224 -1.     1240 -1.     
CONSTR844   0         == 1172 0.1426  1174 0.2363  1175 0.1426  1177 0.2363  1178 0.1426  1180 0.2363  1181 0.1426  1183 0.2363  1184 0.2026  1186 0.2863  1187 0.2026  1189 0.2863  1190 0.2026  1192 0.2863  1193 0.2026  1195 0.2863  1196 0.1476  1198 0.3526  1199 0.1476  1201 0.3526  1202 0.1476  1204 0.3526  1205 0.1476  1207 0.3526  1208 0.0713  1210 0.2863  1211 0.0713  1213 0.2863  1214 0.0713  1216 0.2863  1217 0.0713  1219 0.2863  1220 0.395   1222 0.1467  1223 0.1239  1224 0.4066  1226 0.151   1227 0.1273  1228 0.3536  1230 0.1313  1231 0.112   1232 0.3536  1234 0.1313  1235 0.112   1236 0.3085  1238 0.2547  1239 0.3074  1240 0.3175  1242 0.2623  1243 0.3161  1244 0.2766  1246 0.228   1247 0.277   1248 0.2766  1250 0.228   1251 0.277   1252 -1.     
CONSTR845   50.       == 1178 1.      1179 1.      1180 1.      
CONSTR846   150.      == 1181 1.      1182 1.      1183 1.      
CONSTR847   25.       == 1172 1.      1173 1.      1174 1.      
CONSTR848   75.       == 1175 1.      1176 1.      1177 1.      
CONSTR849   0         == 1128 -1.     1130 1.      1144 -1.     1145 -1.     1146 -1.     1147 1.      
CONSTR850   0         == 1148 -1.     1149 -1.     1150 -1.     1151 1.      
CONSTR851   25.       == 1136 -1.     1137 -1.     1138 -1.     1139 1.      
CONSTR852   100.      == 1140 -1.     1141 -1.     1142 -1.     1143 1.      
CONSTR853   -25.      == 1147 -1.     1179 1.      1191 1.      1203 1.      1215 1.      
CONSTR854   -100.     == 1129 -1.     1131 1.      1151 -1.     1182 1.      1194 1.      1206 1.      1218 1.      
CONSTR855   -25.      == 1139 -1.     1173 1.      1185 1.      1197 1.      1209 1.      
CONSTR856   -100.     == 1143 -1.     1176 1.      1188 1.      1200 1.      1212 1.      
CONSTR857   84.9      >= 1147 1.      
CONSTR858   203.5     >= 1151 1.      
CONSTR859   89.8      >= 1139 1.      
CONSTR860   219.2     >= 1143 1.      
CONSTR861   0         == 1128 50.     1130 -50.    1144 10.     1145 10.     1146 10.     1147 -10.    
CONSTR862   0         == 1129 50.     1131 -50.    1148 10.     1149 10.     1150 10.     1151 -10.    
CONSTR863   0         == 1132 -1.     1134 1.      1162 -1.     1163 -1.     1164 -1.     1165 -1.     1166 1.      
CONSTR864   0         == 1133 -1.     1135 1.      1167 -1.     1168 -1.     1169 -1.     1170 -1.     1171 1.      
CONSTR865   25.       == 1152 -1.     1153 -1.     1154 -1.     1155 -1.     1156 1.      
CONSTR866   30.       == 1157 -1.     1158 -1.     1159 -1.     1160 -1.     1161 1.      
CONSTR867   -25.      == 1132 -1.     1134 1.      1166 -1.     1229 1.      1245 1.      
CONSTR868   -50.      == 1133 -1.     1135 1.      1171 -1.     1233 1.      1249 1.      
CONSTR869   -25.      == 1156 -1.     1221 1.      1237 1.      
CONSTR870   -30.      == 1161 -1.     1225 1.      1241 1.      
CONSTR871   44.       >= 1166 1.      
CONSTR872   91.7      >= 1171 1.      
CONSTR873   69.5      >= 1156 1.      
CONSTR874   55.       >= 1161 1.      
CONSTR875   0         == 1132 50.     1134 -50.    1162 10.     1163 10.     1164 10.     1165 10.     1166 -10.    
CONSTR876   0         == 1133 50.     1135 -50.    1167 10.     1168 10.     1169 10.     1170 10.     1171 -10.    
CONSTR877   50.       == 1190 1.      1191 1.      1192 1.      
CONSTR878   200.      == 1193 1.      1194 1.      1195 1.      
CONSTR879   25.       == 1184 1.      1185 1.      1186 1.      
CONSTR880   75.       == 1187 1.      1188 1.      1189 1.      
CONSTR881   25.       == 1202 1.      1203 1.      1204 1.      
CONSTR882   100.      == 1205 1.      1206 1.      1207 1.      
CONSTR883   20.       == 1196 1.      1197 1.      1198 1.      
CONSTR884   50.       == 1199 1.      1200 1.      1201 1.      
CONSTR885   25.       == 1214 1.      1215 1.      1216 1.      
CONSTR886   100.      == 1217 1.      1218 1.      1219 1.      
CONSTR887   10.       == 1208 1.      1209 1.      1210 1.      
CONSTR888   40.       == 1211 1.      1212 1.      1213 1.      
CONSTR889   50.       == 1228 1.      1229 1.      1230 1.      1231 1.      
CONSTR890   200.      == 1232 1.      1233 1.      1234 1.      1235 1.      
CONSTR891   50.       == 1220 1.      1221 1.      1222 1.      1223 1.      
CONSTR892   150.      == 1224 1.      1225 1.      1226 1.      1227 1.      
CONSTR893   10.       == 1244 1.      1245 1.      1246 1.      1247 1.      
CONSTR894   50.       == 1248 1.      1249 1.      1250 1.      1251 1.      
CONSTR895   20.       == 1236 1.      1237 1.      1238 1.      1239 1.      
CONSTR896   50.       == 1240 1.      1241 1.      1242 1.      1243 1.      
CONSTR897   25.       == 1145 1.      
CONSTR898   100.      == 1149 1.      
CONSTR899   25.       == 1163 1.      
CONSTR900   50.       == 1168 1.      
CONSTR901   0         == 1127 -1.     1261 1.      1262 1.      1359 1.      
CONSTR902   243.      == 1146 -1.     1165 -1.     1180 -1.     1192 -1.     1204 -1.     1216 -1.     1231 -1.     1247 -1.     1320 1.      1323 -1.     1365 1.      
CONSTR903   1050.     == 1150 -1.     1170 -1.     1183 -1.     1195 -1.     1207 -1.     1219 -1.     1235 -1.     1251 -1.     1337 1.      1351 -1.     1366 1.      
CONSTR904   150.      == 1138 -1.     1155 -1.     1174 -1.     1186 -1.     1198 -1.     1210 -1.     1223 -1.     1239 -1.     1253 -1.     1303 1.      1362 1.      
CONSTR905   540.      == 1142 -1.     1160 -1.     1177 -1.     1189 -1.     1201 -1.     1213 -1.     1227 -1.     1243 -1.     1254 -1.     1272 1.      1273 1.      1300 1.      1301 1.      1304 1.      1305 1.      1347 1.      1363 1.      
CONSTR906   0         >= 1266 -0.41   1267 -0.492  1268 -0.572  1269 -0.0005 1277 -0.374  1278 -0.333  1279 -0.335  1280 -0.363  1281 -0.32   1282 -0.402  1283 -0.388  1284 -0.431  1285 -0.31   1286 -0.33   1287 -0.29   1288 -0.385  1289 -0.263  1290 -0.4    1291 -0.356  1292 -0.436  1293 -0.404  1294 -0.385  1295 -0.4    1296 -0.382  1297 -0.368  1298 -0.36   1309 1.      1314 -0.629  1315 -0.756  1316 -0.898  1317 -1.056  1331 -0.517  1332 -0.629  1333 -0.756  1334 -0.898  1335 -1.056  1367 -0.359  
CONSTR907   0         >= 1266 -0.0072 1267 -0.056  1277 -0.065  1278 -0.0595 1279 -0.0603 1280 -0.061  1281 -0.0592 1282 -0.0563 1283 -0.0622 1284 -0.058  1285 -0.0615 1286 -0.0601 1287 -0.0585 1288 -0.0582 1289 -0.0519 1290 -0.0558 1291 -0.0593 1292 -0.0578 1293 -0.0625 1294 -0.0615 1295 -0.0617 1296 -0.0606 1297 -0.0541 1298 -0.0539 1338 1.5873  1367 -0.009  
CONSTR908   0         >= 1259 1.      1266 -0.0183 1267 -0.033  1269 -0.0083 1277 -0.0382 1278 -0.0293 1279 -0.0313 1280 -0.031  1281 -0.0275 1282 -0.031  1283 -0.0306 1284 -0.032  1285 -0.0293 1286 -0.0288 1287 -0.0262 1288 -0.0304 1289 -0.0228 1290 -0.0292 1291 -0.0276 1292 -0.0302 1293 -0.0318 1294 -0.0307 1295 -0.0316 1296 -0.0307 1297 -0.0282 1298 -0.028  1311 1.      1314 -0.0219 1315 -0.0284 1316 -0.0359 1317 -0.0433 1331 -0.0164 1332 -0.0219 1333 -0.0284 1334 -0.0359 1335 -0.0433 1338 -0.15873 1367 -0.0229 
CONSTR909   0         >= 1255 0.588   1266 -0.0106 1267 -0.075  1277 -0.0753 1278 -0.0724 1279 -0.0726 1280 -0.073  1281 -0.0685 1282 -0.0718 1283 -0.0707 1284 -0.0734 1285 -0.0689 1286 -0.0693 1287 -0.0668 1288 -0.0738 1289 -0.0585 1290 -0.0694 1291 -0.0652 1292 -0.0724 1293 -0.0716 1294 -0.0713 1295 -0.0708 1296 -0.0701 1297 -0.0676 1298 -0.0672 1319 0.588   1336 0.588   1340 1.      1341 1.25    1367 -0.0132 
CONSTR910   0         >= 1255 0.65    1257 -1.     1266 -0.0032 1267 -0.037  1269 -0.001  1277 -0.0535 1278 -0.0455 1279 -0.051  1280 -0.0457 1281 -0.0407 1282 -0.04   1283 -0.0426 1284 -0.0394 1285 -0.0388 1286 -0.0384 1287 -0.0384 1288 -0.0401 1289 -0.0301 1290 -0.0332 1291 -0.0331 1292 -0.0339 1293 -0.0409 1294 -0.0405 1295 -0.0399 1296 -0.0398 1297 -0.0339 1298 -0.0343 1314 -0.0045 1315 -0.0061 1316 -0.008  1317 -0.01   1319 0.65    1322 1.      1331 -0.0032 1332 -0.0045 1333 -0.0061 1334 -0.008  1335 -0.01   1336 0.65    1350 1.      1367 -0.0039 
CONSTR911   0         >= 1258 -1.     1260 1.      1266 -0.0116 1267 -0.019  1269 -0.001  1277 -0.018  1278 -0.0153 1279 -0.0167 1280 -0.0154 1281 -0.0139 1282 -0.0142 1283 -0.0145 1284 -0.0142 1285 -0.0136 1286 -0.0134 1287 -0.0134 1288 -0.0145 1289 -0.0108 1290 -0.0124 1291 -0.0118 1292 -0.0126 1293 -0.0141 1294 -0.014  1295 -0.0137 1296 -0.0138 1297 -0.0123 1298 -0.0125 1314 -0.001  1315 -0.0013 1316 -0.0016 1317 -0.0019 1326 1.      1331 -0.0007 1332 -0.001  1333 -0.0013 1334 -0.0016 1335 -0.0019 1354 1.      1367 -0.0145 
CONSTR912   0         >= 1256 16.09   1307 -0.01   1331 2.89    1332 3.72    1333 4.69    1334 5.93    1335 7.39    1336 4.26    1337 -10.    1338 4.03    1339 26.57   1340 69.09   1341 4.03    1342 4.21    1343 2.1     1344 0.97    1345 0.08    1346 6.62    1347 -0.01   1349 0.38    1350 92.73   1352 9.08    1354 66.48   1357 6.62    
CONSTR913   0         >= 1256 -4.     1307 4.      1331 -4.     1332 -4.     1333 -4.     1334 -4.     1335 -4.     1336 -4.     1338 -4.     1339 -4.     1340 -4.     1341 -4.     1342 -4.     1343 -4.     1344 -4.     1345 -4.     1346 -4.     1347 4.      1349 -4.     1350 -4.     1352 -4.     1354 -4.     1356 1.      1357 -4.     
CONSTR914   0         >= 1256 -86.    1307 88.5    1331 -90.2   1332 -92.2   1333 -94.2   1334 -96.2   1335 -97.7   1336 -103.7  1338 -101.7  1339 -88.    1340 -106.7  1341 -101.7  1342 -81.2   1343 -76.2   1344 -74.5   1345 -93.7   1346 -84.7   1347 88.5    1349 -66.7   1350 -106.7  1352 -97.7   1354 -96.7   1355 1.      1356 -1.1    1357 -78.7   
CONSTR915   0         >= 1256 -80.4   1307 85.7    1331 -85.4   1332 -88.1   1333 -90.9   1334 -93.6   1335 -95.5   1336 -99.4   1338 -99.7   1339 -82.2   1340 -102.7  1341 -99.7   1342 -75.1   1343 -70.7   1344 -67.4   1345 -91.4   1346 -79.1   1347 85.7    1349 -56.3   1350 -102.7  1352 -95.4   1354 -94.    1355 1.      1356 -3.3    1357 -72.1   
CONSTR916   0         >= 1256 -84.5   1307 76.3    1331 -83.    1332 -84.6   1333 -86.1   1334 -87.5   1335 -88.6   1336 -101.3  1338 -79.3   1339 -89.    1340 -92.3   1341 -79.3   1342 -80.3   1343 -76.1   1344 -74.6   1345 -81.3   1346 -74.6   1347 76.3    1349 -67.3   1350 -107.3  1352 -81.3   1353 1.      1354 -97.3   1356 -0.9    1357 -74.6   
CONSTR917   0         >= 1256 -82.5   1307 75.6    1331 -81.3   1332 -83.3   1333 -84.9   1334 -86.6   1335 -87.9   1336 -99.4   1338 -78.6   1339 -86.8   1340 -90.8   1341 -78.6   1342 -77.9   1343 -74.1   1344 -72.4   1345 -80.7   1346 -73.7   1347 75.6    1349 -63.3   1350 -105.8  1352 -80.7   1353 1.      1354 -96.4   1356 -1.3    1357 -72.    
CONSTR918   0         >= 1256 -79.4   1307 74.5    1331 -78.5   1332 -80.8   1333 -82.9   1334 -84.9   1335 -86.5   1336 -96.6   1338 -77.5   1339 -82.9   1340 -88.4   1341 -77.5   1342 -74.    1343 -71.    1344 -67.4   1345 -79.6   1346 -72.3   1347 74.5    1349 -56.8   1350 -103.5  1352 -79.6   1353 1.      1354 -94.8   1356 -2.5    1357 -67.9   
CONSTR919   0         >= 1272 -14.6   1273 -1.6    1300 3.4     1301 -8.6    1304 15.4    1305 5.4     1347 23.     
CONSTR920   0         >= 1275 -44.5   1276 -12.7   1306 10.9    1308 -0.6    
CONSTR921   0         == 1256 1.      1307 -1.     1331 1.      1332 1.      1333 1.      1334 1.      1335 1.      1336 1.      1337 -1.     1338 1.      1339 1.      1340 1.      1341 1.      1342 1.      1343 1.      1344 1.      1345 1.      1346 1.      1347 -1.     1349 1.      1350 1.      1352 1.      1354 1.      1357 1.      
CONSTR922   0         >= 1272 1.      1273 -0.5    
CONSTR923   0         == 1255 -0.3208 1266 -0.0582 1267 -0.181  1268 -0.065  1269 -0.0178 1277 -0.0783 1278 -0.0739 1279 -0.0763 1280 -0.0763 1281 -0.0767 1282 -0.074  1283 -0.0743 1284 -0.0741 1285 -0.0748 1286 -0.0724 1287 -0.0733 1288 -0.0734 1289 -0.0699 1290 -0.0713 1291 -0.0728 1292 -0.0719 1293 -0.0747 1294 -0.0746 1295 -0.0744 1296 -0.0746 1297 -0.0717 1298 -0.0719 1300 -0.008  1302 -0.008  1304 -0.008  1313 1.      1314 -0.0379 1315 -0.0458 1316 -0.0592 1317 -0.086  1319 -0.3208 1320 -0.0139 1321 -0.025  1331 -0.0327 1332 -0.0379 1333 -0.0458 1334 -0.0592 1335 -0.086  1336 -0.3208 1337 -0.0046 1338 -0.2695 1341 -0.2122 1348 -0.22   1367 -0.099  
CONSTR924   0         >= 1275 43.7    1276 11.9    1306 -11.7   1308 -0.2    
CONSTR925   0         >= 1255 1.      
CONSTR926   0         == 1277 1.      1278 1.      1279 1.      1280 1.      1281 1.      1282 1.      1283 1.      1284 1.      1285 1.      1286 1.      1287 1.      1288 1.      1289 1.      1290 1.      1291 1.      1292 1.      1293 1.      1294 1.      1295 1.      1296 1.      1297 1.      1298 1.      1299 -1.     
CONSTR927   15.       == 1271 1.      1318 1.      
CONSTR928   0         >= 1271 1.      1348 -0.26   
CONSTR929   75.       == 1256 1.      1325 1.      
CONSTR930   0         == 1256 -3.57   1257 -3.255  1258 -3.045  1269 -3.01   1312 1.      1318 -5.     1325 -5.     1329 -0.0886 1330 -0.35   1356 0.0886  1359 -5.     1362 -4.2    1363 -3.78   1364 -3.57   1365 -5.46   1366 -4.62   
CONSTR931   0         == 1255 6.01    1261 1.      1265 14.5    1270 1.      1271 6.3     1275 2.52    1276 2.52    1306 2.52    1308 2.52    1311 1.89    1327 -1.     1360 40.     1370 0.25    
CONSTR932   1229.7    >= 1254 1.      
CONSTR933   0         >= 1269 -0.07   1339 1.      
CONSTR934   0         >= 1261 1.      1269 -0.0375 1342 1.      
CONSTR935   0         >= 1262 1.      1263 1.      1269 -0.0375 1343 1.      
CONSTR936   0         >= 1264 1.      1269 -0.037  1344 1.      
CONSTR937   0         >= 1263 -1.     1264 -1.     1269 -0.14   1314 1.119   1315 1.146   1316 1.182   1317 1.224   1331 1.094   1332 1.119   1333 1.146   1334 1.182   1335 1.224   1349 1.      1358 0.85    
CONSTR938   0         >= 1269 -0.0451 1358 1.      
CONSTR939   0         >= 1269 -0.11   1273 1.      1303 1.      1358 -1.     
CONSTR940   0         >= 1269 -0.07   1301 1.      1358 0.15    
CONSTR941   0         >= 1269 -0.023  1272 1.      1279 0.073   1280 0.057   1283 0.062   1284 0.05    1287 0.068   1288 0.054   1291 0.058   1292 0.048   1293 0.027   1295 0.027   1297 0.025   
CONSTR942   0         >= 1269 -0.325  1277 1.      1278 1.      1279 0.927   1280 0.943   1281 0.834   1282 0.867   1283 0.783   1284 0.824   1285 0.928   1286 0.944   1287 0.865   1288 0.893   1289 0.783   1290 0.825   1291 0.738   1292 0.785   1293 0.857   1294 0.881   1295 0.843   1296 0.866   1297 0.801   1298 0.821   
CONSTR943   0         >= 1266 1.      1269 -0.139  1306 1.      1369 1.      
CONSTR944   0         >= 1266 -0.125  1267 -0.015  1346 1.      
CONSTR945   0         >= 1266 -0.3    1267 -0.015  1300 1.      1302 0.385   
CONSTR946   0         >= 1266 -0.34   1281 0.166   1282 0.133   1283 0.155   1284 0.126   1289 0.156   1290 0.126   1291 0.147   1292 0.12    1293 0.116   1294 0.119   1295 0.13    1296 0.134   1297 0.124   1298 0.127   
CONSTR947   0         >= 1268 -0.423  1285 0.078   1286 0.056   1287 0.067   1288 0.053   1289 0.061   1290 0.049   1291 0.057   1292 0.047   1297 0.05    1298 0.052   
CONSTR948   0         >= 1265 1.      1266 -0.0427 
CONSTR949   0         >= 1267 -0.0399 1268 -0.0651 1360 1.      
CONSTR950   0         >= 1267 -0.024  1277 -0.422  1278 -0.411  1279 -0.419  1280 -0.398  1281 -0.402  1282 -0.384  1283 -0.402  1284 -0.372  1285 -0.415  1286 -0.397  1287 -0.406  1288 -0.387  1289 -0.387  1290 -0.372  1291 -0.385  1292 -0.364  1293 -0.389  1294 -0.396  1295 -0.388  1296 -0.393  1297 -0.37   1298 -0.375  1321 1.      1352 1.      
CONSTR951   0         >= 1267 -0.011  1277 -0.181  1278 -0.176  1279 -0.18   1280 -0.17   1281 -0.173  1282 -0.165  1283 -0.173  1284 -0.159  1285 -0.178  1286 -0.17   1287 -0.174  1288 -0.166  1289 -0.166  1290 -0.159  1291 -0.165  1292 -0.156  1293 -0.167  1294 -0.17   1295 -0.166  1296 -0.169  1297 -0.159  1298 -0.161  1345 1.      
CONSTR952   0         >= 1267 -0.035  1270 1.      1274 1.      1275 1.      1277 -0.144  1278 -0.166  1279 -0.144  1280 -0.179  1281 -0.175  1282 -0.204  1283 -0.158  1284 -0.197  1285 -0.169  1286 -0.193  1287 -0.18   1288 -0.201  1289 -0.217  1290 -0.211  1291 -0.205  1292 -0.186  1293 -0.192  1294 -0.189  1295 -0.198  1296 -0.195  1297 -0.214  1298 -0.216  1302 0.615   1304 1.      1310 1.      1348 1.      
CONSTR953   0         >= 1267 0.538   1276 1.      1277 -0.05   1278 -0.06   1279 -0.061  1280 -0.06   1281 -0.06   1282 -0.058  1283 -0.064  1284 -0.075  1285 -0.06   1286 -0.065  1287 -0.065  1288 -0.06   1289 -0.083  1290 -0.084  1291 -0.07   1292 -0.107  1293 -0.058  1294 -0.056  1295 -0.058  1296 -0.056  1297 -0.086  1298 -0.079  1361 1.      1367 1.      
CONSTR954   0         >= 1307 1.      1345 -0.5    1347 1.      
CONSTR955   0         >= 1357 1.      1367 -0.2896 
CONSTR956   0         >= 1268 1.      1308 1.      1367 -0.639  1368 1.      
CONSTR957   0         == 1255 0.265   1259 -3.836  1260 -4.325  1266 0.221   1267 0.273   1268 0.228   1269 0.124   1277 0.159   1278 0.152   1279 0.154   1280 0.153   1281 0.149   1282 0.15    1283 0.152   1284 0.151   1285 0.15    1286 0.149   1287 0.148   1288 0.151   1289 0.141   1290 0.147   1291 0.146   1292 0.148   1293 0.152   1294 0.152   1295 0.151   1296 0.15    1297 0.146   1298 0.146   1300 0.053   1304 0.053   1309 -1.     1310 -6.5    1314 0.37    1315 0.405   1316 0.455   1317 0.51    1319 0.265   1330 -1.     1331 0.35    1332 0.37    1333 0.405   1334 0.455   1335 0.51    1336 0.265   1338 0.075   1341 0.075   1361 -6.5    1367 0.4     1368 -6.5    1369 -6.5    1370 1.      
CONSTR958   1.        == 1277 0.06061 1278 0.04662 1279 0.05618 1280 0.04396 1281 0.05056 1282 0.04044 1283 0.04744 1284 0.03842 1285 0.05624 1286 0.04399 1287 0.05241 1288 0.04161 1289 0.04748 1290 0.03845 1291 0.04472 1292 0.03662 1293 0.04202 1294 0.0432  1295 0.04132 1296 0.04246 1297 0.03925 1298 0.04027 
CONSTR959   1800.     >= 1269 1.      
CONSTR960   315.      >= 1314 1.119   1315 1.146   1316 1.182   1317 1.224   1331 1.094   1332 1.119   1333 1.146   1334 1.182   1335 1.224   
CONSTR961   195.      >= 1300 1.      1302 1.      1304 1.      
CONSTR962   360.      >= 1266 1.      1267 1.      1268 1.      
CONSTR963   105.      >= 1255 1.      1319 1.      1336 1.      
CONSTR964   30.       == 1274 1.      1302 1.      1307 1.      1364 1.      
CONSTR965   90.       >= 1275 1.      1276 1.      1306 1.      1308 1.      
CONSTR966   90.       >= 1311 1.      
CONSTR967   0         >= 1320 95.5    1324 -0.5    1328 -0.5    
CONSTR968   0         >= 1320 99.     1328 -1.     
CONSTR969   0         >= 1314 3.84    1315 4.83    1316 6.12    1317 7.62    1319 4.39    1320 -10.    1321 9.36    1322 95.62   1326 68.56   
CONSTR970   0         >= 1314 8.9     1315 7.5     1316 6.2     1317 5.2     1319 -7.3    1320 20.     1321 -32.2   1322 -130.   1326 -130.   
CONSTR971   0         >= 1314 -4.     1315 -4.     1316 -4.     1317 -4.     1319 -4.     1321 -4.     1322 -4.     1326 -4.     1329 1.      
CONSTR972   0         >= 1314 -92.5   1315 -94.5   1316 -96.5   1317 -98.    1319 -102.3  1321 -98.    1322 -107.   1326 -97.    1328 1.      1329 -1.     
CONSTR973   0         >= 1314 -91.4   1315 -93.7   1316 -95.9   1317 -97.5   1319 -101.1  1321 -97.5   1322 -105.8  1326 -96.4   1328 1.      1329 -1.3    
CONSTR974   0         >= 1314 -88.9   1315 -91.7   1316 -94.4   1317 -96.3   1319 -98.8   1321 -96.2   1322 -103.5  1326 -94.8   1328 1.      1329 -2.5    
CONSTR975   0         >= 1314 -84.    1315 -85.5   1316 -86.9   1317 -88.    1319 -96.    1321 -80.7   1322 -106.7  1324 1.      1326 -96.7   1329 -1.1    
CONSTR976   0         >= 1314 -83.1   1315 -84.7   1316 -86.4   1317 -87.7   1319 -94.9   1321 -80.5   1322 -105.6  1324 1.      1326 -96.2   1329 -1.4    
CONSTR977   0         >= 1314 -80.4   1315 -82.5   1316 -84.5   1317 -86.1   1319 -91.5   1321 -79.2   1322 -103.1  1324 1.      1326 -94.4   1329 -2.9    
CONSTR978   0         >= 1337 91.2    1353 -0.333  1355 -0.667  
CONSTR979   0         >= 1337 93.     1355 -1.     
CONSTR980   0         >= 1256 -84.    1307 87.5    1331 -88.5   1332 -90.8   1333 -93.1   1334 -95.3   1335 -96.9   1336 -102.1  1338 -101.   1339 -86.    1340 -105.2  1341 -101.   1342 -79.    1343 -74.2   1344 -72.5   1345 -93.    1346 -82.6   1347 87.5    1349 -62.8   1350 -105.2  1352 -96.9   1354 -95.8   1355 1.      1356 -1.6    1357 -76.2   
CONSTR981   0         == 1314 1.      1315 1.      1316 1.      1317 1.      1319 1.      1320 -1.     1321 1.      1322 1.      1326 1.      
CONSTR982   0         >= 1320 -0.1    
CONSTR983   0         >= 1320 0.25    1321 -1.     
CONSTR984   0         >= 1310 -44.5   1361 -12.7   1368 -0.6    1369 10.9    
CONSTR985   0         >= 1314 -92.9   1315 -94.7   1316 -96.6   1317 -98.1   1319 -104.6  1321 -98.1   1322 -106.9  1326 -97.2   1328 1.      1329 -0.9    
CONSTR986   0         >= 1314 -85.1   1315 -86.5   1316 -87.7   1317 -88.9   1319 -102.3  1321 -81.3   1322 -107.3  1324 1.      1326 -97.6   1329 -0.8    
CONSTR987   0         >= 1305 1.      1348 -0.74   
CONSTR988   721.5     >= 1323 1.      
CONSTR989   1626.7    >= 1351 1.      
CONSTR990   692.      >= 1253 1.      
