Datum

f59b3b0a5e9cc4…3189f3fce1

f59b3b0a5e9cc400c8bfe10d260f881f6bcbd647b5e693d3e8d13b3189f3fce1

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8dcf08ea989126dfcb0d945a911745ed8422195124f3790e077c190e

1

Constr 0

0

Constr 0

0

Constr 0

0

#24c2b26f795c8e95c0b7d77c1af426951dfac52ae6c5aaf3e00fcc82

1

Constr 0

0

Constr 0

0

#8dcf08ea989126dfcb0d945a911745ed8422195124f3790e077c190e

1

Constr 0

0

Constr 0

0

Constr 0

0

#24c2b26f795c8e95c0b7d77c1af426951dfac52ae6c5aaf3e00fcc82

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

57803960

4

2000000

5

2000000