Datum

dfc4f42235c541…20eb57ebdc

dfc4f42235c541a0863a5c5678dd2aebfe8cb0a37e5219cb99bbff20eb57ebdc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f66fc7e351b0736341867b0bb7977bb7cb4ff638562350846c5afc71

1

Constr 0

0

Constr 0

0

Constr 0

0

#5e323ebfa5085e78e08d68293a6edc9ce50872279df36d3466fd650b

1

Constr 0

0

Constr 0

0

#f66fc7e351b0736341867b0bb7977bb7cb4ff638562350846c5afc71

1

Constr 0

0

Constr 0

0

Constr 0

0

#5e323ebfa5085e78e08d68293a6edc9ce50872279df36d3466fd650b

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

256276644

4

2000000

5

2000000