Datum

9428e2835b12c7…a9a8f1a80d

9428e2835b12c7c33ce6fd809b0caab6334e2daaa905e42c47e20ea9a8f1a80d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#882792317b76aa80f8c20642d0cf85990054f3b22fe9e32e28d5f4b0

1

Constr 0

0

Constr 0

0

Constr 0

0

#7e4f50f5b903c7a352dcdd2cd5e0fb1fccea9ddf4fac23a481a5e943

1

Constr 0

0

Constr 0

0

#882792317b76aa80f8c20642d0cf85990054f3b22fe9e32e28d5f4b0

1

Constr 0

0

Constr 0

0

Constr 0

0

#7e4f50f5b903c7a352dcdd2cd5e0fb1fccea9ddf4fac23a481a5e943

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

625504768

4

2000000

5

2000000