Datum

3e567feec62905…d1d9fb42e0

3e567feec62905c491809ffd7cd2f861c241a75aecd2383a3695f7d1d9fb42e0

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3f23c379d9b8de5ac0fe6b160b15848bc7489fe7a8171be26ee1b4da

1

Constr 0

0

Constr 0

0

Constr 0

0

#af1a52af60de2dcfffdfd9eddb2a99be98235299676e423e2b2cdb04

1

Constr 0

0

Constr 0

0

#3f23c379d9b8de5ac0fe6b160b15848bc7489fe7a8171be26ee1b4da

1

Constr 0

0

Constr 0

0

Constr 0

0

#af1a52af60de2dcfffdfd9eddb2a99be98235299676e423e2b2cdb04

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

81803280

4

2000000

5

2000000