Datum

aa3cff95b77427…9ec923ff6b

aa3cff95b77427b6069b494b135cca9cdfccea39ba5af32b2c07b69ec923ff6b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#06bf43fa3eeeb4888c72ca3afddcf62f26f0a522e1e915d171c9b2f2

1

Constr 0

0

Constr 0

0

Constr 0

0

#b5212b0b2a878625c51e4a1201c23c40b7fdcdc63487427710bb84f5

1

Constr 0

0

Constr 0

0

#ca5d9e971ba87ce0ce333a464a8f7c1c6650b8a6a28c4dcce53b566d

1

Constr 0

0

Constr 0

0

Constr 0

0

#28b8c1adbefb8692970a8a473d45c30da47faa716c7026b0ed362a76

2

Constr 1 []

3

Constr 3

0

40961977

1

21128627834

4

1982565

5

3000000