Datum

82fcd998c64280…434b71f4cd

82fcd998c64280ccf04d34583b203f6013f6bb22a65f7d78fa0ebe434b71f4cd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#69c13556ddda2703a801b49808474952a615ce1e9ceed68df82f3969

1

Constr 0

0

Constr 0

0

Constr 0

0

#1d1c4b9672c897d484d8052213868eacae12442acc491a4a32eb5e66

1

Constr 0

0

Constr 0

0

#69c13556ddda2703a801b49808474952a615ce1e9ceed68df82f3969

1

Constr 0

0

Constr 0

0

Constr 0

0

#1d1c4b9672c897d484d8052213868eacae12442acc491a4a32eb5e66

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

389338732

4

2000000

5

2000000