Datum

6f5000bb58c87f…c29a7ee1e5

6f5000bb58c87f1e1fac99618b9f6f125158bd02c505ff126f87f8c29a7ee1e5

Datum

Constr 0

0

#20

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#a89a7c0a127c22c0e44b8081dd41eb37c73f8d284b43b433dfd072bd

1

Constr 0

0

Constr 0

0

Constr 0

0

#8d1bf30ea9d7b3bd02128a40b127e4f3dbfeff837ea83978c26ab8e3

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

100000000

2

Constr 0

0

1