Datum

da8bbc06dffea7…8996fcbf06

da8bbc06dffea7b98ef75aa30b14d433f222a85febeb3b48d6ebfd8996fcbf06

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#528878a48fbc134ba717cc31c86c5119e62c7b009ac3821aa05dcf17

1

Constr 0

0

Constr 0

0

Constr 0

0

#7871818c14e398fb0e8f0eae999e3457112d7dbc0e2e076eb8b80232

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

4000000000

2

Constr 0

0

8178035