Datum

f64e6e2e3b8964…99a5f3f45b

f64e6e2e3b8964c7dde7ee28fd46df0a8a5e3c0bc09f270115220199a5f3f45b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#bdc36ea8038258c38389f3b9f680db9fc61c94fe79efbb7aba889dde

1

Constr 0

0

Constr 0

0

Constr 0

0

#dd69fe75f789a57319cf67045e56b6664435b8175d898e8aca22d2fb

1

Constr 0

0

Constr 0

0

#bdc36ea8038258c38389f3b9f680db9fc61c94fe79efbb7aba889dde

1

Constr 0

0

Constr 0

0

Constr 0

0

#dd69fe75f789a57319cf67045e56b6664435b8175d898e8aca22d2fb

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

458378640

4

2000000

5

2000000