Datum

db7a526cb62fb3…9dd6153dd2

db7a526cb62fb3799e9331cb0189e72408a076e0f4e7dd6c7fc0e09dd6153dd2

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5ef1d512a80eaa88fbbd166a80ded277aceccfd710f7165fd83685bf

1

Constr 0

0

Constr 0

0

Constr 0

0

#fadc0215ccf34ec4aac675d759fa93a97ab66c737799ea21230e6ff0

1

Constr 0

0

Constr 0

0

#5ef1d512a80eaa88fbbd166a80ded277aceccfd710f7165fd83685bf

1

Constr 0

0

Constr 0

0

Constr 0

0

#fadc0215ccf34ec4aac675d759fa93a97ab66c737799ea21230e6ff0

2

Constr 1 []

3

Constr 2

0

1

4

1998592

5

2000000