Datum

b454dc042cd182…533e88ef65

b454dc042cd18224565d5f0b00eea5c8f0bc7bec00d7eba127ca76533e88ef65

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#9cf1fbac63faae421d57e1c039dfd9db3d6d5115b1c943d268be7982

1

Constr 0

0

Constr 0

0

Constr 0

0

#cf5f2806c5b68f9cd43d1a531baa28bff4a84fdb484cf6845a6a7681

1

Constr 0

0

Constr 0

0

#9cf1fbac63faae421d57e1c039dfd9db3d6d5115b1c943d268be7982

1

Constr 0

0

Constr 0

0

Constr 0

0

#cf5f2806c5b68f9cd43d1a531baa28bff4a84fdb484cf6845a6a7681

2

Constr 1 []

3

Constr 3

0

151967435

1

418543587

4

2000000

5

2000000