Datum

5bca89f1dc701f…23aba5d6bc

5bca89f1dc701fc97e66441283bc66f11c94f76dcc352a014bb0ba23aba5d6bc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#dfa57e6f05637a32a59dac0a8d7dec9e2ad019ae7b3836d7f13e0815

1

Constr 0

0

Constr 0

0

Constr 0

0

#933e78edfe5655df77814e7f05a766726d77629197fb01579108b0a2

1

Constr 0

0

Constr 0

0

#dfa57e6f05637a32a59dac0a8d7dec9e2ad019ae7b3836d7f13e0815

1

Constr 0

0

Constr 0

0

Constr 0

0

#933e78edfe5655df77814e7f05a766726d77629197fb01579108b0a2

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

5939702

4

2000000

5

2000000