Datum

924c2a6cdcee8d…c5ca42fccc

924c2a6cdcee8df897846f8cc68055e7bb741aad26fe4bd29ea098c5ca42fccc

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#6b8e7b56d7a5be7fb51324b6613c2ec1fee832abccd29a58699692fa

1

Constr 0

0

Constr 0

0

Constr 0

0

#fcb8be543a70afadf89dfeded45c9abcd3dbe18995391876ee859856

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

200000000

2

Constr 0

0

1