1585000

10 15 20 25 15 20 25 30 1000
2000 0 0 0 500 0 0 0 0
q11 q12 q13 q14 q21 q22 q23 q24 q31
1 1 1 1
1 1 1 1
1

1 1 1
1 1
1 1
1 1
1 1
1 1
 10 15 20 1000 15 20 25 1000 1000 10
2000 0 0 0 500 0 0 0 500 1500
q32 q33 q34 q41 q42 q43 q44 q51 q52 q53

1 1 1
1 1 1 1
1 1 1

1 1
1 1 1
1 1 1
1 1
1 1 1
1 1 1
 15 1000 1000 15 20 1000 1000 1000 10 1000
0 0 0 0 0 0 500 0 1500 500
q54 q61 q62 q63 q64 q71 q72 q73 q74 q81

1
1 1 1 1
1 1 1 1
1
1 1 1
1 1
1 1
1 1 1
 1000 1000 15
0 0 0
q82 q83 q84
2000 <= 2000
500 <= 500
2000 <= 2000
500 <= 500
2000 <= 2000
0 <= 500
2000 <= 2000
1 1 1 500 <= 500
3000 >= 3000
1 3500 >= 3500
1 1500 >= 1500
1 1500 >= 1500