Datum

744fa08c3201d5…9f6a73751b

744fa08c3201d574a8a5fce2c6331f3d626e475e5d87424a2e49469f6a73751b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a941d842e7ce63efd70214dbf3c92bc8c6b2a21fa5c4fd394bef5020

1

Constr 0

0

Constr 0

0

Constr 0

0

#f03d54f29fbb77cc1b31f78a43d070c523345364cffce177cd0d71ca

1

Constr 0

0

Constr 0

0

#a941d842e7ce63efd70214dbf3c92bc8c6b2a21fa5c4fd394bef5020

1

Constr 0

0

Constr 0

0

Constr 0

0

#f03d54f29fbb77cc1b31f78a43d070c523345364cffce177cd0d71ca

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

228914806

4

2000000

5

2000000