Datum

c754fd24a7ff14…0c415fc667

c754fd24a7ff14d2bddde56cdb0bc09ccde629c5beeaa274fb0ad70c415fc667

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e105290df587390be33d256392f378bfd7709dca5c16de6ff1958de1

1

Constr 0

0

Constr 0

0

Constr 0

0

#4b286aa1c12c8a777b3242ed51d63e6462361a21f817e883239514ae

1

Constr 0

0

Constr 0

0

#e105290df587390be33d256392f378bfd7709dca5c16de6ff1958de1

1

Constr 0

0

Constr 0

0

Constr 0

0

#4b286aa1c12c8a777b3242ed51d63e6462361a21f817e883239514ae

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

12838999

4

2000000

5

2000000