Datum

5760276293ddbc…03e44cf32d

5760276293ddbc689e3b34dbddbb09bbcf9323e091ebdea611686c03e44cf32d

Datum

Constr 0

0

#04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#07d725fefd0322e3b9071547c4fde79812c2953f567d2e7f215b3134

1

Constr 0

0

Constr 0

0

Constr 0

0

#7b592cd5c6c90546156afe26ba59ce833ca31615b89a28374f0526af

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

21500000000

2

Constr 0

0

12784796527