Datum

e7ecb819247b5e…458d1e8c65

e7ecb819247b5e96d68529d734bfae012b43144741859db9bc0a77458d1e8c65

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f419b1ea7fda823f13e650276cb5563b08f61dec3bfc4449d13a7f76

1

Constr 0

0

Constr 0

0

Constr 0

0

#e56c575fd040faf095ccfe155714e5df9628b28910df2e4f49eb1e94

1

Constr 0

0

Constr 0

0

#f419b1ea7fda823f13e650276cb5563b08f61dec3bfc4449d13a7f76

1

Constr 0

0

Constr 0

0

Constr 0

0

#e56c575fd040faf095ccfe155714e5df9628b28910df2e4f49eb1e94

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

47998192

4

2000000

5

2000000