Datum

ab0634fe760f0d…d592c7fcdc

ab0634fe760f0db597ecdddd4a7cf8a88ccfef8f2e104d883e6c24d592c7fcdc

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

202928770

4

2000000

5

2000000