Datum

c2db56ebfaecb9…3e1e92e82c

c2db56ebfaecb91319642b35f2c47cecbdde6b3f450cb17a5b391e3e1e92e82c

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#1dcd2896f4ceea410b98bfa691661c938b34d0fe96a259e941336e8d

1

Constr 0

0

Constr 0

0

Constr 0

0

#798729a69b63f149199f5ee1e895c5ca080bc751fa43dcdda28ed3d3

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

6160394

1

1000000000