Datum

e78425154a545f…aa7808942d

e78425154a545f830a3a373d11afb6bd5eb21f2f69d090fe073c7daa7808942d

Datum

Constr 0

0

#03

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#f24bb4079529a8b23b4f2e14757e9b12c91ce23da8e44a386efa0fff

1

Constr 0

0

Constr 0

0

Constr 0

0

#8db83c07a01a0be91e7d67df5a181623a5a0beb25ee6f105aec37001

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1000000000

2

Constr 0

0

21442956