Datum

ec285bbecfab8e…a4921753ac

ec285bbecfab8e3ce84ff6c3827ae86cb9db9b1ebad8bfa2c2c2eea4921753ac

Datum

Constr 0

0

#36

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#d5f501b0bd5d3c43fb6a52835dad65dc3d5c56812114612e049eee34

1

Constr 0

0

Constr 0

0

Constr 0

0

#af3654e7cd9685defb9f4f062357d244bb669c45fe0adcbdc6566a6f

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

10000000000

2

Constr 0

0

1119336230