Datum

2db772644c6253…bcd22f25a5

2db772644c62533c08a9d6becaf1e14d0385d15bd2eb7ae538e0b7bcd22f25a5

Datum

Constr 0

0

#1e01

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#83762ae001672e1be0142e42a90c5126b04f6ccb5a49eba29e2a047c

1

Constr 0

0

Constr 0

0

Constr 0

0

#90c705f4029f6d4739cd5f4dfda478bde5c157562629bdb8b7a7dfb0

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

20000000

2

Constr 0

0

114498641