Datum

e2d419bb04223c…6032e79527

e2d419bb04223cbfb8a15625d8fb846b915524802ead02be6449a16032e79527

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3d657504691c4b66fd30b5a9e028a60579e7ff6f855a8b872a26f9cc

1

Constr 0

0

Constr 0

0

Constr 0

0

#afb23a5bb3988ef39fb70eb40fd73766b76109745f598dbb16ae2fd3

1

Constr 0

0

Constr 0

0

#3d657504691c4b66fd30b5a9e028a60579e7ff6f855a8b872a26f9cc

1

Constr 0

0

Constr 0

0

Constr 0

0

#afb23a5bb3988ef39fb70eb40fd73766b76109745f598dbb16ae2fd3

2

Constr 1 []

3

Constr 2

0

1

4

1940383

5

2000000