Datum

3ef8b0bbd9cdb4…3f20e6408a

3ef8b0bbd9cdb4eeaa51e4bd7a65921f0ec07d17fecb550991cce83f20e6408a

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ca5ba46d8bdafd40352073976be25d749c90837a423f2951e26bd17d

1

Constr 0

0

Constr 0

0

Constr 0

0

#e7c6d7f23a48e5e7946ba177b80f544445316343bcc373feb3b79ef2

1

Constr 0

0

Constr 0

0

#ca5ba46d8bdafd40352073976be25d749c90837a423f2951e26bd17d

1

Constr 0

0

Constr 0

0

Constr 0

0

#e7c6d7f23a48e5e7946ba177b80f544445316343bcc373feb3b79ef2

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

37115740

4

2000000

5

2000000