Datum

acdd64752b765c…5cd30697cb

acdd64752b765c70354677ffa8e7bcb5b68bc4a2f139654740b6635cd30697cb

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e3bd2aefd9b9fba89f56b901141e4aca4b3499f233ef870c20c3eb25

1

Constr 0

0

Constr 0

0

Constr 0

0

#1da81273195e7551153aa635a5ba59e7452b5dee4fece95a4b5dc185

1

Constr 0

0

Constr 0

0

#e3bd2aefd9b9fba89f56b901141e4aca4b3499f233ef870c20c3eb25

1

Constr 0

0

Constr 0

0

Constr 0

0

#1da81273195e7551153aa635a5ba59e7452b5dee4fece95a4b5dc185

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

66014495

4

2000000

5

2000000