Datum

c07783d970a27d…375245693d

c07783d970a27db8f12bd013fc24f663d9a30f6f3f3a777ee884bb375245693d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#bd2e9e85509fbba89da3c5cadf51c11436d647ae790c16518b475f5d

1

Constr 0

0

Constr 0

0

Constr 0

0

#2a5e66e566a2a139366a3702de3d53c94861f05c4eb6e1094db2ea52

1

Constr 0

0

Constr 0

0

#bd2e9e85509fbba89da3c5cadf51c11436d647ae790c16518b475f5d

1

Constr 0

0

Constr 0

0

Constr 0

0

#2a5e66e566a2a139366a3702de3d53c94861f05c4eb6e1094db2ea52

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

828531783

4

2000000

5

2000000