Datum

4592348971bb85…e800bc4e5d

4592348971bb85ee4428f4c36e64d7422a439c4f7ed2efa969f68ce800bc4e5d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ab4b1934735f9a3cb1cbf1e6e0fff8afd03c5e763c4635cae75f65e1

1

Constr 0

0

Constr 0

0

Constr 0

0

#5e1f52f18774817bf07d7bfe32aec97453e5dbb2613ead02869f6a44

1

Constr 0

0

Constr 0

0

#ab4b1934735f9a3cb1cbf1e6e0fff8afd03c5e763c4635cae75f65e1

1

Constr 0

0

Constr 0

0

Constr 0

0

#5e1f52f18774817bf07d7bfe32aec97453e5dbb2613ead02869f6a44

2

Constr 1 []

3

Constr 2

0

1

4

1995037

5

2000000