Datum

e64d0877e2cb6e…59f22b1d73

e64d0877e2cb6e6d0d1bf5cf64ebda6d15a6380e1c5f5d7a8c8beb59f22b1d73

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#311e84fd544c716fe81709cdd638dd93d17ce48cf1bdae63ddbaf520

1

Constr 0

0

Constr 0

0

Constr 0

0

#c20011e430055e2412ec8b26d02c1195cdc9121d9a6eab513cc0ef9d

1

Constr 0

0

Constr 0

0

#311e84fd544c716fe81709cdd638dd93d17ce48cf1bdae63ddbaf520

1

Constr 0

0

Constr 0

0

Constr 0

0

#c20011e430055e2412ec8b26d02c1195cdc9121d9a6eab513cc0ef9d

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

158473964

4

2000000

5

2000000