# ALU24400
# ALU7600
# ALU15200
# ALU25200
# ALU6700
# ALU25900
# ALU25600
# ALU14000
# ALU29800
# ALU26700
# ALU28900
# ALU9100
# ALU11500
# ALU11700
# ALU30000