Datum

abfddfd9265e85…d1c22642c8

abfddfd9265e8558fe568d3b28dfd0795bd390715ea977e7ee3eced1c22642c8

Datum

Constr 0

0

#04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#c80e78871f7e510aebefb8a3bf7d032991f37b8f11efcf9e6486d728

1

Constr 0

0

Constr 0

0

Constr 0

0

#89005d9fdc0e42d6dbeabb0f75be333b67661651236ab114826a257f

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

5752827260

1

10000000000