Datum

2400f09e5fbddf…41a55ed1cc

2400f09e5fbddfeebd9156a916140eb608a741ca472b339ca5076e41a55ed1cc

Datum

Constr 0

0

#17

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#8927d7bfcfb455a2ee9912be1f78c7f4b0cf732a31f6abf43aa6dc2e

1

Constr 0

0

Constr 0

0

Constr 0

0

#d2a6777b0ac2b5148938e8b3aaf0cda590186c3b809bb45ab11e0e9f

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

384640000

2

Constr 0

0

969385509