Datum

ef3b5965bca4e9…910d77be17

ef3b5965bca4e9e4f47142f7aadb4e4d92ebfc44e26b052668d4eb910d77be17

Datum

Constr 0

0

#1b

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#ad829c7e397c152e2092e9175f852b7de44caa0d39c4e99955499cbf

1

Constr 0

0

Constr 0

0

Constr 0

0

#b0b867aaf0910917824fefcaee49bce3adaf2d7adeab3bfd3c46d716

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

2864046928

2

Constr 0

0

628000000