Datum

dab844da10cede…cf4544d577

dab844da10cede43c55f1e3e10b0b76eff8d671f699169a66fe0abcf4544d577

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3a8b8deadba457924dd01b5a65545e4b86ff8675d11452646fc52a57

1

Constr 0

0

Constr 0

0

Constr 0

0

#18af4429ba5fc036562a547b23fc8d7a6d344e220b602def5db1cfe0

1

Constr 0

0

Constr 0

0

#3a8b8deadba457924dd01b5a65545e4b86ff8675d11452646fc52a57

1

Constr 0

0

Constr 0

0

Constr 0

0

#18af4429ba5fc036562a547b23fc8d7a6d344e220b602def5db1cfe0

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

841175006

4

2000000

5

2000000