Datum

104fb7659dbc3d…e2664d9046

104fb7659dbc3db7705259dc43eda3deac6f077c8b298d0ff4afc6e2664d9046

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8d1c500e9244e07d23ab04e3ef14157e712a8600d6ac624fee56725f

1

Constr 0

0

Constr 0

0

Constr 0

0

#342d6d526a3cfc0596be1afcbca32c9ca7c3296e1fa710520c3e0727

1

Constr 0

0

Constr 0

0

#8d1c500e9244e07d23ab04e3ef14157e712a8600d6ac624fee56725f

1

Constr 0

0

Constr 0

0

Constr 0

0

#342d6d526a3cfc0596be1afcbca32c9ca7c3296e1fa710520c3e0727

2

Constr 1 []

3

Constr 3

0

154881953

1

2144

4

2000000

5

2000000