Datum

e47799f8d7d245…95c19ff827

e47799f8d7d24518da9529e3dc66ff32c5998ad1ce74aa9ffcabce95c19ff827

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b3d31c81a6e2a68670bdcacdbd1f88968b4be91b476054dc04d04e69

1

Constr 0

0

Constr 0

0

Constr 0

0

#feedd3e54fbb34dc95a90f417761a9c4807764f46eb5fdce966f5803

1

Constr 0

0

Constr 0

0

#b3d31c81a6e2a68670bdcacdbd1f88968b4be91b476054dc04d04e69

1

Constr 0

0

Constr 0

0

Constr 0

0

#feedd3e54fbb34dc95a90f417761a9c4807764f46eb5fdce966f5803

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

832310177

4

2000000

5

2000000