Datum

48a25dc527a097…bee295ff11

48a25dc527a09737c23c6e228152b00e57b82cdecbb37ea86baf39bee295ff11

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#811ae9a8cd9a23802121b3aaefd024022462a7bcf3c90010a88eec73

1

Constr 0

0

Constr 0

0

Constr 0

0

#43c91fb4bcddd3e0908bfc9f82ab11b8c24ff7cf5c9566303626ca45

1

Constr 0

0

Constr 0

0

#811ae9a8cd9a23802121b3aaefd024022462a7bcf3c90010a88eec73

1

Constr 0

0

Constr 0

0

Constr 0

0

#43c91fb4bcddd3e0908bfc9f82ab11b8c24ff7cf5c9566303626ca45

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000