Datum

c64fbd633bc795…6efa358026

c64fbd633bc795ed9d81d46a425fc0a7013797ca9b520f16a6ea056efa358026

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#049e503fc5c5cc5d8109edf09dcc5d09e7513f9dbfdbf744e9247933

1

Constr 0

0

Constr 0

0

Constr 0

0

#6a26c4ad9e4f761bb26592a2b92a787239b19b2b7ff6753e08aa26ce

1

Constr 0

0

Constr 0

0

#049e503fc5c5cc5d8109edf09dcc5d09e7513f9dbfdbf744e9247933

1

Constr 0

0

Constr 0

0

Constr 0

0

#6a26c4ad9e4f761bb26592a2b92a787239b19b2b7ff6753e08aa26ce

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

241040395

4

2000000

5

2000000