Datum

a2e84b1d42e085…58a863c00c

a2e84b1d42e08586a0902f506c1cd42b87bee73cfb4a4f84d8882058a863c00c

Datum

Constr 0

0

#04

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#25f72ed81edb52dae35faab76d1b7c204e8c6d6883595945ba813405

1

Constr 0

0

Constr 0

0

Constr 0

0

#4be1fa1b4ed8ecc7d91416c719ed5f67bc96d86c86138c5f6f2888fe

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

100000000

2

Constr 0

0

102651512