Datum

ae04c494590fcb…c6f7a56f32

ae04c494590fcbc3bb92f6521d2c4727d5fc218b20bd87a7fe7cecc6f7a56f32

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f19d717c7b6dde23465cc331ac0da8e483139fc012f9ae3652c593f0

1

Constr 0

0

Constr 0

0

Constr 0

0

#9f9bec8867b5ce48a1a57cee5dc2caf9e206da68778ed3111c547a4f

1

Constr 0

0

Constr 0

0

#f19d717c7b6dde23465cc331ac0da8e483139fc012f9ae3652c593f0

1

Constr 0

0

Constr 0

0

Constr 0

0

#9f9bec8867b5ce48a1a57cee5dc2caf9e206da68778ed3111c547a4f

2

Constr 1 []

3

Constr 2

0

1

4

1999928

5

2000000